skysight-inc/HackerNews huggingface dataset:
> there are multiple "standard" libraries used across the ecosystem (because the ecosystem has deemed "the one that ships with OCaml" to be inadequate) which makes integrating libraries throughout the ecosystem tedious and painful, especially to new OCaml developers.

OK, let's examine this a bit more. There is one (two, depending on how you look at it) main competitor to the OCaml standard library: Jane Street's Core/Base libraries. JSC is a high-quality, production-grade standard library replacement meant for use in applications. However it uses the same basic types (list, array, result etc.) as the OCaml Stdlib, so I don't see where your 'integration' issues are coming from. Can you give a specific example?

> No, I expect an abundance of tutorials that explain how to build production-grade applications, soup to nuts. E.g., for a generic CRUD app, what are the best frameworks, ORMs, etc to use, how to integrate them, etc?

OK, I provided one such tutorial in my previous comment. I'm sure more will come in time, as the community is still evolving. There is also the OCamlverse wiki which tries to distill a lot of community knowledge: https://ocamlverse.github.io/

> Yes, but it's incredibly difficult to configure properly, or at least that was my experience when I got started. I'm actually not sure if I ever got it working with vim.

If you use the community recommended Dune build system to run your builds, Dune generates .merlin files automatically. And if you use VSCode with the OCaml and Reason IDE extension, it picks up on those .merlin files and provides editor support pretty much out of the box. This has been the case for at least a couple of years now.

> ReasonML's support was pretty abysmal--it seemed like native compilation was neglected altogether ... and the integrations with the rest of the ecosystem (e.g., how to build native programs, link against ocaml dependencies, integrate with editor tools, etc) were either poorly documented or inadequate/incomplete or both. No doubt some of that has improved in the intervening years, but I'm doubtful that it has significantly improved.

It's been the case for quite a while now that Dune and odoc--two main tools in the OCaml toolchain--support Reason syntax out of the box. Again, if you are using Dune, you can use Reason syntax immediately, with no special setup. This is documented.

> You've provided the same unhelpful, pat answers that the OCaml community provides.

No, I've asked you to read the documentation and do your research before making claims. Not even Rust and Go are as 'trivial' to use as you make them sound. They have all had their editor support and library issues. OCaml maintainers and contributors are trying just improve the situation in OCaml just as much as their Rust/Go counterparts. But you have to meet them partway. They can't spend massive amounts of time marketing every single OCaml ecosystem improvement--otherwise they'd have no time to make the improvements.
Just for posterity, this is the command I ran:

./DaVinci_Resolve_16.2.7_Linux.run --nonroot -C ~/Programs/DaVinci_Resolve/

The following still happens:

Creating Common Data Dir : /var/BlackmagicDesign/DaVinci Resolve

mkdir: cannot create directory ‘/var/BlackmagicDesign’: Permission denied

It then crashed on the first few runs but then started. Cool tool, though!
The virus was most likely worldwide before anyone knew about it, or could have prevented it. By the time the Wuhan outbreak was in the news, it was far too late.
Now let’s compare them to their comparable neighbors.

I’ll make it easier. The only comparable neighbor who is actually close to them is Denmark.

The others are an order of magnitude better.

Also, Sweden’s economy dropped even more than its comparable neighbors’ economies.
The problem with the author's paper is that his assumption (and that of, apparently, media organizations, Wikileaks, and others) of DKIM "ensuring non-repudiation of emails" is simply wrong.

>DKIM provides a life-long guarantee of email authenticity that anyone can use to cryptographically verify the authenticity of stolen emails, even years after they were sent.

No, it doesn't. It simply offers an assurance that, at around the time of sending, a given email was mostly likely sent from the server that signed it. It can't prove _anything_ about who actually sent it, because it can't guarantee the ownership of the email account.

>For better or for worse, the DKIM authenticity stamp has been widely used by the press, primarily in the context of political email hacks. It’s real, it’s important, and it’s meaningful.

There's no _better_ there -- only for worse. It would be better to dispute the validity of using DKIM for non-repudiation of emails than to propagate the lie and ask server operators to publish their expired secret keys.
There are practical limits to compliance, and the countries that have successfully knocked the case counts to single digit daily indicate it is not necessary to breech those limits to achieve material results.

> Although I will say, if "freedom" is the "one argument [you are] not open to" I don't think you have the moral high ground.

We'll have to disagree on this one. "You can't make me" isn't going to win you any arguments at the supermarket with your mom, it's not going to win you any arguments at home with your spouse, it's not going to win you any arguments at work, and it sure as heck isn't going to win you any arguments in public health policy.

Again, I'm open to the idea they may not be necessary to achieve meaningful results, however that is a conversation that can be had without invoking the toddler clause.
What's stopping someone from recording each public key as it is entered into service and providing a DKIM authentication service with it? There are already such things for domain data.
You never get captchas and other annoying "security" measures when using openvpn? I get them all the time, but I assume that it's because the IP addresses are from mullvad and not as trusted as your ISP. What you have is a good setup for working in various untrusted environments but it's not the same for those people who do torrenting or say skipping past oppressive governments where they're trying to be anonymous via VPN.
It's a good video, full of information. Ignore the snarky comment(s).

Summarizing:

- Italians in the North are less prone to lactose malabsorption than those in the South
- They don't drink cappuccinos after 11 because it's heavy to digest
- The video includes some information about why milk is hard to digest, and other things
But then you'd miss his sensual hissing voice... that aggravating voice.
I totally agree, and there's nothing wrong with JavaScript per se. The original purpose of JS made sense.

The trouble is that's it's been grossly abused by web sites on two fronts. The first is bloat and the second is privacy. Web pages with multiple megabytes of data per page are just not on in my view but they're commonplace and seemingly getting worse. The second is using JS as spyware. If you look at the table in my post it's clear what I mean, this info should be off limits to remote servers.

I've long advocated that we need modified JS engines in browsers that would hand control back to users. For instance, the parameters above could be singlely or collectively turned off or on in setings. Alternatively, the user could set one or more of these parameters to provide the server with spoofed info. If that became popular then web sites would discontinue the process as the data would be useless.
Monolith to Microservice
Canadian researchers say ‘hyperventilating’ may help combat alcohol poisoning
That is a point. On the other hand, with the electoral college system, you don‘t need to hack the entire US. A single swing-state might be enough.
Keep it short and to the point.

Know who your audience. What do I mean by that?

I worked for the Board of Elections as a poll worker every election since 2010. We repeat the same training material at least once a year. And if you only work 2 elections each year, then even the simple stuff bears repeating.

On the other hand working at the same accounting firm, doing the same things five days a week, 50 weeks a year for five years, lengthy explanations of simple issues are non-existent. If you’re not clear, then you ask.

Right?
I always see people complaining about updates, but I haven't been forced to update for months. Is this some machine-specific configuration or is Windows Insiders' update model different?
I remember when I tried to buy a DNA test at 23andme, and they failed to parse my email that was in a form xxx@yyy.zzz.org . They couldn't, and their support suggested using a hotmail address. That's where I got really suspicious of their overall competence, not only IT, and found another DNA test provider.
> They are thirsty for your personal data and they need to know everything you do on their computer.

This is completely opposite of what Apple does, no? Out of all of the tech giants (Microsoft, Facebook, Google) it's my impression that Apple is the one that sends the least amount of data to their own servers.
I believe there are more tools to manage updates across a fleet of Windows machines, so one can flip a switch and prevent all the windows laptops in the company from running major updates until you’re ready.
I've been happily using Microsoft Surface Go for the past 6 months. No complaints (about the hardware - software is another issue, though TBH what I miss the most is a good command line & package manager).
I'm not sure there's any possible way to achieve a real lockdown in the US when half the population doesn't even believe in the severity of the virus. How would you enforce it?

And a strict lockdown would require most people to have enough supplies in place to last the few weeks, which is likely an impossible demand for our supply chain to meet, and also impossible for those who live paycheck to paycheck.
my 2 cents:

As an FBI hostage negotiator, Chris Voss persuaded terrorists, bank robbers, and kidnappers to see things his way

https://www.masterclass.com/classes/chris-voss-teaches-the-a...
Just an anecdote, but I've got a Thacher's Cylindrical Slide Rule, manufactured around 1914 (based on SN). For comparison with the one in the article, the Thacher rule has a scale length of 18m (59 feet).

I found it on the scrap pile when an old building on my university was being renovated. It didn't have a university inventory serial number on it, so they weren't allowed to surplus it and had to toss it. I was in utter shock that it was going to get tossed, so took it.

The building it was in was built in 1913, originally to hold the School of Mines for Oregon State University, so I imagine it used to belong to a professor or researcher there when the School was quite new.

I've never actually used it, but perhaps some day can find a the original manual to learn how.

If you 'Unwrap' a Thacher's it ends up being the equivalent of a regular slide rule that's 59 feet / 18 meters long.

Here's one in a collection with a picture and some background...

https://americanhistory.si.edu/collections/search/object/nma...
That is fascinating! I've never seen one of those.
Show HN: Live Twitch Demo at 2pm – Monitor ML Models in Sagemaker with Fiddler
World Inequality Database
> ...provide a video demo that doesn't actually work, it just looks like it's working

This is not true, the video used a few clever techniques (cutting/editing) to make it seem snappier and more responsive, but Dropbox was very much a real (albeit beta and buggy) product when the video was made.
Who's to say they won't add that in future as a new "security feature" - especially now that they are "fixing" this issue by encrypting the calls home. Apple is a master of shifting consumer norms, behaviours and expectations over the long term using this boil the frog slowly approach.
Sure, but that filtering out means wealth is destroyed and you have to start over. The account resets to $0.00.

Also, these events "filter out" a lot more than just "lazy elite rich people". Plenty of productive rich people and regular every day people are filtered out as well.
This is remarkably well done. I'm reading Hofstadter's Godel, Escher, Bach and found this at the perfect time.
Thanks for the write up!
Exactly. And they have always been at war with Eurasia.
Tik Tok Ruined My Life
I work in biotech so I may be able to share some of my experience in the field. That said, I may also be sharing my mis-experience too ;)

Biotech startups are longer term things than software startups. Typically, your product doesn't get to the market until years 10/12 of the business. This is due to the regulatory issues like with the FDA or the EMA and other countries. Critically, that approval to be on the market or not is made near the end of those 10/12 years.

So, yes, you bust your butt to get the business going for a decade or more and then the regulatory agency decides if it can be sold[0]. Many other biotech people complain about this (and rightly so!), but I personally feel that this is the 'lesser evil'. We do not want pacemakers, knee joints, or pharmaceuticals to be developed like exercise equipment.

That said, the new product is likely to be a new market entirely, and one that you now have a near total monopoly on.

Like with any start-up, it's a risk/reward calculation. And biotech tends to be a high risk business, thus leading to high rewards that are economic, psychological, and spiritual.

[0] To be clear, this is a very complex process, and I have simplified it down. Each business and use case is very different.
Brand New Name – We help startups find their perfect brand name
> Collectors who loan out objects aren't responsible for the day to day operations - such as 'general preservation - of a museum, nor are they held to fund those operations. However, loan contracts do contain assurances and describe formal conditions trying to ensure the protection of the object during transit and on location.

I didn't mean to say "general preservation" of the museum, but rather the general preservation of the artwork, depending on its type and age. Different art, different costs, all handled at the collector's expense - museums don't have to pay for that, but only for specialized display casings and security systems, which are a fraction of the cost of the piece.

The Met is actually one of the better run places that I often hold up to as a benchmark. Not to mention, it's "classy" enough and was prudent enough to keep the young crowd in its sights. My qualms were against aged places, largely in Europe, who have to rely on government subsidy and if that isn't available, use their funds to fundraise more, while many a time their curators are paid a 6 figure income.
> When people talk about sugar like this they are talking about fructose. Bringing glucose into it confuses people

I believe people are actually usually talking about sucrose, which breaks down into equal parts fructose and glucose v early in digestion.
Hex editor editing the memory of the VM the hex editor is running in
macOS packet filtering in Big Sur is unchanged, offering src/dst host/port/proto filters, as is typically thought of to be a 'firewall'.

macOS content filtering in Big Sur is no longer able to intercept apps on the exclusion list shipped by Apple, and is akin to 'iptables --uid 501' or 'iptables --command firefox-bin' (actual syntax may vary).

The content filtering API can see which user/app originated the traffic, as it's running higher up in the stack; the packet filtering API cannot, as it's running lower down in the stack.

Apps such as Little Snitch allow you to filter network traffic per-application, which can't be done with PF; you need CF for that, and CF no longer extends to Apple core system processes in Big Sur.

Mullvad's blocks are done imprecisely with PF (presumably they deny 17.0.0.0/8), which is why their blocks break various functionality such as the Mac App Store or:

> For example, the keyboard sometimes takes longer to wake up from sleep mode. Or, in certain situations, the Mullvad app takes longer to detect that the computer is online.

And while they note that it's possible to punch exceptions into the firewall, those exceptions can't be granted per-use, only per-IP.
BS. Nobody who is involved with the energy sector thinks ElectricityMap has any credibility. The datasets are extremely fragmentary and have huge yawning gaps with no data available, which should be the first red flag for anybody citing it.

I have literally only seen ElectricityMap cited by nuclear energy shills -- as has been demonstrated in the comments here.

Edit: I won't deny it might have value for trends over time within a given country, but the country-to-country carbon emissions comparisons simply don't fit with official figures.
Probably only as a means to get you in to charge you for other things, kind of like using "click it or ticket" used by cops to pull you over because you "look suspicious" and they're bored and want to do a full car search because "they smelled something".
You sound like you might not have been using search engines before Google, because SEO predates Google by... well since the invention of the search engine. People were gaming Yahoo, AltaVista, etc and selling their services to do so long before PageRank was a thing.
Once macOS includes ads

Considering that iOS already includes ads, it may not be that long.

- Apple Arcade ad right there at the top of the Settings app: "Apple Arcade 3 Months Available Free >"

- Very often when I just want to listen to the music I purchased, I get a full-screen ad for Apple Music that takes about 20 seconds to load, and cannot be dismissed until it does.

These two things are enough to get me to move to something else, if there was a viable alternative for my workflow. There isn't yet, but I'm keeping an eye out.
With the risk of repeating Sagan's "Extraordinary claims require extraordinary evidence", is it feasible at all that these results could be due to contamination/measurement/analysis error?
Keep in mind that’s from Python 2.5. Modern Python uses arenas that always use mmap.
Starting a food business in a pandemic
meh, I upgraded my work mbp on release day and everything works completely perfectly, I suspect you'd probably be fine... :}
A VPN provides internet connectivity, therefore it is more like a partially broken internet connection instead of a firewall.
I appreciate the re-framing of this comment and its parent. Personally I found the original article's argument to feel more like "people shouldn't be accountable for their correspondence" than "the default mode of email should be more of private secure messaging". Both are advocating for the same changes but only one seems reasonable to me. That may just be my flawed reading of the blog post, but regardless, I can better understand the positions now.
The subject of this thread are application firewalls, like Little Snitch or https://github.com/evilsocket/opensnitch.

To be fair I haven't looked at the state of Linux app firewalls in years, maybe there's something better available, but *tables is not it.
Based on the article, we don't even fully understand the mechanism behind the disease. Hard to do gene therapy when you aren't sure what genes are to blame.
> Use our super computers to allocate resources appropriately? I'm not sure what you are getting at.

How do you translate the results of the model into a plan for allocating resources appropriately? You're either going to neglect consumer preference because you "know better" in which case its not clear what you're optimizing in your model; or you're going to have a high-fidelity simulation of what the consumers do when they bid on products in the market anyway.

> One might hope then for a communism run by objective, malice free computers by encoding human needs as a goal function for algorithmic optimizers. Within a materialist paradigm this is at least theoretically possible.

My perspective is that, to the extent that you are attempting to encode human needs without inserting your own biases and values, you would be simulating what humans would do in a free market. We can establish the existence of edge cases like humans falling victim to cognitive biases and alter our model so that we only simulate "very rational, well informed" humans; but as soon as we do that we open the door to give our own biases and values higher precedence than the desires and values of the humans we are simulating.

Also its not clear how the output of a machine would be used to allocate resources in an economy. Whether someone prefers one option to another depends on the relative cost to themselves, whether someone wants to sell one option or another depends on the relative profit. The market essentially consists of a vast system of PDE's with hidden parameters that are solved by humans iteratively in distributed fashion. You can tell Joe Sixpack that after the 7th meal, he exclusively prefers hot dogs to hamburgers unless the price of beef drops below 1.05x the price of hot dogs, but not before, and when the price of beef reaches 2x the price of hot dogs he prefers beef again but for conspicuous consumption and not for the taste. But its not clear how you would discover that before he discovered it himself, and even if true its not clear that he would prefer hot dogs to hamburgers before he went through the 7 meal process of discovering that himself.
I still use Foursquare for reviews and ratings along with Google.
I’m a mathematician who spent many hours thinking about Goedel theorem and adjacent topics. The author in a self-deprecating way says that he’s not a mathematician, but just a programmer. Bear no mind to that: this is one of the best popular expositions of Goedel theorem I’ve seen. Everything is very accurately explained, there are no silly mistakes and untruths one often sees mentioned in context of Goedel theorem, and even the original proof is sketched in a very approachable manner, striking a very good balance between getting across all crucial ideas, and skipping most of the distracting technical aspects (which are important and interesting, but I think only to mathematicians, haha). Great job all around.
As a general statement, I have to disagree.
Vaccines indeed are close to invincible magic.
Maybe only antibiotics are similarly magic.
> I wouldn't be surprised if one only can make marginal gains with those 110M

Strava is a social network. Like Facebook, Instagram, Snapchat, Reddit. The day you have hundred of millions of users you stop the bullshit with premium features and you start putting ads and you make money. I'm not worried for them at all
Just gonna add another little example here: https://twitter.com/yawaramin/status/1284976603454492674

> OCaml is at the heart of cloud computing infra. Every time you spin up an EC2 instance–its hypervisor runs OCaml code.
Finland selects IQM to build its first quantum computer
Harsh words like this hammer the wedges, too. Let’s accept everyone (irrespective of them being right or wrong) and coexist in peace.