skysight-inc/HackerNews huggingface dataset:
Some other comments mentioned that existing employees are required to sign the waiver to continue employment. To me that's more justifying of the word forced, because of the threat of losing your job.

And how do you force someone to do something? It's generally by threatening them of some consequence they dread or can't afford. Losing your job sounds like it qualifies to me.

Another thing I want to bring to the debate is that opportunity does matter. It may not be YouTube that is forcing them to work under such conditions, but our society at large. We set standards which create the alternative choices. If we offered better means of making a living to people, they wouldn't agree to such conditions. So this social aspect is really important. We need to all uphold standards of respect and dignity for ourselves and others. This is really important, because those standards define the selection of choices that you are free to choose from.
My Python Setup for 2020
The question really is then if those billions went to Bing or DDG and searched for their stuff there, would approximately the same percentage click through to the ads.
Here in Canada in my region the nuclear power plant is located on a bay in New Brunswick. The bay has the highest difference in tides in the world at high tide the water is 16m (53 feet) higher than low tide.

But in Ontario where the biggest nuclear power plants are located. Two are next to Lake Ontario, and one is by Lake Huron.
I've tried a few times, and bounced off quite hard. I'd rather go with something more pragmatic like Ocaml or Scala or F#. Particularly since all of those interop rather seamlessly with the vast array of existing code that is written for either the JVM or .NET, yet still give you considerably better type systems than the default C# or Java.
It isn't lower taxes on the rich, its lower taxes on the middle income.

For example, the French tax bracket for income between $28k and $81k* is 30%

In the US the rate in that bracket is 12% up to $39k and 20% after. If I did my math right that averages to 18%.

That isn't high income earners saving on taxes, that's a 40% lower marginal income tax rate for the middle class in the US vs. France. There are also many other sources of tax outside income which are different and higher in countries with social medicine.

* converted from EUR to USD

(taxation is complicated and making apples-to-apples comparisons is hard. it is easy to argue about fiddly details and hard to avoid a long list of caveats)
They'll ignore the rules as I'm sure they already do.

As you'll see from the various documentaries, historically planes operating illegally and/or doing illegal things will fly "under the radar" and keep their transponder turned off to evade the authorities.

They'll do the same thing with GPS.
One thing I find odd about the Space 4x genre is that it remains popular and new games or expansions for existing ones come out fairly regularly but there hasn't been a genuine hit in it, seemingly since MOO II or so.
I clicked through expecting a tool like a la PGTune:

https://pgtune.leopard.in.ua/#/

But this is just a site documenting all the parameters available. with added extras like StackOverflow links. It's nice enough, but I suspect if Postgres configuration was voodoo to you before, this isn't going to change that much.
SQLite: Generated Columns
Not really. In nearly every case, the "Postgres is too hard" complaints are really just "Postgres doesn't work exactly like MySQL" complaints.

The area MySQL people get hung up on, generally, is the security model in pg_hba.conf. But this is a seriously powerful feature, and not at all hard to configure once you grasp what's going on.
You're absolutely right. It's a consequence of the company's decision to not offer infinite support to hardware.

It's also a consequence of a user potentially failing to do their research before purchasing.

If a company is going to drop support for older devices, ensuring that poorly informed users don't get screwed by this seems like a reasonable decision. I understand that some may consider this completely unreasonable, particularly on the basis that halting support is in no way a business decision that should ever contemplated.

Again, you're right. This is a consequence of Sonos' decision to stop supporting some of their products. It's just perhaps considering that there may be some small amount of room for nuance.
Pittsburgh is better for tech workers than Silicon Valley?
Whatsapp used to cost $1/year which covered operating costs (first year free).
This was pretty ramble-y and pulled in some pretty unrelated examples.

* We never get a clear answer for why the Civic Center Engineers got the inputs wrong, so we can't conclude that it was because of their expertise.

* With the firefighters, there's a pretty easy proximal explanation, which again is not their expertise misleading them: panic. If anything, the solution to the problem shows that expertise was the solution to the problem, not the cause of it: by adding running without packs to their expertise in a concrete way, they were able to override panic.

* With the priming examples, I can see how this might be related, but the only example which actually involves expertise leading them astray is the baseball example. But this priming research, contrary to what's claimed in the article, isn't reproduce-able. And even if it were, these sorts of lateral thinking exercises have pretty limited applicability: detectives or theoretical physicists use a high degree of lateral thinking, but many careers don't, and I didn't get those examples from the article, I had to come up with them myself: that hardly speaks to this being an insightful article. And ultimately, it's unclear whether expertise leads detectives or theoretical physicists astray: surely part of gaining expertise in a field that requires a lot of lateral thinking involves building the skill of putting aside preconceptions. Again, I don't think we can conclude that expertise is the problem: it may be the solution.

Overall, this topic could be interesting, but this isn't an insightful article on it.
When you are working and the company wants you to sign something to keep working it is different than if you are looking for work and the company says before you can work here you have to sign this.
Excess energy is an easy problem to solve: use it to desalinate water, produce hydrogen fuel to power ships, or any of several other uses.
For me, the main benefit would be the ability to use a concurrency model other than the event loop.

In Elixir, I can reason about the code being run in one process as though it were synchronous, because it kind of is. But I can do that without blocking anything else, which is also pretty important.
I was glad to see that the comments on the webpage provided a link (https://replicationindex.com/2017/02/02/reconstruction-of-a-...) to a summary of how priming research has been cast into doubt in recent years. Any talk, article, or premise that uses priming experiments to explain something, is a red flag for me. I'm not saying none of it really works, but I am saying that it is clear that something more complex is going on than we think, and many of the priming experiments, at a minimum, have been misinterpreted (and in some cases are just totally unreplicable).
Don’t worry, none of our senior politicians have a track record of directing public funds to private companies owned by people they’re sleeping with.
Haskell actually does a great job when you do need to drop to C (or lower-level Haskell) for performance. It has a great FFI, a bunch of modules around low-level programming (raw ptrs w/arithmetic even), and things like the ST trick and (soon) LinearTypes to help you build interfaces that guarantee your impurity doesn't leak when called by pure code.

Haskell code tends to be pretty fast as-is, and tbh I don't see the problem with having to think about performance when you're writing performance sensitive code. When you do need to hand-optimize, Haskell does not get in your way or make it impossible.

Also, many extremely complex Haskell abstractions can be optimized away completely by GHC! Generics, lenses, and the state monad come to mind.
coronavirus, where does this stack in the legacy of nasty viruses that come out every few years? I can remember several off hand making the news, maybe I'm lumping some mistakenly. Anyone know a place where a timeline and scale of each pandemic (is that what they're known as?) can be found?

* swine flu
* SARS
* bird flu
* H1N1
> I do, however, think that you're underestimating how much bad will Microsoft is building with its userbase these days. Sure, I don't think we're headed for 20-30%, but I do think there is a higher proportion of tech savvy users who, all else being equal (granted, big if), would prefer something like Linux that they will have control over. MS have pulled some amazingly ballsy moves with their latest iterations that have absolutely not been present in previous incarnations. Forced updates, ads, gaslighting Cortana setting, re-appearing icons, mandatory new apps, telemetry, forced Windows accounts, Candy Crush ads, lock screen ads - the list continues. What's more is that previous frustrations (blue screen of death) were a limit of the technology. All of the aforementioned are deliberate and arguably cynical decisions from MS. This makes a certain percentage of the population angry, and while the main playerbase is made up of those who are willing to make a compromise, if we make the compromise more attractive then you WILL see higher users. This time is different.

While I agree that is all garbage a lot of it is more of a minor annoyance rather and almost all of it can

> Apart from the countless reports being made to ProtonDB? Or the 120k subscribers to the Linux_gaming subreddit? Or the increasing Linux Steam Survey stats? There is evidence.

120k vs how many PC gamers? Doing a cursory search put the number near about 1 billion. There is at least about 2 orders of magnitude between the two.

> https://youtu.be/18y6vteoaQY?t=104

Whether I am one or not doesn't change the fact that it is up to you whether it upsets you. I haven't gone out of my way to upset anyone. I've just argued my point.
This is a full quarantine per all media reporting, including Chinese party apparatus. People are allowed in but are not allowed to leave once they are in Wuhan.
Could they? A moving target? Say the soundproofed back of some van.
Show HN: Simple Document Metadata Scrubbing
> I gave an example of increasing correctness in the context of record data types, something almost every business app does.

A tank is a way of getting people to work faster than walking, a concern that almost all people have, but that doesn't mean we should propose tanks for that purpose. That dependent types could increase correctness doesn't mean they should be added to a language -- unless its goal is research. This is a common problem I see. Say A is some business concern. The question we need to answer to decide whether to use solution B is not B => A but A => B.

What you're saying is that if I choose to use technique X and I want to achieve Y, then this is a way to do it. This is not the same as saying this is a good technique of achieving Y. The logical implication is reversed from what we'd like to find out. At best you're saying if you use dependent types, you increase correctness. I want to know what you should do to increase correctness, and using dependent types might be the worst possible option. The question is not whether dependent types imply increased correctness, but whether wanting increased correctness implies we should use dependent types. In fact, the post cites a case study about dependent Haskell that isn't exactly a glowing review of the feature.

> And these are good alternatives for some classes of problem, but how would I use them to type check a SQL query?

"Type-checking a SQL query" is not a business goal, and if I try to convert it to some goal you may have been referring to, for example, what is a good way to check if there are mistakes of some simple class in a SQL query, then I'm not sure simple testing isn't more than sufficient. Having said that, I like simple type systems, and I think they are also sufficient for that (e.g. there are typesafe SQL libraries for Java).

> Hmmm I have my doubts that this is really fit for such a purpose, otherwise why are there various efforts to build a deterministic JVM?

I don't know what the requirements are so I don't know.
You need to keep in mind that HN is a bubble. The responses here do not represent the masses.

Yes, most people will search for 'insurance quotes' and click an ad.
Master of Orion and Master of Orion II (they are very, very different games) are two of my all-time favorites to this day. I started playing them when they were first released, and they've never left my game rotation.

As it happens, I've been playing the original MOO again for the last couple of weeks!
By human emotional calculus, it is better for a million people to experience on average 0.001 of a mortality event than for 1000 people to be killed outright.

When we measure such things in terms of "increased cancer risk" and "possible thyroid dysfunction", it is far easier to discount, particularly as young people are not tremendously concerned when people above a certain age die of diseases that are already typical in the aged.

So even if we knew it exactly, people would still care less. It might be more relevant if, instead of death toll, it could be given a money value derived from additional healthcare expenses for exposed individuals, because young people implicitly know that they are the ones who pay when old people get sick.
I think in this case the use of 'de-orbit' only means removing it from its in-service geosynchronous orbit, to the graveyard orbit.

De-orbit down around usual LEO altitudes is more drag-effect, you will return to Earth soon enough anyway.
> Hegel developed a theory that historical progress goes always forward, or towards better things.

This is a popular supposition, but is mostly a misunderstanding of Hegel, promulgated by Left Hegelians like Marx. Hegel’s argument was that thought moves toward a greater state of contradiction, not progress, but that this evolved sustainment of the contradiction represents a more rational form.

Todd McGowan at the University of Vermont wrote a whole book on this subject:

https://cup.columbia.edu/book/emancipation-after-hegel/97802...
These People Care About Fonts
In theory but the energy requirements would probably make that infeasible.
So their corporate telemetry system doesn't document their long lunch at the strip club which, for other reasons, happens to be located just around the corner from the airport.
Half-life means that after 5750 years half of it will have decayed, then half of that in another 5750 years, half of what's left in another 5750 years, and so on. That's about 20000 years for still 10% of the original power output, and it won't go totally dead for some million years more.
> what if Google ads actually aren’t that effective

Did anyone besides Google sales and marketing people actually believe that?
to a US company though, DoD wouldn't mind about that
Agreed. And lets kill this "built with love in <City>" crap too..
If we're talking about books that contain a lot of wisdom,Imight suggest reading 'letters to a young poet' by Rainer Maria Rilke. It left a lasting impression and I get back to it from time to time.
Anyone that wants to get a teaser can watch: https://youtu.be/F5tZ8X-EnAg
If you can't get the permission, then you don't have it - so yes, they can't simply use it on unsuspecting people in a public space.
100% agree. Always loved playing the Darlok and stealing everything (especially you tech researching races).

I always dreamed of recreating this in the browser with an online multiplayer component, but the battle system was always flawed in my opinion.
Not if you hit the max.

If you hit the max it is irrelevant, I am talking about hitting the max and going bankrupt.
Perhaps they should create "Google Pro" that searches for what people ask for rather than trying to interpret what they mean. Don't get me wrong, the interpretations can be useful for generic queries. On the other hand, it is annoying when I know the exact terms that I need.

> I've actually moved to other search engines because the quality of the results have gone down dramatically.

Agreed. It also reminds me that the old engines weren't so much bad or that Google was better as the quality of the old engines degraded with time (may that be from the index being poisoned, paid inclusion of results, or something else).
While I find your answer very helpful. Now I first search with Qliqz and DDG coding related stuff! It is almost impossible nowadays to find an accurate technical result out of so many adds with Google.
> This contrasts with the regular roundabout, where if you try to exit from the left lane, you are risking collision with someone on the right lane who's not exiting.

That's how the roundabouts are built where I am from. You can be in either lane and exit from the middle of outer lane. The right lane must exit the inner lane can go around or exit. Although some people in the outer lanes try to turn left and crash into the people in the inner lanes.

I get the difference now, that's how they should be here there would be fewer accidents.
What'd I'd like is something similar for pgbouncer.
Not only were they in stock for me but I could have had them (the N95 ones without holes) delivered by the end of day today...

Going to call bullshit on the claim that they're sold out in the US.
Plasticine: A Reconfigurable Architecture ForParallel Patterns
I think that a) already happens when a company shares its profits with the workforce. Mere competition will force the competitors of such a company to do that as well to attract talent.

Item b) sounds like capitalism and blockchain to me :)

About item c), heuristics and politics don't go well together, according to my intuition.

But these are just my opinions. This is a fascinating topic.
Stellaris? Endless Space? Galactic Civilizations?

It's a bit niche next to Civilization, or Battle-Royale-FPS-of-the-week, but it's not quite at the level of flight simulators.
I don't understand your argument, in that I really can't see how one can equally argue the opposite. I fully acknowledge that Haskell has been successful as a test bed for PL research, and I also think Haskell is an interesting language worth studying. It is also true that FP ideas have increasingly bled into mainstream languages over the past two decades. But that does in no way imply that Haskell is in any way a good general choice for writing useful software.

And although a lot of practically useful stuff has come out of Haskell-land (property based testing, for example), it's not even obvious to me that Haskell has been a huge part of the shift to more FP-y idioms (compared, to say, scheme or SML). Your own example, fold, has been around decades before Haskell.
I'm done with Google as of today. The evil genius of making links look like ads, is not just the straw that broke the camel's back; it's the entire bale.

There is mass hysteria about Google in general. They aren't the privacy nightmare the pitchfork wielding folks would have you believe. That said, they inspire others that are indeed nightmares. The entire third party tracking industry is a nightmare. And it was already, before Google. (Google bought doubleclick, don't forget.) But people see Google doing it and want to get in on it, nevermind the internal controls and oversight. So the net net is that it's a bad thing -- nobody can be trusted to hold so much PII.

I'm switching to Bing. DDG never did it for me. As an aggregator of other engine's work, I do not enjoy their business model either.
> "Primarily though, they are best for devices requiring long lifetime, low power and where it is difficult to replace energy sources."

Infinite power or low power? I think they mean infinite energy. As in "The power went out".
Wiser Kids
> Well, because the goal is to have guarantees at compile-time

No, that's no one's goal. The goal is to increase correctness as much as possible prior to shipping. BTW, reducing soundness guarantees is all the rage in FM research these days [1] precisely because soundness has a high cost, and it is rarely needed for non-simple, technical properties.

[1]: https://dl.acm.org/doi/pdf/10.1145/3371078?download=true
I know they said that, but I don't know anyone who actually had to pay it.
Hackers target unpatched Citrix servers to deploy ransomware
I think this is the actual data: https://wallethub.com/edu/best-cities-for-jobs/2173/

where Pittsburgh is 13 and San Jose is 15. According to their findings.

Others in the "top 10" include Scottsdale and Tempe AZ, Austin TX, Boise ID, Boston, Fremont CA, San Francisco, and Portland Maine. Seattle is at 21.
Without ADS-B out on your airplane (which you don't have for <$200), you will only pick up mode-C traffic in your area if there's another airplane nearby with ADS-B out and coded to receive ADS-B in. You would then be intercepting/"piggybacking" the traffic transmissions meant for that airplane.

https://ipadpilotnews.com/2019/09/ads-b-traffic-when-does-it...

https://www.faa.gov/nextgen/programs/adsb/faq/#x8
You probably have a much large hole in your coverage than you thought.
The State of Open Humanitarian Data [pdf]
Death is not the only measurement of danger.
My experience is precisely the reverse. Working scientists understand both the social sciences and humanities as well as science and math. On the other hand, people outside the sciences have very little understanding of science and math. And they are often embarrassed by their lack of knowledge and sometimes respond in anger.
https://www.telegraph.co.uk/travel/destinations/oceania/aust...

It happens rarely, but pilots are also trained to not blindly follow clearances. They are still pilot in command.
FastMail with my own domain.

I tried hosting on my own server, but it's just too much of a time investment for one person.
I question whether the described Portland approach is actually subtler. Is it actually? It's definitely more meta. It's definitely less resource-intensive. But in my experience there's nothing subtle about sour grapes.
Releasing Stash v0.9.0-RC.4 – Introducing Batch Backup and Hooks
Agree 100% about the least obtrusive ads. The ads on the verge jump out at you and are pretty in your face.
TBH, if you gave me the list "dark," "shot," and "sun" I'm not sure I'd ever think of "glasses" as a word that went with all three, since I still don't really know what dark glasses are. I guess like dark sunglasses? Or maybe they mean "through a glass darkly"? Priming is a real effect, but that example of priming seems like it was poorly selected.
I struggle a bit with pieces like this because I genuinely am not trying to establish or gauge another person's status when I first meet them. And I really don't think I'm in denial on this. Outside of a business context, it doesn't feel all that important, nor does it feel in any way clear cut. What qualifies as higher status anyway? It's going to vary based on idiosyncratic values whether you are more impressed by a painter or a CEO or an academic or an activist or a caregiver etc.
> Neither the C Language Standard nor the C++ Language Standard specify an ABI.

Perhaps we should distinguish between a Langage-Standard ABI vs. a per-platform de facto ABI.

I think the GP's comment holds for the latter definition.
Songs of the IBM (1935) [pdf]
Purity applies to the process of program construction. This is still very valuable, as I can better reason about program correctness.