skysight-inc/HackerNews huggingface dataset:
World of Warcraft and Runescape had this aspect where you could just be mining or fishing or whatever while chatting with other people.
How to Speak by Patrick Winston [video]
Beautify - https://marketplace.visualstudio.com/items?itemName=HookyQR....

Better Comments - https://marketplace.visualstudio.com/items?itemName=aaron-bo...

Bookmarks - https://marketplace.visualstudio.com/items?itemName=alefragn...

Bracket pair colorizer 2 - https://marketplace.visualstudio.com/items?itemName=Coenraad...

Format context menu - https://marketplace.visualstudio.com/items?itemName=lacroixd...

Git Graph - https://marketplace.visualstudio.com/items?itemName=mhutchie...

Git Lens - https://marketplace.visualstudio.com/items?itemName=eamodio....

Indent rainbow - https://marketplace.visualstudio.com/items?itemName=oderwat....

Path intellisense - https://marketplace.visualstudio.com/items?itemName=christia...

Total lines - https://marketplace.visualstudio.com/items?itemName=praveenc...
They don't do it for good reason: set theory is basically a strictly better foundation for mathematics, and you have to ape all the set theoretic constructions when doing various things anyway (e.g. constructing the real numbers), so it doesn't buy you anything.

This issue has been litigated extensively, and in my view successfully, by Harvey Friedman on the Foundations of Mathematics mailing list, if you want to check its archives.
the best two things that can happen in my opinion (based on a book called 'the chickenshit club') are

0. make corporations admit wrongdoing. almsot every one of them that gets out of a protracted settlement like this without having to own any responsibility at the corporate level for this. They can take the fine. They cannot take the risk to their business and loss of reputation in the market.

1. Stop offering settlements and start prosecuting. Chain up their C levels, withhold bail, deny parole and do not under any circumstances allow the argument of 'hurting the market' sway you. Do the same thing you do to street criminals: freeze their assets and punish companies doling out golden parachutes (AKA bankrolled hush money.) Yes this means you wont always have a perfect record as a prosecutor, yes this means you wont get your shiny DC penthouse after you 'retire' from government life with a law firm in the beltway. and yes it means youll do real work.
Mirror:
http://archive.is/jvQGd
> I don't know what project this is but a blanket "add a test which fails without your patch for EVERY PATCH no exception" rule is a bit cargo-culty.

We had (and still have) 100% code coverage on Windows MSVC, Windows GNU, MacOS, iOS, Android, Linux, FreeBSD, NetBSD, DragonflyBSD, Solaris, WASM, and many other platforms, as well as all possible hardware (ARM32/64, x86/x64, ppc32/64/be/le, sparc64, mips32/64/be/le, mips64, riscv32...).

The OpenBSD parts of our code base weren't tested at all; they weren't even compiled.

In practice that meant that pretty much every PR broke the OpenBSD support in some subtle way, and people would only discover those failures during the release process, which took a lot of time to fix, usually from somebody that did not care about OpenBSD at all, requiring them to create a VM to be able to develop and test from OpenBSD itself.

So yeah, we decided to unanomously require that code that cannot be tested be removed, and gave the OpenBSD devs the chance to fix it. Starting with requiring OpenBSD contributor on their PRs to add testing support.

It wasn't practicable because their platform is designed to prevent non-OpenBSD users to develop for it. So we removed the code, and this became some OpenBSD user group problem.

This solution actually worked better for them, because it became up to them to decide when new versions of our project got released for OpenBSD, so they could get the latest release, apply patches, test that it compiled locally and passed tests, etc. before doing a release for OpenBSD, something that we did not care about doing.

We believe that code that isn't compiled doesn't compile, and that code that isn't tested doesn't work correctly. Our OpenBSD parts were living proof that this is 100% true.

I find it quite ironic that this project is security related, and some of the bugs that hit OpenBSD were CVEs that were completely preventable. This CVEs only hit OpenBSD because it was the only untested platform. In a sense, OpenBSD users actually were quite lucky, in that most releases broke compilation for OpenBSD, and that saved them from many CVEs. Unluckily for them, not all bugs result in compilation errors.

> Finally, surely you get plenty of patches which do small useful things like cleanup but which it would likely be impossible to write a test for.

We have 100% code coverage. All our functionality is heavily tested and fuzzed. The modifications in a cleanup PR are exercised by many tests, and therefore tested.

If someone submits a bugfix, that means we were missing a test, so we require users to add one. OpenBSD devs weren't able to do that, so we stopped accepting their bugfixes, and at some point removed all the code.

If you don't think that bugfixes should be accompanied by tests that check that the fix works and the bug cannot be reintroduced again, then I disagree with you, and hope I never have to use your software.
That sounds like a lot to me for just one customer. But in the absence of much more data about AWS customers and revenue, it's hard to draw any meaningful conclusions.
Great product. No affiliation, just a satisfied user.
A lot of people have Google horror stories like this.

I’ve had a gmail account since early beta. I upgraded to their $10 per month for 1 tb storage (which they recently increased to 2 tb). I recently got a better deal from Microsoft so want to switch. So over a week ago I deleted my entire Google Drive. Except it put everything into the Google Drive “trash” that still counts against me. I immediately emptied the trash except that literally did nothing that I could tell.

Then, about 100 GB per day has been freeing up from the trash for the last week and a half. I can’t cancel the extra storage until this is complete or I’ll stop receiving email on my gmail account. At the snail’s pace that it’s freeing up storage on my Google Drive from the trash they’ll be charging me another month. It’s ridiculous. And as a paying customer there’s no practical way to contact them.
Your observations strike a serious chord with me, because the first class I took where a professor wielded set theory like a ruler to the back of students' hands was exactly the point I realized that mathematics was not my calling.

But I've come to understand that I was not realizing that I didn't like mathematics or thought it was too hard, but instead that if I made that my life's work, I'd be working with many more people like that, rather than the people I wanted to - bright and creative, yet kind and humble.

I don't think set theory or any other set of tools is the problem behind potential academics getting turned off. It's the people, and the culture of glorified monkhood.
The Retail Apocalypse Is Here
I monitor HN using a Pipedream workflow of course. Here is the code and you can set it up in about two minutes - https://github.com/PipedreamHQ/pipedream/blob/master/compone...
Ask HN: Weather Forecasts with Confidence Interval?
Does anyone know a source (on the web, most probably) of local weather forecasts for the USA that includes confidence intervals or some other indication of uncertainty around the numbers reported, such as the forecasted temperature?

I'm not finding one using search engines so far....
> What troubles me about this is how casually we've moved everything to e-mail, on the assumption that everybody can get a "free" e-mail account, even tho the account isn't actually "free" and can be taken away from you without you doing much of anything wrong.

As far as standards go, E-Mail is pretty much one of the more, if not most, open ones out there. You can easily host your own server. The RFCs are free to read and there are many open source solutions doing the hard work for you. Sure, there are problems with spam defenses and acceptance from residential IPs, but overall it's one of the few meshed standards left. And it's nearly impossible to get it any more free; after all, there are many privacy-focused GMail alternatives (i.e. Protonmail) which work just as well.

And let's be honest - if we'd be replacing mails, we wouldn't get something better. It would be more like "login via Google/Facebook". I'm really happy E-Mail is still alive.
You can use the ordered_float crate. It has a newtype that cannot hold NaNs and thus impls Ord.
1. This isn't inference only, it has the full capabilities of a normal GPU, just small and low power (and therefore much slower than normal GPUs).

2. TPUv1 is a matrix multiply ASIC that requires a host CPU to do anything. This thing is a SoC that includes both a CPU and a GPU. The CPU is pretty fast for what it is - much faster than e.g. raspberry pi, see https://www.phoronix.com/scan.php?page=article&item=nvidia-j....

3. not sure how you know whether this is more expensive than a TPUv1, since the TPUv1 was never sold or available outside of google.

A much better comparison would be between this and the Edge TPU development board.
> Is anyone actually claiming that deep learning achieves true “human-level performance” on any real world open-ended learning task?

No, but the text you quoted doesn't say that.

Human level performance in this context means humans perform no better than some algorithm on some specific dataset.

Incidentally, that's also how you get to claim superhuman performance on classification tasks. Just include some classes that aren't commonly known in your dataset, e.g. dog breeds, plant species, or something like that. ;)
It breaks a lot of convention, and it's weird, so it's going to have a lot of people who love or hate it. It's a very well made game (aside from the classic, impenetrable Japanese-style menus), he seems to have fully implemented his vision for what he wanted it to be. Whether you like it or not is more down to whether it clicks with you. Since the experience is hard to describe, the only way to find out is to play it. But if you find that you don't like it, I'd suggest that you at least get a couple of hours into chapter 3 before you give up, because that's where the game starts to get into its' swing. The other thing I'd mention is that people seem to think Kojima takes himself more seriously than he actually does, and I've seen people complaining about things that'd I'd enjoyed and attributed to Kojima humor.

Also, it basically has a feature length ending, with cutscenes interspersed with repetitive gameplay where you just have to trigger more cutscenes. If you want to complete the ending in one sitting, make sure you have a couple of hours.

Edit: One thing I remembered that frustrated me about it. The game is essentially a stealth-action, and it gives you a lot of freedom to choose how you approach the problems it gives you. But it doesn't always reward your choices the way you would expect. Did you choose to clear out an entire area of baddies so that you could freely loot it? Well in some specific cases, they'll respawn before you're done.
OK, but this doesn't answer the question. You intimate there are benefits but never say what they are.

The vast majority of mathematicians go their entire lives without using the word "category" in a paper. What are they missing out on?
Procrastip – Guide to Stop Procrastination
APL is a wonderfully imaginative language. But - it is difficult to decipher, and I would imagine rather difficult to debug. (Not to mention requiring a specialty keyboard...)
Show HN: CLI Markdown Meal Planner
Did You Hear That?
Over 100 levels of guessing the gibberish for free. A good way to waste time during quarantine.
Yeah, but it would require an enormous amount of fast disk space. An actual keylogger would probably be more useful.
> “Employees who work in a role that can effectively be done from home are welcome to do so until at least October 2,”

If I can _effectively_ fill my role from home, why wouldn't I be welcome to do it for as long as that's true?
There was never a pattern but it was usually something that you would learn in an upper division algorithms course that doesn't come up often in practical applications, like Big O notation or Bloom Filters or Depth First Search.

Oftentimes they would know the topic intrinsically (like a search algorithm) but not know it's name or the typical use cases.

But like I said, usually by the next day they would be an expert.
Musings on a Consensus System for the Web
Open-source medicine could prepare us for the next pandemic
The Trading with the Enemy Act empowers the Office of Foreign Asset Control to come down very hard (million-dollar fines and years of jail time) on anyone dealing with a sanctioned nation (N.Korea, Iran, Cuba) or anyone on the list of Specially Designated Persons and Nationals. This is absolutely the law, yes.
This. I have a BS in Comp Sci but have several friends who got in after finishing bootcamps and this is what I've heard from them as well. Just keep applying everywhere and someone will take a shot at you. It gets a heck of a lot easier to move around once you get your foot in the door.
"Cloud Scale" always promotes that you can scale up easily, but that also means you can scale down easily
Maybe. But that's assuming people will use more cloud services at home than they and their companies do when working at full capacity.

I was thinking that we were going to start having blackouts due to everyone being at home during the day running their A/C, until I realized that countless businesses are now not running their A/C since no one is in the office/restaurant/mall.
Twelve packages with twelve dependencies each is 144. I’ve seen >10x this level of blow up on multiple products at multiple companies.

One company missed installing malware behind all the firewalls of most of the fortune 500 by less than a week.

We made a procedural change to the build process of a product that had been shipping for years.

The change hit our CI/CD 5 days before one of the big language package managers started spewing malware at us.

Package maintainer count bloat is a serious real world problem.

Ignoring it is negligent.
I think the fact that you find more people in the world with technical talent who are also poor has a lot to do with the fact that there are a lot more poor people in the world than rich. If a talent is equally spread throughout humanity, then one would expect most recipients of that talent to be poor.
Right now a more important question is how fast is the Cloud growing? Will it outgrowth the recession?

The Cloud is still growing as many businesses are still moving towards it. If the natural growth of the Cloud is bigger than how much the economy shrinks then the growth will still be positive or flat.

I work for a tech company in this situation. It has grown a lot the past years and was expected a lot of growth in 2020. Now the expectations are more close to a flat growth with heavy losses in some quarters and growth in others. It is a similar case to the Cannabis industry. It may shrink from the reduction in economy, but still grow to the end of the year as it is just starting its growth path.
I would continue using my protonmail account.
I have some problems with this comment.

First, why the scare quotes around "rigorous"? Set theory literally did make the foundations of analysis more rigorous.

Second of all, we don't use set theory because it's "trendy" or because we want to "indoctrinate" undergraduates, we use it because it's the best known foundation for mathematics. If there was something less complicated or annoying that worked, we'd use that instead. But as far as we know, there isn't, and there are good reasons to believe we won't find something better.
> we've got one remote hole

Are you forgetting the time they sent local filesystem searches to some spyware company? And that's just things that were a: deliberate, and b: public enough that I remember them off the top of my head despite not having used Ubuntu in years? (I forget which specific problem made me drop it, or I'd probably have a third example.)

OSX is a toxic, vendor-supplied-malware infested cesspit that I've never used and don't pay much attention to, and I've never even heard of Amazon Linux, so I wouldn't expect to have examples for those.

> the "OpenBSD cares more about security than everyone else" narrative

Actually, my claim was that Ubuntu (and maybe a significant fraction of "everyone else", but that wasn't really my point) is actively opposed to security.

> even if we don't admit a difference between unintentional remote holes and "deliberate backdoors,"

There is a difference; there's a huge difference; deliberate backdoors are much, much worse. This kind of shit is something I would expect of Microsoft (Windows) or Google (Chrome).
> Obviously they are not to be trusted -- but who are they, and what is their motive?

What exactly are we not trusting them with?

Edit: This post should be an Ask HN: post also.
For me the best way to get stuff done is to get up early, and to get up early I go to bed when tired, and try to get up at roughly the same time every day without an alarm clock. The "brightest slice" of my day is my most creative and most productive. I use downtime or slow-brain time to design and draft, and I use late-night sessions to create todo lists for the morning attack. Procrastination is usually a result of insufficient preparation and non-ideal environment. First make the ideal environment, then get to work. I like the tip about meditation, that definitely helps a ton with clarity, emotional modulation, and your motivation can be more than just for yourself -- to help lots of people, everyone, through your labors.
Docker is nice because you end up with the same configuration in development and production. There are many hidden details that "just let someone else host your site" or "just rsync your files to a server" gloss over. Who is renewing your TLS certificate? Where do you configure headers, redirects, mime type mappings, etc.? Where do access logs go? How do you update the version of the web server? What effects does that update have?

When you manually do these things, you rely on a bunch of implicit defaults. Maybe your production server and your workstation happen to have the same version of nginx, and happen to set the same defaults. So you can test a change on your workstation and the same change works in production. But more likely, that is not the case. So you get weird differences between development and production, and you only notice when you push to production. That is not ideal. Building an image with your webserver and static files ensures that you see the same things in both places. There is no need to test anything in production, as you have a copy of the exact code and data that is going to be running in production, locally. You can tweak and poke to your heart's content, confident that you'll have the same effect when you push to production. There is no need to maintain documentation about how to build your project and what versions of things you use; you specify them in a machine-readable format and the machine dutifully builds the project correctly every single time.

(One disadvantage of clean builds, though, is that sometimes you want old artifacts to exist. Consider a case where you use webpack to generate javascript. Typically, you'll output a bundle like "main.abc123.js" which is loaded from "index.html" via a script tag. What happens when the browser loads index.html from your last build, then you the next request goes to an updated server, which says to get "main.def456.js" instead? The page silently breaks, because the server doesn't have a file called "main.def456.js" anymore. "rsync --delete" has the same problem. And if you never delete anything, you eventually use an infinite amount of disk space. So there is definitely room for improvement here, but "it will probably work if I don't think about it and cross my fingers" is not the improvement we're looking for.)
I find this oddly touching.
For the big 3 cloud providers, even if their cloud did contract significantly, they are all poised to earn more on the other parts of their business to make up for it.
So joomla + http is still a thing in 2020....
Reminds me years ago I stumbled on an essay by Richard Posner ex Chief Justice of the 7th Circuit. In it he discussed his belief that.

a) The only way to keep poor people in line is the threat of prison.

b) Middle class people can be kept in line by the threat of fines.

c) However the wealthy are kept in line by the threat of losing their good reputation.

https://en.wikipedia.org/wiki/Richard_Posner
MMR Vaccine Link to Covid-19: Fewer Deaths and Milder Cases [pdf]
Free Will Is as Real as Baseball (2011)
Spring boot + JSP for me.
https://gitlab.gnome.org/GNOME/evolution/-/issues/905
Here's a video from FOSDEM where Urban (the main author) explains why he started LibrePCB and how the library concepts are different from other similar tools like KiCAD: https://www.youtube.com/watch?v=vu-h5y6tK34 (Slides: https://archive.fosdem.org/2018/schedule/event/cad_librepcb/)

Also, previous HN threads:

https://news.ycombinator.com/item?id=21676027

https://news.ycombinator.com/item?id=18569969
Interestingly, I had the opposite takeaway.

0.3% of monthly revenue from a single customer's reduced spending only a couple months in to a multi-year recession is pretty alarming.

Makes me wonder if OP's company is particularly exposed to retail, travel, or another sector severely impacted by the first order effects of the virus.
For anyone wondering, here's the bug: https://github.com/ogham/exa/issues/550
> For example outside of rustc-dev hardly anyone compiles rust them self.

Yep, and it shows (as many other threads point out). Gentoo users are one of the populations that is more likely to compile rust from scratch, but many likely use rust-bin because the build times, toolchain dependencies, etc. are all completely insane non-starters. If the rust evangelists want people to take them seriously, they need to have serious answers to serious engineering questions and concerns and not simply respond with "but memory safety!"

Amusingly this recalls the kernel mailing list thread where Linus says "I think the OpenBSD crowd is a bunch of masturbating monkeys" because they focus too much on security. Well damn if Theo didn't just effectively say about the rust evangelists what Linus said about him. You have to be severely out of touch to not understand, much less dismiss, the basic features that OSes require of language ecosystems. I mean, these are so basic that if you show up without those features you will be rightly shown the door because you haven't done the simplest requirements gathering much less the actual engineering work that anyone would be expected to do if they wanted to be part of core infrastructure.
I'm not assuming anything/anyone specifically but lean towards nation-state, anarchist, terror, etc.
A natural disaster such as a flare, earthquake, fire, etc. are a different story.
The radiation and electrical magnetic pulse from a solar flare could hamper equipment. However recent studies in the last few years by EPRI, INL, and ORNL actually show that much equipment would survive and equipment that did not would be localized.
Not a bad post. One suggestion that has worked for me to stop me working on dozens of ideas at once is to write them down in detail in an ideas diary. This seems to take away most of the desire to start working on the idea right now.
Yeah, it makes no sense to be the default. Code that expects to treat NaNs is very rare.
Think of it in a "Compute at home", "folding at home", blockchain-sense then latency doesn't matter as much, I do not know if anyone has tried solving things with big clusters separated by 40ms-60ms latencies.