skysight-inc/HackerNews huggingface dataset:
It never occurred to me the explosions were due to poorly maintained systems, but that seems like a common interpretation, when I searched around it.

It doesn't quite make sense to me though. If you take the explosions literally, ventilation systems don't tend to do that sort of thing, and if/when they do fail, it tends to be by suffocating everyone with freeon or carbon monoxide, not with explosive fireballs. Boilers can explode, but those are usually in basements, not at the floor level of a restaurant. Restaurant kitchens can and do regularly catch fire, as a result of failing to clean the grease out of cooktop exhaust filters. But again, this usually isn't an explosion.

I suppose the explosions could be a kind of visual metaphor, for the way a small clerical error snowballed into a rolling deadly disaster due to the inhumane and inflexible nature of the bureaucracy.

I'll have to watch the film again to see where all the explosions are- but while I think the explosions are evocative of societal failures, I'm not convinced they're purely metaphorical, or purely meant to be mechanical failures. The film was made in the historical context of the IRA bombing places in real life regularly, and the film would have been stupid to imply, in effect, that the IRA's bombings were government fiction.

Edit: Just had another quick search around and it seems possible that the restaurant explosion scene, character reaction to it, and news rhetoric depicted around terrorism in general could have been inspired by this contemporary event (notably, Thatcher, like the characters in the film, attempted to carry on with the conference as if nothing had happened):

https://en.wikipedia.org/wiki/Brighton_hotel_bombing
Honestly... I grew up reading Asimov, but I didn't read Foundation until my 20s, and I was... underwhelmed. I still adore his short stories (I often re-read them and discover something new), and I have fond memories of his Robot Detective novels and the standalone book "The Gods Themselves". But I also didn't love Foundation. So, don't feel bad.
See also: Racket's 2d syntax library:

#lang 2d racket
(require 2d/match)

(define (subtype? a b)
#2dmatch
╔══════════╦══════════╦═══════╦══════════╗
║ a b ║ 'Integer ║ 'Real ║ 'Complex ║
╠══════════╬══════════╩═══════╩══════════╣
║ 'Integer ║ #t ║
╠══════════╬══════════╗ ║
║ 'Real ║ ║ ║
╠══════════╣ ╚═══════╗ ║
║ 'Complex ║ #f ║ ║
╚══════════╩══════════════════╩══════════╝)

https://docs.racket-lang.org/2d/index.html
Trojan – an unidentifiable mechanism that helps you bypass GFW
Well put; this is more or less what Everett actually proposed, and it's the interpretation that mainstream Everettians like Sean Carroll and Max Tegmark subscribe to.
That's an excellent example of bad governance though. The government instead should have priced in the externalities of gasoline directly into the gas and then allowed consumers to decide if they wanted to spend money on better gas mileage. Customers would give a significant amount of demand for better gas mileage themselves if gas was $7/gallon.

The reason the current approach is a failure is that everyone who doesn't care about efficiency can skirt the whole mandate by buying a truck/suv that gets a whopping 15mpg in town[1]. The popularity of trucks in the US speaks to how bone-headed the approach of mandating efficiency in cars is.

The even worse part about not correctly taxing the actual externality is that people think they are doing good things for the environment by buying new high gas mileage cars and then unwinding that whole thing with a cheap flight to Paris or by constantly having things shipped across the country for them.

>To change the incentives for individuals so markets optimize for global good. This is not a hard concept.

Yep, not a hard concept but the implementation is where everything went completely to shit.

1. https://fueleconomy.gov/feg/bymodel/2017_Ram_1500_Pickup.sht...
> Is your research related to programming languages?

Yep: I just finished a Master's degree with a focus on programming language semantics and analysis. I'm interested in all kinds of static analyses and type systems -- preferably things we as humans can deduce from the source without having to run a separate analysis tool.

> Also I'm going to have to think about "computing a new value" vs. "modifying state" —not sure I quite get it...

It's kind of a subtle distinction. A value doesn't need to have any particular locus of existence; semantically, we only care about its information content, not where it exists in memory. As a corollary, for anyone to use that value, we have to explicitly pass it onward.

On the other hand, mutation is all about a locus of existence, since ostensibly someone else will be looking at the slot you're mutating, and they don't need to be told that you changed something in order to use the updated value. (Which is the root of the problem, quite frankly!)
Dejavu 2.0: Build search UIs visually
> having to get one significantly ups the ante for them.

I see this as a good thing. I do sympathize with small businesses that, when gaping holes in internet security are closed, are forced to retire technologies that exploited those holes. And I'm not being sarcastic about being sympathetic - businesses in this position would probably rather be spending their money on something else. But, these are security issues that impact everyone and leaving them unfixed just because it will negatively impact a group isn't a reasonable option.
In Taiwan, Foxconn had noncompete for all their employees and in the articles it specifies a sweeping list of fields that are prohibited for the said employee to enter after leaving Foxconn.

Foxconn infamously took one of their employees to court for being a taxi driver and the case was quickly dismissed. And recent years all non competes cases in Taiwan are thrown out except for high level managers.
How to Meet a Granny Hookup Partner on Granny Dating Sites
Also, if they are sure he sent messages, then why can't they obtain those messages from the recipients?

And what actually happened to the presumption of innocence? Sounds suspiciously like they have decided someone is guilty without actual evidence.

It's just a stupid story that makes no sense. They want the ability to spy on any citizen with no judicial oversight, and this is the best argument they can come up with for such a massive overreach? I'm honestly insulted. These are the people who are meant to be looking after our interests?
What is actually preventing it from happening? Serious question.
Nag screen bypass (wouldn't go away for me on mobile):

https://archive.is/MUpHy
"Swords need an empty reload() method"

That always seems to the problem with deep hierarchies after a while. Suddenly you have something where one of the inherited methods shouldn't be there. You can't take it away so you have to do something clunky like throwing an exception or making it empty.
Layoffs at Dreadnought Developer Six Foot (Update: Studio Confirms)
Yup. A lot of the reason the middle class is shrinking is because many of them have joined the ranks of upper middle class.
The evidence against Pilot Waves keeps stacking up. https://www.quantamagazine.org/famous-experiment-dooms-pilot...
Church-Turing Thesis Cannot Possibly Be True [video]
Yeah, but there is an important subtlety. Quantum mechanics has a bunch of things that can be /modeled extremely well/ by random variables. But it might still turn out that that they are deterministic in some complicated way.

Then we would be back in a universe where we have an extremely useful concept in the humble random variable, and no examples of anything that is fundamentally random. If I start with a random variable, I couldn't reasonably approximate it with a real phenomenon, because the phenomenon would be deterministic.

Compare that to a line - I can define a line between the center of mass of my two hands. We can quibble all day about whether that is a well defined definition (I suppose it isn't), but if I wanted to approximate a real line with two points in space I could.

I contend this is an interesting an important difference between subjects like geometry and subjects like statistics. The underpinnings of statistic are _extremely_ philosophical.
> So what's the plan for when IPv6 gains more adoption and we don't need SNI as much since every site can have its own public IP address

Say sometimes I love to visit a very private website for my personal pleasure when I'm alone at night.

Without eSNI, when I type-in pornhub.com and hit enter, my buddy Bob who working for the ISP immediately knows and be very sure that I'm trying to accessing none other than pornhub.com. And then, with great confident, he greedily calling me for a live chat.

Bob is a ... special person. He might tell my mom about the pleasure thing, but not just that, he also secretly tracks my pleasure activities only to figure out the pattern using some sort of weird thing called machine learning, so he can show up in front of my door at the exact right time to share the pleasure with me.

I don't like that.

With eSNI, Bob only knows that I'm accessing 216.18.168.0. But when he tries to access the 216.18.168.0:80, he be greeted by a 403 error which says "Invalid Host".

A website may have many IP addresses, and an IP address can serve many websites. Because of that, now Bob can only know MAYBE I'm watching my little pleasure, oh wait, or maybe it's imworkingverylateatnight.com? He just can't be sure now.
https://www.openssh.com/releasenotes.html#7.9
Along with selenium. After reading on the internet that it may help prevent prostate cancer, an Australian man took 10g of sodium selenite which he mistakenly purchased at a very high purity, and died shortly thereafter.

[0] https://www.mja.com.au/journal/2006/185/7/accidental-death-a...
C++ Programming Questions to Ask on Interview (2017)
Usually the person who comes up with the gimmick runs afoul of some existing law which applies to their situation. A lot of people incorrectly believe that a new technology immediately invalidates all previous legal precedent that applies to that field. You didn't lose your rights to free speech when the cell phone was invented, even though the framers of the constitution may not have been able to conceive the idea of cell phones. In the case of bitcoin, there are a ton of regulations involving securities and money transfers that exist and just because you came up with a new mechanism that doesn't mean those laws no longer apply.

In the case of tariff engineering people are using the laws on the books to force regulators to classify products based on what the regulatory authority itself has defined. They are following the rules, just maybe a bit more aggressively and in ways that the regulators had not expected. (hacking) At this point you have to change the rules if you want to prevent these unintended consequences, since you cannot impose a penalty based on language that doesn't exist and cannot selectively apply the law that does exist.
My go-to example of explaining accuracy vs. precision is the distance from Earth to its moon. 400 000 km or 250 000 miles is a fairly accurate, but imprecise figure. 31 415 926 nanometers is a ludicrously precise, and incredibly inaccurate one.

Also, accuracy is dependent on appropriate precision. Rounded up to nearest billion kilometers the moon is zero terameters away from the Earth, which is only accurate if you're comparing it on a scale where the Moon is insignificant. Conversely, reporting the exact distance to the nearest meter will imply variations insignificant on one-meter scale, which is obviously wrong, making a less precise figure more accurate for use over an arbitrary period of time.
This article prompted my to do a quick search to see what was available in terms of repair guides for dryers and I found this: https://www.familyhandyman.com/appliance-repair/washer-and-d...

Th belt on mine is going but replacing it seems to be well within my comfort zone. For $30 I can probably get several more years out of it at least. I'm hoping by then someone like dyson will come out with a much more efficient dryer anyway, surely they could tumble at a much slower rate and waste less electricity.
A UVC lamp will work very well for that, just make sure nothing you want to remain alive is in the same room when it's on, because the UV is just as effective at killing your cells as it is bacteria.

https://en.wikipedia.org/wiki/Germicidal_lamp
Why would you use mocks to test those things?
The global financial crisis has a lot to do with it. A ton of the best talent in London were at startups and design agencies which went under; a lot of them went to the Government and did a really rigorous job; even though they've now moved on, the culture they put in place was bulletproof.
If Bob works at your ISP, he could see the DNS queries before you even connect to the site. There’s work arounds for that as well but the average Joe isn’t going to set any of them up.
And renters can move. Just as people have done for hundreds of years.
Also, cross-party backing (prominently Francis Maude and the Lib Dems on the Coalition side, Tom Watson on the Labour one.)
>Let's stick to applicable conversations, shall we?

That's functionally the same question as the one I'm posing. Who interprets? Who decides?
Luckily climate change will give us plenty of trauma over the next few decades.
Problem of both HDFS and HopFS - they written in Java, which makes them slower and eating much more memory than native filesystems like Ceph.
What’s the future of technology scaling?
> Yes, Usenet is better on some dimensions such as offline reading and non-central ownership. However, I think we can agree that typical web surfers don't care about those attributes.

Plenty of typical web surfers care about non-central ownership. But they care about non-central ownership of the things that they like to do online.

What usually happens instead is someone implements a distributed system that can shuttle data in a way that is functionally equivalent to data shuttling which currently relies on a centralized service. Hooray!

Then they write nice documentation that explains to the typical web surfer how exciting it is to go out of band and whitewash a fence.

Typical web surfers interpret that as brain damage and surf away from it.
LOS was a poor choice of words. But on roads or highways within 500m is even smaller than LOS
there needs to be one like this for ODE and discrete math.
Workshop Notes on Coping with Complexity
No list<> is not covariant (it’s even mentioned that collections aren’t covariant in the article).

Your example, map() is a function that takes list<a>, and a function of type a->b, and uses that to produce a value of type list<b>.

Note that at no point is a value of type List<A> ever treated as a value of type List<B>

You may be confused by how member syntax looks in OO languages.
What you need to realize that List<T>::map<B>(A->B) is an alias to a function along the lines of

List_map<A,B>(List<A>, A->B)->List<B>

Again there’s no actual subtyping relationship implied between list<a> and list<b>
I have used JIRA for years. It isn't perfect. Nothing is. But I have little to complain about.
Hackintosh-KVM Guide: High Sierra+ Using QEMU's I440fx Chipset
My problem with Windows is that Emacs runs too sluggishly on it.
I recently started reading The Politics of Cancer by Samuel Epstein. It was written in the 1970s and I hope/wish it is outdated because what I've read so far is terrifying. Someone reviewed the book on Amazon as a real life thriller... and they were right. I don't even want to finish the book because it's so depressing.
There are air purifiers that pass the air through a built-in UV lamp.
With only a little bit of hyperbole, that's because the question "is Coffee Good for you or Bad for you?" isn't scientific.

At best, science can try to answer the question "Do people, that are very similar to you, perform better on some metric when they drink coffee or don't drink coffee?"

Especially when it comes to food, there are so many variations on what "good or bad" looks like, and what "you" looks like, that we should expect different studies to come to different conclusions they look at different populations, and measure different things.

Even when we try to measure the same thing, on similar populations, it can be really hard to isolate all the important factors. Even then we expect different results.

The problem you are talking about is not a science issue, at least not directly.

It's a Popular Science issue, or at a stretch a Science Communication issue.

Everybody loves a powerful model - a simple description that explains a lot - but those are rare and far between in science. In attempting to reach for new models, such as modelling the effect of coffee on human lives, there is a tendency to take scientific results and reduce them so that they look like a powerful model. Coffee is Good! Coffee is Bad! This process is not science! At best this may spur researchers to test if the model is correct, but more often it's just fuel for press releases, popular science journalists, and social media battles.
On a technical level: depends on how you're defining consumerism. See:

https://www.merriam-webster.com/dictionary/consumerism

https://www.investopedia.com/terms/c/consumer-goods.asp

At a deeper level: research has shown that spending money on experiences enriches your life far more than spending money on "things". That's what I'm referring to.

https://www.bloomberg.com/news/features/2017-02-28/why-you-s...
You are making broad sweeping statements about things you can't possibly know ("No developer loves these tools" and "It slows production to a crawl ...") It might be the case that it is your subjective experience. However it certainly isn't mine (having used JIRA for years).
That example does make a very strong case for the feature - which I guess was the point. But, the audience for the post already knows that encrypted SNI is and why it's important. And if they don't, a much more light-hearted example would do. And it's not like there is much of an anti-encrypted-SNI movement that warrants a powerful response.

So, yeah, I'd agree it seemed both jarring and unnecessary.
I didn't saw anybody mention the amount of money they save because they don't need to support by phone and email that much.

I was thinking of other countries with really complicated gov pages must get so much more questions by phone, face to face or email. Probably a magnitude more.

Also these countries learned to answer emails with a template that comes from the website, like copy paste. Therefore the customer need to wait for the template, ask again and wait for the 2nd reply, which most of the time is as bad as the first one. Then you call in. (By the way, looks like PayPal learned this technique as well, send a template to any support ticket, wasting the time)

I think this younger generation prefers to read online, so they did a very good bet
How Sears mail-order catalogs subverted the racial hierarchy of Jim Crow
What a marvelous creature!

The oatmeal piece is a great accessory to the news reported by Wired.
Presumably it will show up at https://millcomputing.com/docs/ eventually but it doesn't seem to be there yet.
Perhaps I missed it, but i didn't see anything about physical copies, i.e. it seems this is focused (exclusively?) for the ditigal reader. Is that the case?
That was a pretty good essay but some of the words were too big and I didn’t know them
I don't know if this would have stopped this particular instance but "Parenting" is one of three ad categories you can hide completely in your Facebook ad settings (the other two being Alcohol and Pets) so at least you have the option to be creeped out by other types of ads instead.
Looks like a big chunk of Menlo Park/Palo Alto is a designated OZ:
https://www.policymap.com/maps?i=9964345&btd=6&period=2018&l...

Including heartbreaking scenes of crushing poverty like this:
https://www.google.com.au/maps/place/DLA+Piper/@37.4595117,-...
No, because you can come up for very good arguments a priori for why two or more rational nuclear powers leads to a very stable world, because every party is very interested in preventing nuclear war if they are materialists.
without any spoilers the only radically different ending I know of was the USA TV broadcast ending (ends like 15 minutes earlier). I'm not sure you can even find this version.

AFAIK all the other versions are effectively the same except for a sutble difference. In one the background of the scene is the inside of a dark tower. In the other that tower fades to clouds. in both cases the main character is smiling so I'm not sure there much difference in meaning. I prefer the cloud version and have always wished for a large hi-res poster to frame of that image.

PS: one of my favorite movies. Saw it in the theater original release in the 80s. Owned VHS, then laserdisc, then DVD, then Bluray
Gravity defying root that travels upstream with no push
In about 1980 or so i got a TI 99/4A (I was about 12) and figured out how to do high-res graphics within the limitations of what was essentially a text-only machine. By redefining the 8x8 character blocks you could manipulate individual pixels. The main limitation was that when you redefined one character, every one of that number on the screen would change, and I think there were 256 available...still though, i managed to create programs that could graph a line and draw circles, and something that was similar to Missile Command. it was also interesting in that if, for example, you filled the whole screen with a single character and then redefined it in a loop or something, the whole screen would instantly update creating mesmerizing effects. You had to be creative in those days.
Plenty of people live just fine without docker containers, even in the Linux world.
How to Implement an Optimization for the Go Compiler
"[...] the language has maintained the structure of medieval Spanish and sounds more similar to some forms of Latin American Spanish than European Spanish"

I've read some Ladino and the only immediately apparent difference is the spelling and a few foreign words that have entered the language. They don't speak in formal polite form (as opposed to Latin American speakers of Spanish), so in that regard, it's closer to Castilian Spanish.
Any thoughts on What’s the physics behind this? Can we explore this to create an efficient water transport mechanism.
And Airbus only uses imperial bolt sizes.
Ha, yes; I've been there many times before!
even with the internet today we don't see. maybe vr will give us a key to end the suffering.
The content is inevitably partly political, but the article is not propaganda. It's a review of recent writings about Gandhi, interesting not just for how different they are but because interpretations of Gandhi have changed so much over time.

HN is explicitly not just for "tech". Please review the site guidelines: https://news.ycombinator.com/newsguidelines.html. Your last sentence breaks them too.
This is basically what OrgVue does.
Why would they sabotage the Pixel's pricing strategy like that?
Cool website!

You might already be aware, but when toggling some of the tag filters, mixed in with the normal square images, I get several empty squares that don't link to anything.

Anyway, happy folding!
I found a 2017 update version of this article.

http://super-memory.com/articles/sleep.htm