skysight-inc/HackerNews huggingface dataset:
> One of those verified building blocks comes with a proof guaranteeing that someone with access inside one partition won’t be able to escalate their privileges and get inside other partitions.

The article is presumably referring to the seL4 formally verified operating system. There's not a single mention of it by name, but it lines up, as they're discussing the unmanned Little Bird, which is one of seL4's success stories.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724/

https://www.newscientist.com/article/mg22730392-600-unhackab...

https://en.wikipedia.org/wiki/L4_microkernel_family#High_ass...
The other similar approach is to build in containers - and use Docker layers to contain the dependencies.
The problem is that it wasn't really a transition. Rather, Python3 is a new language that is deceptively similar to--and crucially, not compatible with--Python2.

Nothing really wrong with that, but it should have been called "Cobra" or something. And the weird jihad for killing off Python2 should never have happened. If everyone moved to Cobra on their own, great. But there should have been no beatings.
Not when the headlined article is a Q&A WWW site, with the answer on the very same page, below the question. You are looking right at a question and answer that tells you this stuff, so you should use Google instead. seems rather implausible, or at least daft.
Re-Inventing the Windmill
Some classic comedy websites like Brunching Shuttlecocks and the Modern Humorist.
This is really interesting on a high refreshrate monitor. The latency is not bad on 240Hz.
Over 40% of Americans have comorbidities (hypertension and obesity being most common) so that stat is not particularly useful.
To be perfectly fair (and for the record I'm very much not among the "sacrifice the old and weak" set!): not as much as covid.

The elderly and immunocompromised obviously die more to almost every illness. But the effect is really pronounced with covid. And most other viral infections tend to kill children at higher rates too, and covid very notably does not. It's definitely an interesting aspect of the disease, though it's produce a kind of horrifying calculus among a lot of the right wing in the US.
I don't see the problem with XML, especially today, when you can get a package/libray to parse any format the API might be in.
Such a system is just a single subpoena or a single piece of child-saving legislation away from being used by law enforcement.

I pity the poor sod who is incarcerated because they happened to innocently walk past the scene of a crime, and roughly fit the description of the alleged perpetrator.
It doesn’t have to be that slow! The tooling has advanced quite significantly over the last few years.
It doesn't fundamentally or categorically make it worse, it just increases the importance of the communication discipline. So, if the discipline is lacking or slips temporarily, then you're more likely to pay the cost for that than with in-person work. I agree it doesn't exacerbate the amount or lack of communication, it just increases the dependency on good communication.
Is there data on that? Or is it an assumption?
I think the point is that if the people agitating about productivity being evil had their way we'd all still be hunter gatherers.

Yes, it may well be that pausing development where we are would be more comfortable for those of us currently alive. But some people find meaning in the advancement of the human condition. That takes real effort, and causes a lot of people short term pain. But permanently making the world a better place for all future generations is a goal worth achieving, IMO.
My CS dept liked to say "We don't teach programming".
Violence of the Ultrawealthy
From your link, the message that Taiwan sent to the WHO:

""News sources indicate at least seven atypical pneumonia cases were reported in Wuhan, China". It also said while China's health authorities replied to the media that the cases were believed not to be SARS, "they have been isolated for treatment"."

Furthermore, from the picture: "I would gladly appreciate if you have relevant information to share with us."

So Taiwanese authorities read publicly available news sources about seven atypical pneumonia cases in Wuhan, and because the media reports said the cases were being isolated for treatment, they asked the WHO if they had any additional information.

Unless I'm reading it wrong, this does not mean that Taiwan had any additional knowledge other than what they had read from publicly available information.
I wish they would enable an advanced mode or something.
Because it’s hard, and a lot of people think it’s about computers.

Computer science is a cleverly disguised math degree.
I thought it was interesting, even if the overall state of most of them wasn't great. Some of them had decent sections, but then there would be some periodically repeated jarring note. Definitely better than I would've expected.
Since when does medium require sign-in to read? Anyone have a different link to the post?
great article love ittt
I wouldn’t use Xiaomi’s early pricing strategy as a proof, just checked the price of Mi 10 and it is definitely higher than iPhone SE.
I said I look at them, I didn't say I inspect every single line of them. My point, which you've missed, is that simply looking at the code before you add it (spend a even a couple minutes) saves a lot of problems (like the one in create-react-app).

FWIW, I also won't add something to my project if I see it has a ton of dependencies on stupid shit. Literally, I gave up on react after realizing `create-react-app` is what the community recommends. I'm glad I did too. It's an insane amount of bloat, for nothing included but a view renderer, and if that's how that community rolls... I'm gonna have to pass.
Keyword "up to".

The most common fatal case seems to be roughly: 1 week without symptoms, 1 week of mild symptoms, 1 week of severe symptoms, death. That's 3 weeks.

In rare (1/10000) cases, incubation time can reach 14 days, that's where the 14 days quarantine recommendation comes from. But the median is closer to 5 days.

Time to death can be much longer, the virus can cause all sorts of damage to the body, including secondary infections. And if the patient is strong enough to resist the primary infection but not enough to recover, it can take a long time.
It isn’t. No more so than Apple/Google can be ordered to install something on your phone already. I encourage you to read about the protocol being used. It’s not perfect, but they put a lot of effort into protecting privacy.

The police already can (and do!) demand cell location data from carriers to investigate crimes. Ad companies collect data from apps you use to build targeting profiles.

This proposal is far more respectful of your privacy than any of that, and in the service of saving lives.
Preach! It's a little surprising to me how often Quanta articles hit the front page here. They are always about a very exciting subject, but they very rarely tell you anything much about that subject.
It did a random sampling. We should do followups to screen off possible biases people have proposed, but stopping random people in the grocery store is by any reasonable standard randomization.
I sincerely use it as my mini server, lightest and friendly DE so far
> I'm pretty confident

powerful argument there, not.

With SARS1 there was continuing damage post 6 months.
I used altavista long after google had become the hip new thing. I liked it, because for certain searches I knew what results I would get back. Which is to say I knew how to look for things I wanted to find.

Google was smarter but seemed less intuitive to me to get at what I wanted.
Agree with you here. When working on more complex problems, I keep a hand-drawn diagram of the relevant code next to my keyboard. Often I'll spend a day sketching out 5 or 6 rough drafts before I arrive at an accurate understand of both the existing code how and how to portray it visually.
You cannot apply for PPP loans with the SBA. You may have applied with the SBA under the EIDL program. If so, you should check your bank account--we've heard from many businesses that the SBA deposited money directly in the past few days.
I miss forumer.com probably more than anything. Sure, the messageboard software was atrocious. And maybe I have the usual rosy retrospection. But I remember a much more colloquial and friendly atmosphere when discussion forums weren't gamified with likes and pings.

Newgrounds pre-YouTube was also a lot of fun.
It's still fair to say that formal methods produces software far, far more slowly than ordinary methods.

Look at how little functionality seL4 provides, compared to hobbyist operating systems.
By seeing what type of damage is being done to the lungs through CT scan or X-Ray, according to this article on a similar topic from two weeks ago: https://www.webmd.com/lung/news/20200407/doctors-puzzle-over...

More and more it's starting to look to me like we have two different novel viruses going around.
If the top comment is a genuine question with neutral tone then so is the similarly phrased "When will Republicans start mass arrests of journalist?" I don't explicitly state a value judgement and I can follow up with "you can't blame them for acting in their self interest". Yet claiming it is a neutral question would obviously be mistaken.

Likewise the claim that "following incentives is excusable" includes, among other hidden assumptions, that it is actually happening and that there is actually an incentive. It is obfuscation in both cases. It certainly does not make the question an economic one.

I don't see anything above accusing anyone of thoughtcrime. I assume this is a shibboleth used to dismiss political opponents, end conversation and instruct fellow travelers what opinion to have on the mater. At any rate, I'd be more concerned about thought police from a leader who purges anyone who disagrees with him[1] than a random internet voice.

[1]The most recent being: https://www.nytimes.com/2020/04/22/us/coronavirus-live-cover...
No, they won’t share their data
No, just trying to get us to click and give them ad money.
Haha. I never thought of that
When a Coronavirus Lockdown Resembles an LSD Trip
You're mixing up different provisions of the CARES Act, so it's not a surprise your employer didn't do anything.

Section 2206 simply extends an existing tax benefit related to tuition payments made by the employer. The benefit is to the employee not the company.

Section 2301 reduces payroll taxes by up to 50% for businesses that needed to shut down or reduce activities as a result of COVID19
Rather than knowing your program will work in the sense that a successful compile/execution will tell you, using formal verification you know your program will work in the sense that it will do what you want it to do. It's basically programming via logic proofs.
I think people would go crazy if they knew how long this was really going to go on for. 6 months seems optimistic. Consider 2020 a gap year for most of humanity.
That's a good point. If you can't figure out how to solve a problem, then it's very hard to move forward in CS so dropping out is the only option.
> locked down nursing homes //

How would you do that without locking down the rest of the population? You're going to isolate all nursing home workers?
Increase their own productivity?
Sorry to hear that! It looks like an account was successfully created for you, so what happens when you try to log in?
Which $400 android phones (with warranty and service and guaranteed updates for 4-5 years) come with an OLED these days?
Old man murray.
Show HN: Monty Hall Problem
I think the argument being made is less about lasting immunity but reevaluating the actual risks for the general population. 8 million people live in NYC and there has been 0.155 million confirmed cases so far. If the actual infection rate is 20% then that represents a 10 fold overestimation of morbidity and mortality.

A good place to keep an eye on for the short term would be Sweden. Despite the lack of lockdown their disease penetrance is still on par with the UK.
When we know the full extent of the virus? It's an easy question to ask, but an incredibly hard one to answer.

For example, they've been finding that the virus can trigger strokes in otherwise healthy individuals. That's individuals that either exhibit no symptoms or minor symptoms. So while they may otherwise be asymptomatic, we can't know unless we do a full extensive test to see if they're also suffering from unseen clotting issues.
i shall treasure this moment forever, with hot grits.
create-react-app isn't even using is-promise directly. It's several hops in the dependency graph away.
> instead of first assuming that their query is wrong, they instead assume everyone at the business is wrong

All those 3 numbers you cite are taken from the same small set of models where the rate of asymptomatic cases is an input. So, no, that's not right.
> It would be almost impossible to quantify odds of winning a given poker hand before any cards are dealt.

You're literally making my point, now, namely: luck is a much bigger factor in poker than in other card games, so I prefer to play those that require less fortune from me and more strategy.
Section 2301 is unrelated to section 2106, which provides the employer paid tuition benefit.
SARS-COV-1 has a two orders of magnitude higher fatality rate, so one would imagine the damage would be substantially worse. Is it really a stretch to believe that level and quantity of damage correlate both to recovery time and to mortality rates? Further, were there asymptomatic SARS-COV-1 cases?

SARS-COV-1 had an IFR (not CFR) of 14-15%. Broken out, it's less than 1% for people younger than 25, 6% for those aged 25 to 44, 15% for those aged 45 to 64, and more than 50% for people 65 or older, officials said. [1]

On the other hand SARS-COV-2 has an IFR of somewhere in the lower quartile of the range 0.1% to 1%, trending to around 0.3%.

Not to mention, I argued that lung function would recover, to which you said "strong argument, not [the much worse disease saw lung function recover in 6 months]" which implies you were actually supporting my argument not refuting it.

The coronaviridae family is huge, and fatality varies from ~0% in the 15% of common colds they cause to 0.1-1% for COVID to 15% for SARS-COV-1 to 50% for MERS. I can't stress this enough. SARS-COV-1 and MERS are not SARS-COV-2, they are much worse diseases.

[1] https://www.cidrap.umn.edu/news-perspective/2003/05/estimate...
Wild speculation is not the solution to lack of information. We all want to know how reliable these tests are. I don't understand why we can't find this information. But that is not an excuse to make nonsense assumptions and craft imaginary narratives.
Losing life and livelihood: a systematic review and meta-analysis of unemployment and all-cause mortality [1]

> Unemployed persons were significantly more likely to die than those in a comparator group; the hazard ratio adjusted for age and other covariates was 1.63, showing that unemployment is associated with a 63% higher risk of mortality. The average effect was higher for men than women with an increased risk of 78% compared to 37%, respectively. Unemployed people in their early or mid careers faced an increased risk of 73% and 77%, compared to 25% for those in their late careers. The risk of death was over 70% in the first ten years of follow-up but fell to 42% after that, although the trend was not significant in the final meta-regression model.

[1] https://www.scie-socialcareonline.org.uk/losing-life-and-liv...
Do you have a link to anything like that?

Because the libertarian ethos ought to support debt collection 100%. I'd be shocked to see any libertarian state any position contrary to that. Libertarianism is essentially entirely about the role of government being to enforce contracts and natural rights.
One more general-purpose thing I miss very much is filesystem. Really what is a good option for a usb disk filesystem which you would like to use on Mac, Win and Linux? Seems to me that without using Paragon/Tuxera/etc. you're screwed.
> I don’t understand what “hacker-proof code means”

What's unclear about it?
This.

The problem isn't reading 1000+ dependencies, the problem is the 1000+ dependencies... There's no way, setting up a view renderer, in the context of a webpage, requires a 1000+ dependencies. I honestly did this exact thing with `create-react-app` and it's one of the reasons why I don't use/choose react. Too much bloat for no batteries included.
Consistently fails to connect over here on a slow 14K/s link tunneled through an ssh SOCKS5 proxy.

Not sure if the game should be playable in these conditions, but it does seem to aggressively give up hope when joining a room.
I tend to disagree, since I find SQL orders of magnitude more intuitive than regular expressions, having no problem picking it up once every couple of months without requiring to fallback on books or cheat sheets for implementing the majority of queries. Sure, every now and then we have to optimize a query or implement a complex data extraction pattern forcing us to study how to do it, but for me this is unusual.

The key aspect of SQL that makes it easy for me is readability. Once you know the basics you can understand what a query is doing just by looking at it. Regular expressions notation on the other hand are really though to read, and indeed I keep always forgetting its syntax.
This piece seems pretty short on details for such a strong claim. As far as I can tell, all concrete objections appear in this bit of text

> Who tells your phone that you’ve been diagnosed, for example? Given the possibility that – in a post-lockdown scenario – individuals with Covid-19 might be subjected to stigma, harassment or dismissal, they might be understandably reluctant to broadcast the fact. Then there’s the problem that not everyone has a smartphone, even though it’s commonly supposed in tech circles that they do. The pandemic has revealed that a significant minority of the population (mostly older people) still relies on olde-worlde feature phones. Moreover, it turns out that not all smartphones are created equal: one estimate is that 50% of all smartphones can’t use the proximity-sensing systems being developed by Apple and Google.

...which is followed by a hand-wavey "I could go on but you get the point".

All three complaints are about how effective the solution might be, not actual reasons why it would "kill democracy".
If Sweden succeeds, lockdowns will all have been for nothing
A disease where only symptomatic people tend to be infectious would be far easier to manage and cause lower total damage even if it were deadlier.
By assigning problems to specific responsible individuals, and noticing the existence / quality of the solutions they produce? If anything, Agile obscures individual performance, in that it treats everyone as fungible and every part of the system a commons.
hardocp.com - Kyle Bennet, amongst others, did a good job with computer hardware reviews & news. He and the site have moved on and only the forum remains.
Paris is a lot flatter than Aarhus, which has much higher bicycle usage. And if you need to go to Montmartre, any Decathlon in Paris sells perfectly decent e-bikes for a few hundred Euros. It's infrastructure, not culture or hills or weather.
Using package-lock.json gives you the same effect.
that would be neat for any language. A way to see what actually happens.
The old slashdot.org

The old digg.com

Web Rings were amazing, and I think the idea still has merit. Why did everyone stop using them?

My ealiest memories were pre-net, on Prodigy and AOL, long before they were 'net connected and could email each other. I learned what connectivity was at 2400 baud. I didn't discover BBS's until much later, around 1993-4,and was at 14.4k at that point. I never really understood fidonet, but played some of the BBS games and downloaded some warez from a "31337" BBS with a backdoor whose login was "elite". At least the sysop didn't call himself "Crash Override".
I'm building a language server for R7RS Scheme. I have a basic error-tolerant parser working, and it can infer the location of missing parentheses from indentation. I'm already using it in Vim, and I've been pleasantly surprised at how useful it is, even at this early stage.

I've gotten sidetracked building up the SRFI support in my portable Scheme standard library, Schemepunk: https://github.com/ar-nelson/schemepunk

Right now it runs on 7 Schemes and has implementations or polyfills for 15 SRFI libraries. I'm also working on a B-tree implementation of SRFI 149 (persistent mappings).
Then China will find other ways to creatively borrow their tech.
If the dispute had resulted in damage to your reputation the resulting legal settlement would have guaranteed you would never need to work again. (Regular damages plus punitive damages, usually treble i.e. 3x).

The reason labor laws don't work well is because so few people are willing to actually to use them.
Shitty quote. Induced demand is a lazy intellectual concept that fails to realize that congestion follows a standard supply and demand curve and the price is just being hidden because the monetary cost is usually free for everyone so it’s all based on time cost.

So you add supply, you capture more of the demand that has been there at a lower cost. You didn’t induce shit. You will eventually add enough supply that everyone will be satisfied (see every road not suffering from congestion issues).

”Trying to cure a toilet paper shortage by producing more toilet paper is like trying to cure obesity by loosening your belt.”
Reminds me of Soldat, which has much more ergonomic controls imho https://store.steampowered.com/app/638490/Soldat/
Interesting, but personally I'd be more interested with the feasibility of X programming language with GC translated to C program and C version was slower type of article.
I think some people are commenting from a perspective of a society/environment where a car is basically mandatory, where you cannot really go anywhere or do anything without a car, or where it is at least hopelessly cumbersome to use public transit and dangerous to ride a bicycle.

Not just in this discussion, but whenever the subject of transportation and public transit come up.

If you asked me ~10 years ago, I could not have imagined not having a car. I finally sold mine 3 years ago and started biking and taking public transit everywhere, and it works just fine. On the rare occasions where I have needed a car (moving apartments, a wedding in the middle of nowhere), rental cars covered my needs.

The amount of money I save by not having a car is not trivial.

When we go visit my girlfriend's family in southern Germany, renting a car is completely mandatory, it's more or less impossible to do anything without one. So I absolutely understand where people are coming from, you need an environment where public transit and walkability are prioritized for this to work.
I think this is the first "game" I ever coded in my life. And I did it cause I was intrigued by the fact that you have 2/3 chance of winning by switching doors. Instead of writing a script to run the game 1000 times and check the result, I wrote the game (very bad code) and played it a couples of times.
Where is the follow up data? Is there a link or reference? Or do you have inside information?
some are worth more than others.
Likewise, Ambassador solved a ton of problems with ingress that I just didn't want to think about.
Zero.

My body doesn't like coffee. Trust me, I tried, for a good decade. It used to be good between me and coffee, but not so much anymore.
Rob, thank you for Slashdot, it was my first tech forum.