skysight-inc/HackerNews huggingface dataset:
1. Pattern Matching

Pattern matching has been by far my most favorite feature as someone coming from TypeScript: https://gist.github.com/peterpme/10840585ddced15a7f4ecd05394...

The ability to use "constants" that are inherently typed mean less mistakes and a better path forward for handling your application state.

Refactoring with this in mind, becomes a lot safer. For example, if I had a reducer that needed a new action, I would add that action to the `type`. The compiler would then tell me every place I needed to handle that case.

2."Implicit" Types (types that don't get in the way)

I don't need to type everything like I would in TypeScript. ReasonML already figures all of that out for me. I _can_ add the type if I want (for readability purposes). There is no such thing a `any` or any type of escape hatch for that (this can be frustrating at first) but once you get it, you write code more confidently.

3. React & Refactoring

Say I've got a bunch of React components I need to refactor. Reason types both the prop key and value. If I remove a prop or change that prop's data structure, I'll immediately know all the places I need to make that change.

I know some folks may roll their eyes when they read this, but after using both Reason and TypeScript at Draftbit, I strongly believe it's a competitive advantage. The stuff we ship in Reason just doesn't break.
Would you read through that book and generate some material that can prove you did it? Like a project on Github with a nice readme or some blogposts? If you have that knowledge and sell it properly you're grand, you'll get the job.
Those cats are nightmare fuel. Too many tails, paws and everything is fur. Not to mention pose and body proportions being in uncanny valley territory even when it gets the number of appendages right...

https://i.imgur.com/saUivfe.png

shudder
TO rebuild SAP's manufacturing and finance capabilities into your own system would take many many years and cost large sums of money, you are then stuck supporting a custom solution forever and you'll be forever behind your competitors, your industry trends and whatever new tax or other legislation that needs adding to you system.

This isn't nodejs and MySQL mate.
Not only that, once the sum of property owners and tenants in rent-controlled apartments is a majority of the local population, there is no longer majority support for policies that lower market rate housing costs, because the tenants in rent-controlled apartments don't pay the market rate for housing.
It was on a demo disk. I had it.
There's a bit of a counterpoint to this: with papers, it's easier to point to your body of work (peer-reviewed and, if you're good/lucky, peer-understood-and-approved) as clear evidence that you can do research. Without papers, or with very few papers, that evidence has to come from somewhere else. My understanding is that somewhere else is usually recommendations, from your advisor and other people in the field. Some reasons to dislike that system include:

1) it gives advisors a lot of influence over the student's career (obviously, if you have an actively hostile advisor things will be hard in any system, but I have known successful faculty who had indifferent fund-and-forget-style advisors who wouldn't know enough about the student's field to write a good recommendation)

2) informal "I like this person, hire them" networks tend to select for people who are like current participants in the network

I agree that a coarse "do they have at least x papers?" way of evaluating researchers is silly. But it's not crazy to have 10 papers when you graduate. That's about one paper every 6 months in a 5-year program. Six months is a long time, almost a thousand hours of work. If three people are focused on a project, it's pretty plausible to get a cool result in six months.
Not sure exactly how much it buys you but I suspect there’s still room for research especially since Mozilla themselves has interest in a Rust JS JIT. I am curious to see if HolyJIT goes anywhere and what kinds of safety improvements it could potentially offer.
Maybe he meant forced async as DOM/node blocking APIs are async/callback based since it's the only multitasking model available (or it was before workers)
No, he's explaining that acting responsible puts him in positions of responsibility.
The number of "inmates currently Positive for COVID-19" is 1,112, not 4,439.

I think you're counting tests, not people. Those numbers double count inmates who receive multiple tests, and it's likely that those who have tested positive will receive frequent retests.

FYI there's just under 40k total inmates.
Yeah, I regularly ask clients to drop TLS support for their public-facing API's that aren't consumed by the browser. These are the same clients that shared a public-facing FTP server to partners to allow them to retrieve catalogue's of prices and product descriptions.

The admin of having to rotate keys and help customers with their TLS and SSL related problems (which is many in Enterprise, Java 5 and 6 is fucking rampant still) just isn't worth it.

Yes, someone could MitM the connection. Do we care? No. The data has very little consequences if it's corrupted.
Brain dead response.
This. Most restaurants are lucky to make 10-15% profit on each order and these "services" are charging the restaurant 20%, plus other fees like credit card processing fees etc. My wife runs a restaurant and she has used all the major delivery services, including GrubHub and they take a huge cut. It's not sustainable and it's driving small restaurants out of business. They also don't manage their drivers well at all. We've had drivers show up 2-3 hours late to pick up an order, with angry customers calling asking where their food is the whole nine yards. The bottom line is they can't justify the huge cut they are taking from every order, they are simply not providing a good service. And of course when there are issues customers call the restaurant, there's no way to get ahold of anyone at GrubHub. Any smart restaurant owners are going to bail on these guys and hire their own drivers as quickly as they can.
I've starting picking back up the piano. Currently working through Joplin's Maple Leaf Rag and Beethoven's Moonlight (1st movement) after taking years off.

I did spend sometime looking at Flutter too.
> bigger fish to fry

> fish

I see what you did there, and I approve.
On the subject of email verification; Why not split the difference. Verify but give a 24 or 48 hours grace?

I noticed you said "meaningful" impact and not "no impact". If your optimizing this seems like the best of both worlds in the slight increase of conversion and the security of verified email?
Can anyone at Google even pretend they aren't evil any more?
VPN Supporting Authentication Like Google OpenID Connect or AWS IAM, over gRPC
opps, I accidentally dropped this heavy steel bar while on a pole 30-40' off the ground.
You, uh, realize that's not actually preemptive right? Like, having to thread in checks, that are cooperative, is by definition not preemptive?
No sorry necessary! I did not take it personally.
> Deno can store and check module subresource integrity for modules using a small JSON file. Use the --lock=lock.json to enable and specify lock file checking. To update or create a lock use --lock=lock.json --lock-write.

HALLELUJAH that there is a clear, simple separation of when (a) you expect a lock file to be checked to guarantee integrity and (b) when you want it to be generated. The complete insanity that was npm shrinkwrap and lockfiles for years, summed up in this stackoverflow post https://stackoverflow.com/questions/45022048/why-does-npm-in... , always baffled me in that it seemed like it could have just been so easily avoided about being explicit when you're writing a lockfile vs. when you're using it.

That said, why not be even MORE explicit about it, i.e. "--use-lock=lock.json" vs. "--write-lock=lock.json"?
To clarify, the link in 1) is where I took the number of changes from.

And Re: 2) I have no doubt that Mr. Zhang knows what he's doing. I was just noting how even after the prodigious amount of work he has put into BS over the years, it is still falling behind JSOO which has the benefit of being more tightly bound to the parent OCaml project. I know about the different tradeoffs JSOO and BS have made. All I meant to say is that one super-productive person is apparently (and understandably) not able to keep up with upstream (i.e. Inria + Jane Street + many others) in this case. And then we have the ReasonML project that has seen even less activity recently. If ReasonML in its current state is considered a finished product that requires minimal maintenance, I couldn't think of a better endorsement, to be honest.
I think it is quite British to make headlines that have some wit or double meaning to them. I think headline writers also try and get one past their editors, it’s a form of staff entertainment.

Dog headlines are a sub-genre (Man bites dog).
LuaJIT is nearly 3x faster than V8 JavaScript the last time I checked. Just anecodal DDG search [0]. Maybe V8 has gotten faster since the last time I checked.

[0] https://duckduckgo.com/?t=ffab&q=is+luajit+faster+than+v8+ja...
that's s pretty bleak outlook. some people have the integrity to not cheat on tests because it is simply wrong. to claim that everyone has an incentive to cheat is a very low opinion of humanity. trust noone. they are all out to get you.
Exactly. Not once in their diatribe did they provide a reason that they need those permissions. The fact that noone there knew why they were asking for those permissions in the first place is a huge red flag for me.

Why are they asking for https://*.pushbullet.com/*, http://*.pushbullet.com/*, and http://localhost/* read permissions? I suspect it's the localhost permission request that is currently blocking them.

And why in the world are they asking for the cookies permission? That's a big, fat nope for me. It's as if they don't understand what they are asking for and the potential implications of passing that data around so haphazardly.

These folks need to take another hard look in the mirror before they point the finger, because their own house is way out of order.
Of course but one's not particularly useful without the other. 80% of BTC exchanges happened via USDT. Tether defines the price. You can't separate them.
SARS: How a global epidemic was stopped (WHO, 2006) (PDF, 307 pages)
> which we should probably think of as bourne-again node.

Or maybe as Perl 6
Why can't browsers allow self-signed certificates as long as it is signed by a private key on a DNS record with DNSSEC enabled?
Ask HN: Data sources around Covid-19?
Does anyone have any recommendations for data sources related to COVID-19? Specifically, I was looking for travel queries, bookings, etc. Public or private data sources.
An app that let's you track details about your day and your sleep, and then runs a bit of AI to try recognize trends in what may be affecting your sleep positively or negatively.

https://withbliss.net - also playing with some hardware and building an EEG.
It depends what you mean by "superior". JavaScript (well v8) is far safer as a scripting runtime. And there are a ton of existing JS libs for solving problems. AND there's TypeScript, which is pretty great.
And in that case, what do we make of QuickJS, which compiles JavaScript to bytecode?
Almost every rejection has been a matter of "process," like ToS, privacy policy, plist entries, etc.

In a couple of cases, they actually found crashes that I missed in my testing.
It's used quite widely in bioinformatics, at least in Australia. Over the last ten years I've written numerous web apps for scientists to provide user-friendly interfaces to their fortran command-line programs.
This only works if you have a baby boom. Currently there are very few teenagers in the west compared to the 60s or 90s.
Really? Because I think he broke it down into steps:

Step 1: Become admin

Step 2: Say there are too many admins now, redefine the requirements for admins to fit you

Step 3: Stay admin, while others don’t qualify

Huh? This is cool?
I'm creating (and just soft-launched!) a micro-learning site called smalltuts: https://smalltuts.com/

The concept is simple: If twitter + youtube had a baby for learning.

An interesting side effect: I've personally had a hard time getting started with writing, and ever since I've launched smalltuts, I've created a new course almost every day.
Uber eats used to do that with their own selected dishes.
Not to detract from the original discussion but we're always bridging the gap between expectation and reality that's what we do!

No coincidence it's called 'Unreal' Engine heh
A few key points:

* Built by Twenty for $2.75m + $300k/mo to operate

* Doesn't use Apple-Google API

* Uses GPS + Bluetooth, sends location history to centralized server

* 45k people signed up since 4/22 (21 days ago), 2% of Utah population

* Some estimates say ~60% required for contact tracing to be useful, Utah DoH says lower for usefulness

* Stated rationale for app is to send data to public health officials unlike Apple-Google decentralized API. Utah has 1200 phone-based contact tracers which apparently will in the future use data to coordinate effort.

After downloading the iOS app:

* Says it will delete data after 30 days

* Requests Bluetooth, GPS set to 'Always', Contacts (to invite people), Notifications

* Has daily symptom checker that tell you whether you need a test

* Offers map of test centers

Seems like a well designed app.

I assume like other approaches from European countries etc, this will be subject to background app limitations, requiring user to have app in foreground to get benefits.

My take is there's a risk for 'perfect is the enemy of the good', and something built without privacy protections may cause fewer people to download it, thus making contact tracing unviable. Depends a lot on whether Utah can convince its citizens to use it.

https://coronavirus.utah.gov/healthy-together-app/
A modern documentation viewer: https://dok.dev/
It's basically the same "exposure" as importing a random npm, but it has the benefit if being explicit when you do it.

It's also exactly what the websites you visit do. ;)
I agree completely. Nicely written.
I subscribe to it so it’s mixed into my front page and every now and then, I read a post and get a good way into the comments before I realize what sub it is.
i suspect it is more that the whole world is familiar.
Someone from Apple got on the phone with me to explain a rejection. I was disappointed with the outcome but very surprised at how they were willing to talk about it and explain why.
Is there a senator who is filibustering this bill? It seems that there were 59 yes votes and four absences - how many nays are there, and who is obstructing this bill?
You can't get blood from a stone. Or in this case money from a minimum wage pizza delivery driver now without a car.
Does it also terrify you when code running in a browser does it?
> Fortran has historically been noticeably faster than even C/C++ for numerical computations

Nowadays: faster - maybe, noticeably - I doubt it.

> supercomputers have better-optimized Fortran compilers than C compilers

I don't know about supercomputer compilers but mainstream compilers usually have the same backend for FORTRAN and C (as well as other implemented languages).

> created a great deal of high-quality legacy Fortran code that nobody feels an urgent need to port into C

Optimized and tested FORTRAN code - maybe, but not high-quality. I've seen some of it, FORTRAN makes it difficult to
write readable, maintainable code. For this reason
even scientist are rewriting their tools and libraries
(that also require good performance) in C++: for example see
Pythia, GEANT, cern root.
Sorry can you EILI(have 3ish years of python experience but rarely get this far into the weeds.)

What is an example of being more incomprehensible?

>Python code doesn't even work with Python code

Is this statement a function of the 2 > 3 transition.
Okay, be skeptical. I didn't want to void our support contract over finding out. Would you come to my rescue if I did?

First the certs need to be renewed every three years. And some browsers want to raise warnings if they're past a year old. And Let's Encrypt is down to three months. Just waiting for the next click of the ratchet.
A digital coin w/o blockchain:

https://github.com/glow-stack/vbjt

And it’s basically done and usable. I will likely do ICO soonish.
What does this comment even mean? I can’t make heads or tails of it.
Yes I think that's a reasonable definition of pre-emption because they don't interrupt the numerical pipeline. They cause zero data or control dependencies. But even if you don't think it fits the definition, what do you think the practical difference is when you argue about this terminology?

What did we want to achieve? We wanted to be able to run a tight loop of highly optimised, untagged numerical code but still be able interrupt it to switch threads on demand from user-space if needed.

Safepoints let us do that.

What else did we need that this doesn't cover?
Google threw money at the problem and that didn't help. Lookup the history behind the "Unladen Swallow" project.
This is an all or nothing fallacy; the standard is not 100% success. It’s bit like saying “all locks can be picked, therefore they’re useless”.
wow they've been convincing 3D artists that they could use handpainted imported models for 15 years

one more time ya'll
Our Software Dependency Problem (2019)
Context: it's a slur that was used during the Chinese civil war by the Nationalists to refer to the Communists, still used by Taiwanese.
https://en.wikipedia.org/wiki/Communist_bandit

IMHO it makes sense that youtube removes comments that are just a slur and nothing else. Those wouldn't be tolerated on hackernews either.
I generally agree. Although, some of these are pretty "opinionated" breaking changes (promises all the way down, package manager changes). It would be hard to convince the whole node community that these upgrades are worth the risk forking in a python 2/3-esque way.

Forcing TS is a change node could adopt in the next major version if everybody agreed, but the node community might be too big and diverse at this point, to make such an opinionated switch.
>> Internally Deno uses Microsoft's TypeScript compiler to check types and produce JavaScript. Compared to the time it takes V8 to parse JavaScript, it is very slow.

>> We certainly think there are improvements that can be done here on top of the existing TypeScript compiler, but it's clear to us that ultimately the type checking needs to be implemented in Rust.

Funny, I was just talking about something like this in an earlier TypeScript discussion today. I was saying that I don't understand why Microsoft doesn't have their own native TypeScript runtime engine by now.

I have nothing against TypeScript as a language but I hate the TypeScript transpiler; it should be packaged as an engine, not as a transpiler. I just hate having to debug mangled transpiled code and dealing with sourcemaps. I want to be able to run and debug my own code, not some alternative mangled version of it.

I think Deno is a promising project in the sense that they seem to understand the drawbacks of transpilation and are actually trying to provide TypeScript support which feels native. Everyone else seems to be ignoring this problem including the creators of TypeScript.
There have been other state prisons that have released prisoners that were severe cases, so as to lower their death numbers. Look for that.
> Sometimes people are in a position for a reason.

I agree with most of what you said, but sometimes people are in a position for the wrong reason. For example, they may have just been an old friend of the person who hired them.
> Maybe once real time photorealism is cracked, we'll move to a completely Newtonian global physics for some games, with some analogue of "atoms" the way RTX models "photons."

There is an extreme amount of doubt about whether the tech is real (myself included). These people have promised the world, have incredible videos, but have nothing to show in terms of a demo you can download and run yourself. Still, they claim to do what you describe and have videos demonstrating it: https://www.youtube.com/watch?v=J62z_7JaYMw
Since End of March 14 Lawsuits Filed Against Zoom in U.S. Federal Courts
Looking at the changelog I don't see what the current situation with erl_interface is. I've been working on some `erl_interface` code using C [2] and Nim [1], and the headers warn that older `erl_interface` headers would be deprecated in OTP 23. All the release note highlights mention is a new `erl_call` program.

Anyone know about the status / rational for the `erl_interface.h` API?

1: 1: https://github.com/elcritch/einode/
2: https://github.com/elcritch/einode/tree/master/tests/c-nodes...
Use this, it'll orient the station correctly as well, and it should be possible to win this game as well, judging by a glance over the code.

var clock = new THREE.Clock();
issObject.rotateX(3.14/2);
var interstellar = function() {
issObject.rotateZ(-7.12094334814*clock.getDelta());
requestAnimationFrame(interstellar);
}
interstellar();

The numbers on the screen are useless with this though.
Does Deno have some built in way to vendor / download the imports pre-execution? I don't want my production service to fail to launch because some random repo is offline.
Based on the few times I made the mistake of reading the comments on YT, I do not believe that YT removes other slurs automatically.