jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I'm still not quite sure what GADTs are (after skimming the WP article, reading this article, and skimming the code in it) but very surprisingly to me, it looks like OCaml's GADT implementation tackles a lot of the memory fragmentation problems that come with object-graph-heap memory-model languages like Lisp, Python, Java, previously OCaml, JavaScript, and so on, in exchange for a little more type declaration overhead. (Although, in my small experience, debugging OCaml type errors usually involves adding some redundant type declarations anyway.)

This is really interesting and I hope I understand it someday soon!
well, its not "your" code is it? GitHub have written it. If you don't want them to profit off your work, don't submit patches to Atom?
It seems that the answer to this question is quite simply that github want to make money selling the product which seems reasonable. Why is there so much outrage, if you only use open source (in the free software definition) software then simply don't use atom?
That's a good point, but I wasn't necessarily thinking it should error out to render nothing at all.

What I would like is if somehow the browser could insert an error class name into the offending element so that in my CSS I could give it a set of rules to make it stand out after render.
This was already posted 13 hours ago: https://news.ycombinator.com/item?id=7310017
Riiiight: "Oh don't worry, it's not as if the data was collected with such intent, so it's all right, no problem exists. Also, this data doesn't even exist, so there."
I guess you can define terms however you wish but then you can't expect others to magically know your definition and "get it straight."

There is a commonly accepted definition of open source as published by OSI, and it is virtually identical to the definition of free software.
It's likely that it was fixed sooner than that. I would bet they gave it 7 days before he could talk about it, so they could audit the rest of their site.
Evil and brave don't contradict each other.
This makes me think about how sometimes a tiny seemingly inconsequential amount of what you may have in abundance can make all the difference to someone with next to zero of it.

Its also amazing to me that, if people need it, some entrepreneur will start giving it to them, if at all possible.

I remember reading about this guy who had a cell phone and it only worked in one part of the village. And that's exactly where people were lined up to pay him to use it. very cool
In all seriousness, what does it mean to be technical but not program? I'm genuinely curious -- as a programmer, I can't really comprehend it.
Very doubtful that anyone ever made any money from NeXT, and that includes Steve Jobs.
Except the Native Americans.
Hacker Island, anyone? Or are we too busy/pale-skinned for a tropical island?

It should be located across from Reddit Island though, and smaller. Oh, and everyone on Hacker Island must have a hatchet and a monocle.

Perhaps a cave would be more appropriate.
meh, I guess my idea of what I thought a handful of people meant was lower than everyone elses opinion. By handful, I mean a small percentage. Since there are so many publishers on Adsense, a small percentage of that is still a good amount of people.
Forking is one click away: http://github.com/echo0101/Island
I've been working very hard on getting USB host for the n900. It's mostly working if you're either quick as a ninja or willing to buy a specific type of dongle.
Yes generally for userspace addresses they are 0. But more importantly they can be used for other stuff, commonly referred to as pointer tagging / smuggling etc.

It's a useful optimisation technique where you can add some extra metadata without having to dereference a pointer.
> And are you claiming that insurance should not be permitted?

I'm saying insurances should probably be limited. So there'd be some cost of doing mistakes. Ideally it wouldn't be crippling if one makes a mistake here and there, but repeated negligence would drive one out of business. I expect this would drive the price of insurance down, and the salary of the engineer up. Hopefully this evens out for the customer.

Alternatively, let the insurances cover everything, but if one makes too many mistakes (or a very serious enough one), then they would lose their right to vet designs at all.
They don't get anything out of it except complaints when it doesn't work right.
Gotcha! Well, I might feel okay then using these for placeholder, but not for anything serious... while I wait for an Inkscape-integrated clipart revival :)
I used to work with web technologies but I got overwhelmed with the complexity of the tooling.

For example, TypeScript is nice but it's not a "real" language in a sense that you can write something in it and expect it to work when it's fed into the compiler or interpreter.
To use it, you need to set up an environment where all the moving parts are working in harmony and the code you write in Typescript is transcribed into the actual code that NodeJS and the browser will understand and that is JS. The debugging of unusual bugs and doing something non-conventional instantly becomes multiple times harder because you have layers and layer over the actual stuff that is executed which means you loose the browsers or runtimes debug capabilities since those would rarely tell anything useful about the pre-transcription code.

Sometime you have a library where someone a few years back tried to do something similar to your idea but never had a complete solution and stopped working on it and when you try to benefit from this work to build on top of it, you find out that you need to modify you working environment to support some spacial case of legacy code. You do that and it all falls apart, now you must choose to try to fix it or give up and restore your setup. It's just horrible.

The greatest thing about working with Swift on iOS is that starting something new is as easy as creating a new Word document so you can start working on your idea right away without worrying about the tooling and see where it goes. On the JS world, I used to be exhausted and loosing all my motivation by the time I have my environment ready to go. Templates and project starters tend to be no good because they are all opinionated that you must be creating a list or a blog app. They all need extra work for a good clean start and that clean start often is too customised to be used as a general use case template.

There are so many solutions for the same problem in the Web Tech world, each comes with its own shortcomings and taht's how someone else creates the next framework. On iOS it's easy, the answer is UIKit and SwiftUI if you feel more adventurous and bleeding edge.
If talk about bitcoin, miners need to get a hashing result. The faster they can do hashing, the more likely you mine the coin. The mining difficulty increase, thats why bitcoin is power hungry.

However this is the first cryptocurrency from over a decade ago, there are many other cryptocurrencies snd I don’t think this generalization holds true
Aaron was super helpful as we went through the S20 batch. I hope his next adventure is fruitful.
And just to add to the mix. Apparently the LG Prada predates the iPhone:

http://en.wikipedia.org/wiki/File:LG_prada_phone_private_pic...
This approach seems to benefit everyone, including the top students. If you look at the graphs, in Round 1 the Max went from 80% to 99% and in Round 2 the Max went from 75% to 99%. This occurred not in a remedial class, but in an independent, unscreened school.

Perhaps one side-effect of the overall improvement is that the teacher doesn't have to spend as much time with struggling students and can devote more time helping high end students unlock their potential.
I think that this SO thread is helpful: http://stackoverflow.com/questions/3629784/how-is-node-js-in...
> I'm not sure if this is satire or not, but certainly the single worst case of using a terminal is file manipulation. Nothing will ever beat the right-clicks or Ctrl+C/Ctrl+V combos. It's just more natural to "see" things that you move.

This might be the case for you, but please don’t mistake it for an objective truth. I find the terminal far superior for file manipulation than any of the graphical file explorers I have used. I especially find copying quite clumsy, as I either have to open several windows and navigate to the correct locations, or leave the source folder behind as I navigate to the destination. In my terminal I can stay in the source folder if I want to, and even navigate directly to the destination with a short, generic command.
In general better bang for the buck; though a bit hard to see as they used exclusively in Huawei phones. The Huawei P30 pro e.g. was a flagship model sold for considerable less than the corresponding Samsung or Apple phones in Europe.

No doubt in my mind that had it not been for the sanctions Huawei would be the top selling mobile phone brand even eating into Apple's highend market.

This page lists some of the chips made Huawei:

https://en.wikipedia.org/wiki/HiSilicon

There are some rumours that Samsung will start to manufacture their chips but the most interesting stuff will happen when mainland Chinese fabs become good enough at highend manufacturing. Then China will probably return the favour and start to ban American chips from the Chinese market.
you weren't kidding... I'm surprised developers engaged the troll...

This is doubled by the fact that a script was available as workaround...

Also, I see it eventually got some support in spite of discussion so kudos to ffmpeg devs.
Are we destroying the biggest ecosystem on the planet or are we not? That's the only question that matters everything else is just nitpicking.
Also, if you're interested in the topic of vaccine documentation, be sure to check out OP's other submissions:

3.
Covid testing must not become new norm to fly, says airline trade body IATA (theguardian.com)
1 point by walterbell 4 hours ago | unflag | past | discuss

5.
Digital Identity Infrastructure: What’s Really at Stake with Vaccine Passports (cigionline.org)
2 points by walterbell 2 days ago | flag | past | discuss

13.
Covid vaccine passports: Health experts are deeply concerned (cnbc.com)
9 points by walterbell 5 days ago | flag | past | discuss

16.
Everything You Need to Know About “Vaccine Passports” (motherjones.com)
1 point by walterbell 6 days ago | flag | past | 1 comment

23.
Covid Vaccine Passports 2021: The Golden Ticket for International Travel? (bloomberg.com)
3 points by walterbell 7 days ago | flag | past | discuss

27.
Covid contact app team NHSX now creating vaccine passports (thetimes.co.uk)
2 points by walterbell 7 days ago | flag | past | discuss

30.
Vaccine Passports: ICC, MasterCard, IBM Join ID2020 Good Health Pass Initiative (ledgerinsights.com)
3 points by walterbell 8 days ago | flag | past | 2 comments
By explaining how space exploration could help fight hunger, he misses the point that we already produce enough food to end hunger. So clearly more science is not what is needed right now.

Nothing against more science, better food production and so on. Of course they help - and perhaps people are also more willing to donate if they have more (which better production would yield). But the real problem is probably political (of course science could help with that, too).

I just don't think you can justify space exploration that way, because clearly there would be more efficient ways to end hunger right now.

Assuming we wouldn't have food anyway, and every dollar for the space program would have to be to taken away from a starving child, I don't think there would be any way to justify it.
I started to learn Emacs with its native commands and shortcuts. But I switched to evil when I noticed than I was unable to memorize the shortcuts for some basic actions like "add a character to the end of each line".
Today I use evil-mode for all tasks and to be honest I don't think I'm missing something.
The Emacs shortcuts are not mandatory to benefit of the power of Emacs, which resides essentially into its modularity and plugins.
All of the concepts you say Racket is good for could be done in Python (ok, functional programming not so much, but I certainly do bits of functional programming with it).

At the end of the day most jobs in the real world want to get stuff done rather than explore CS concepts. Visual Basic was a very popular choice for many years despite being a poor language. I am sure it was simple enough for many people to start programming (that has benefits as well as downsides).
I haven't tested it on Windows yet, but as per the following comment, it should work fine on Windows-Linux subsystem.
https://www.reddit.com/r/commandline/comments/mjot3a/xplr_a_...
> To "airpods" example - I think that it is more about Apple making great product than Apple enforcing control.

You cannot set up a HomePod without an iCloud account (over and above an Apple ID).

You cannot install even free apps on iOS without an Apple ID, which requires a telephone number.

It is indeed about control and the acquisition of identified user behavior data. Apple has growth targets to hit and only so much can be done via hardware sales. Services revenue doesn't grow automatically without deep, intense data on a user's habits.
No it wasn't. Its whatever you feel like it is.

That's the whole point of art.
> immediate mode UI can be one of them even when the requirements are not so simple

Just because you can doesn't mean you should.

> a function in your presentation data layer has generated the correct top 10 items in order

There're too many things which can go wrong with visuals. Incorrect order has smaller probability than a bug in a style somewhere which makes data invisible. For the 2nd reason you want to test that thing somehow else anyway: unit tests don't catch rendering bugs. Some other automated tests can in theory, but in practice maintaining these tests wastes a lot of time i.e. expensive.

> Around 10–15 years ago, when what we call “single page applications” today were starting to gain serious traction

Traction is overrated. Around 20 years ago Outlook Web Access (a server-side component of Exchange server) already was a modern single page application, written in HTML and JavaScript. All the required functionality was already there in IE, and even documented nicely on MSDN.

> everything we’d want to display in that drawing might still be the same.

Totally different. SVG renders vector 2D graphics, WebGL is a 3D GPU API. Try to render something slightly more complicated than rectangle of solid color, and you'll see. One example is rectangle with rounded corners: trivially simple in SVG, relatively hard on GPU. A Mandelbrot set is opposite example.

> animations where the data to be shown at each step needs to be determined according to complex requirements

Doesn't matter if the data is static or not. Once you know the data, you do not want to run your code at 60 Hz (or 240Hz if you're really unlucky) computing functions of time and updating things. It's almost always a good idea to use the GUI framework for playing animations. They do better with rendering and power saving.
On a typical laptop, what level of interrupts is too high? And what can be done about it?
Same with the central bank. Supply side stimulus forever, even though the supply side has been saturated with funding.

It's like dousing a farm field with fertilizers and herbicides to improve yields even though you couldn't sell half of last year's harvest. You end up selling your produce for less than last year even though the value of your company has gone up according to the stock market.

It doesn't take a genius to understand that things are doing better when supply and demand are balanced. You need a combination of multiple strategies.

Actually it's even worse. Too much fertilizer and herbicides will cause unintended consequences.
Does Microsoft explicitly mark their open positions as remote friendly? Or is it a case of talking to the recruiter during the process?
> Assume that we do the RCTs etc. and discover the 'bit lower than we'd like efficiency' the CCT you quoted shows is the actual efficiency* , what then?

There's not just one figure of merit. The most important one is the ratio between (efficacy during the second month) with the delayed dose vs. with the on-time dose. If that's 0.5 or more, it's a slam dunk: you delay.

But post-dose 2 efficacy and immune titers and side effect profile matter, too. It's likely the long term efficacy is higher with delayed dose 2. This is what we see in most vaccines and 21 days is very, very early for a booster.

> remember there was a lockdown too,

Lockdown shouldn't affect anything in the CCT data. It's case controlled?? Presumably lockdown affects people in the two groups similarly, unless you're suggesting it reduces activity more in people who are vaccinated somehow..
I kind of see your point here with regards to network effects.

The alternative to Facebook isn’t a set of smaller competing alternatives, it’s the next biggest competitor hoovering up almost all of the displaced users.

Better the monster you can regulate than the monster you can’t.
It is also a great opportunity to reveal blackmail inflation and the impact on controlled elites.
Good point. I'm not sure which side I'm on, to me git feels like a good core with an atrocious UI, even after years of use I have to look up whether to use this or that option and whether it's uppercase or lowercase, do I use "--" or ":" and on and on.

Mind you, I'm not complaining, most utilities I've written for my internal users are worse! It's when something gets out and used by the masses that you wish you had had the time to put together a coherent user interface.
You actually can't; it is purely heuristic, and (afaik intentionally) has no API facing page scripts or content. It just examines page content and, if it finds "enough" text, offers reader mode.

Here's how Firefox's reader mode implementation does it: https://github.com/mozilla/readability/blob/master/Readabili...
I think we're running into a naming issue here. It's usefult to think of a single commit in itself as a diff. The DAG is a useful model for an accumulation of changes. The question is, what changes and operations make up a node in the DAG (i.e. what code is in this branch, compared to that? What code do they have in common)?

To answer this: take the node and follow along the predecessor until you get one (or more) roots. All commits along the root are contained in the commit at hand. That's the history.

Adding changes is, I think, the most useful mental model, even if it is not the implementation.

Now what the author is saying is: A commit is not only the diff, but also the whole tree/history that the diff is based on. And that is also true and then the commit (the adding plus the past) is a snapshot.

Do we have a good naming convention for the single node in the tree with its changes, compared to the single node in the tree with its changes AND the references to the parents with all their changes etc.?
> Perhaps companies should buy insurance for this

They literally do, and I think it lightens the blow more than anything.
I wanted to join the revolution but could not read the small text, sorry. Maybe the mobile revolution first?
I think the safest answer regarding the Big Bang is that we don't really understand the mechanism. In particular, anything regarding inflation stands on truly dubious ground (It gets the necessary outcomes right, but we have no presently-testable theory regarding the mechanism. Any mechanism that does must defy the laws of physics as we know them).

I can't pretend to be an expert here, but the quantum-fluctuations in a vacuum that we all experience at all times do, over longer times ("long" here is generally unfathomably short), need to satisfy energy-conservation. To do otherwise requires paying an overwhelming probabilistic cost (a much bigger nigh-infinity than your garden-variety nigh-infinity). If you're worried about unexpected instantaneous death from the universe, I would argue that one should be far more concerned with, say, a gamma-ray burst nearby from within the galaxy (or, far more likely yet, a nuclear war) than being overrun by a Big-Bang-like event.

For that same reason (energy conservation), perhaps the central question one might ask of the Big Bang theory is, "How did it come to pass that all of that energy wound up in such a tiny volume?" There are plenty of theories out there, the best of which attempt to confront inflation at the same time, but I am unaware of a clear leader.

I don't mean to entirely disregard the importance of quantum fluctuations in cosmology. Indeed, the large-scale structure of the cosmic-microwave background is very consistent with pure quantum fluctuation, as if the fluctuations of a tiny volume of space had been magnified to cosmic scale. It is simply this experimentalist's opinion that there is probably substantially more to the story than the universe having won the lottery of all lotteries in order to exist at all.
Please stop posting ideological flamewar comments to HN. You've been doing it repeatedly and it's not what this site is for, regardless of what ideology you favor. We've warned you about this repeatedly. We ban accounts that ignore such requests. If you'd please review https://news.ycombinator.com/newsguidelines.html and fix this, we'd appreciate it.
When I came across low contrast text articles in the past, I used to manually edit the pages css to fix the font, now I just close the tab and never go back.
You make less than the FOIC cutoff, I assume? If not, how are you legally not paying US income taxes on foreign-earned income?
You could say the same thing about the "human right to live." Sure, some people might disagree that we have a right to live. But that is not really relevant to the scale of national policy.

If I said you don't have a right to a fair trial, that is not a reason to abolish fair trial laws.
"There's nothing routine about flying to the Moon." - Apollo 13 Film

This isn't a moon mission of course, but I don't know if I would ever call something reaching orbit mundane. Especially for a company with only 5 successful dockings to their name.
I think that's just conventional wisdom/wishful-thinking propagated forward (like so much dietary advice): http://www.ncbi.nlm.nih.gov/pubmed/19943985 (cited in http://www.nytimes.com/2010/03/23/health/23really.html).
For instance, the default mail system in FreeBSD is still sendmail (https://www.freebsd.org/doc/handbook/sendmail.html). It's pretty easy to accidentally configure it as an open relay, even if you mostly know what you're doing. Until 10, BIND was the default DNS server (https://www.freebsd.org/doc/handbook/network-dns.html), which has the same kinds of configuration problems.
Isn't that ImageMagick? And at one point Pixelmator was implemented on top of ImageMagick.
I didn't know that until, you know, the end.
Forgive my ignorance and curiosity - but why is your father's pay not steady if he works in a municipality? If he works at a Muncipality, it should mean he works for the government, and everywhere in the world government jobs pay may be low but it is supposed to be steady with good job security?
I'm not saying it's perfect, I'm saying it's the best we have. What alternative are you suggesting? The problem of private companies applies to every metric you can think of, as none of those metrics are private!