skysight-inc/HackerNews huggingface dataset:
I don't think there is an underlying principle of compilers and language design that strictly prevents that. Implementing a static type checker seems like more work on the language designer, but from the end user (programmer)'s perspective, usually it comes down to preference and it doesn't seem that useful for the preference to be "both". If you're willing to specify types, then you get compile time checking benefits. If that's not worth the extra keystrokes, you might lean toward dynamic languages.

Now, that said, there actually might be something close to what you're talking about. For one, many languages with static typing have very good type inference, so you don't always have to write the types in your code if the compiler can figure it out (infer it). Crystal is one of these languages (just off the top of my head).

And among dynamically typed languages, some have static type checkers that can be used on top of the language, optionally. So that does give you a choice. For example, in Elixir and Erlang you can use Dialyzer to add static type analysis.

Then still you have some languages that add static typing (and possibly other benefits) on top of a base language by transpiling. TypeScript/Javascript are a good example.

What would be the benefit of creating a language where static type analysis was available, but not enforced? In my opinion, the benfit would be minimal, because static typing works best if it's enforced -- the point is to catch mistakes. If it's optional, how do you catch those mistakes?
I think supply + demand oversimplifies one major issue.

Wages are extremely inflated in certain hotkey areas with housing issues. There was a story somebody shared a couple of months back on here about somebody in the Bay Area working at a cafe unable to find affordable housing on the $75k he was taking home. The point of the article was supposed to be pointing out that even such high wages don't solve the problem, but I think the more salient point is that high wages cause the problem.

Cafe work is relatively low skill. When you can take home 250% the median personal income for low skill work, you're never going to find affordable housing. Such high wages are already driving seemingly endless economic migration with unaffordable housing. Add in reasonably affordable housing and you just exponentially increase the demand.

The point of this is that I think it's questionable about whether or not you can build your way out of this. There are two examples we can look at for lessons: Hong Kong and Tokyo. The current situation is that both are extremely densely populated areas. Hong Kong has 17,552 people per square mile, Tokyo's at 16,121. Hong Kong is extremely expensive whereas Tokyo has become a somewhat reasonably affordable place to live. Many people have tried to attribute this to various programs the Japanese government has carried out.

In reality, one factor plays a dominant role. In the 90s many expected Japan to become the world's leading economy. They were actually far ahead of the US in terms of GDP/capita. Since then they've gone through decades of something between recession and stagnation. Their GDP was higher in 1995 than it is today. Hong Kong, by contrast, is much more like all the other areas facing housing pricing issues. Their GDP continues to exponentially accelerate - far more than doubling since 1995 with a continuing exponential growth. Japan, in general, became affordable because it became economically less desirable. And ultimately I think that is the only solution - but it's one few would ever lobby for!

On the other hand if your goal is not to actually create affordable housing, but instead to simply maximize your GDP then things become much more interesting - but that's an entirely different topic.
No, those people very much need a boot stamped into their face (metaphorically). The vast majority are cowards who hide behind anonymity or in their sick community. Catch a few and make an example of them and the vast majority will back off. I'm talking about NZ here, I understand the situation in the USA is different and worse.

In fact, though, they won't be cut off. 4chan and 8chan are both accessible to me here in NZ with no tricks.
Wouldn't that put them on even ground essentially but one option has far less collateral damage? The burden of proof is usually on the one proposing a change.
ugh, uber? Not to mention, big pharma, alcohol, tobacco, pay day loans, pretty much all forms of loan sharking, gambling, insurance, financial industry, banking.

I mean you can argue each of those til the cows come home but it's relatively equivalent, there are a lot of industries that solely thrive on the exploitation and subsequent legalisation of things that are quite arguably things that should be outlawed or at least regulated very differently than they are today or would be if they kept their lobbyists out of it.

I'm not saying I think any of those things should be illegal either, just saying that the world is full of thes things. Airbnb and uber are just the latest who also happen to be silicon valley darlings.
But that's not what Boeing accomplished. Previous someone posted to HN about the 737 MAX entries in the ASRS reporting system. Among those reports were complaints that pilots couldn't find the gauges quickly and that they were taking much longer to scan the gauges because they were so different.
> in California, major transit extensions take a decade or more to complete and cost tens of billions of dollars

Recent data from LA Metro:

* In 2012, Expo Line phase one (Downtown to Culver City) opened, six years after construction broke.

* In 2016, Expo Line phase two (Culver City to Santa Monica) opened five years after construction broke.

* In total, the 15.1 mile Expo Line cost $2.5 billion.

* Also in 2016, the Gold Line Foothill Extension, Phase 2A (Pasadena to Azusa) opened after five years of construction at a cost of $735 million.

* Gold Line Foothill Extension, Phase 2B (Azusa to Montclair) is expected to cost ~$1.5 billion, involves some major additional work (relocating existing commuter rail and freight rail tracks), and is expected to open in 2028, about nine years after it broke ground.
If you were to say, make a pro-ISIS video, or Tweet, would you expect to remain unmolested by the authorities in the United States? All societies set boundaries on what is acceptable speech.
Also the A320 is fully fly-by-wire and has three alpha vanes so even if/when logic similar to MCAS was needed... it could be implemented in a safe and sane manner.
>>A lot of those mosques didn't have the required permits to begin with.

No doubt. Even the temples in Tibet built hundreds of years ago, don't have a building permit.
Are there any AAA games that use voice-stealing for their music?

Old games would drop voices-- like the melody or rhythm track-- when there were lots of sprites on screen.

I think it would be great if a Hans Zimmer score cross-faded to an arrangement with just low brass or something when the action starts to ramp up.
https://news.ycombinator.com/item?id=19463226

270+ points
I believe a number of the Kirkland products are just rebrands. For example, their dog food, which is highly rated, is actually manufactured by Diamond.

https://www.certapet.com/kirkland-dog-food/
Wow. I’ve spent the last three weeks building a custom search solution in Kotlin - in my case I’m using tokenizers from Lucene and using a radix trie as an index. I actually looked at using Bleve (another rust search lib) initially but it didn’t have the right language support

Glancing over this it looks like a nearly perfect fit for my use case I just wish I had seen this a couple of weeks earlier!
My gut tells me aerospace errs on the side of simplicity and reproducibility. It could work, though ideally system errors wouldn’t interfere with other systems.
> You get forgotten

That's the thing though - as long as something is banned, it doesn't stay forgotten. We see Tiananmen Square pop up all the time not because of its major historical significance, but because of the attempts by certain governments to censor it.

There are better ways to forget something collectively as a culture. Right now if you google "New Zealand shooting", half of the articles are about the banning of the information. The banning itself gave it more attention, and realistically it wont stop those who want to find it from finding it.

What I'd rather have seen was NZ focusing on the victims and the families. Drown out the manifesto with positivity. Focus the news cycle on the communities that have been affected; show them coming together and embracing each other. Make what is remembered not the shooter or their manifesto, but how the community responded.
I wish I was born in the first-world. You people seem to be having a lot of fun over there.
In my (exploited by first-world for resources) country autists get bullied relentlessly and put to under-equipped mental asylums when they eventually break down.

Can you see the hypocrisy? I see it everyday.
FWIW NBC reported no sealed indictments, they're citing "a senior U.S. law enforcement official".

https://www.cnbc.com/2019/03/22/special-counsel-mueller-has-...
Sure, but they maintained their twenty degree difference for the duration of the flight. That's why the one stick shaker started going off shortly after rotation, why autopilot wouldn't engage, and why MCAS was going nuts.
uhh, you're not shadowbanned bud. I can read all of your posts.
You will probably have to drop some of your hobbies too if we don't manage to limit Global Warming to below 2 degrees.
Mixed zoning are where businesses and residential areas mix. In some places, this means multiple story buildings where the first floor is business only.
Algolia is a beautiful product but it’s expensive. At just 1 mil items you’re already paying 500 a month
Lesson's to Learn How to Build Your Own 3D Renderer
I think that the main thing missing here is that the NZ ISPs started blocking access to the snuff film within hours of the terrorist's slaughter, the government started making proclamations days later.

The snuff film fetishists started passing it around within minutes of it being broadcast, if anything one can argue that the ISPs started too late.

Remember by NZ law something like this snuf film is created 'obscene', the censor just confirms that it is, you're legally responsible for not breaking the law by copying it, or publishing it from that first moment that it exists ... and so are our ISPs, these laws were written for film, transient copies caused by their customers accessing the illegal content puts them at legal risk, all they can do is to refuse to let people access the places which could put them (the ISPs) at risk
Amazon.com as well. In the beginning one of their biggest competitive advantages was that they didn't charge sales tax.

Outside of tech - the history of Las Vegas is fascinating. It's a whole city built on nurturing industries that are illegal everywhere else. Many of the early casinos (1920s-ish) were also built by the Mafia with funding from the Mormon Church - there's one good example of capitalism allowing a group to reap the profits of sin without engaging in sin themselves. And of course, the modern Las Vegas Strip is actually built just outside of city limits because they didn't want to pay taxes to the city.
what's going on? the admins/mods here are b a d

I'm upvoting everything of yours. Is your karma not budging?
Not to mention her site is a lesson on how to make articles easily readable. From the use of greys to text and links colors, the lack of too light images and the barely noticeable background pattern: everything on that page is gentle to the eyes.
This is how web pages should be designed. Thanks!
Agreed Sir! but why political threads are allowed on HN in the first place? What is Hacking in it? I Just pointed them out to read Jhon Perkins book before painting a rosy picture of the West, the book was written by another American.

I'd request HN team to flag all such threads at first place. I visit HN to learn about Tech, Biz and STEM related, not about politics. Thanks.
There is very effective technology to prevent speeding. We just need to build more of it.
The gaming experience of mobile is coming to your TV.

At least for the foreseeable future there will still be Nintendo for those of us who hate the new gaming economy.
As a pilot myself, that doesn't strike me as disqualifying. The minor problem I have is that it has has no self-verification/disqualification mechanism; even in the face of having two sensors available! The far bigger problem I have is, the automation discounts pilot input as if it's the pilots who are wrong. That's obscene. And it strikes me as a violation of CRM.

I do not accept that pilots must have disabled auto trim in order to prove they are the more valid input source, compared to a single alpha vane sensor. That's perverse. Pilots have to flip switches to prove they are working correctly? Yet the sensors don't have to have self-verification/disqualification, or cross check with an available second sensor?
Firefox 65 added native WebP support.
Sure, there is inequality. You can remove it by destroying all housing wealth and evicting every American every month. But that makes the situation worse, not better. So the inequality is not the interesting or problematic aspect here.
Apple has sold over 2 billion iOS devices, so by definition, a service that runs on iOS is not niche.

Sure, Android has more but Apple has the best 2 billion customers available.
Natural selection happens at the gene level. A behavior has to beneficial to the gene or genes that cause it for it to propagate via natural selection. It’s hard to model homosexuality as anything other than detrimental to the gene or genes that contribute to it. The only model that accounts for this would be if homosexuality is an occasional side effect of some other traits or behaviors that increase fertility.
"Guns are too dangerous, give them to us or we'll shoot you and take them from your cold, dead hands" might be a little bit totalitarian.
I think you’re right. It’s the improvement in the learning process that’s the important bit. TF-IDF lacks that.
Chinese investment buyers can't be helping the situation. https://www.cnbc.com/2019/01/08/chinese-middle-class-buying-...

Vancouver B.C. had it so bad that they had to tax foreign investment purchasing.
https://en.wikipedia.org/wiki/Bill_28_(British_Columbia)
Interesting, and very cool.

This would never have been possible without the Internet. One might have found stuff like this in the Whole Earth Catalog, but it would likely never have reached these people.

On the other hand, one could say the same about drone attacks by ISIS, or the recent one against President Maduro. And that approach will likely become commonplace.
In my opinion aphextron was being overly reductionist in describing the manifesto as just a string of characters.

The manifesto was a presentation of a political viewpoint (and perhaps a call to action - I don't know, I haven't read it). The manifesto qualifies as speech.

The video was a record of a criminal act of great violence. I wouldn't classify the video as speech. (In contrast, a fictional portrayal of the same acts but made with actors and no-one dying would be speech).
You’re just seeing them at a unique point in their history where they haven’t yet bought enough lawmakers to make their revenue streams legal. Plenty of much bigger companies are well past this point.
Yeah, we have one like this: Client to Account link, Account is of Account_Type (plan) and to Account_Ledger. Each has flags, multiple plans have FLAG_DEMO
Individual liberty is a huge part of it, however it is not the final arbitrator of society. It is an act of the individual that inspires change. One person can make a difference and change to course of history. They do so by having the ability to speak freely, or baring that the ability to speak and then except the consequences of that speech, in order to insure change (MLK, Ghandi, etc.) Regulated speech can lead to a dictatorship. Look at the Nazis or the USSR. The first thing to go is the right to disagree without threat of imprisonment or worse. I do understand that you trust this government (I have visited NZ a number of times and I am a huge rugby fan). But that is this government. It is not a good idea to set the precedent on the limitation of speech as it can be used in the future to limit it by those that do not have the ideals of the government you currently support. The regulation of speech is a slippery slope. Only the collected efforts of the people can counter those that speak hate. Making it illegal only strengthens those that hate, giving them another boogie man for their own cause. Yes, I am being an idealist. Oh, for what it is worth, half of my family is Muslim and they share my thoughts on this. That half came here because of the limits on their freedom.

Bin Laden was directly responsible for the planning and support for attacks on the USA and others. Wikipedia is a good place to start with links to items, including transcripts etc.

I emotional agree it is hard to trust the masses to do the right thing, never the less, we have to. It’s the only way. Everything else leads to opression.
I'm curious to see what's going to happen when an employee, secretly part of a neurodiversity hiring program, says something that makes someone uncomfortable and that gets reported to HR.

Will someone's comfort levels take precedence over the desire to employ someone with difficulty with social cues?

Or will we visibly "tag" employees who are neurodiversity hires so that you know that if they somehow offend you, that might be because they're on a different wavelength compared to you, so you should give them a pass? Do neurodiversity hires get to keep their status secret, or will the company need to disclose it?

On one hand, you don't want to fire them, that will look terrible for the company, but on the other hand, you don't want people to feel uncomfortable either, which creates legal vulnerabilities down the line. Curious how that conundrum gets solved.
I can second it, having gone through the Texas public education system. The standardized testing regime in Texas is completely counterproductive, and my teachers all hated it. Texas' silly education funding system that tied funding to (among other things) student attendance caused the schools to overtly encourage sick kids to show up and spread disease. The attempt by the Bush administration attempt to deploy Texas standards nationwide in the form of No Child Left Behind was a miserable failure. The legislature is constantly playing games with the schools (e.g. putting ambiguous language in the teaching standards to appease creationists [1]).

Texas has decent K-12 education in spite of everything the government does, not because of it.

[1]: https://www.statesman.com/NEWS/20170202/Texas-education-boar...
Murder, infanticide, rape, torture (parasitic wasps, ugh) are all natural. Appeal to nature is only compelling if you believe in happy-fun Disney 'nature'.
Farming is area intensive, but the number of farmers we need has been steadily declining.
Lighthouse, available in Chrome devtools, includes an a11y audit although how thorough it is I can't say.
I do a lot of writing (https://philosopher.life/), and I think the Tiddlywiki ecosystem is outstanding.
I read the article. He founded and instead of shutting down, he “cut ties”.
The engineering challenges here have already been solved with DACs, and FPGAs really bring nothing new to the table. Anything you want to do with audio signal processing is going to involve a lot of multiplication and table lookups. Sure, you can do that with an FPGA, but what you’ve basically got are pieces of DSP stuck in your FPGA that you can wire together with Verilog instead of C. Not exactly something to write home about, since it’s not like you look at your off the shelf DSPs these days and say, “Gosh, these definitely have enough computational power for my needs but I really wish that they were more expensive and more difficult to program.”

The problem is that for most synthesizers and music applications, any problem you have is simply not going to require that much computational power by today’s standards.

A good way to make digital music toys is to put all your signal processing on a DSP, and then run your UI and random other code on a standard microcontroller. Microcontrollers are cheap, and this way your real-time DSP code isn’t fighting for memory or time slices with anything else. Some people are asking whether you can just use a Raspberry Pi. I’m sure the hardware is capable of cool things with audio, but I’m not sure that you guys would enjoy wrangling Linux into giving you reliable real-time performance.
https://www.washingtonpost.com/amphtml/opinions/global-opini...

Tibet

Falun Gong

Uyghurs

https://www.theguardian.com/news/2018/aug/07/why-uighur-musl...

Christians are next

https://amp.theguardian.com/world/2019/jan/13/china-christia...

https://en.wikipedia.org/wiki/Persecution_of_Falun_Gong

The communist party takes measures against any rival organization that can pose a challenge, not just terrorists. Falun Gong is peaceful, for instance.

This is happening now, not under Stalinist USSR. And what do the Chinese people do about it? What can anyone do?

Actually I should say that the USSR was far more interested in preserving ethnic cultural differences than the CCP seems to be:

https://en.wikipedia.org/wiki/Korenizatsiya
They can’t be more expensive than hotels, worse than hotels, and still get booked without offering something of value, unless they’re just a bait and switch operation.
that last paragraph is something I've naively never given much thought and you're right.

The rise of facist groups has really made me realize how disproportionate 'free speech' can be.

The first example that comes to mind is police presence at protests against them. If 100 of them show up and 1000 counter protestors show up then the onus is on the police to protect their protest.

The minorities targeted by these hate groups are at a disadvantage in so many ways, they are more likely targets of the police, they are more likely to already have convictions so the risks are higher in the legal system. They are much more likely to be killed by the police.

free speech is not necessarily a level playing field and these groups are both aware and weaponize that.
That's the kind of logic that kept Jim Crow going.
No, what's the hypocrisy? It's a tragedy that mental health services and awareness are inadequate.
Compiling Knowledge into Probabilistic Models
I've had Airbnb simply ghost my negative review. It shows up on my account but not on the rental page. I called Airbnb for an explanation they said it could take some time for the review to show up. It never did.
Under NZ law the snuff film was 'objectionable' from the moment it was created, the censor's job is essentially to just confirm that - the ISPs are not only stopping the film from being passed around by snuff fetishists but also protecting their own arses from potential legal issues if any of their customers access the illegal content
On a tangent: one of the things that's been really difficult is trying to find a writing app that is sync-friendly with a co-writer, as me and a couple of close friends work together on scripts for a comic.

That is to say, I want to do a file sync with Dropbox or any other service/application, and the co-writer or co-writer(s)/artist(s) can also either get it, or be notified there's a new version, and not suffer any accidental overwrites or loss of data.

(Scrivener is an option, and it's apparently Git friendly for that purpose, so we have that going for now. Google Docs and Etherpad Lite are not acceptable/usable replacements either.)
"Amish Community Not Anti-Technology, Just More Thoughtful"
https://www.npr.org/sections/alltechconsidered/2013/09/02/21...
Hypocrisy is that your biggest national export is suffering. Less there, more here.