skysight-inc/HackerNews huggingface dataset:
This (purported) proof is 500+ pages. For a mathematical proof, that’s enormous. Sampling a few of the issues of the journal in question, its longest papers seems to be about 40 pages (http://www.kurims.kyoto-u.ac.jp/~prims/pdf/43-1/contents-43-..., http://www.kurims.kyoto-u.ac.jp/~prims/pdf/42-3/contents-42-...)

And those are papers that an expert can skim to get an idea about the flow of the proofs. This one, if you jump in, says you things like “every fooable bazz is a bar”, where foo, bar and baz are new terms no mathematician has any intuition for that, likely, got defined in terms of other hitherto unknown terms qux, quux and quuz, making it impossible to judge whether that statement has merit, or how it leads to proving the abc conjecture.

And yes, an automated proof checker would be nice to have, but we aren’t there yet, by a wide margin. Getting there would make this proof a lot longer.

(For a loose analogue: imagine that the published solution to a “mate in 2” problem in chess wouldn’t just be “Queen g1, check, King h8, rook h2, mate”, but “whites queen is on field d1, by rule r queen can move horizontally across empty fields, there are no empty fields between d1 and g1, that doesn’t bring white’s king in check (blacks pawn on e4 can’t take it because…, blacks knight on c6 can only move to… because of rules…, so white can move their queen to g1. That brings black in check because of rules…, etc)
Have you ever said to yourself "self, I really want to work on large, badly maintained accounting and finance systems that should have been retired years ago?"
Twitter link is https://twitter.com/klinskyc/status/1246465251614363650
My favorite Front-end hack What's yours?
Has anyone noticed that the CDC’s reported deaths by week from ordinary flu and pneumonia have been plummeting while COVID-19 death rise?

They are down from the normal 4.5k+ per week during this period to around 2.3k per week and they are falling parabolically as COVID-19 expands.

What could cause this?
Its going to be specific stacks that don't do the MUSTs.
Sure, but more so than all the other drugs?

People just have a problem with a no-information-yet state, they'd rather talk about the unfounded rumor than acknowledge that people are hard at work and there is no definitive news yet.
Yeah, we get that a lot. Its amazing how many faxes we send for students. In a bigger city the library or a UPS store (or equivalent) can be used, but here we do it for them.

Its the same for things that won't ship to a PO box, as we get some student shipments for students who haven't figured out how to write a BS address the UPS guy would figure out. Expecting people to have actual addresses that result in home delivery is just not something that you can depend on in the US.
For a Brief Moment, “Iron” Mike Tyson Was the Greatest Boxer of Them All
Which is weird because government workers are, at least by reputation, very stable and static in employment patterns. So a custom system would be less risk than for most companies.
In JavaScript, is undefined undefined?
First thing that comes to mind is code completion, which is unmatched in any other tool in the space.
Everyone here is commenting on minimalism as a lifestyle, but the article seems to be referring to aesthetic minimalism. The two are not necessarily the same.

Also, for people to conclude that minimalism in the lifestyle sense isn't working in some way is pretty bizarre. What exactly is the answer, then? Just giving in to the human impulses of hoarding and consumerism? Whether or not that's the alternative, this conclusion that minimalism as a lifestyle doesn't seem justified in any way. It seems more like a case of "this thing has been trending for the last few years, therefore we have to now point out how bad it is for the sake of it".
It worries me that this study is relying on Chinese data.
Lots of people are giving up before even trying.
These numbers seem much more realistic versus the previous doomsday predictions of 3%. To compare this to base rates, the age adjusted base rate for deaths in the US in 2018 was about 0.7%[0]. Depending on how you look at it, this is either really bad (i.e., 6x worse than the flu) or not that bad (i.e., less deadly than death by any cause).

3% would have been really bad, that's more than 3x higher than the normal death base rate.

[0]: https://www.cdc.gov/nchs/products/databriefs/db355.htm

Edit: fixed wording for correctness.
Assuming good coverage of ICU care. What is it if there's ~zero equipment available, at least when compared to the number of patients?
I think there's plenty of reason to be suspect of Communist China's data. A case could be made that they underreported the numbers in order to subvert The West's preparation and response.

Probably not a popular idea on HN, but that doesn't mean it's incorrect.
It's more likely ivermectin, FDA/WHO approved, cheap, well tested on both animals and humans and aggressive against covid19 in virto

https://www.sciencedirect.com/science/article/pii/S016635422...

https://www.who.int/bulletin/volumes/82/8/editorial30804html...

every dog, cat and horse that is on heartworm medication is already using it
Learn COBOL and MUMPS, I'm pretty sure both will come up. Only add them to your resume when going for those type of jobs.
It's a dangerous experiment with human life, and while one can only say "time will tell", let's hope this doesn't turn into a plague-like catastrophe. But the pay-off - in case it works - would perhaps be Sweden's greatest contribution to humanity since the Nobel Prize.
Yes, true. And, the person is being given money.
Is anyone working on scaling up approaches like the US Digital Service? It is clear that government is often shafted by contractors that spend very little of the project budget on programmers, and it's starting to hurt people (rather than just being a tax on progress).
He heard it from someone on the internet
Not without 'rooting' the phone. The android system aggressively sandboxes each app into its own, isolated, part of the filesystem. So there is no 'official' way to see the app local files, other than by the app itself showing them to you unless you can root the phone.

But, you can go into the settings -> apps section, tap on the storage used area, and press "clear cache" to clear some of the data, and in Firefox go into settings -> "clear private data" and then choose what to clear and delete that and likely recover a fair amount of space.
People love to attribute bad faith into a government just trying to get their shit together in the middle of an emergency. Where and when have they refused?
> If it leaves a lot of people with pulmonary scar tissue that's a big deal.

I think it's simply to early, maybe in the next 1-3 years you can have a more precise picture. We don't know if people with pulmonary scar tissue will end up recovering, or if it's permanent damage (from what I've seen it will depend on many variables, age being one of them).

Even for mortality rate, we need to see this through to collect unbiased data from USA and Europe.
According to reports here, some patients need assisted breathing for upwards of a month, in some cases at >80% oxygen, to have a chance at making it.
Startups with cash are doing this, too.

My takeaway so far is that the tech job search is going to be way more competitive for a while. Since this started, we have had about twice as many people pass phone screens. Smart people who were taking time off who suddenly want a stable income, and smart people who were laid off from less secure startups. Some very talented people that we would have hired two months ago, might not get hired when they interview next week, and it's not because we are hiring less.
> I have seen reports of people with bad cases being left with lung damage

Unfortunately this will be hard to know without more time. Bad respiratory diseases, and COVID-19 is one, can take months to fully recover.
The rise and fall of the Dungeon Master (2016)
> Put everything in a bowl

Care to share your measurements? I’m aiming for something similar, but having trouble getting my ratios dialed in.
It will likely fall to a lesser amount as testing rolls out to a larger sample size of the population.
Further, a lot of Tesla's internal systems are apparently Windows, mainly because Musk likes it, apparently?
Fair enough. Sorry for the hostility. I agree with you on the luxury angle. I think some portion of the cost should be passed to the consumer, but I am also in favor of the drivers being on payroll to "flatten" variability in order cost and provide income (among other things) protection for the worker. To me, the natural response to even a modicum of front-line exploitation (especially in turbulent times) should be met with scrutiny.
I’m no statistician, but I’m very doubtful of the numbers coming out of China. I’d be interested to see how this changes with any given countries data excluded. My suspicion is removing China’s would move the needle more than any other country.
Are you a chemist?
How to Be More Innovative in Growing Your Startup
Problem is there is no ground plane so you do get absolutely horrible signal integrity whatever you do including decoupling. Refer to AN47-26: https://www.analog.com/media/en/technical-documentation/appl...

(digital circuits are fast analogue ones!)
God’s Number
I would argue self-reliance is mostly playacting these days. More so than minimalism. Sure you can learn to do basic things like cook for yourself or build furniture but the skills required to live a relatively modern lifestyle go way beyond the capabilities of one person. Are you really going to mine your own iron to smelt into steel and drill for your own oil?
Agreed. I think it was also a power struggle over which engineering team would be in control moving forward. Musk’s X.com was built on windows and he wanted everyone to switch over on the merge.
CPC? CPM? CTR? ROI? Know at a Glance
On the other hand, it makes a good impression on people like me. I have stayed away from the update due to the forum posts, and I very much think that this in-depth investigation from Bose could be the deciding factor for my next purchase as well. That they both investigate AND let people downgrade returns my confidence in the premium quality of the product.
Good PR stunt or good customer care? What's the difference! I am happy.
My firmware upgrade went well, by the way. Sounds as good as ever, possibly better with a more caramel flavoured sound in the high notes?
It will be years before we get proper studies, but there are also going to be deaths caused by the COVID-19 situation. I'm about to take my wife to a clinic because she sprained her ankle. All of the nearby clinics have been converted to handling COVID-19 cases only, so we have to go to one much farther away. Luckily a sprained ankle isn't typically life threatening, but if it was, driving that much farther could have led to a negative outcome.
Joyist is the new minimalist.
Why would you want to use rust here in the first place? Won't it just slow down your iteration time?
Where we have failed [pdf]
Write Your GitHub Actions Workflow for Build Windows Application
> thinking the petty struggles they face are more important than the survival of the species

It's a flaw of these characters, and also of the contemporary society. There's a kind of distance towards "petty struggles" of everyday life that I'd consider a part of being mature.

Related: this is why I like science-fiction, especially the older one that's written/directed by people who focus on ideas, and not people. I hate the modern critique of sci-fi that characters are "flat". If I wanted to read about character development, petty squabbles and love affairs, I'd pick literally any other genre.
I don't even see how those two things are even the same. They're both minimalism in name only. A tiny house and a glass condo are both fueled by completely different motivations and the ends are also totally different. As you noted, one could intentionally incorporate large glass windows into a tiny house for totally valid reasons, but the article is comparing the generality of a tiny house with condos that wealthy people buy for aesthetics, but they just aren't comparable.
as we say on the internet, [citation needed]
I think it's pretty great that the Swedes are willing to sacrifice themselves for the rest of us for a science experiment. They're going to function as a "control group" for thousands of scientific papers to come.

...and I'm not being sarcastic when I say that.
I had read/heard was the idea that the zombies and said plague actually symbolized communism.
So you don’t consider it a “complete disaster” that Netscape went from 80% marketshare to almost nothing overnight?

Not to mention that currently their existence is almost entirely dependent on their competitor - Google.
Ask HN: Field hospital construction statistics, where to find?
I’ve seen lots of starts on covid-19 testing numbers, confirmed cases, and deaths. I’ve seen lists of places where lockdown/stay at home orders have been issued. But I haven’t seen any stats of field hospital constructions. Rhode Island has identified field hospital locations for up to 2000 beds and is working deploying the first 1000. To me, this seems like a telling statistic of what state officials expect to see in the coming weeks. I’m curious what other states are doing? How much are they preparing for?

Does anyone know where to find this info?
I'm personally more of a fan of things like OG DJ
Distance for minimalism.

this track hits me where it feels: https://youtu.be/3AT8szyLD0k

Turns out, two "movements" (repeated?), and little bit of variation is enough to dance to, and generally make for a pretty good song.
your tone is very conspiracist, which i suggest you reevaluate.

an innocent answer, of course, is that physical distancing works.
I have owned 3 pairs Boss QC noise-cancellation headphones (QC15, QC25 and QC35). While they are generally considered to be a reputable brand, and their software/firmware might be the best, their hardware design is NOT.

I noticed that their QC15/25 has a major flaws on the battery compartment design cause its wiring prone to wire fatigue and as a result it will inevitably end up with a broken side. This is very well known in the community.[1][2][3]

And after warranty expires(usually 1-2 years), Boss charges you $100 for a refurbished replacement (required that you sent your broken headphone back to Boss before you get your replacement) instead of just fixing yours (which should be much cheaper). Highway robbery!

[1]: https://www.youtube.com/watch?v=0u2GBBZbAyQ

[2]: https://www.youtube.com/watch?v=Qlb094awkoo

[3]: https://www.ifixit.com/Answers/View/10706/How+to+fix+power+t...
This is a good intro on MIMO. The spatial multiplexing was first used in the 50’s in microwave towers using quadrature splitters:

https://www.microwaves101.com/encyclopedias/mimo-an-historic...
I wish Sweden the best of luck. Whatever happens, at least the data being collected should prove helpful the world over.
Why is anyone interested in age independent of comorbidities? Yes - age and comorbidities are correlated. But wouldn't it be more helpful as an actionable guide to have statistics for death rate vs. comorbidity rather than, or in addition to, age?
It's definitely a spectrum that transcends anecdotes. I'm colored by people saying one thing and doing another, but I always keep an open mind because of this; looking for proof of action rather than intent. In that case, I think I was wrong in referring to a group of people under a constructed label as if they were the same person and judging them with my own presupposition.
Maybe part of developing a standard should be developing and maintaining test and validation suites for that standard...
>You quickly find out that their minimalist existence is often propped by cheap third-world labour, or by a complete lack of financial planning

I don't get it. What are you talking about?
That is awfully verbose.
The tone behind chiefalchemist's comment is not appropriate ("Communist China" intends to evoke specific emotions, which doesn't have a place on hackernews).

That said, while the citation for this is unlikely to be widely trusted, there is a kernel of truth here. Can't find a specific citation for the reason behind the underreporting, but the underreporting has been widely discussed, as has the misinformation campaign attempting to relocate the source outside Hubei.

https://www.nytimes.com/2020/04/02/us/politics/cia-coronavir...

In any case, I'd like to see more research that accounts for totals from only countries that are accurately reporting their data. Unfortunately, that might not be for a while until e.g. Iceland has a chance to give their numbers now that they're testing literally 1/8th of their population. As other comments have suggested, cruise ships could also be another good data source.

Looking forward to constructive discussion on whether or not numbers from countries such as China and Brazil can be trusted.
I want to be happy for this but it seems very strange there were no false positive results. I guess we'll see in the long run...

Also, the specificity of this test looks 'too simple'. Isn't IgG also seen in other cases, illnesses, post-something?

If there's some medical/biotech expert around, I'd be happy to hear your opinion.

It also seems to say that it will allow detecting whether you already recovered from COVID-19, so everyone back to work ASAP!
> Why does Fe exist.

Reply to one of the GitHub issues discusses it some[1].

>> What was the motivation to create fe if you already made aria?

> The same motivations I had writing aria: for the fun of programming it; trying to make something terse but still practical. Every line of code has a weight to it with consideration that would be unreasonable outside this kind of project: a project that exists just to exist. Each time you write something it becomes — or at least should become — more clear and more concise than the previous time, and if you repeat this, the original version is by comparison an over-engineered bloated mess. fe is a sequel to aria, and as such ended up smaller, simpler and faster

[1]: https://github.com/rxi/fe/issues/3
I don't see how that's the case. If multiple redundancies are a necessity, then having them doesn't go against the minimalist lifestyle. Minimalism doesn't mean that you stick to only have one of everything, although it can mean that to an individual minimalist depending on their goals, perhaps such as traveling light. There's no definition of minimalism that says you should have an insufficient supply of anything.
Live stats mentioned can be seen here: https://www.svt.se/datajournalistik/corona-i-intensivvarden/

The numbers shown represent those admitted in ICU.
I wonder why chicken pox party style solution is not considered.

1. Gather application from low-risk people to be voluntarily infected. Needs to be a significant proportion of population.

2. Schedule them to be infected and isolate until they are virus-free and immune.

3. Immune people are released with no restrictions.

4. Eventually herd immunity is achieved.
+1 to this, the WHOS allegiance to Chinese communist values is what turned me off.
No, it's not, it would be if the cities were still crowded and no one would be working from home, but that's not the case.

Most of us skepticals aren't arguing that we shouldn't do anything, but that we should gracefully allow citizens to adapt, and if necessary, then allow the government to adjust. This is what Sweden is doing, whereas most of the other countries were so convinced that what they were doing was right, they just outright declared it the law, not giving their citizens any chance to handle it by themselves.

And I believe this "nannying" is something that a whole fucking bunch of us, especially in the Western hemisphere, are pissed about, and we're looking and hoping for Sweden to get through this just how we believe would be correct course of action.
This is actually something cool ! Good job !
This is similar to the best estimates we've had so far for the death rate with great care. Even then doubling the yearly deaths is still a very large event, and that's if we can flatten the curve enough that the health system copes. If not multiply the number by 5x.
Funny how your comment also use "should" and "may" :)

Anyway, those key words are used to allow flexibility in the implementation. Remember that a RFC is specific to a single version of a single protocol.

Thus splitting everything in multiple RFCs will still implies complexity in the implementation, just not the same kind of complexity (what versions to use and when?).

> Imperatives of the type defined in this memo must be used with care and sparingly.
> In particular, they MUST only be used where it is actually required for interoperation or to limit behavior which has potential for causing harm (e.g., limiting retransmisssions)

> For example, they must not be used to try to impose a particular method on implementors where the method is not required for interoperability.

Source: https://www.ietf.org/rfc/rfc2119.txt
You don't need agent simulation to do that, you just need properly-motivated writing and design teams.
How Coffee Became a Modern Necessity
The comparison is meaningless and maybe anti-productive. What you're saying harkens back to political fights about what are the numbers. The first sentence of the article is:

The overall death rate from covid-19 has been estimated at 0.66%, rising sharply to 7.8% in people aged over 80 and declining to 0.0016% in children aged 9 and under.1

Nearly 8% death rate for folks over 80 is pretty remarkable. If people out there start saying "it's just 0.7%! Less than the flu!" old people will not take the precautions they need to. Because of the contagiousness of this virus, it should be treated as the huge monster that it is by old folks.
You are one of already three commentators saying this (see https://news.ycombinator.com/item?id=22785738 and https://news.ycombinator.com/item?id=22785762), and similar concerns arise every time numbers from China are mentioned, so I think that there's no need to worry that you are advancing some controversial point of view. (For that matter, it's probably worth being equally suspicious of everyone's numbers, the US's probably in particular; but these are the numbers we have, and better to start work with flawed data than to ignore all data until we can gather perfect data retroactively.)
Ask HN: What projects are you working on now?
With the quarantine being placed in effect in a lot of cities across the world, we all likely have a little bit more time to focus on personal projects or learning something new from the comfort of our homes. What are you guys up to these days?

15 days ago : https://news.ycombinator.com/item?id=22648431
> induce plaintext patterns, and use chosen boundaries to isolate targeted ciphertext

Like setting a custom, static background? One of zooms fun features.
> but without a randomized control trial, there is no way the success can reliably be attributed to the medications

That's non-sense, if everyone that had cancer got cured by a miracle drug, would you still demand a randomized control trial?