skysight-inc/HackerNews huggingface dataset:
Extract expression looks amazing.

These days I write a lot of ocaml. I used to write a bit of Common Lisp though I don’t write much of that nowadays.

The thing I miss most when writing ocaml is paredit, a mode for emacs to edit sexps keeping them balanced. There is a more generic mode, smartparens, which can be used in other modes but it doesn’t work super well for ocaml: it can’t automatically add the required delimiters (though it isn’t clear that would always be wanted) and it struggles with multi-char delimiters, eg:

(* comments *)
[| arrays |]
{| unescaped strings |}
{foo| harder unescaped strings |foo}

And because the structure of ocaml involved other delimiters that smartparens can’t cope with, you miss out on a lot of structure editing.

But that said, maybe it is hard to edit structure that is less plain to see. Swapping two lines like this:

let foo = x y in
let bar = a b in
...

Seems like a natural operation but the same thing in lisp is quite an unnatural operation (the indentation style of ocaml hides that the second let is really nestled inside the first). Incidentally paredit has an operation to do this but it’s pretty confusing (something like, take the sexps backwards from the point to the start of the smallest list strictly containing the point and swap them with the sexps going backwards from (excluding) the smallest list strictly containing the point to the start of the smallest list strictly containing the smallest list strictly containing the point.

Another ocaml operation would be merging/splitting lets into a let ... and. But this would be even more unnatural in the equivalent lisp structure (perhaps one reason is that parallel lets are idiomatic in lisp but sequential lets are idiomatic in ocaml so it isn’t really a common operation to do in lisp).

There are a few structure editing features that sort of work in the normal ocaml modes of Tuareg with merlin. One is a “select more” operation which understands the syntax a bit. Another is a forward/backward defun operation which works a lot of the time and can be useful. Merlin also offers the ability to expand patterns based on the type they are matching (eg to expand _ into (_,_,_) or to the names of the record fields). There is also a “construct” operation which I’ve not really been able to figure out (I usually just abuse the destruct operation somehow) and some kind of type hole syntax (like this: (??)) which only merlin understands and which really confuses the compiler proper.

I’m pretty excited to try out this structure editing improvement, or indeed any structure editing or type-directed editing features.
I imagine that 2-5% of people over 70 die each year from other natural causes, if not much more. I’m not justifying anything, but I feel the death rates need to be understood in this context.
Germany, I apologize.
Let's keep the rhetoric on HN above sarcasm. It's not even clever. You just say the opposite of what you mean, so it does especially poorly in text form.
I'd be surprised if the country I live in has more than 300 ventilators.. for a population of 40mil.
Turns out Gloria is an incredibly hard worker.
Some people act irrational in time of "danger" ? :)

Tbh: don't know why either ;)
People are downvoting but it’s 100% true. A build system targeting primarily C/C++ requiring an interpreter and runtime dependencies is a no-go for quite a number of projects. There’s a reason they were written in C/C++ in the first place, and the fact that a lot of people install via packages (separating build from distribution) is scarcely solace.
They have taken "Keep Calm and Carry On" to the heart.
I doubt it. If people are able to photograph dark birds at night, I see no reason why a missile with much bigger optics and more efficient (wider band and monochrome) sensors wouldn't be able to find a plane.
you should be fine. most people hate US policy and Trump, not Americans.
You know, it's easy to dunk on these folks. Especially since the American Libertarian party has allowed itself to be infested with a lot of silly and even racist people. But globally this crisis does show that the "decentralize and democratize" sides of the political compass have a point.

In the US, central authority substantially impeded pandemic response. Both out of apathy (substantially defunding and deprioritizing support in 2018) and selfishly, with key CDC officials acting on behalf of the executive to suppress key information and decline assistant from other countries (and the WHO) who have better testing infrastructure.

We only discovered the Seattle COVID-19 outbreak because a (heroic, imo) doctor decided to destroy red tape that was blocking her from doing important work [0]. The US has been refusing to evaluate South Korea's current treatment method [1] which is clearly saving lives.

More in my camp, the notion of enforcing borders is hurting us more than protecting us in a lot of cases. E.g., border control chokepoints in airports are creating infection hotzones that are going to do much more harm than good. Great job loading everyone with a nascent infection and then sending them out into society with no possibility of tracing where they got it, customs! Way to do exactly the opposite of whatyou wanted to do! [2]

Even more ridiculous is how currently US IP law, a longtime foil, is being used to hold up giving Chinese citizens access to potentially very effective antiviral drugs because Gliead is afraid China will undercut them. [3] Sure the world is on the brink of a global economic collapse and in the worst case a few percentage points of the global population could die and the majority of people living could see their lifespans shortened due to complicatons, but yeah let's worry about that quarterly stock price and IP law.

Libertarianism in America is rife with contradictions and racist buffoons, but right now I think there is a lot of positive things to be said about decentrialized and anti-authoritarian societies. It's certainly hard to imagine them doing worse than our current government.

[0]: https://reason.com/2020/03/11/how-government-red-tape-stymie...

[1]: https://www.upi.com/Top_News/World-News/2020/03/12/South-Kor...

[2]: https://twitter.com/StevenDialFox4/status/123899199815520665...

[3]: https://sfist.com/2020/02/06/bay-area-based-gilead-donates-e...
Because if you simply bar flights from a country entirely, people find sneakier ways to get in to your country. Secondly, there are negative effects to eliminating travel.
Probably because it had never happened before. And I bet this is in the "recommendations for the future", or whatever it's called, section of this postmortem.
Dang, would you mind taking a look at the behaviour in this thread? The content and the voting feels very odd and unusual.
US-EU ties are a much deeper than what the current US president has stirred up. What an embarrassment. Give 8 months and perhaps have a new president and things may turn for the better. I vividly recall the support and warm of the people of Europe, their messages and prayers during the 9/11 attack.

When we must cooperate with others, we must look for common principles, underlying foundation of a country. China can become a super power bully around other countries into a dystopian world. Is that what we want in Germany? German companies having to apologize to the CCP for offending them?

My theory around the election of Trump through a number of incidents that lead up to it - Russian objectives to dismantle US-EU, Chinese objectives to bankcrupt US by paying off their executives to move the factories to China, Democrats vs Republicans polarization and Trump dropping the American credibility. It is sad. Remember, Trump didn't win popular vote. When middle America is bankrupt, there is no food on the table, drug use is through the roof - they will want some change in Washington, Trump gets elected. I don't want my kids to grow up to a world where democracy is dying, western countries are infighting and there is an increasing risk of complete and utter lack of freedom, loss of privacy and obsolence of liberty.

What a sad world to be in. China can be amazing super power if it suddenly got rid of CCP and had an open minded democracy, inspiring and building a model of how other nations can follow. Instead, we are seeing a regression and nationalism rising around the world. Same thing in India.
Time is running out to catch Covid-19
Will the Coronavirus Break the Internet? Highly Unlikely, Says Cloudflare
Indeed, but Germany achieving that outcome by making this a PR war will just make global cooperation less likely.

This needs to be achieved by the EU leveraging as much cash as it can from other countries with an agreement to distribute the vaccine by some WHO index of need. In this way, you outbid the US by showing collaboration works.

We can't waver on global health priorities, but let the USA admin shout its way into darkness alone and not drag in global cooperation with it.
> Plus, it adds weight to the (perceived) severity of the crime.

What law was broken? Its like saying HBO breaks a law by having their shows exclusive to their subscriber base.
There is a big anti-trump movement, but people are unwilling/afraid to protest on the streets. The US has traditionally suppressed protest movements, consider for example occupy WS and Black Lives Matter.
That's what you get with an incompetent leader in the US :)

His means of communication is impulsive use of Twitter, so I don't know how you could expect something different.
Sounds like the proverbial fake news to me: extraordinary claims, denied by company, doesn’t make sense, etc.
Payday loans are another analogy, with some added price gouging on top because f*ck the poor.

Here's my previous pay check (s), so the payday loan place knows how much money I make; here's some sort of proof that I haven't been fired yet, so they believe that my next pay check is coming within a few hours/days; and heres's some legal-equivalent of the title to my car, for them to repo in case I'm not able to pay back the loan.

A 12-hour loan of $12k might seem ridiculous but an entire industry has been built on top of $300 loans for 72-hours, at great profit (until regulations came in to cap the profit).
I think this is the path the USA will be taking as well if not "officially" so the old folks won't freak out.
> They actually know how to handle weapons and shoot you as soon as they see your weapon because they know how dangerous these things are.

Yes, that's exactly it. It's actually quite hard to train people to freely kill others. Most naive people think about using guns for intimidation. The first lesson in my weapons class (as I recall) was to never point a gun at anything you don't intend to shoot. Maybe the second lesson was to point and shoot as an uninterrupted process. Not any faster than you can do smoothly, but not any slower either.

Burroughs, who was quite the gun nut, also recommended that. He also advised to first take out assailants with shotguns.

There's a great anecdote in Hunter Thompson's book about hanging with Hell's Angels. Involving a guy who pointed a handgun at one of them, and got shot with it. Also a great sequence in some Seagal film with an Aikido reverse move with an assailant's shotgun. It's a riff on a sword move.
In my mind you want to isolate until we better know how to treat it. I have seen some "evidence" on twitter that anabolic steroids seem to help and that the cs. Koreans are more successful with a treatment of zinc plus mineral salts. I thin eventually we will be able to limit the mortality rate significantly, but it will take time to determine what is effective.
> In this event, an SRE on the traffic and load balancing team was alerted that some GFEs (Google front ends) in Google's edge network, which statelessly cache frequently accessed content, were producing an abnormally high number of errors

What does "statelessly cache" mean? Stateless means it has no state, and cache means it saves frequently requested operations. How can it save anything without state?
I hope this will happen soon. NYC passed a green roof law in Nov. 2019 that requires all new or extensively renovated buildings to install gardens, urban agriculture, or solar on their roofs.

https://www.citylandnyc.org/29502-2/
I am curious if some of the ITA folks landed (no pun intended) there, not because of the airline domain but because of expertise in dealing with complicated constraints.
There is however another underlying gamble. If they let the virus freely evolve and spread this might also give it more opportunities to mutate and maybe become more lethal whereas country that try to mitigate contagion won't offer as many hosts to try random forks...
You know what else is a necessity? A roof over your head. And people need money to pay rent, utilities, etc. to live. As far as the government and companies are concerned, the virus is no excuse to skip on your bills. Like I said, the ball is in the company/government's court. If they think it's so important to have x done, they are the ones who have the power to make anything happen at scale.

Maybe society does have to go through something like this to realize their mistakes.
The idea that Trump fill here in anything is what he should how unable he even is to articulate sentences and everything absolutely possible.
I mean that's pretty clearly much more reasonable. It's even likely that unstable countries which don't foster services to fight disease are also more susceptible to authoritarian coups.

More to the point, I think framing it as "authoritarian governments cause the spread of disease" is misleading. The spread is not caused by accident or economic failure, it's caused by apathy (although obviously a failed state can't fight parasites). The reason hookworm is found in relatively wealthy southeast asian countries is the same as the reason it has been found in rural Alabama; the governments don't care about everyone. It's not accurate to call that authoritarianism and it's misleading to assume it's simply economic failure.
Aliasing in Computer Graphics
Trust in enterprise AI starts way back
"Keep Calm and Carry On" is a big part of British national identity. It may or may not be appropriate in this crisis, sounds like genuine experts are arguing both ways, but that's part of the reason behind why the British respond like this.
> 229 specialists in disciplines ranging from mathematics to genetics - though no leading experts in the science of the spread of diseases
Today, I don't think the general public buys that story cover. Probably back in Ford's time.

Ford had to raise wages because it was actually cheaper than to not to. If we want to look at a good analog today, I would point to software engineers.
The US might recover in the sense of electing someone less clownish but I don't see this economic mercantilist trend in the US subsiding because it is gaining steam on both sides of the political spectrum. Warren for example, championing 'economic patriotism' has similar impulses and withdrawing from the world is now an equally liberal and conservative position.
TBH this looks more like you should buy a straddle.
Guess you never saw the day-after retractions that frequently followed (after the damage is already done).
Isn't one good effort in Saskatchewan too?
Sounds like someone is in a bubble, RCP polling aggregate data shows Trump (before this crisis) at an all time high for popularity, and more popular than Obama at the end of his first term.

There is a resistance movement only on the coasts of the US, and in some other Urban, largely democrat area's get out of Urban US and there is no resistance, at most it is slight disagreement, but most people in rural America support Trump completely this includes many in the "Rust Belt" which democrats need to win a national election, support they have completely and utterly lost
This is precisely the sort of comment that not only makes social networking a medium with nearly no real value, but actually dangerous.

The commentator comes here with some assumptions, perhaps some hearsay, and an emotional attachment to their position and make the statement as though it's fact.

In this comment, you know what's missing? Actual knowledge, actual reasoning, and actual facts to back up the his/her claims. Perhaps worse, there are some facts (Ibuprofen suppresses some immune system responses to infection) which are used to draw unsubstantiated conclusions about the commentator's opinions (Ibuprofen can cause severe forms of Covid-19 in young people).

From where did this "related news" come from? On what rational basis do you draw the conclusion that an across-the-board recommendation not to take Ibuprofen is warranted? How does that trump other factors that may be at play?

What I really worry about though is how many people will read the comment I'm responding to and go on to post elsewhere, "in related news...", with a similar air of self-certainly and casting of opinions as facts. In other contexts of high emotion, people get lynched because of this sort of social media posting, people may cause themselves harm because of this kind of posting.

By the way, the commentator may actually be right... but there is nothing in the comment to make me believe that his/her being right would be anything more than coincidence.

I'll leave with the personal observation that this community is suppose to be made up of "the smart ones"; which we ourselves so often confidently believe to be true that we all too frequently think we should be able to engineer society and solve all its ills. If there is any one ponder-able to take away from reading Hacker News on regular basis, it's how decidedly average even "the smart ones" can be on any given topic.
All governments can prevent something like this from happening if they choose to.
No, you jumped to a conclusion. "Predicts" is not a synonym of "causes," and any confusion you may experience would be solved by reading what they wrote.
I really don't get this sentiment. China fucked up their initial handling of the situation, but it took over a month for them to figure out that they're dealing with a dangerous new pathogen. These things aren't apparent from the first few cases that get discovered. Meanwhile, the rest of the world had two months of warning about the danger, and we fucked up worse. Blaming China for not containing it is ridiculous and completely unfair - I doubt anyone would've fared better. US handling of the situation in particular proves it would fare even worse (complete with suppression of data).
There are a lot of trump supporters on hacker news. Have no idea why.
My concern is local disruptions in supply and food availability. Three days without food won't kill you, but it certainly will change your outlook on life.

There are a number of "pinch points" in the supply chain, vulnerable to employees getting sick, that (coupled with inventory problems from hoarding) could easily result in reduced local supply for a week or two.
Of course we'll cooperate. Even Trump can't end that. It might take him leaving before the Europeans start trusting us again (with a lot of justification).

But I don't want one solution. I want multiple well funded investigations of different vaccines, all in testing, so when a problem is found with one we still have alternatives.
https://www.coursera.org/learn/programming-languages-part-b

This is Part B, but there's also parts A and C. While I recommend the whole course, you don't need to take it all if you just want the interpreter project.

The networking course was discontinued, but these are the videos: https://www.youtube.com/playlist?list=PLEAYkSg4uSQ2dr0XO_Nwa...

The videos aren't terrible, but the homework was worthless.
https://www.congress.gov/bill/116th-congress/senate-bill/339...
It's officially confirmed: "Germany’s Health Ministry confirmed a report in newspaper Welt am Sonntag"
> Personally I’m staying as isolated as I can until the worst of this is over, regardless of the official advice.

Good choice. Look at what Italy and Spain are doing now. Stay at home as much as possible, don't hang out with others. Wear personal protective equipment if you must go out for some reason.
I think I'm with you. I don't think it can be contained anymore.

Even if it seems gone, it can pop up and we go on lockdown again?

I wonder if the lockdown people are anti-math.
face masks don't help unless you've got covid19 and are using it to prevent spreading. If you have flu like symptoms you should be staying home anyway.
CureVac just rejected rumors about an acquisition

https://www.curevac.com/news/curevac-focuses-on-the-developm...
What's with the focus of people over 70? If you catch this and are in your 50s or 60s, you have a decently high chance of dying.

Hell, the young and healthy can go skydiving 100 times and have less chance of dying vs coronavirus.

Nevermind the not dying part. Over 50% of ICU spots in France and the Netherlands for coronavirus are taken up by people under 60. Pneumonia this severe can cause permanent lung damage.
None of this however is relevant in this context - what is relevant is that even with 3 months of warnings western democracies utterly failed to prepare.

We love our freedom and our ideals but our execution sucks and it has nothing to do with China being authoritarian at this point.

Taiwan is a democracy and they handled it just fine.

No, we have elected clowns who tell us sweet lies we want to hear rather than the information we need to adapt to a changing world and now we have the worst aspects of both systems. Shit, in the US the local officials wanted to do the right thing while the dear leader screwed around blocking them, dismissed the scientists and acting uncontrolled and unchecked supported by his blindly loyal party officials and supported by his quasi-state-TV channel - that's like reverse China, the stupid version. We are really not in any position to give lectures right now.

So let's stop shouting China is bad reflexively whenever our own faults are kicking us in the ass and actually demonstrate that our system is better - because right now, it is not - and a lot more people are about to die because of it.

And right next there is a whole host of other risks queued up that will hit us in the same way- antibiotics resistance, resource exhaustion, pensions, climate change, etc. If this was the preview of how we will adapt to these challenges - ignoring them and letting them wash over us to not inconvenience the existing economy - I think China has a much better chance of adapting right now than we have.

We are lucky in a way to get this virus as a reality check and not something worse... but even this will leave millions dead, many unnecessary due to lack of preparation during the time paid for with the lives of many people in Wuhan and failure to heed science.
I have used this one for a long time too
None of those are paid by the federal government.
I think there is a good chance this is just not true. Easy to imagine, that the tiny "exclusive" part was mixed in to make the piece more clicky.
I'm pretty sure he is good at filling his own pockets, but not through normal means.

The wall - since he is in real estate, he would earn a lot of money by choosing the constructor

Oil - sidestepping official channels and trying to put known friend in place ( Ukraine) + Big fossile companies trying to change the path forward, protecting their current investments through all means

Russia - at least one country that is obvious to try to manipulate things with bribery

Tax cuts - guess why

Stocks - he is known for trying to manipulate stocks well before he was the president

Trump name in license - since almost all the rest of his business failed, he needs to act like he is a legend ( ps. He's just a dumb guy with a life-time of manipulation experience)

Daddy - since he is not smart enough to get it from zero
Economic heavyweight Boeing hammered by dual crises
Repacked/scammed Seagate 16TB NAS (ST16000VN001) drives on Amazon.ca
I'd also add, why not just find an appropriate data science MOOC to use? I'm sure there are tons out there that have had more time and resources to pour into it. You could at least use one as a jumping point so you don't have to reinvent the wheel.