skysight-inc/HackerNews huggingface dataset:
It is just my personal opinion but if I was in a position to plan for the upcoming academic year in US, I'd recommend below.

- Start Fall semester with onsite classes.

- For those who wish to participate remotely for medical reasons or personal preference, they should be allowed to teach/learn remotely.

- But everyone (administration, profs, students, support staff, local town/city) should be prepared to have the teaching go virtual with the campus shutting down on a short notice.

- If Covid-19 reappears locally or surges again nationally, campus should close down.

I say at least start the upcoming semester in Fall 2020 with onsite classes, for the sake of human bonds to form between the students/professors. It may sound too unpredictable but I think having even one or two months of in person interaction would be beneficial for the incoming freshman class.

Also, dorm/parking/housing cost probably should be charged in monthly increments, not per semester, to prepare for possible shutdown of campus in the middle of a semester.
> that is another limitation of terminal emulators.

This seems more an excuse than a cause. When the "mouse mode" of tmux is off, the copy-paste mechanism works perfectly. There is no reason why this couldn't still be the case when the mouse mode is on. For example, tmux could enable the mouse only for scrolling and resizing the panes, while keeping the correct copy paste behavior intact. But it chooses not to.
Contrast Among Data and Information
So they included it _because_ it looks bad? If so, I didn't catch that!
I don't know enough about psychology to Google the exact term, but let's not be so pedantic as to pretend it is not at least a plausible assumption.
This is 'more intuitive' if you think about it this way:

If any two real numbers are not equal, then you can take the average and get a third number that is half way between them. Conversely, if the average of two numbers is equal to either of the numbers, then the two numbers are equal. (this isn't a proof, just a way to convince yourself of this)

What's the average of .9999... and 1?
Indeed. I believe that a downvote ought to cost perhaps 0.2 karma.
I disagree, insofar as the term "economy" interfaces with human nature and imperatives, such as the means to secure shelter and nurishment.
Not MS-DOS, but my favourite 256 byte demo is for the C64: "A Mind Is Born", check it out: https://www.youtube.com/watch?v=sWblpsLZ-O8 that music is astonishing.
Legacy Applications with Rails
I'd say that Reddit's demographics still skew more towards the "young, white, middle class male".
Shameless plug I've written a writeup of the different implementations/variations of Paxos[0] if you'd like to see more of the ecosystem.

I'm actually kinda wondering why this is news now -- the author of this paper is absolutely right of course but I thought this was common knowledge for anyone who knew what raft was. Raft is less robust than Paxos but simpler to implement (and implement correctly) which is why projects choose it. Basically chat (run a paxos round) to decide a leader and build the log (the history of everything that has every happened in the system, see WALs for a similar concept) at the chosen leader instead of by chatting about every single/batch of changes.

[0]: https://vadosware.io/post/paxosmon-gotta-concensus-them-all/
>larger aperture lenses on larger sensors

Nitpick: smart phone cameras have very wide apertures (f̶2̶.̶2̶ f1.8 in the case of the iPhone SE).
I've just learned in my thread above with the article author that there is no concept of exposing people post vaccination Phase II or III to see if it was effective. We normally wait a long time to see if people get sick. If it's effective them we go to mass rollout.

That's where the huge time savings is.

My previous statement of "it's a Phase trial with less restrictions" isn't true. It's making the feedback loop tighter.

With this new knowledge, I'm relatively convinced we should be doing a challenge trial to speed up the roll out.
Max Verstappen's a Dirty Cheater: Specification Gaming in Reinforcement Learning
You will notice in that guidance that if you subsequently fall ill as a casual (sub 15 min) contact they will need to talk to you for contacts tracing..

So that implies there is a health risk burden under 15 which needs to incur costs of contact tracing at which time this app cannot help.
I never understood the fixation on diagonalization. Why can't ever exist another way for mapping any set to countables?
The mortality rate from all causes in Stockholm is more than double the average from the previous five years.

Suggesting it is the equivalent of a "weak flu season" is an outright lie. And the bit about our immune system being able to fight it off well due to a similarity with the common cold is just something you made up, right?
C. Support products after launch (Still annoyed that they abandoned the Pixel C tablet after an Android update that broke the graphics drivers, leaving GLES games/apps very unstable)
I suppose this will sow even more confusion in young minds trying to figure out their way through programming languages.

Unfortunately, SICP for Python is like an overstretched analogy. It is a joke that only the person that wrote the joke understands and laughs at.

Two decades ago I was doing embedded development in C. I wanted all the nice (at least I thought it was nice back then) that was in C++ but my compiler would not support it. So I started doing it anyway. Yes. You can do it if you want. No. It is not a good idea.
I remember being doubtful when being presented with this in middle school, but after being shown this as fractions makes it obvious:

1/3 = 0.333..
3 * 1/3 = 3 * 0.333..
3/3 = 0.999..
1 = 0.999..
>There's no feasible way to "let" a virus spread faster than another.

You can certainly "let" a virus spread faster than another.
Society chooses to let the flu spread more easily than ebola despite them having similar R0.

In this case, you could vary school closure criteria, tracing effort, or quarantine duration by strain.
I'm not sure why you're being downvoted; this seems like a legitimate question to me. Pasting a comment I made in another thread here:

> There are those that argue even without a safer strain it is ethical under certain circumstances to still perform that sort of "challenge trial" though, where people are deliberately exposed. A number of conditions would have to be met, such as all volunteer participation of course, very clear explanation and demonstration of understanding, no financial incentive, etc. But a faster vaccine could save many more lives than would be risked in the trial, and the risk itself could be very low, given the trial participants would be monitored closely and would get excellent medical care. Also obviously it would be restricted to young, healthy people without pre-existing conditions.

To me it seems like a solid argument that given all those conditions (and possibly others I haven't thought of or mentioned), such a trial should be allowed. My understanding is that there are many people preemptively volunteering to participate.
There is nothing about morality in the billionaires that are mentioned.

People find value in the companies they create and willingly give their money to the companies in exchange for their services. Nobody is forced to give money to these companies.

The huge amount of wealth that is created from this process comes in part from the globalization and scale of their operations.

The lobbying, tax loopholes, anticompetition behaviors are a separate issue. Many of these are patently unfair and true competition starts to break down.
Repetition can easily be seen as a process, which would indeed approach 1. But I think the idea of infinite repetition is very hard to get.
I wonder how much electro magnetic radiation they will emit...there were quite a few scaremongering videos out there about the airpods...or bluetooth headphones in general.

The issue is that most people (that I've noticed in the US) just have them in their ears ALL DAY.
The earbuds/airbuds/headhphones are connected to cellular phones (and hence transmitting just to stay connected).

That CAN'T be good for your ears/brain...Not an doctor myself but just common sense I believe?
Anyone has any idea...am I just tripping?
It accepts the Mouse's contractual conditions or it gets the copyright extensions again.
Even if it is ethical to use a strain we know is dangerous, we would still be amiss to use such a strain just because we were too lazy to look for a safer strain. We should only use a dangerous strain if we try hard and fail to find a safer strain. We haven’t even tried yet.
I don't really think it is about economy only. I don't see the same people pushing for help for businesses nor coming up with ideas how to make economy run as much as possible under closed conditions. The push is to make it like before and act like nothing is happening. Beyond that, there is not much.

It seems to me more of "I dont want this to be true whether for both practical or for ideological reasons, therefore it can not be true".
Regarding the previous backend related article and code sharing between backend and frontend, how does your project setup look like?

For example, does the code get compiled using a bundler like webpack? if yes how do you solve the import '../../../../../shared.ts' problem? Or do you use node modules in a monorepo? Compared to other languages I found these questions surprisingly difficult to answer and solutions often quite cumbersome, e.g. if I want to share one small file in my project I don't want to maintain a public npm module for it...
Eh, on the fast path many allocators will just pull the block from what’s essentially a bump allocator on the allocating thread and then stick the block in the freeing thread’s tcache when it’s done with it, doing rebalancing once in a while when necessary. It’s not too horrible.
That helps, thanks.

It doesn’t fully solve my confusion, but I suspect I need to study more before I can even ask the right next question. :)
My last sentence shows that I don't think my comment is going to save us from (or even help with) this pandemic. I also chose to ask it in a thread towards the bottom where the OP is answering not-new concerns. I think you have pattern-matched me (well, you say as much) and have read some intentions into my comment.

For the record, my main intention was to get an expert to say something that would gratify my curiosity and that of other readers. I hadn't heard of it before, so I assumed it was likely impractical at the moment, but guessed that technology would eventually get there.

Also, are you an expert in this field? Your sibling comment seems to be saying "yes they are working on it, no it's not practical yet except for HIV" (I presume because HIV infects white blood cells), which is at odds with your second paragraph. (Edit: Though, to be very precise, the examples from the sibling comment are about measuring infectivity and—I guess—the impact of drugs, not immune response.) It would be ironic if a non-expert gave an ignorant dismissal of a question for being ignorant.
I don't think you are saying anything in conflict with me.

VSCode tries to give you type info in contexts where Typescript wouldn't (e.g. importing Javascript files, in a completely non-TS project) so it makes sense that its inference tooltip can be more helpful. You can easily recreate this by importing a fn from a JS module and then hovering it in VSCode (also configured for Typescript): VSCode knows the fn signature but Typescript won't. Both cases show up in the tooltip (though confusingly).

At least, that's my interpretation of this sort of tooltip: https://i.imgur.com/lXS5teK.png

And to be clear, your last sentence was my exact praise for VSCode at the end of my own comment.
I'm amazed that people would mock co-workers behind their back like that.

TBH, I'd be disgusted to work at a company with anyone like that, I'm impressed by the author's compassion at still wanting to work with such horrible people.
Have you actually worked in a language with good, first-class null handling? I'm not surprised that something tacked onto java very recently is awkward to use but in Swift or Typescript it's much easier than wrapping if foo.nil? calls everywhere and much more effective.
and diversity in politics... don't forget politics

Korea "should" be comparable to western countries if it wasn't for politics. But they have 100x fewer deaths. They're not trying to reach herd immunity, it's a political choice.
The intuition that there is something in between isn't really wrong, it make sense and they work, otherwise physicists wouldn't be able to work with them. So that intuition is correct, it is mathematicians who just don't understand it fully yet. Maybe fully formalizing this is what unlocks the final piece keeping us from creating a unified theory in physics?
These others are fair points but:

> Text, colors, etc... appear sharper without tmux.

The renderer is the same, iTerm2 just gets its data stream from tmux rather that from the program running in tmux. There is no difference in the display.
It depends on the jurisdiction. e.g. Such a thing would not be copyrightable under Australian law. That could be a way around it.
> The next couple of years will be easy mode, for sure

Sadly this isn't true for a lot of math/computer science courses, speaking from very recent experience. While having an open book and even online access is an advantage, many profs implement measures ranging from webcam proctoring services to extremely difficult time-limited exams to compensate.
I'm using wired, I keep getting pain whenever I use wireless earphones with radiation.
That's what makes it a good analogy. It's gotten safer in recent decades, but for most of its history the fatality rate of a career in Formula 1 was around 20%. It probably is on the order of 1% today (not every time you get in the car, but over a career).
Google: we made release!
Rest of the world: ... In America
Google: awesome profit!
Rest of the world: our market is like 10x the US market
Google: but we made release!
Another secondary school 'proof'

x = 0.9999.....
10x = 9.9999.....
(10x -x) = 9x = (9.9999.... - 0.9999....) = 9
x = 9/9 = 1
Where do you think WiFi, 4G and satellite TV signals are going 24/7/365?
> Granted, there's the IMHE model, which somehow fantastically thinks the virus will mostly be gone in Santa Clara County in mid-May, but it's shown very little agreement with the actual data and is nearly as bad as saying the Easter Bunny will take the virus away.

Yeah, that IHME model.. It's unfortunate that it's become the model most people have become acquainted with. It has its uses, but the down-slope has previously generated critiques.

Good Carl Bergstrom thread: https://twitter.com/CT_Bergstrom/status/1250304069119275009

A few select quotes from that thread:

> 6. But this is a mix of two different processes, an acceleration phase prior to control, and a deceleration phase once controls are in place. Given that, why does the model predict symmetric death curves?

> 7. The answer is that this is a modeling assumption that the research team has made. They have chosen to fit a particular sigmoidal curve called the Gaussian Error Function (erf function, for short) to the data representing the cumulative number of deaths that have occurred.

> 13. The actual trajectory tracks the forecast pretty closely, but then starts to turn around. Once that happens, the back side of the curve is constrained to mirror the front side; the epidemic is predicted to wane quickly. By May 17, the uncertainty range collapses to 0 deaths.

> 14. This strikes me as unrealistic. Even ignoring the real-world coupling between states (this is not included in the model), I am not persuaded that the epidemic will necessarily be entirely finished in just over a month.

And a very important point he brings up:

> 16. In defense of the model, every model is a tool with a purpose. The primary purpose of their model is to predict peak health care need, not the endpoint of the outbreak. That said, people need to be aware of a model's purpose and be cautious when using it for anything else.

In other words, it's actually a pretty bad model* for predicting the down-slope. I fully expect that we'll hit 100k deaths for this first wave.

*unless the US were to have done a Wuhan-style lockdown.
> including a mini-map and 'you are delivery 46, van currently doing delivery 24' info on the status page

Funny, with Amazon Logistics it was the first time I ever saw such a feature :D
My biggest problem with "mouseless tmux" was copy-paste. How do you deal with that?
A few countries have eliminated the virus entirely. Most other countries are in lockdown as more or less a desperation move and effectively have no articulated plan. Maybe they'll get infection rate down and can get testing and contact tracing working enough to do elimination in heavily effected areas but in the US, certainly, all plans are vague and the authorities seem to be reacting to events rather than planning. I think WHO articulated the elimination path but again, who knows.

But with all that, Giesecke's approach is more like getting the whole thing over with quickly, which would have brutal effect on the health care system, to say the least. IE, once this is done, all the doctors and nurses in the emergency care system are going to quit.
Ask HN: What are the most popular cities for HNers
Are there any stats available on the location of HN users (based on their ip)?

My ideas are SF, NY, Berlin, Vancouver, London, Amsterdam.

Maybe there's a big following in Beijing or Bangalore I don't know about?
There is a concept of using a challenge trial, only it can only be used when the risk to the volunteer is very low.

Challenge trial are used in trials on things like the common cold. SARS-CoV-2 is considered too dangerous to use in a challenge trial.
OCaml multicore update: April edition
I would replace that with "Make the code easy to understand".

One you have easy to understand code it is easy to understand how it needs to be modified to make it work, right, fast and or pretty.
Arithmetic breaks, as multiplication is no longer the inverse of division. (For example, 1/3 * 3 = 0.999… would no longer work.)
I'm not sure to understand the use case. Is the goal to replace things like flannel? Or route all your traffic from a single gateway?
That's just how rich people are. "Cute" gets help, "not cute" doesn't matter. And humans are, for these most part, "not cute".
They removed 3D Touch from the iPhone.
Thanks for pointing to the data.

I'm not sure about the idea of using any particular strain as the basis for a vaccine. But the severity data for various strains might well be helpful in vaccine development.

I'm guessing that this is a riff on using cowpox as a vaccine for smallpox. However, modern vaccines often use inactive virus, separated viral components, unrelated viruses for delivery, etc. And now, I've read, mRNA to drive host synthesis of antigenic viral components.

Edit: OK, I see that you propose using less dangerous strains for testing vaccine effectiveness. Good idea!
I get that every single time unless I'm in private browsing mode. Clearing cookies and local storage makes no difference..

sigh
The question was, "is it possible to have something resembling a human immune system without a full body?"

The answer is no, for somewhat obvious reasons. The human immune system involves many organs and tissues and cells working together in very complex ways.

And I think your charitable interpretation is quite a bit too charitable. OP did not say anything like "why doesn't it work like I think it would".
I found an interesting article that argues exactly this. It points out that Africa is the youngest continent, and also loses the most from not being able to work to get food, etc. And that Africa should follow a different plan than other continents.

https://mg.co.za/article/2020-04-08-is-lockdown-wrong-for-af...
Show HN: Compare different PDF-to-text libraries in two clicks
You can multiply 1/3 by 3 and not get 1.
In Howard Schultz's biography about Starbucks, he mentions the same phenomena. After Starbucks started getting big, activists would start attacking the company for some flaw which Starbucks knew they were the least bad in the industry in and he would get quite frustrated.

It was only after talking to activists that he realized they were also well aware that everyone else in the coffee industry was even worse than Starbucks but because they weren't as famous, activists would intentionally target the #1 player because that's the way to play the news cycle.
0.999…5 obviously.
Nah, I drunk 3 cups of coffee before I had kids and I slept a lot too. Also, when you are sleep deprived, coffee dont do all that much.
Well, apparently it is.
Every Proof Assistant
At least 11 cities use automated surveillance in the EU
I would think many professors will ask for remote teaching option even if campuses reopen? With office hours held outdoors?

I am a product of University of California system and many of my lower level classes had hundreds or students. I barely got to see the professor up close so maybe this remote video teaching may even been a better option. :)
Show HN: The Work from Home List of Hardware and Software
Huh, can you link to the post?
My terms are that anyone replying to me owes me a thousand pounds. Because that’s totally how this works...
His "About me" page states:

"""
I have been a tenured academic (Senior Lecturer) within the School of Pharmacy and Applied Science at La Trobe University, Australia teaching and researching in the areas of phage therapy (bacterial virology), pharmacy, environmental microbiology, bioinformatics and cancer.
"""

Since that seems easy enough to look up and call him out on if he were lying, I am inclined to believe that it's true.

I am inclined to believe his take on things over yours, given that the only info I can see immediately about you is your info blurb stating, "Damn kids, get off my lawn."

That said, I don't think anyone is treating what he says as gospel. But it's an interesting perspective.
You have no idea if that's true unless you have insider info. Things could have changed drastically this quarter.
Ask HN: What service do you use for personal code reviews?
I found that one way to get more acquainted with a new language/stack is to get code reviews by someone more experienced.

Being new to Go/Typescript and looking for personal code reviews on my side projects.

Pullrequest.com seems a bit much for my use case but I haven't tried Codementor.io. Finding specific tasks I want to improve through open source is hard to do at the moment (could be a useful service to build)

What does the HN community use?
Wasn't Google's excuse for AMP that it's a "standard" and everyone could use it (other search engines for example)? Now they want to add even more Google-specific crap to further lock it down. Not exactly surprising...
Perhaps because the live translation feature isn’t ready for the locale yet?
no offense but from someone coming from a place where oublic transportation was lobbied into non existance, that board sounds exactly like the kind of thing that becomes an umbrella and fucks up every kind of innovation. Are the scooters even a problem?
Since you're open to feature requests on the site, I'd suggest allowing people to have their job board on their own domain with a CNAME.
"Do not seek to follow in the footsteps of the wise; seek what they sought." - Basho

One of the reasons that the wizards stopped teaching SICP was the fact that the world changed. Back in the 80s, most programming was done from first principles, since the middle of the 90s it switched to programming against an API.

While learning to program from first principles is still amazingly useful, it is not what beginners need because most of them will never end up programming like that.