skysight-inc/HackerNews huggingface dataset:
> In the current situation, I doubt anybody will give any regard to your sentiment. Though, I myself will.

I think the thought process for a lot of people will go more along the lines of "If you were given the choice of not having a ventilator (because they ran out) and dying, or using an unproven Tesla ventilator and maybe surviving, what would you do?".

That's assuming that Tesla (or other companies working on this) actually ends up manufacturing and supplying these things, and this is not just a publicity stunt.
It's hardly even the right story on the desktop. It was obviously going to be the case that Edge would take market share from IE over time, because it acquires users in the same way that IE did (by being the default on Windows), and they're the same users.

At one point IE was the number one desktop browser. So this is really just a continuation of the story about how Microsoft lost its browser dominance to Chrome, and then conceded defeat by adopting its engine.
The article is mostly blind speculation too. Just going with the flow.
I wish I would have seen this coming years ago. I would have built a Google Custom Search Engine, and every time I ran into a good website, added it to the whitelist. By now, it would probably be alright.
We? My experience has been that Hacker News is filled with world-class experts on all manner of subjects. I've no doubt infectious diseases is one of those subjects, as well.
> The smarter idea is to ramp up existing proven designs, not reinvent the wheel and basically do a publicity stunt about your engineering talent.

Those are not mutually exclusive. Yes, it would be great if we could produce more ventilators, but Tesla has no impact on "real" ventilator production either way.

This is obviously a PR piece. I see nothing wrong with a company trying to improve their brand's perception by trying to save lives.
At least the two first are semi monopolies in highly regulated industries. Much like your local hospital.

No one hates their food stores that I'm aware of, even though that demand is at least as inelastic as for healthcare.
I've never really bought this argument. Casting is the way a programmer can selectively bypass the type system and every typed language I've ever used includes casting.

For Church-typed languages as opposed to Curry-typed languages, it's not even apparent what it would would mean to "preclude otherwise valid statements" because types are a part of the language. It's akin to saying structured programming precludes otherwise valid statements in the language because the lack of goto precludes otherwise valid statements in the language. Sure, but the lack of goto is precisely a facet of the language! For a Church-typed language the types are just another part of syntax (this is more than just theory, Racket shows that a type system can in fact be implemented simply as macros).

Invoking Godel here I don't think makes sense. Godel's incompleteness theorems apply to what you can prove about a program with types. The majority of typed programming languages have type systems that are too weak for Godel's incompleteness theorems to apply. And there is no need for a type system to be sound (if thought of as a logical system with programs as proofs via the Curry-Howard isomorphism), again most programming languages' type systems are not sound in this manner.

Even with a Curry-style system of semantics, the presence of casting is enough to allow any type system to allow every valid statement in the language (the proof of this is to cast every term to the same type).

That being said I am sympathetic to the feeling that "I'm just doing this to satisfy the type checker," a feeling that can show up increasingly frequently for languages with increasingly sophisticated type systems. I would argue this often happens precisely when you take the power of casting away. This is the dark side of "correct by construction" techniques where if the construction technique is devilishly complex, then you're forced to deal with that complexity. But this usually only applies to languages with some amount of dependent typing, which the majority of languages do not have.
So, I have an 8 year old. The switch is probably the most fun couch gaming we can do together. We also have an xbox and a pc for games, and we usually ignore them both in favor of Nintendo exclusives. Pokemon, BOTW, Smash Bros.

It's honestly a really good co-op couch experience. And when we go on road trips, it's better than the days when we would load up a fat crt tv in my parent's van and plug in the SNES.

Also, if I'm working in my office, he can bring the switch into the room with me and play while I work. Portable is nice.
Thanks for describing exactly what it looks like when preparing for a major outbreak. Its measurable, growing geometrically without breaking stride, and 6X-10X more deadly than anything we can name.

If we succeed at slowing the growth, even stopping it, then thank god those hospitals will remain empty.
Seems a bit far fetched
Are there JavaScript libraries that can keep the presentation in sync with the presenter? (or show some indication of the current slide)

At a high level, if we assume a majority of people are following along and you chose a font size that works for them, having to turn the pages seems like a net negative, a return to printed presentations before video projectors were common in conference rooms.
Are ventilators even helping? I see numbers like a 30% survival rate in some places, but they don't mention if that means "aren't dead yet" or recovered and removed from the ventilator. I definitely read about people who have successfully been removed and are recovering, but that's all anecdotal.
For that use case this might also work https://ba.net/screen-share-party
Definitely a possibility. I'm not monitoring it however. I just checked whenever it got extremely bad and again after it went away.

I do have the other symptoms though. Only the fever is missing.
>Except for lifting...for whatever reason I've been obsessed with that for almost a decade now.

My hypothesis is that exercise, especially weight training, is one of the few activities where the growth curve is front-loaded with improvement. The phenomenon of "noob gains" provides positive feedback much quicker than other activities, and that feedback is much easier to get--just look at how much you lifted this week compared to two weeks ago, or how fast you ran that last mile.

By the time your gains start to slow down--whether that's six months or a year from now--you've already developed a habit.
For me the best way to stay focused on any given project is to find clients for it. Even if it's just a handful. If you know that there are people out there willing to pay for it, even if it's ramen money, you have all the motivation you will ever need.
previously: https://news.ycombinator.com/item?id=22789605
It's something I quickly put together to showcase what's possible with Theia, given we're actively using them. I'm not sure how to enable what you asked.

Youtube also has a few theia videos which could give you a similar idea on the experience.
I've finished projects and earned continual revenue from them. If it isn't compelling, then perhaps it is best to just let it go.

If you already feel proficient with your tools, you can't justify your projects to learn these same tools.

You are not the problem here. The problem is your ideas are not compelling enough for you. Think of something which will compel you to finish. Break the project down into manageable stages and execute. Don't make excuses for yourself. If you want it, you will get it. Otherwise, what are we talking about?
VSCode finally runs on *BSD!
I would love to get in as I am definitely asking myself this question. This seems great!
Kyle MacLachlan is hosting a virtual ‘Twin Peaks’ viewing party
Scroll down to figure 1. Non survivors end up with cardiac and kidney injury. Interesting that this might shine light on the cause.

https://www.thelancet.com/journals/lancet/article/PIIS0140-6...
I believe daily (recommended) dosage is very different, if I recall correctly 500 or 600 mg per day for the (supposed) Covid-19 treatment.

What is (was) your daily dose for these ten years?
PHP Memory Limit Explanation
Why a recession is the right time to hire
Yeah, this is the kind of way I considered this article. There's so many operations including medical hospitals purchasers that are trying to follow the current mantra of as little idle inventory and wastage of inventory on the shelf as possible for as cheap as possible. This makes sense for people purchasing finished goods but doesn't make as much sense for people making finished goods who may need primary material goods in quantities and timings that do not scale well in increments. It also makes no sense from a machining and tooling efficiency investment to replace a particular operation with a machine to do it 100x as fast if making 100x of the particular sub-assembly completely overwhelms the maximum capacity of the next step unless it is also improved.

There's just a minimum volume cost to most finished goods below which it just costs money to do the work at all. Sure if the volumes go way up there's economy of scale at work and the fixed costs of scaling up go down so prices can be reduced in a way that doesn't affect the manufacturing business to be more competitive but there's a bottom in the other direction.

You can insulate that with long term contracts from the buyers so that you can get favorable contracts with the suppliers, but when you have purchasers going quarter to quarter and saying lowest price = best value you just are playing a totally different game for a smaller manufacturer. The current model of a small American manufacturing business seems to currently reward doing the same boring product at the same boring volume so that the company will exist in 20 or 30 years by investing in specialist equipment that does one or more steps of manufacturing better than generalist equipment and creating a niche stable market for yourself as the depreciation/fixed cost of that specialist equipment per total units made approaches next to nothing.
Yeah I cross-shopped that - it looks good too. The wacaco and the handpresso seem to dominate the travel espresso segment.

A friend of mine - a fellow Melburnian - has the Rok espresso maker (https://www.rok.coffee/), which is a large-ish countertop manual espresso device. He reckons he’s pulled over 10,000 shots with it and swears by it. Also low-fuss, low-maintenance and just a couple hundred bucks.
Yeah, it's simulating protein-protein interaction. Very much bleeding edge of research, stuff like this needs biological validation before you should trust it.
Commodore Amiga 1200 apollo upgrade
JavaScript Comparison Operators
I think it's totally OK, normal and beneficial to want to experiment with different applications.

The main issue is after a few years you may feel like you have nothing to show for it and the best solution to that feeling that I've found is to document what you've learnt in a blog post. Over time you'll end up with a large personal knowledge base on which you can draw on when you want to and actally can finish a complex project. You'll also attract the right kind of people that can help you by putting your thoughts down in writing.

The idea is you want to slowly build yourself to be the kind of person that can finish a complex project in a weekend and the best way to do that is to constantly be in the high payoff space you get when you're learning something totally new.
If a doctor believes it is 99% likely that a patient will die without a ventilator and none are available, then why wouldn't they try something like the one from Tesla?

A choice between almost certain death and possible life isn't really a choice.
Very altruistic. Possibly to ones own detriment
I personally credit my own geometry education, as much as I disliked it, with giving me the tools I needed to succeed in Calculus. That Calculus final involved proving part two of the FTC. Fun times.

AP Calculus? It's much less helpful, in its computational focus.
Another Windows thing Microsoft needs help from Google now is multilingual input.

The Japanese IME in Windows 10 is borked. The solution? Install Google Japanese Input, never look back.

(It must be working somehow in Japanese Windows 10 sold in Japan, but it's broken in English Windows.)
Casting is not always permitted in all contexts. In C++, many casts that would be valid on the real machine are undefined behavior in the language, for example.
Would I be correct to say that System F, and thus Haskell, has been effectively built on the untyped lambda calculus? If so there are many (very many!) statements in the LC that are illegal under System F. Certainly whole classes of pathological statements have been disqualified, but perhaps some baby has gone out with the bathwater?

To take a much simpler example, the Simply Typed Lambda Calculus precludes non-terminating programs, but is not generally useful.
Timely Dataflow and Total Order
Infrastructure will begin to break down if we don't do regular maintenance. That means spare parts, which means manufacturing, which means raw materials. Food has a similar supply chain issue.

Break the infrastructure enough that public sanitation stops working properly, and the Covid-19 deaths will be a rounding error in the excess death rate.
There are places actually doing this today: https://medium.com/@russroberts/health-care-lessons-from-dr-...

If you have time to listen to the podcast, it can be very eyeopening.
That sounds like a lot to deal with. Have you tried to mix your normal work with housework? Eg. working on work-related things from 9 to 11, do some unpacking and organizing from 11 to 12, back to normal work from 12 to 13, so on and so forth. While you are away from your computer, you can check your mails on your phone for "urgent" messages, so if someone really needs you, you can go back to your pc.
That's probably not going to solve the issue with your pets :D But maybe it can help with all the other stuff.
Time-restricted feeding can reset disrupted clock rhythm, protect against cancer
> The most likely cause of the heart damage by far is the systemic inflammation induced by pneumonia

Isn’t this premature given the lack of data?

We’re seeing an anomaly documented and being studied. It’s not cause for alarm. But neither does it merit such dismissal.
This is not how saving lives work
Interview with up and coming artist Felissia Mae
Love it. Tech has been so obsessed with "the next Facebook" for the last 15 years that there have been thousands of useful concepts lying on the table. While everyone jumped from mobile to wearables to AR to machine intelligence, there are billion-dollar companies that amount to little more than a CRUD framework, a few innovations, and intelligent marketing/strategy/advisory.

It gives me hope for the future - if we can get more people from various walks of life to learn how to code and appreciate technology, there is so much more we can do. Of course, that "if" has always been a huge challenge.
There is already finite element analysis. It basically works on arbitrarily complex structures their internal connections, loads, etc. (It enabled the current boom in super skinny high rises and various fancy structures.)

We don't really have that for programming, but it's not like we shouldn't try. (Eg we have TLA+ for processes, we can use Coq and others for proving some parts of programs.)
Yes, you picked the one that did well, which also happens to be the one that sold before ubiquitous smartphones were a thing. I wonder if there’s a relationship.

Still have mine for LocoRoco and FF Tactics.
I do the exact same thing.
Highlights:

* First human serum proteomics study of 30-day intermittent fasting from dawn to sunset in healthy subjects

* The 30-day intermittent fasting from dawn to sunset is associated with a serum proteome protective against cancer

* Intermittent fasting from dawn to sunset for 30 days upregulates proteins protective against obesity, diabetes, and metabolic syndrome

* Intermittent fasting from dawn to sunset for 30 days induces key regulatory proteins of DNA repair and immune system

* Intermittent fasting from dawn to sunset for 30 days upregulates proteins protective against Alzheimer’s disease and neuropsychiatric disorders
Facebook tried to buy controversial tool to spy on iPhone users
I sent you a message on your LinkedIn
> If this fails, the patient can die.

If these patients receive no help, they die anyway. Given the choice between almost certain death or some experimental piece of hardware - give me the experimental hardware.

> I can't imagine any hospital or doctor careless enough to

> connect one of these to a patient, even in this current

> emergency.

I'm sure they will go through accelerated testing.

> The smarter idea is to ramp up existing proven designs,

> not reinvent the wheel and basically do a publicity stunt

> about your engineering talent.

Retooling has an enormous cost too (time and money) - yes the design will be proven but you won't nearly have the tools or expertise to implement them.

I'm not a Tesla fan-boy by a far shot, but I don't think they deserve this hate for what is clearly a good effort on their behalf.
Without these sorts of things, patients are dying.

This is not business as usual. We are already using various hacks to overcome the shortages, any improvement is worthwhile in the very short term.
Atlassian’s tools helped build today’s tech. How’s it prepping for the future?
It's a tricky situation.

Note that anyone in a company can be replaced. So you could work your way to have him replaced before he replaces you.

Keep proofs of what you are doing, proofs that he cannot edit or remove and that you will still have if you lose your job. Be very polite and professional in your communications, and prefer emails. It's easier to show to others.

You can talk to others in the company, especially above him, not only in your group. However be careful about who you talk to and what you say, human resources is usually not on your side. They don't work for you but for the company. So try to be positive and useful for the company and consider that firing you may be the easiest conflict resolution for the company, but that firing the new executive could also be seen as the best solution.

But you may want to wait a few weeks before starting the hostilities, and perhaps have some jobs leads just in case.

In my opinion, your company will find a good solution that will please everyone. If not, you should find a new company.
Opinion columns like this are essentially blog posts. While that's fine, having a big name like Bloomberg stamped on it is confusing to many people, as they'll think this is an actual analyst prediction, which it's not.
Sweden avoids Corona economic ruin
Linux is the best operating system
I love Slackware.

It’s the most stable operating system I’ve ever run. Even on days like today where I have to hunt and peck to get some setting tweaked to get my wifi working again, I can’t help but love this system.

No operating system is perfect, but I’ve had far less problems over the years with Slackware than I’ve had with Windows and macOS. And the beauty of Slackware, and linux distributions in general, is that when the wheels do occasionally fall off, I have the ability to at least try and fix things myself.

Slackware is the oldest maintained linux distribution. Let’s hope it still has many great years ahead of it. https://thewebmines.com
New York is New York if and only if there is dramatically fewer cars. It is simply definitional.

Any retreat from public transportation would be astoundingly stupid. And in fact this whole piece is astoundingly stupid. Asian cities are the prior art of density combined with basic public awareness of epidemiology. None of the weird stuff the author talks about happens there to my knowledge.
It is not growing geometrically (or only with a tiny multiplier if so). If the feared scenario of exponential growth were the case then we'd see the proportion of positive test cases doubling, not just the raw number. Right now what's being seen is that if you increase testing 10x you find 10x more cases, which is consistent with finding something that's at a somewhat steady background level.

e.g. here's German data:

https://swprs.files.wordpress.com/2020/03/infizierte-pro-tes...

and US data:

https://twitter.com/FScholkmann/status/1246122535793680386

It looks like it doubles every few days because of the rapid increase in testing.

Moreover these hospitals are now entering their second week of being idled. They should be very busy by now if the sick were really growing exponentially - they're still mostly empty.

Even in New York you see this:

https://www.dailymail.co.uk/news/article-8173563/Elmhurst-ta...

"New York City's Elmhurst hospital - the 'epicenter of the epicenter' - is now receiving fewer patients but they are arriving sicker, doctor warns, as he says some come in with no symptoms other than diarrhea then test positive"

"He said testing was surprising and that some people show up with a fever and cough but test negative. Others who are there for different ailments - like car accident victims - end up testing positive."

New York is supposed to be the epicentre of the outbreak yet the most overloaded hospital is now seeing fewer patients arrive than before. That's not consistent with being at the start of a very long exponential growth phase (it obviously can't grow exponentially forever so this discussion is only about how long it lasts in that phase and where the peak is).

Edit: got throttled, will reply to Joe here

Many sources show only the number of positive cases and deaths. Here's one that shows total tests performed in the USA:

https://covidtracking.com/data/us-daily

On the 5th April 2020 there were 332,308 positive cases in the USA. So the halving point was between 29th and 30th March (139,061 and 160,530 cases respectively). It took about 5 days to double.

On the 5th April 2020 there were 1.42 million negative cases. On 29th March 2020 there were 692,290 negatives or 48% of the figure today. It took exactly the same amount of time to double.

So we can see that number of tests doubled in that time. Total tests went from 831,351 (47%) to 1,762,032.

The proportion of positive to negative cases is 18% today. On the 29th March it was 16%. A 2% rise, nothing even close to doubling. The graph in the tweet I linked to shows this visually - a fairly smooth and slow increase over time. We think it's spreading exponentially because of misuse of data, but all that's actually growing exponentially is testing. And yes - that's probably why there are now global shortages of reagents and other ingredients for tests. You can't keep globally doubling demand for tests without eventually hitting production limits!
please vist below website for poetry
https://bit.ly/2yErlmt
I wish these articles would be more specific about what they mean by "pre-existing heart conditions". I have slightly high blood pressure which has been known to enter hypertension territory before (by like 1 point), but I think mostly stays a bit below there. Never know how worried I should be.
How Did Craigslist Survive 25 Years with Such a Little Change
The challenge is with scale. If I'm a network who has many networks downstream of me I might have 50 to 100 prefix changes in a month. None of my upstream providers are going to like manually vetting all of those - and none of my customers don't want to wait days before their announcements propagate. So there is this sort of state you can land yourself as a "you're a big customer, we seem to trust you".

The reality is that RPKI Origin Validation solves this (but not as path spoofing, we need ASPA for that) and people need to publish valid ROAs.