jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
There are less than 5k Haskell users on Github, and they've released 30k repos.

By comparison, Go has 9k users and 50k repos. And a lot of people say that Go is not that useful of a language because the community is small.

What I'm saying isn't particularly controversial. There's a long thread here where Haskell is brought up frequently in the same context I'm talking about it: https://news.ycombinator.com/item?id=8802454

My definition of practical is this: people use it in practice. They use it for business or for personal projects that other people get use out of.

The core purpose of software is to automate things that, otherwise, people would have to do. What large jobs is Haskell currently automating for people?
I think zzzcpan is suggesting to compile from the new toy language to C and then use a C compiler to get native code. This doesn't preclude only using libraries written in the new language. CHICKEN is a Scheme compiler that takes this approach.[0]

The submitted essay addresses the problems that can result from this sort of compilation style with the question "Will native compilation of a big project result in so much code that there's a global slowdown (something actually true of mid-1990s Erlang to C translators)?"

[0]http://www.call-cc.org/
slack's search may also come in very useful if you want to pull up an older solution or re-read your notes
"hover over it to find out what it does" does not constitute good UX unless you're talking about a toolbar with a multitude of icons which cannot all (by sheer numbers) be "intuitive".
Disruption typically happens where it's not only more efficient but cheaper too. The number of people you displace is going to be a fraction of what you make.

If you do end up making as much as the original industry it's because you are doing MORE than the original industry in which case you now have to question if the original industry didn't deserve to be destroyed.

Everything that can be software, will be software, what needs to happen is that the number of things that are software needs to outnumber the things that exist now. Software will create work for people to do as long as it keeps pushing what we can do as people. People need to adapt to a world with software at the heart, everything else is very dangerous.
Oh man. Thanks for that.
Yeah once you get up towards forty you're going to be hopping out of bed at least once a night for a quick slash. Especially if you're on certain medications.
Were there things that you didn't like about Stellar?

Or did you modify it to fit a different use case?

(thanks for answering questions!)
I remember at MesosCon, Apple said they are the largest Mesos user. I wonder if they also moved to K8s as well.
Side question -- was ADHD always prevalent in Homo Sapiens?

If not, what could probably cause it (diet, chemicals, modern social environment -- for both parents and patients).

If yes, what is evolutionary benefits of that (e.g. developing narrow specializations, that are helpful for a group/clan/tribe)?
I was commenting on the misleading phrasing, not the right to repair itself.
Another fallacy to keep in mind is that two things not being perfect does not make them equal failures.
Is 11% earning $500k for at least one year really that surprising? For example, a mom and pop small business selling their store in order to retire could qualify for one year, but that money would likely be the bulk of their retirement savings. It's probably not a useful metric though, if most of those people break $500k due to one-off lump sum payments.
The "1%" slogan arose in the Occupy movement, from statistics such "1% of the people own 50% of global wealth", which such an inexcusable level of inequality.

Ah but no, they are the victims, poor them.
Are there examples of high-utilization, large-scale Mesos deployments? Mesos didn't even gain over-commit until 2015, so it seems like it was generally behind the state of the art.
Welcome to HN.

In a post complaining about gate-keeping in cycling--that leisure cycling reinforces the idea that there is only kind of cycling that is totally above board, not sketchy--I get criticized for gate keeping. Maybe instead, gear head cyclists should introspect more on their hobby and how it reinforces class barriers.
The sibling replies here are interesting in that they appeal to personify the chickens
Pretty much all privacy advocates, right and left, meet in the middle with the cryptography mathematicians who broadly speaking are apolitical about maths, if nothing else.

Their common points being do not roll your own and publish and check everything in your protocol model and codebase

The eternal vigilance of checking your security model. It's a cost.
I'm going to say one of the most valuable creations of humanity, period. People compare it to an encyclopedia, but I had encyclopedias as a kid and wikipedia covers way more information in an order of magnitude more detail.

Even compared to say, the Library of Congress, it has 1) multiple authors per article 2) intense scrutiny over disputed information and 3) hyperlinks to primary sources

If I had to restart civilization from scratch, a copy of wikipedia would be the #1 thing I would want.
Submit and forget. Just don't think about it.

Joe Rogan talked about how he deals with the sheer size of his audience, he just doesn't pay attention.
Precisely, it always gets me when many workers in the US are calling their work environment "slavery", doing so ultimately undermines and trivialises the horror our ancestors went through.

I, for one, am glad that such barbaric practice has been more or less abolished.
Couldn't edit on mobile, sorry.

https://hothardware.com/news/us-government-subsidized-lifeli...

Not the best writeup but not the worst. I experienced this myself.
The last two builds broke gmail for me. However, the latest one works.
Like others have mentioned it's rather academic, but also pretty cool. It's a way of introducing recursive functions into the untyped lambda calculus. I think the easiest way to see it is using it in scheme to define an anonymous recursive function:

(((lambda (fact)
((lambda (f)
(fact (lambda (n) ((f f) n))))
(lambda (f)
(fact (lambda (n) ((f f) n))))))
(lambda (fact)
(lambda (n)
(if (= n 0)
1
(* n (fact (- n 1)))))))
10)

Computes 10!

You'll notice that lines 6-10 define a procedure that takes a factorial function, performs one level of the recursion, and then calls the factorial function to compute the rest. The Y combinator, implemented in lines 1-5, basically allows us to start the recursion. A step by step derivation can be found at http://www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html

The really neat thing about this is that all that was required to create that factorial function was lambda, some arithmetic functions, and if. Arithmetic can be implemented using only lambdas (google church numerals) and so can if. Using these techniques you can create a factorial function using only lambda and function application (which is exactly the lambda calculus).

If you replace "program" in the Forbes article with "function" I don't think they're terribly far off.
Heh, apparently the tone of my post wasn't clear - I don't normally use the word "unsporting", or smileys, in my post. :)

I'm a big fan of complaining, actually. It's a good cost/benefit potential, the only downside is when the target becomes alienated. The upside to psychopathy is that criticism is just data, and not alienating. I hope that, if and when I release some software into the world, I will be able to treat complaint as data.

Cheers.
I've seen this a few times, but the one that always gets me are things like aws, it does something in response to "aws --help", but it doesn't tell you that you really want to call "aws help" to get some useful help.

I've seen that pattern before, but it always drives me a little crazy.
ARM9 SystemReady is designed to offer manufacturers of devices a way to target a "reference platform", where all compliant devices can be booted from a single kernel/os image. I detailed this out in a comment earlier this week, with PDF links, if you'd like to read more. I think they're specifically thinking of mobile phones and servers (and the Server spec is its own standalone thing, which is smart). https://news.ycombinator.com/item?id=26694321
Hey China, what if we "give" you Siberia? Will that buy us 20 years of peace? Maybe by then you'll deflate https://www.nytimes.com/roomfordebate/2014/07/03/where-do-bo...
I agree, and this kind of insensitivity is specifically harmful to inclusion efforts. It’s not so much that people in underrepresented groups (women, POC, trans, disabled, etc) are necessarily more sensitive to all crass or unprofessional language. But it can foster an environment where people are comfortable saying inappropriate things, uncomfortable being challenged, and have enough power that addressing it is or feels too risky for anyone who finds it hurtful or offensive.

All that said, I think a good balance is

1. Embrace a level of crassness that feels friendly and comfortable for all. In some cases this means very little or no crassness. In most cases it shouldn’t mean anything that would be posted on CollegeHumor or whatever.

2. Clearly set expectations that any such humor is expected to be in good faith, which implies both actively understanding commonly hurtful humor to avoid; and encouraging, embracing and actively addressing feedback when anything is unintentionally hurtful; actively disincentivizing and penalizing bad faith behavior.

All of that said: I personally have no gripe with being called a “fucker” but I’d prefer “motherfucker” not be used in a workplace for pretty much arbitrary reasons. I have no problem at all being called a “little shit” (or any other size of shit). Applying the principles above, if I were starting or growing a group/team/org, on first usage I’d probably invite people to say if it made them feel uncomfortable, or if it would make them uncomfortable had it been said to them. If anyone said so, or even just hesitated, I’d suggest that I’m comfortable with the personal interaction in private but it shouldn’t be a part of public communication for the group or private communication without express consent. And I’d invite anyone who felt that wasn’t being honored to come to me if they weren’t comfortable speaking up.

All of thaaaaat said: my original intent was to end this comment jokingly inviting all of HN to call me a fucker or any size of shit, but I couldn’t think of a way to do it and allow downthread discussion without contradicting my own principles. So if anyone here wants to call me names for fun or just to get your rude fix, my email link is public and a pretty quick set of clicks away: profile > personal site > resume
As soon as it pops up on your calendar, it's now a 'to-do'. Manage that the same way you manage your other to-dos, wether that's a reminder or a sticky note or a list or whatever.
They were for DOS, too. Not that I’m disputing the VMS roots of WNT.
One thing VMS got right is that each binary declared its supported options and the shell could tell you what they were. And it would take any unique abbreviation.
They did say it was before subsidies, so appears so. At that price, buy a second one for a spare. Or a fashion accessory.
wouldn't "Introduction to Reverse Engineering" imply you're a beginner at RE if you're reading it?
I feel that. And I understand that sentiment.

The only thing I'd say is that we treat should treat the claim about it's self-destructiveness as possible, and remove the certainty (some conservatives think progressive economic policies are self-destructive).

I would also add that there is a moral element here. Some conservatives take economic policy to be not only an empirical matter but a moral one. Some will interpret poor economic conditions as, say, their lot in life before thinking it right to tax someone more. Is it right to claim that someone who morally detests non-minimal taxation is being self-destructive?
I don't understand why people in these situations don't quit or internal transfer. Everyone else on the team left except for him but he thought things would get better? He should have left long before the bad performance review.
Old AI joke:

Q: What's AI?

A: When the computer wakes up and asks, "What's in it for me?"
Yeah, I've been searching for a great general archiver for a long time. I tried borgbackup a couple of years ago and immediately hit a handful of issues that put me off, though I can't really recall the specific technical details clearly (I'm vaguely recollecting something about incompatible block sizes).

Whatever the details were, I came away with the distinct impression that the borgbackup developers didn't really respect the gravity of archived records and long-term storage. While that's probably not a totally fair conclusion from a one-shot use, in my defense, I'll offer up the latest version of their changelog [0], where:

* the first thing listed is an apparently serious data corruption bug that lived through several stable releases

* the second thing listed is an apparently-very-serious security vulnerability ("a flaw in the cryptographic authentication scheme used in Borg allowed an attacker to spoof the manifest ...")

* the third thing listed is another data corruption bug titled "Pre-1.0.9 data loss"

* the fourth thing listed is another data corruption bug titled "Pre-1.0.4 potential repo corruption"

Note these are all post-1.0 versions. To be frank, I dare not scroll further.

Users are depending on this software to safeguard important files with the assumption that it will be able to reproduce them bit-for-bit-intact some years down the road. Any long-term storage software requires developers with a fanatical devotion to compatibility, longevity, and integrity if it's ever going to be more than a toy.

I hate to pile on open-source devs who're trying their hand at making software that a lot of people appreciate, but overall, it's hard for me to say I regret the choice to pass it up and stick to combinations of ZFS, rsync, and the trusty old tarball.

[0] https://github.com/borgbackup/borg/commit/75dcf9356334188276...
I've recently been taking my time evaluating dependencies for a few small node projects, and I've actually found I've been impressed at how few dependencies are used by a subset of the Javascript package ecosystem.

I find, anecdotally, that rather than the broad spectrum you might expect, packages tend to either have a huge number of dependencies, or very few. Meaning if you do want to slim down your project's dependencies, it's usually simply a matter of identifying the whales and substituting/eliminating them with something saner.

Take for example two of the most popular package bundlers:

- parcel: direct dependencies: 59, total dependencies: 1575

- rollup: direct dependencies: 3, total dependencies: 9
there was a recent article[1] that explained how Tiktok is doing its censoring (for German videos). Interestingly, the censors usually only watch frames of the videos (no sound!) and only have 30 seconds to decide what to do with the video (if they want to fulfill their ratio), meaning the kind of tactic this woman used is actually perfect for circumventing the censors (at least in the short-term)... until they change their proceedings (which they will, they are working on algorithms).

[1]https://news.ycombinator.com/item?id=21619098
yes to shm. the use case you’re asking about is long solved.
I can't really help you with a, that's largely dependent on you. Whether it meets requirement b depends on how you're going to be using it, really. My use case is mostly websites, in Firefox and Chrome, and occasionally on my Android phone. I wanted the UI to integrate nicely with the browser, to be able to store other passwords besides, for the architecture to be secure (passwords are always encrypted with your master password before going to their servers, and your password is never transmitted to them), for it to have two-factor authentication, to sync automatically, and for it to have a website backup for access without the extension.

LastPass fit all these, but it might not fit your usage requirements. However, I would urge you to investigate it and all other options (KeePass seems popular, as are some other Firefox extensions) if you don't currently have a good password solution, as any of these is better than using the same password multiple places.
1) Why are we still using passwords to authenticate people online? And by "we", I mean most big public websites. Google, Facebook, Twitter, Gawker. It seems like some sort of key-based, public/private algorithm would be better than the current mess. Is this correct or am I forgetting something?

Public key crypto still requires a private key - which is basically a password that is too long and obscure to be remembered by a human. And therefore has to be stored in a text file on your computer (a security risk in itself; I'd presume most people don't currently do this with their passwords). And good luck logging in to Facebook from a friend's computer.
My advice isn't really advice, more of an observation based on my limited world experience. But here it is.

If you are looking for a cofounder, stop looking for a cofounder. Look at like this: if you were looking for a wife or a girlfriend, you would not be asking women whether or not they'd be interested in marrying you on the first date.

All friendships have to start somewhere and have a base of interaction. So why not network and make friends who are programmers? Find people to bounce ideas off of, discuss tech news, ask for opinions, etc. Offer your skills, abilities and network to them, work with them on side projects if possible.

If your not interested in investing your time into something like that, then really what you're looking for is someone to hire to do coding work for you. In that case, find someone to hire.
Also, for the love of all that is (un)holy, please stop with the Web 2.0 trend of using 30%+ white space on either side of the page. If I have a 1600 pixel wide screen, why should 1000 pixels be dead space??? It's insanity!
Instead of missile launch codes, how about "knowledge of how to built a nuclear weapon"? That was a pretty big deal in WWII/Cold War. Sure it's probably not useful to any particular individual, but it was certainly useful to the Soviet Union. State secrets aren't just being kept from individual actors.
There might be a few different possibilities:

* As a basic building block, it gives them an established competitive advantage (mostly branding & engaged vendors) against Facebook Places/Local Deals, meaning Facebook would have less leverage over them in the future. They might be interested in the local aspect of Groupon, specifically with the self service they launched recently. Integrating Groupon into Google Places would give their Places section a lot more meat.

* They might be liking the pure revenue that the business could produce. You have to remember that during stockholder conference calls, they get questions like "what is the next billion dollar product for Google?" from analysts and Groupon is printing money right now (according the hear-say reports that have been covered in media.)

* Google has stayed completely self-service on the sales side of things. Groupon has a large sales staff from what I hear. One possibility (though slightly far fetched) is they might use their experience with successfully managing the Groupon sales staff to ramp up a sales team for Google Apps for the enterprise market.
http://www.earslap.com/projectslab/otomata?q=0q2q4q6q8q0z2z4...

made this one by playing with the url itself. interesting format, each note is two characters describing X position and Y+direction it looks like so XYXYXYXY.

I built a table of the Y, the X are just 0 indexed numbers

^>v<
0 qwer
1 tyui
2 opas
3 dfgh
4 jklz
5 xcvb
6 nm01
7 2345
8 6789
Depends on how much methane ends up in the atmosphere. A lot of methane released in a short time, could end up having very dramatic effects. For example, Siberian permafrost melting and releasing a lot of methane would probably have some measurable and dramatic, but short term effects. However, the addition of a couple of giga tons of methane released per year is not going to help slow that melting process down. If that's a process that lasts a few decades/centuries, it would raise methane levels more or less permanently throughout that period. It would recover once methane release stops/slows down.

We'd be looking at a very different planet by then with higher see levels, higher temperatures, and a lot less ice on Greenland, Antartica, and most mountains. You can haggle about just how bad things would get in terms of temperature rises, and sea level rises. But lets just say it wouldn't be very good. It would recover eventually. But the problem is that that recovery process is going to take thousands of years.
https://www.bama.no/siteassets/fotoware/2021/4/gartner-roman...

You can't read the small print on the label, buy you know what is is, right? The text you can't read suggests that being grown near the arctic circle indicates that these subtropical berries are of particularly high quality.

Quite often, marketing is a matter of making people say or write things that they wouldn't say based on their own thinking or reasoning. Intel succeeded at that today.
Once we reach a significant funding level I'm guessing Universities will be where these research will be conducted.
It tells you what Refinement is right there in the article that you didn't bother to read.
NVidia are legitimately good at what they do, it's not like Oracle where all the money comes from milking the licensing arrangements.
Pardon me, are you &AaronBurr, sir?
Does HN support emojis
Threema is a paid app though so that would not happen imho. For people who care somewhat less about end to end encryption, Telegram is by far the easiest: it just works, everywhere and you have all your data everywhere. I understand that it is a safety feature that it is hard to run the other ones smoothly (independent) on different devices while keeping your history but it is a huge annoyance: in whatsapp you cannot even switch android<>ios with history intact. Matrix (Element in my case) works a lot better with end to end encryption in tact and my history there on all devices but it sometimes 'lost keys' on one of them (? No idea what happens, I did report it) so I have to login again (which is a pita); that is better than the alternatives imho.
does the endless line of dots in ps aux not bother you? This unnerves me every time. and i have to admit i do not see the value of that happening
I personally think the land value tax has a lot going for it, in contrast to a property tax. Social benefits are great.

But that has nothing to do with land value tax being the distortion-minimizing solution for optimal taxation -- which it isn't -- and is what I was originally responding to.

So then I'm not sure you're even disagreeing with me.
A falsehood only distantly alluded to:

That people have addresses at all, or can describe their residence in an unambiguous or clear way (even using GPS coordinates).

I used to live in a place I couldn't even remotely give directions to. It was deep within a neighborhood of a poorer country, none of the streets had names, none of the buildings are numbered. I lived in an building where none of the apartments had numbers or names.

If I wanted something delivered, I would go to a local shop for the company delivering it, and show my ID, and they would have it routed there if it wasn't in the building already.

If you wanted a billing address for, I don't know, tracking me down, initiating lawsuits, something like that? I honestly just assume that's impossible.
Where does Apple keep their Linux versions of iTunes?

Yep. Exactly. Believe it or not, a lot of technical people use Linux machines.