skysight-inc/HackerNews huggingface dataset:
lol! You still find cockroaches around regardless of wi-fi or 4g signal
`intext:phrase` and `allintext:multi part phrase`

generally "phrase" works well too
Swift’s Chris Lattner on the Possibility of Machine Learning-Enabled Compilers
I dropped out of high school, didn't go to college, took a break from my career to serve in the Army, started a business with an empty bank account (multiple times), didn't pay my taxes until I could afford to do so, took big risks, never asked permission at clients just did what I thought was best for them (breaking all kinds of internal rules), violated contracts and non-competes, skirted the law on international movements of money and doing business with sketchy places, other things I won't mention that are technically legal but could get me in hot water if someone didn't like me, sold things I didn't have (yet), and much more.
There's a difference between "I enjoy programming in my free time" and "I will program my employer's stuff on my free time." The first one is enjoying what you do, the second one is a sucker creating value for their employer without being compensated for it.
This article elaborates that the bombings probably weren't necessary: https://news.ycombinator.com/item?id=24093814
Even assuming it did bring an end to the war: was it really necessary to drop two bombs for that?
C-like http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m...
One-Hot
More info: https://www.gwern.net/Sidenotes
> They knew that there was a continuous risk of a pandemic

But I think so did every country.

Wasn't global pandemic at the top of almost every country's national security risk register? They knew it was likely, and they knew it was high-risk. I know for a fact it was at the top of the UK's public national security risk register.

You're perpetuating a silly myth that major western countries didn't know this was coming and didn't know it was a big risk.
Debito Arudou's naturalization was more than 20 years ago. A more recent account:

https://www.davidchart.com/2014/11/17/applying-to-naturalise...
https://www.davidchart.com/2014/12/05/first-naturalisation-i...
https://www.davidchart.com/2014/12/24/certificate-of-citizen...
https://www.davidchart.com/2015/02/25/second-naturalisation-...
https://www.davidchart.com/2015/03/13/actually-formally-appl...
https://www.davidchart.com/2016/01/18/renouncing-uk-citizens...
https://www.davidchart.com/2016/04/12/stateless/
https://www.davidchart.com/2016/05/18/japanese/
My favorite way to learn is iterative.

1. Proof of concept 1 or 2 people depending on the scope

2. Get Feedback

3. Iterate

4. Get Feedback

5. Is there consensus (either agreement or “disagree and commit”) to move forward? If no, go back to step 3.

6. Document process and best practices in the Wiki along with a model implementation. Of course this also goes through a continuous improvement process.

At the end of the day, results beat theory.

This is how we introduced most of our “cloud native” initiatives, security, logging, monitoring, a better configuration process, a CI/CD pipeline,Lambda, Fargate (serverless Docker), moved toward a more performant data store for OLAP processes (Redshift) etc.

There was just way too much theory and nothing to show for it before I and one other “architect” on another team basically pushed the issue with the backing of our then new CTO. We started to get a number of other people onboard. Amazingly enough, despite the stereotypes, our off shore contractors (who had been at the company for years before they started adding on developers in the US), were more aggressive about changing the status quo and doing things “the right way” when they had cover from us than the newly hired team leads right across the room.

When you have too many people trying to learn at the same time, some learn at a slower pace, some have different interest (I won’t go near the clusterf%%% of modern frontend development) and some don’t want to learn at all and just want to coast.
I don't think anyone said they're optimal benefit. But on the whole increasing the education and income level of your immigration pool is going to be more beneficial to your country than the opposite.
I live in a town with good transit that borders a major city with excellent transit, and it's shocking how much people fight everything that would make our town better. Bike lanes, bus lanes, and increased density are routinely rejected because they would make life harder for car drivers.
Or 5G sniffers/detectors, to wave around your supposedly-non-5G smart appliance.
Conventional wisdom is that you have to prove you can do it on demand rather than it being a one and done. If you have one, it could be the last one. If you have two, you could have infinity.
Yes, those are angle brackets but they are not listed on an ASCII keyboard so most people use the < (less than) and > (greater than) symbols and these are still referred to as angle brackets (for example when referring to HTML or XML tags).

There is a difference between how brackets are referred to in mathematics[1] vs usage in written everyday English: https://mathworld.wolfram.com/AngleBracket.html

[1] Another interesting difference between UK and US English:

UK = Maths (shorthand for mathematics)

US = Math
I like TemplateHaskell, but it's very much a "turn it on where you need it" thing.

On the other side, ScopedTypeVariables is the way the language should have always worked, and should probably just be enabled globally.

OverloadedStrings is a trivial syntactic convenience, where every use of a string literal is replaced by (fromString "the string literal"). This makes code substantially more readable when you are wanting literal values of (typically) Text. The downside is that the compiler can't always know what type fromString is expected to return, so you sometimes need to add more type annotations, which gets messy again. I don't care much which way it's set at a project level - I toggle it per file if the project default is too much of a pain locally.
Problem is the fragile political situation in North Africa and the reluctance of the European militaries to ensure stability with force.
Thanks, that's very helpful. I genuinely appreciate the advice.
He is easily one of the least bullshit-y sources when it comes to handling of COVID. But then there's this right in the middle of the interview: "And when you have [posts] encrypted, there is no way to know what it is. I personally believe government should not allow those types of lies or fraud or child pornography [to be hidden with encryption like WhatsApp or Facebook Messenger]". Quite literally, encrypted communication should be illegal and the government should read everyone's private messages. What motivates a statement like this?
What you say is kind of interesting but I get the impression that we are talking past each other.

id(X): ==(X, rec_0(0, X))

Sorry, what's this supposed mean, is it a definition? The propositional equality type has two or three arguments, I only see one (X) here, if as you say "id" is propositional equality.

In any case, nothing peculiar happens when we check a trace-annotated proof of bottom. We are free to use any particular finite-step unfolding of the non-normalizing proof.

We also don't need any paradox or inconsistency for a non-normalizing term, it is enough to work in ETT in a typing context which implies bottom, or which contains an undecidable equational theory, e.g. the rules of the SK-calculus.

> The actual proofs of decidability of type checking (e.g. from Martin-Löf‘s original paper) are conditioned on the normalization theorem

Decidability of type checking is always relative to a particular surface/raw syntax. A trace-annotated raw syntax does not need a normalization assumption for type checking.
Can you elaborate on OR's engineering being ludicrous? I've found them to be quite helpful, and their costs to be roughly in line with the costs I would expect from other trades!
Wrote a book in 2 weeks. This is what I learned
???

Every pound of vehicle mass that you've purchased beyond what was absolutely necessary to 'get from A to B' and every unnecessary bit of travel or vacation has produced considerably more 'waste' than anything a the 'high end' of fashion.

Seriously - this moral concern coming from the 'land of a billion not-necessarily-even-useful plastic gadgets'?

The 'high end' of fashion is mostly art and artisanal, paid for by the rich. Not essential, but not a big deal.

Furthermore, the article is not about even 'high end fashion' - it's about basic attire. If people want to walk around in branded underwear then fine, but this is literally 'Idiocracy, 2008' coming to life.

If there is possibly an issue with 'waste' it's definitely not towards the 'upper 1/2' of the industry wherein such pieces could be worn for a lifetime, rather, it's 'fast fashion' i.e. H&M and Zara. This is arguably wasteful.
I dont think a lack of curly braces is whats keeping haskell from taking off. It’s the “I need to go study category theory to be able to read the docs on any useful package” problem and the proliferation of language extensions. Taking some of the ivory tower out of the learning curve will do a lot more than adding some tokens.
If the Atomic Bomb Had Not Been Used (1946)
Yes. It turns out that squeezing more performance out _purely_ from the silicon has been mostly due to: (1) hand-rolled memory layouts that optimize placement, do bit-stuffing and the like to take the most advantage of the cache, (2) using clever data structures that cache certain elements of the pointed-to data in the data we read linearly, thereby allowing the cache to pre-fetch them and allow us not to (always) dereference the pointer, (3) prefetching.

Note that (1) and (2) are much more important than (3). In particular, you can even arrange the data elements for (1) in an order that you _expect_ them to be dereferenced, and even if your "hit" ratio is only slightly better than zero, you can get a performance improvement. For this latter one, check out https://www.msoos.org/2016/03/memory-layout-of-clauses-in-mi...
Anecdotal but mine was about 6 months.
I'm not going to take Bill Gates' vaccine because I'm not a big fan of being depopulated. Bill Gates can depopulate himself.
I've heard the idea that atomic bombs were the deciding factor in ending the war is in large part American propaganda. The fact is the Soviets had far superior divisions (in both manpower and fire power) lined up against the Japanese in Manchuria, and shattered them within weeks.

From wikipedia(https://en.wikipedia.org/wiki/Soviet%E2%80%93Japanese_War), "Tsuyoshi Hasegawa's research has led him to conclude that the atomic bombings were not the principal reason for Japan's capitulation. He argues that Japan's leaders were impacted more by the swift and devastating Soviet victories on the mainland in the week after Joseph Stalin's August 8 declaration of war because the Japanese strategy to protect the home islands was designed to fend off an Allied invasion from the south and left virtually no spare troops to counter a Soviet threat from the north. Furthermore, the Japanese could no longer hope to achieve a negotiated peace with the Allies by using the Soviet Union as a mediator with the Soviet declaration of war. That, according to Hasegawa, amounted to a "strategic bankruptcy" for the Japanese and forced their message of surrender on August 15, 1945.[39][16] Others with similar views include the Battlefield series documentary,[2][11] among others, but all, including Hasegawa, state that the surrender was not caused by only one factor or event."
Seems a poor taste title considering the conspiracy theories around 5G that have actually got engineers physically attacked and threatened.

Click bait is one thing but poor form in this context and publication.
Emailstartups.com Is for Sale
My email is: firat [at] hey com. Best
Isn't deprecated actually correct here?

It means the feature still works, but will be removed in the future or is no longer supported. There also be may a new implementation of it that the developer would like you to use, hence the warning that it's deprecated.

Depreciation implies a rate of change over time, which isn't the case. Today we deprecate feature X, and in two years we plan remove it. It never depreciates.
ULA was created to make a semi-monopoly to suck at the teats of the US governments pork farm. They’ve never created a new rocket or launch system, or advanced space exploration in any meaningful way. Instead they just kept flying the same old tired designs until they became utterly obsolete.

Fortunately another company came along and dramatically undercut their monopolistic pricing while providing the most valuable technological innovations space launch has seen since the 1960s. And now ULA is irrelevant and on a long term path to dissolution. Bailing them out with this contract is a near criminal act by the Air Force that shows nothing but favoritism.
Mobile Phone Streams
I could see wi-fi (even if I don't believe it) but how would this compete with BLE/NFC/Bluetooth? It's not like I want my wireless earbuds or my apple pay to go up to the internet and then back to device i'm using it from, right?
>And when you have [posts] encrypted, there is no way to know what it is. I personally believe government should not allow those types of lies or fraud or child pornography [to be hidden with encryption like WhatsApp or Facebook Messenger].

WOW. Why would someone in the tech industry like Gates be anti-encryption for the public? The only argument I can think of against it is "You have nothing to worry about if you have nothing to hide"
The irony of Gates battling a virus is un.... un-something. Help me out.
I’m not a programmer by trade so I exclusively work on smallish projects, not profit driven but rather interest driven.

Percent of seriously considered side projects that I actually start: ~10-20%.

Percent of projects started that are ‘finished’ to a functional bare minimum: ~50%. Let’s say this is around 20 projects over the past 10 years. Range of maybe 30-300 hours invested per project.

Percent of finished projects that have enough reach or impact to feel successful: ~15%. Of these, probably 200-300 hours invested per project.

If I were trying to do profit-driven projects based on an uninspiring idea to address an uncertain market gap (that I otherwise wouldn’t care about) then I think the failures would be more painful.
And crazy people already do crazy things. Example:

https://en.wikipedia.org/wiki/2017_Congressional_baseball_sh...
Clearly he doesn't. Do you?
Gates mother introduced Microsoft to IBM for the contract by speaking with the then Chairman of IBM, who she was an acquaintance of. How many of your parents can do something like that?

Sure, Bill is a very smart person. But it's kind of impossible to say for sure whether he could have been as sucessful, if he was born in a different family. Parents play a major role in shaping the mind of children. For what we know Bill would not even have gone for a programming career and might have been a TV news reporter was he born in some other family.

If he is born in some other family, is he even Bill?
>And now my life is complete: here I am, trying to defend Bill Gates, on the internet.

I feel the same way. Talk about full circle, it goes from a point in time where Mr Gates appeared to be set on destroying [internet/open source/linux] to now being one of the leaders I actually want to get behind.

In what every role (Mr Gates Villian, Bill the philanthropist) he is at least well informed.
Tesla Giga Berlin Gigafactory 4 / Grünheide (Germany)
Thanks for managing this.
well, it's cute trick - not sure what the utility is.
For those interested in arguments about whether the bombings were necessary, there's a good Wikipedia article: https://en.m.wikipedia.org/wiki/Debate_over_the_atomic_bombi...

I do believe the bombings were a strategic show-of-force to the Soviet Union since they were coming out of the war as a global power; USSR were instrumental in ending the war.
What a callous view point. It's true that most of what the majority of people say is not that interesting, but there's plenty of people who do have conversations that are valuable for 3rd parties to listen in to. Throw a big enough net and you begin to capture a lot of these
> I think the summary is: this is really odd but it is even more odd how governments are unable to work on long-term topics unless shit hits the fan.

This is just because there is no incentive for any politician. It's just like how security is at the bottom of the budget list for most IT companies. Unless we have a framework where people are accountable, nothing will change.
And a car is just a faster horse, but it sure changed society in fundamental ways. Often, incremental progress leads to unexpected critical mass, which opens new unimagined avenues for exploitation.
I can't speak for everyone, but among my foreigner friends almost nobody has a definitive plan to stay forever (though they may be open to the idea).

Permanent residency is mostly thought of as a relief from the stress of having to re-apply for visa extensions and not relying on having a job.

Until you get PR, you could be forced to leave Japan if you lose your job and don't find a new one right away.
Even transferring things between home computers at 10 Gbps is useful. It's not always about external connection.
The first definition is intended and more fitting for the usages of "deprecated" I've encountered.
The Vulkan isn’t flying, won’t for another year, and won’t be reliable for years after.
GraalVM Implementation of Python
Amiberry is an optimized Amiga emulator, for ARM-based boards
Electoric bicycle fall under the Healthy Living category? Like how?
Not sure if a disposable-income denominator is fair when there are such large discrepancies in taxation and public provision of big-ticket expenses.

If you get taxed harder in Canada but then don't have to pay for healthcare or education privately than in the US, then it makes no sense to just say 'look disposable income in Canada is lower, thus debt:disposable income is higher, thus Canada is worse off'. You'd first have to correct for the fact disposable income is lower because taxes are higher, because healthcare and education are publicly financed and therefore individuals require less disposable income and could be just as well off.

Second, just look at mortgage delinquency rates between the US and Canada for an impression on affordability.[0]

Third, debt doesn't matter much, not all debt is made equal. A 15% creditcard loan for $10k is much worse than a $20k 3% loan, in terms of bankruptcy risk, even if the debt to income ratio is worse on the latter loan. You can't just look at debt to income, and again, especially not disposable income between countries which very different systems without correcting for it.

Absolute debt doesn't say much, debt servicing does, and in particular servicing of interest rates. That's actually at historic lows for Canada [1], which is totally different from the US[2]. Canada's debt servicing ratios are much lower than in the US. And that's why, in part, the delinquency rates are much, much lower, and why it's not quite so simple to conclude that Canada is in a RE bubble compared to the US.

[0] https://i.insider.com/596f5f88a47cb502028b4f17?width=750&for...
[1] https://www.macleans.ca/wp-content/uploads/2014/03/can_mort_...
[2] https://www.macleans.ca/wp-content/uploads/2014/03/us_mort_d...
The US was afraid that the first bomb wouldn't explode properly because of its high failure rate. If the first use of this super weapon had been a dud, they feared that this would feed into Japanese propaganda, and a second bomb wouldn't have the same shocking effect anymore. Since they were unable to produce many of these bombs for months, the first two had to do.
It's a courtesy to let them know the first time. Otherwise each call would be a line item on the month-end invoice with the call subject, the time/length of the call, and amount billed.
You are likely to be very disappointed if you rely on that data.

You may even be disappointed if a carrier promises service at a location, since some ISPs have been known to renege on offers at a later date.

The only way to be sure of service availability is to order service and have somebody turn up and actually install service.

The only thing the FCC data will tell you is that service ISN’T available at a certain location.
Didn’t it feature in “War of the Worlds”?

My Dad worked for Mullard, which was renamed to Philips Electronics and relocated to Dorking.
Much of it depends on the way people interact with businesses. Big Banks are bad because people can literally see overdraft fees and all sorts of surcharges being tacked onto their accounts, often in shady ways. Big Oil is bad because they literally pollute the environment and routinely spill millions of gallons of oil in the ocean.

In contrast, for the average person, Google is just the free little search engine that shows you all the answers and also gives you the free phone software. Whatever egregious privacy violations they do are wrapped up in a layer of abstraction that, if you don't get technology, can be hard to grasp.

The next generation is smarter though. They understand technology fundamentally and know that there's no such thing as "free".
" I can at least get a lot of value out of premium I've paid for Apple products like my seven year old MacBook Pro or five year old iPhone."

I think you might have missed the fact that what you value is not what other people value.

At the 'high end' of fashion, there's an incredible degree of artisanal effort, and FYI most of those items are well made and will last a lifetime.

Using 'Apple' - which takes its design and pricing cues literally from the world of fashion and design, is actually an argument in favour of the industry, not against it.
Cynical view: web and app developers for work use fiber connections via Wi-Fi ac or even 1G ethernet, now users, thanks to 5g will be able to finally, somewhat, catch-up.
Someone debunk this for me please: http://www.5gappeal.eu/about/

Edit: I'm legitimately looking for good sources on this. Not trolling.
this is basically just what happens in any deterministic hidden variable theory
It's good for HN readers to have to work a little. Not too often, and not too much—but enough to interrupt the reflexive circuits.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
Congrats! One thing that I would struggle with in that time period is knowing whether or not what I wrote was any good.

I find that I need to sit with content I've written for at least a few days before I have a sense for how well the content reads. I definitely over estimate the quality in the beginning. Do you have this experience at all?
> I don't understand how that's "no threat" just because you got a one time payment. You're still losing customers to a competitor.

Is it a bad thing necessarily? If this customer brings more trouble than value, that wouldn't it be the best move to dump it to a competitor?
This image rebuts pretty much all pro car arguments:

https://ggwash.org/view/36573/to-a-pedestrian-a-roads-a-tiny...
Bingo. Now the whole cluster associated with the cable modem can rise and fall with it, because there's nothing conductive tying it to a node at a different voltage.
Feels like I often see it used to retire APIs that are now understood to be unsafe, insecure, or otherwise a bad practice for some reason. It gets replaced with an API that does not inherently have that problem, and the old one is in deprecated. it feels like "expressing disapproval of" is the right definition in that case. It's only there for a migration period to happen more gracefully, but its continued use is frowned upon, and not just because it will eventually be removed.