skysight-inc/HackerNews huggingface dataset:
> why are there still so many “standard” libraries?

There is one standard library--the one that ships with OCaml. You can use replacement libraries if you really need them--I haven't yet needed to, but for heavy-duty production use maybe one day I will.

> Where are is of the guides for building production applications?

Is the emphasis on 'building' here, as in 'build tool'? If so, then https://dune.build/ is what you need. If the emphasis is on 'production application', then I'm sure there are others but https://shonfeder.gitlab.io/ocaml_webapp/ comes to mind immediately.

> Why is the documentation so poor?

Which documentation specifically? If you mean OCaml itself, then you should check out https://ocaml.org/ , it has tons of high-quality documentation. If you mean third-party libraries, then it's probably mostly a lack of tooling that publishes docs automatically, but I think this is starting to change.

> How do the editor plugins compare to those for Go, Rust, etc?

The OCaml Language Server and its main editor plugin (for VSCode) are nearly feature-complete. The older Merlin tooling has been used for a long time.

> How familiar is the syntax to the broader body of developers?

Syntax can be learned, but for those who don't want to try, there is always ReasonML syntax that uses semicolons and curly braces to make OCaml look like JavaScript.

> I’m not saying the Ocaml community never does anything practical; only that they don’t do enough to make their language mainstream.

It's easy to make assertions without actually knowing anything, but it's better to do the research first to back them up, instead of asking a bunch of questions ;-)
I use a Windows PC and need to use a Mac occasionally for my work. I keep delaying updates on the Mac because I'm terrified of it not coming back up, and I don't know a ton about MacOS. It doesn't help that the Mac is currently remote and I'm working from home.
I agree with you. Also, on the same vein, "four times more" doesn't say much if it doesn't explicitly describe the absolute number. Is it 0.01% of the population, or 10%? Huge difference.
That's nothing. Armin Ronacher was complaining somewhere about the performance hit from static typing in python and i never though about that before. It'd be best if all of that was removed in prod build along with unused imports, kind of what TypeScript does.
> Yelp, GrubHub, Seamless

Interesting choice of examples! Grubhub owns Seamless and bought Yelp's delivery service (formerly Eat24). Grubhub also owns AllMenus and MenuPages. So an individual restaurant has to compete with 5 different sophisticated offerings from one company for SEO position.
those are jets, not EDF
The widevine-l3-decryptor takedown wasn't filed by the RIAA
That's the thing though. If we scare the shit out of everyone then they will all run to the nearest hospital the moment they have even mild symptoms. And then things will get worse for everyone. Doctors who are already exhausted might catch it and die, patients who entered the hospital for other reasons might also catch it and die, and the list goes on. We need to chill the f*ck down because there's enough panic spreading around.
I don’t want to rely on users figuring out how to use delimiters. If the URIs with trailing periods break, so be it, people can use <>, but don’t make people use <> just because the URL isn’t English.
As someone who is old enough to have heard The Eagles when they first came out, this is hilarious. No offense to Eagles fans, but they were mostly forgettable Top 40 from the get go.
> Maybe even 2027. But today, in 2020, a verified DKIM is strong indication about the identity of the writer, or that the keys weren’t safely stored.

Except that we're talking about leaks of emails that date back by years: the earliest Podesta emails are from 2010, back when Google was using 512-bit (!) keys for DKIM. Those were leaked in 2016, at which point 1024-bit keys were already considered crackable by a motivated attacker.

This isn't to say that those emails were faked, only that "an email written in 2020 that's verifiable in 2020" is not the target of interest.
All of which will have performance loss due to x86 emulation.
Is Linux really that easy to recommend these days? I'm genuinely asking, not sure what the current state is.

My impression is that over the past few years Linux has gotten a bit better at just working out of the box, Mac would be good if you never upgrade the OS (but if you do upgrade, you're rolling the dice on a major disaster) and Windows is pretty much where it was (and still not a great experience for developers). Basically, the 3 platforms seem a lot closer to each other than they used to be.
Most people don't have the "f*ck you" money you probably had, and/or the ability to be well off financially even if you moved to Iowa.

Most people move to SV/SF in search of fortune. Sometimes they stay even after they found it.
Being dependent on one device, as a professional? Backups, spares and insurance are not best practices, they are the basic cost of doing business. Using the latest version (not the security updates of course) of anything on a production machine has always been a bad idea.

We need a new razor, something along the lines of "do not attribute to FANG marketing what is better explained by misplaced expectations".
You're misunderstanding how destruction of evidence works.
Yeah...I never use Yelp, because it's so obviously gamed and I know I'm getting bad info at every turn. And that's without talking to small businesses owners in my area, all of which have a tale of shady Yelp practices.
That's a really weird way of looking at this. HN is not endorsing my point of view by letting me publish comments here. Isn't that what the Section 230 is all about, by the way?

I know there is no law preventing social media from censoring people. If there was, we wouldn't be arguing about this right now. What I'm saying is that free speech should be extended to social media.
Very kind and nice note and I can confirm the precision of most of that, even the less-than-ideal things :)

Your phrase in Basque is accurate, standard orthography would be "printzesen" but it's pronounced quite similarly and in many areas exactly the same.

Basque people are very social, and a lot of that socialization happens around drinking. Usually not as heavy drinking as in other countries, but lower graduation alcohol and slower pace, but it happens for many hours, so it does end up being a lot. The plus side, it's hard to feel alone around here. The con, of course the liver suffers, and the excessive social life can end up feeling suffocating (you can opt out, but, especially in smaller towns, it takes some effort).

Navarre was a completely independent kingdom until 1521 when it was invaded by Castille, although stayed as a separate kingdom and legal entity within the non-homogeneous political complex of Spain until around 1850, when it became a province with some unique foral rights. These days it's an autonomous community within Spain with some extra rights (critical: tax collection & budgeting), same as the three traditional provinces of the Basque Country. There are many cultural and social ties between the Basque provinces and Navarre, also a few lighter ones with the French Basque area, and the areas collaborate, but they are distinct political entities today. Personal, cultural, social and nationalistic ideas and feelings with regards to this are on a very wide spectrum.
This is hardly worth writing up for n=57. I scanned the full text and didn't see any notation regarding vitamin d blood levels in patients, which would have been useful to know. Maybe nobody wanted to pay for those tests? A helpful result would be something like, "blood levels of X ng/ml improved survival rates Y% with a confidence interval of Z."

Instead, we have an odd and vague dosage, "80,000 IU vitamin D3 every 2–3 months." I gather this study was constructed given the supplement regimen that was in-place. Why were the patients being supplemented that way? What standard of care is that?
I just wrote the 1000th article on “What is Bitcoin", enjoy
Outdoor dining in the cold: Advice from Alaska and Scandinavia
Honestly, these UK incidents detailed seem awfully tame to someone across the ocean.
It looks like it started shipping:

https://puri.sm/posts/librem-5-screenshots-snapshot-2020-11-...
Excuse my ignorance but how does someone else signing my message prove that I sent the message? Moreso if the body of the message is not being signed at all?
I had the good fortune of being introduced to it by someone who was steeped in Poker theory (a colleague at work).

Following that I picked up some more formalism from the book by David Sklansky that features prominently in the other comment in response to your question.

However, the person I mentioned before had already given me a head start on most of the practical aspects mentioned in the book. I also benefited from having him to practice against and learn from.
How to Be Silicon Valley
> striking down Washington D.C.'s handgun ban by a 5-4 vote, the Supreme Court's decision in D.C. v. Heller held for the first time that the Second Amendment protects an individual's right to keep and bear arms, whether or not associated with a state militia.

This ruling is the crux of the matter. And ACLU's interpretation (against it) seems very logical. Sadly there's no putting the genie back in the bottle though.
Are you pretending like not locking down this winter for example would have no negative effects on the economy?
It works 99% of the time and things like this are rare occurences. My experience with linux (Debian & Centos) has been less than stellar.
There looks like treatments developing that can reduce the mortality or severity of COVID after contracting it, including possibly reducing long-term scarring from it. These treatments are coming out of better modeling and understanding on how COVID spreads in the body and kills people.

It isn't so binary or black and white -- vaccinate or risk dying. We're starting to get other options.
Toward the end of the blog post, the author points out that while it often is nice to have the ability to authenticate who sent an email, nobody asked for this feature to be enabled by default on all their communications. It seems like a matter of preference, and it isn't clear that people thought about it at all.

People change over time and normal human communications have a natural sunset built in as people forget exactly who said what.
It could (at least according to the author) reduce the incentive to steal people's emails for blackmail purpose to begin with. The target of blackmail can simply deny they are authentic and it would be extremely hard for the blackmailer to provide evidence of their authenticity without revealing their own identity.
> COVID is different in so far as it's far more deadly

It's not really "far more" deadly. The main problem is the lack of immunity and everyone getting it at once.
Spicy Affiliates – Next generation affiliate network
20 million doses are for 10 million people. Everyone needs two shots.

Also, having the doses is one thing. Distributing and administering them is another. At least 30% of people will certainly refuse to get vaccinated as well, further complicating things.
Thanks for the thoughts!

I agree on your first point. This is the easier niche for me right now, but probably not the best niche.

I 100% agree with your second point too. My first step was supposed to be "Choose a problem" (https://www.themvpsprint.com/p/choose-a-problem). But I can spot the flaws in how I presented this - it looks like I was starting with a potential solution someone asked about on Twitter.

That being said, the solution I'll be building is actually quite different from an "always on zoom room" - more focused on teams that operate largely asynchronously.

I'll be formalizing and sharing my product vision over the next week or two :)
> All residents in the nursing-home receive chronic vitamin D supplementation with regular maintenance boluses (single oral dose of 80,000 IU vitamin D3 every 2–3 months), without systematically performing serum control test as recommended in French nursing-homes due to the very high prevalence of hypovitaminosis D reaching 90–100 % in this population. Here, the "Intervention group" was defined as all COVID-19 residents who received an oral bolus of 80,000 IU vitamin D3 either in the week following the suspicion or diagnosis of COVID-19, or during the previous month. The "Comparator group" corresponded to all other COVID-19 residents who did not receive any recent vitamin D supplementation. None received D2 or intramuscular supplements. All medications were dispended and supervised by a nurse.

All of these vitamin D studies seem to expose a single truth; serum vitamin D tests are too expensive. I suspect that these papers with inferred rather than measured vitamin D levels will continue until an easy and low cost vitamin D test is developed.
Nobody is invulnerable to anything. But we should never make generalized/universal policies to the detriment of the masses motivated by long-tail extremes. Just because we don't know how to reliably measure the (real and large) impact of mitigations, doesn't mean we can/should pretent that impact doesn't exist. It's all about tradeoffs. And I'm tired of emotional heart-strings cases that are "easy" to measure stamping out all the real effects of mitigations that are "hard" to measure. And I've also heard way too much about, "but if we could have responded effectively/quickly like China/Vietnam/New Zealand then we wouldn't have been _forced_ to do these other damaging mitigations" - that is a theoretical idea/world that we don't live in. Given the actual situation - that we live in a country with free-spirited/selfish people with pretty significant individual liberties, how should we address the virus? That is the real question.
I'm talking about VPNs, not firewalls. This article (and people in general) are claiming that Apple applications bypass VPNs, and falsely implying that system-wide VPNs are no longer possible in Big Sur. NEAppProxyProvider was never meant for system-wide VPNs. NEPacketTunnelProvider, the system-wide VPN mechanism (when used in destination IP mode), continues to route system-wide VPN traffic, including that of Apple applications.

I'm not denying that NEFilterDataProvider is an inferior solution for per-app firewalls like Little Snitch, compared to their previous kernel extension.
I agree. I've also noticed that he has adapted his style over the years to fit the HN guidelines better, which is significant effort for a lot of us, let alone a professional litigator.
And if you only use raw disease incidence[0] as your prior, you're approximately just as likely (-ish?) to have pulmonary embolism. This obviously does not include other very important priors, like age, exact symptom list or incidence of SARS-CoV-2 in your area right now.

[0] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3718593/
The left-hand side of the arrow is a pattern expression [1] (though usually you'd use the :> arrow to delay evaluation of the right-hand side). The "full" notation is x_H for a pattern variable x that needs to have head H. Dropping the H, it matches anything. Dropping the x, it just doesn't set a variable when matching. Dropping both, it matches anything and doesn't set a variable.

[1] https://reference.wolfram.com/language/guide/Patterns.html
Cinebench R23 and Blender were ported to be native on Apple Silicon macs.
Tuning (or the lack of) can lead people to misconceptions.
I expect pg gets friendlier over time but it is not realistic for them to configure for every use case on all hardware.
A heads up and pointer to current best/acceptable practices for auto tune may help.
> A new encrypted protocol for Developer ID certificate revocation checks

Apple's online verification scheme still seems to be the wrong approach both for privacy (since it leaks information) and for security (since apps still need to keep working offline and during service outages.) Encrypted queries can still leak information to observers, and we apparently still have to trust Apple to "remove" information from their logs (rather than simply not logging to begin with.)

Dev certificate revocations are rare enough that they can be handled by periodic updates to an on-device revocation list. This is similar to what Chrome does with its CRLSet.
What do you think these results are from?
AMM Braindump
With OSX you always updated your OS with 10.x.1 if you wanted it to work regularly.

But in the pre iOSification days a new 10.x version would come out every few years, so the 10.x.1 version would come out a few months later with major bugs ironed out. You waited a few months, and then safely enjoyed 10.x.x updates for another 2-3 years.

With the annual release, your 10.x version comes out every year, the 10.x.1 version a few months later but it’s hardly as well tested, and you’re probably better off waiting for 10.x.2 and then by the time that’s done, Apple is already preparing you for 10.x+1.
Several laptop manufacturers officially support Linux these days, even providing it ready-installed.

If the manufacturer can supply a working Linux laptop, that usually means other distros will run without difficulty on it as well.
Is the person in the car moving away from or towards Andromeda?

The example you gave can be interpreted two ways and my intuition tells me that the example is only true in the case that the car is moving _away_ from Andromeda.

Is it also, weirdly, the case that if the car is travelling towards Andromeda that time slows down sufficiently that they perceive the outcome of the debate _after_ the person standing still?
Others with comorbidities die. Let's be clear.
Radio France Internationale publishes obituaries of people still alive
imports can't be safely automatically stripped in Python (or even 100% safely re-ordered) since they could have side effects.

We run a linter that confirms with the user before stripping them, which works out well in practice.
This is a great first step. We need to ramp up the pressure.

The newish Microsoft seems to be more understanding of this sort of thing with supporting Linux with Office and giving Windows 10 away for free.

This would instantly improve their reputation among the entire developer community. DMCA is an abusive mess that is constantly used to attack legitimate open-source work, research, or simply just by bad actors to take down literally anything they want from the internet.

The big websites like Reddit don't care about legitimacy, it's all automated agreement, I've seen entire subreddits taken down due to fake DMCA requests by someone who didn't like what the subreddit was about (And it was too small of a place for it to make enough noise to matter to anyone, nor did anyone try or know how to try). We hear small samples of it here on HN but who knows the amount of abusive and unwarranted DMCA notices that you never hear about.
> as far as I can tell - do not explain why these people did not receive their normal Vitamin D supplementation.

My understanding: each patient receives a bolus dose every 2 to 3 months. The intervention group had that date within 1 mo before diagnosis (or 1wk after)

> Here, the "Intervention group" was defined as all COVID-19 residents who received an oral bolus of 80,000 IU vitamin D3 either in the week following the suspicion or diagnosis of COVID-19, or during the previous month
Regular users will pay no mind to source code on GitHub, but they can certainly download releases/binaries without being a developer. youtube-dl happens to have a separate website catering to this use case, but many projects use GitHub for this use case.

That said, I suppose only the hosting of source code is within the scope of this post, so nevermind!
I would argue that "Quality Years of Life" is what 80% of people (both as individuals and as policymakers) would optimize for, if given a good metric and perfect information, and that "crude life expectancy" is only commonly used because it is so easy to non-controversially measure.

So IMO it's not really moving the goalposts as much as "reminding us of what the actual goalposts are."
> Microsoft’s “More Personal Computing” Division, which includes Windows, Xbox, Surface and related businesses, rose in the holiday quarter to $13.2 billion in revenue, up from just under $13 billion a year ago, reclaiming the title of the company’s largest division, at least for the moment.

https://threatpost.com/google-yanks-106-malicious-chrome-ext...
So what happened to you then?
I heard a stat that in the southern hemisphere's 2019 flu season, the rate of flu tests that came back positive was something on the order of 13%. This flu season, the test positivity rate is 0.6%. Obviously lockdowns and even significant social distancing aren't going to happen for the flu, but I think you're right that we could easily do so much better when it comes to other transmissible diseases, and I hope that at the very least masking sticks with us.
It certainly reduces risk for the clients, but also increases risk for the gig worker. It might reduce societal risk overall, though I'd argue it's hard to say without a deeper understanding of overall behavior, especially since poor people are already at higher risk due to a number of other factors.

Concentrating harm in an already disadvantaged group in the name of the 'greater good' is ethically thorny though. It can be used to justify a lot of not-so-great things.
I absolutely don't mean this in a snide way, but given your username, it seems like you've totally internalized that as your identity. Do you feel there's opportunities to change that first? (Perhaps I'm being overly presumptuous, and if so, my apologies)
Well, they clarify why they cannot support Docker on M1 currently...
BioNTech didn't get to perform testing regarding storage and is therefore giving the safe numbers. Might as well be possible to transport and store their vaccine at much friendlier temperatures - but since that isn't verified this risk won't be taken with today's knowledge.
As a regular mac and Linux user (I use Linux 80% of the time), I can clearly say it's not about sustaining an attachment.

If I had time, I'd do the same. I'm in this career because I wondered how these things work in the first place. Just because Windows or macOS are closed systems they're not less interesting. They're harder to understand and, sometimes challenge calls.

Linux is nice, way better when compared to 15 years ago but, it's not perfect. I'm going to buy a new PC in 12 months and I'd need to make some research about hardware compatibility and performance. Especially on the motherboard side. I have to make sure that it contains no funny devices or memory mappings so, I can't use an on-board peripheral until someone writes a quirk just for that.

OTOH, every platform has its nice applications. While Darktable is a very nice photo editor and Digikam is a perfect DAM, CameraBag or OmniGraffle doesn't work on Linux. Similarly, many basic functions of KDE's Dolphin (Protocol support, embedded git, etc.) is not present on mac. Similarly my IDE of choice (Eclipse) wasn't working well on macs until Big Sur.

However, while developing applications, Apple's design decisions and inner workings provide some nice insight and inspiration for better experiences and more sensible defaults.

Using diverse set of platforms is mind opening for me. It's important to understand the trade-offs of every one and, all of them are perfect in their own regard.

However, at the end of the day, I'm a FOSS lover and you can't pry my Linux systems from my cold dead hands. macOS on the other hand is just a nice closed system to develop open source stuff for me.