skysight-inc/HackerNews huggingface dataset:
I think this is not the right way to look at it. You can think of mathematical proofs as computer program that is compiled by the mathematician by hand. There is a lot of room for error, but with practice and peer review, it's relatively easy to avoid the common errors. This human compiler also brings the benefit of error correcting, which commonly correct two types of errors: sometimes the proof makes syntactical mistakes that the human compiler fixes automatically, sometimes the proof claims something that's not fully justified (similar to calling a function that is not implemented), but the human compiler just fill in the detail themselves. The social part of mathematics is really about how much error the reviewer is willing to accept, because the reviewer can also be wrong with how they correct the proof.
“Inessential” is subjective. There isn’t a thing in the world where you can’t find someone making the argument that it’s inessential because it’s not essential to them.

And using price a test of luxury in a discussion about monopolies is kind of circular; it leads to saying that anything a monopoly has successfully captured is necessarily a luxury.

That gets you to prescription eyeglasses being a luxury, because I don’t need them, people can just buy contacts, and a monopoly has driven the price to astronomical levels.
Fresh in-season produce direct from a high-quality local farm can definitely be rare and luxurious even if it's sold in a supermarket for $5. This is especially true of things that are only in season for a few weeks and are from a farm small enough to only sell to supermarkets within a few miles.

These things may seem commonplace locally, but to people on the other side of the country these "cheap" things can be a rare luxury.
> “Here’s a reality check for you with a completely different scenario but a conclusion that reaffirms my bias”

It’s really a terrible argument to compare hiring for a physically intensive job to hiring for technical and administrative roles. it borders on bad faith.
> Good luck trying to use a functional-first language, aside from maybe Scala

While they've moved away from it in the last few years, the Broad Institute had a huge investment in Scala. It's been in use there since at least 2010 and I believe longer. The primary software department was almost entirely Scala based for several years. That same department had pockets of Clojure as well.
The system was built with the assumption that you're going to have SREs, lots of them, with experience babysitting the systems, to keep them working. SREs were cheaper than building a system that can handle lots of unexpected things without any SREs. They have lost 7 out of 8 people, and lots of systems have 0 remaining employees who can be usefully on call for them. With so much institutional knowledge lost, they will not be able to handle the kind of issues they used to handle before with merely hiccups.
HURD (mach) -> Hurd-NG -> back to HURD (mach):

http://walfield.org/papers/200707-walfield-critique-of-the-G...

One step forward two steps back...and no actual progress, that kills a project who is in competition with something like linux (who is obviously not a perfect design but just pushes forward)
Did not read the article but to react to this point:

> "IQ decorrelates as it goes higher"

That is to be expected.

Let's say as an example we model performance as the equal sum of two gaussian distributed variables - inborn, static ability that changes between people, and how well someone is feeling on the day of the test. This is similar to how ELO scoring works in chess and video games.

In this case let's say a person scores 3 standard deviations above the average - this could either mean that person has 3 StdDev ability and an average day (a probablity of about 0.1%) OR he has 2 StdDev ability (2%) with an 1 StDev 'lucky' day (16%) for a probability of 0.3%.

This means, the further off center we go in the distribution the larger the proportion of the 'lucky' people will be, compared to innate high scorers.
This raises a question I hadn't thought of before. Real-world fluid flow is ultimately well-modeled by the equations of many-body Newtonian mechanics, right (atoms bumping around)? Are those equations vulnerable to blow-ups?
is this symphony or horizon or spydus or koha? or?
What? No it isn't, and profit has nothing to do with why this particular decision by Microsoft was.
do we have data showing that men and women who self select into the profession are equally capable?
I set one up today for remote developers. Join us if interested. https://M3O.org

Background: I've worked on open source for almost a decade. Prior to that startups and a stint at Google. For the past 7 years it's been mostly remote and solo with a period of VC backed efforts to commercialise the open source project.

Why the background? To get an idea of who the admin of the server is. I'm looking to attract devs like me who are remote, have their hands in open source, etc and want to find a community of their own.
It can still be assault and kidnapping when the police do it, if they don't have a good reason and follow the rules. Same applies to surveillance. The question is not cops vs. non-cops: it's what the valid reasons and rules for the cops are.
I’m looking forward to Mentour Pilot’s breakdown of this on YouTube in a few weeks. It seems like the crew on the plane did a fantastic job.
> If I showed somebody two images of inner city traffic jams, they wouldn't be able to tell me which is humans driving gas engine'd cars, and which is self driving electric vehicles.

The city with self-driving cars will economically outperform the city with human-driven gas cars.

Just like America economically outperforms Europe. The best and brightest from Europe/cities with manual human drivers will leave their dying cities behind and move to the futuristic, inspiring, and highly-compensating self-driving car city/America.

Europeans are upset that America is getting away with treating the underprivileged so poorly, yet America constantly outperforms Europe $-wise. And yes, everything in life is about $.
I've worked with a number of Unix variants over the years. This animation code was developed on SGI IRIX.
Police have a monopoly on violence. Which requires holding them to a higher standard. The 4th amendment means the courts should err on the side of privacy, not surveillance.
As should have been made obvious by my second statement, it's quite common for people and organizations to use labels that are difficult to argue against in order to shield behaviours or beliefs that are otherwise reprehensible .

Some examples:

Governments trying to forbid consumer encryption and labeling their laws as "anti-pedophile".

People promoting racist ideas and calling themselves anti-racist.

People opposing white-supremacy while arguing all white people are innately racist and perpetuate white-supremacy.
So Google Play Store installs apps without consent.
And one can't unistall Google Play Store.
Ergo, we finally need to liberate our phones and tablets with an open alternative which isn't F-Droid.
You can look at the consistently outsized returns of Renaissance's Medallion fund and Buffet's Berkshire Hathaway. Those returns aren't explainable with "1000 monkeys and a typewriter". (Or, they are if you add a sigma every few years.)
It seems just moderately shitty. They did it with good intentions and there is no indication they misused the data. Despite that, clearly a mistake and some form of lawsuit is warranted. I guess "disappointed and hope they learned their lesson, what a crazy time to live through, I am happy we can all move on" doesn't drive engagement.

Nothing they did nears being as shitty as what the "Civil Liberties Alliance" represent. They are a bunch of bought and sold lawyers that trick us little people into believing they are pro-freedom with stunts like this, when their actual goal is deregulating in the context of worker safety, environmental, and food and drug safety to increase profits of industry. They get the votes they need for this from the evangelical movement, who they pay back by pushing for a radical reinterpretation the first amendment. Their end goal is a religious state with unregulated, unaccountable capitalism. To call them monsters is unfair to monsters.

Not everything requires a good guy and a bad guy. "Everybody Sucks Here" applied here.
>Bailhe remembers it the same way: “We had a great meeting with Sam, but the last question, which I remember Alfred asking, was, ‘So, everything you’re building is great, but what is your long-term vision for FTX?’”

>That’s when SBF told Sequoia about the so-called super-app: “I want FTX to be a place where you can do anything you want with your next dollar. You can buy bitcoin. You can send money in whatever currency to any friend anywhere in the world. You can buy a banana. You can do anything you want with your money from inside FTX.”

>Suddenly, the chat window on Sequoia’s side of the Zoom lights up with partners freaking out.

>“I LOVE THIS FOUNDER,” typed one partner.

>“I am a 10 out of 10,” pinged another.

>“YES!!!” exclaimed a third.

>What Sequoia was reacting to was the scale of SBF’s vision. It wasn’t a story about how we might use fintech in the future, or crypto, or a new kind of bank. It was a vision about the future of money itself—with a total addressable market of every person on the entire planet.

>“I sit ten feet from him, and I walked over, thinking, Oh, shit, that was really good,” remembers Arora. “And it turns out that that fucker was playing League of Legends through the entire meeting.”
How to Have Better Meetings
imo, you have misunderstood. op was saying that they only use one of Jetbrains IDEs (Android studio) and only the free-version. The article "the" was misplaced.
I started using a thirdparty app several years ago and I see none of the crap that’s on the web or in the twitter app. It’s a night/day difference and lets me follow the people I want or follow real-time events.
I’m not sure how many people are actually leaving, in my list it’s about 30% at least. I think many people are leaving to not experience all the Elon stans get free reign and dunk on everyone in the name of free speech.
I would hate for twitter to go away, but mastodon is such a trainwreck I think I will just cut out another social network if Musk tanks it.
Literally no one is actively trying to colonize anywhere off Earth. Some people lie about it when not too busy lying about other things.
I highly recommend the Toot! iOS app for Mastodon. It fixes pretty much all of the UI issues on iOS. I do not use the web interface unless I have to.
https://mesos.apache.org/

>Apache Mesos abstracts CPU, memory, storage, and other compute resources away from machines
Since iOS doesn't let you sideload apps, it's actually not very different at all.
>No open source tool does a proper conversion //

Presumably the key word here is "proper" because LibreOffice, etc., read docx and write pdf. For example, `libreoffice --headless --convert-to pdf myfile.docx`.
I do not understand what you mean by "cowboy" coder. Can you also talk a bit about what tech stacks are you familiar with and where you want to specialize? That would help getting a more useful path.
The typical flippant dismissal of Atlas Shrugged kept me from reading it until well into my 40's.

I'm not a huge fan of the book, but for me it was a viewpoint often missing now days. For some people it's a good wake up call. If one want to trade in some of our sicker tendencies in this society for better virtues then perhaps it may be appropriate.
> In the domain of text, garbage is not amusing.

I disagree. For example, I find the following pretty hilarious:
https://news.ycombinator.com/item?id=33673193
since anyone can band together and raise VC money

As someone who keeps wondering why so many of my friends (some of which I consider more skilled than me) don't start their own companies while I did (and tried multiple times in the past) I want to mention that not anyone can band together and raise VC money. Or maybe they can but not everyone would.

Entrepreneurship is actually kinda rare, most people just want a safe salary and not worry about money or running a company.
Coredumpctl, delve and debug packages for Go
The fact that DDR works at all is kinda black magic, every boot the memory controller does a training routine to understand the analog aspects of the specific ram and board in order to actually make it function at all.
https://www.systemverilog.io/ddr4-initialization-and-calibra...

Edit: Reading the article is really cool, I just searched it as a reference but it is very in depth!
The problem is a great many of them now are paid next to nothing and with recent developments in the industry expected to take on more and more of the work and costs themselves as publishers cut back on promotion and editing services. And it terms of labor, publishing is an industry that stands on the backs of unpaid interns and underpaid workers (as with the recent Harper Collins strikes). Academic publishing is even worse, with authors also seeing little to nothing (and in some cases having to pay) and books costing more than $50 (and often times above $100) when many of them have also started using print on demand.

So the real question is, are writers getting paid now?

Well, a minuscule number make Stephen King money, a handful make a full-time living, and the vast majority, at most, make pocket money and have full-time work in other areas, all while the publishing industry hoovers up more and more rights.
It is not uncommon for kids to have a father in prison growing up.
> But is there still algorithmic low hanging fruit?

I would say no unless looking at the frontiers of what is done in the wet lab which might require new analytical tools. But this stuff is probably much easier for and much better aligned with someone doing CS in academia.

My impression that there is quite some space for ML-based approaches including DL. But even there I would not call it low-hanging.
> Why would Twitter be constantly in danger of crashing without human intervention? Isn't it just a bunch of software that just runs? If not, why was it not properly engineered, and who needs to be fired for that?

I would encourage you to read about “site reliability engineers” and the work that they do, in case you haven’t heard of them.
Ask HN: What are some notable business built using public or gov data?
For example locrating.co.uk uses UK gov schools data.
In my most recent experience, BeOS does as well. Just imagine if someone did a new Quake port for BeOS...
Last time I saw this many people justifying their illegal/immoral actions was when I was in prison. Criminal thinking is criminal thinking, and often starts with small justifications to tear down a persons own walls against such behavior, or to tear them down in others to pull them to your sway and away from society/prosocial behavior. We 8 billion people can not live together without certain tradeoffs, and those tradeoffs even apply to you, even when you can get around them. This thread is heartbreaking to me, having done so much work on myself to rebuild those walls of acceptable/non acceptable behaviors, to see such rot in the basic morality of such smart people.

It's 2022, there is more access to information and knowledge than ever in human history. Anyone that wants to make their knowledge or information free to the world can do that easily. These books were SPECIFICALLY not made free public knowledge. That you want them does not mean you are entitled to the choices of others in how they want choose to distribute their works. That they have enough value to you to make you want to steal them shows that there is more to that than simple 'knowledge everyone should be entitled to', because that knowledge is available on the internet in other forms.
Why is that surprising. What Massachusetts and Google did is bad. This awful Koch funded group filing a class action lawsuit is also bad. Both are bad.

edit: you ought to read the actual lawsuit - https://nclalegal.org/wp-content/uploads/2022/11/Complaint_W... before you make mistaken claims like "they are just asking the government to stop working with google to install covid tracking apps that users cannot uninstall". They have other goals.
What if one does not spend most of their time driving on highways near 18 wheelers?

I would rank getting t boned by a pickup truck running a red light or a stop sign much more likely than me getting into it with an 18 wheeler.

Also, the discrepancy between 18 wheeler and individual car (even a large pickup) at highway speeds is so big that trying to mitigate it is pointless.

Also, I would assume the probability of a drunk driver driving a pickup truck is much higher than a drunk driver driving an 18 wheeler.
I mean, I’m in this exact situation right now and it’s working great. I wrote a short story about an automated farming commune running on open source farming robots. But I can’t afford to spend years of my life working on a problem I’m not getting paid for. Then I met someone who dreams of running automated farming robots at his farm, and now for four years now he has been paying me to develop it.

I’ve done entrepreneurship, and it’s extremely stressful. Sometimes people know how to do something but don’t want to do it unless they’re going to get paid directly for the labor. Despite all the stories here on HN, this is actually fine.
I worked with Bob some ~20 years ago at Berkeley. he showed up one day to check out the seminars and see if he could "help out" after having sold his database company to Intel. he said he'd been trained as a physics guy in the 80s but there were no real jobs so he started a software company instead. He joined my advisor's group (it helped a lot, because at the time most journals wouldn't publish a paper submitted from a home address).

He proceeded to completely understand hidden markov models and protein sequence alignment and was immediately hacking improvements to HMMER. However, Sean Eddy couldn't understand his optimizations (Sean has to know how HMMER works at all times) and so Bob went off and made his own tools like MUSCLE.

One of the reasons he can do this is, well, he's a programmer/math genius, and the other reason is that HMMs and protein alignments are a fairly well understood and programmable thing these days.

Still blows me away we train up all these people to be scientists when there are no jobs for them in that role.
> The other striking news of the week is Elon Musk's epic flaming death spiral at the helm of Twitter.

I am old, and admittedly, my oldest grandchild cares more about Twitter than I do.

Maybe one of you here can enlighten me. Why does Musk get so much attention? Why is Twitter so important? Perhaps this is incredibly ignorant to say, but why not let people who want to use Twitter use it, and those that don’t, don’t use it?

I keep hearing about freedom of speech, toxicity on social media. Is it unreasonable for people who don’t like Twitter to just not use it anymore?

I feel the loudest voices are anti Twitter. Or they hate Musk. And Elon Musk seems to rather enjoy trolling these people.

Mainly, it feels like Twitter and FB have somehow become the defining issues of our time. Maybe I’m just stupid, but I don’t understand why. Why this obsession with Musk?

I’ve gone through layoffs several times in my career. As has my older son, as has my sister, my wife. So Musk bought a company, took it private, and fired a ton of folks. Has corporate America never had layoffs? Have we never had layoffs where honest, hard working people were needlessly fired, because of market conditions, short sightedness and greed on part of their business execs, or some combination of both?

I worry that this country is hyper addicted to needless drama, and it’s self imposed and obfuscating bigger challenges we have as a society.

I saw a Twitter conversation between Democrat and Republican House members. Absolutely shameful how these people hurl insults at each other, try to respond with sly, “witty” insults. Maybe I’m the one being the drama queen, but it feels like Rome is starting to burn and we have no one to blame this time but ourselves.

End of rant from this old goat.
> So he is legally obligated as an officer of his company to lie on twitter to keep the charade running long enough to pay off for the investors.

Please point me to this law.
I'm most definitely not an expert in this area, but I have recently taken interest in learning about "succinct data structures", which from what I understand have their place in bioinformatics.

It's been a challenging topic to learn about, because most of the information comes from Computer Science papers and articles where the information is presented in a very formal, mathematical way, which I am just not used to.

Normally when thinking about data structures and algorithms, we're mostly concerned with optimizing for speed. Space complexity is not usually as big of a consideration. Succinct data structures are all about creating ways to achieve good runtime performance while representing the data in a "compressed" format. I think this comes in handy when doing things like DNA sequencing since data sets are so large.

I'm excited to check out some of links in the post, and in case any one else is interested in learning more about succinct data structures, here's a few resources I'd recommend:

Prof. Ben Langmead's YouTube channel: https://www.youtube.com/user/BenLangmead/featured

Alex Bowe's blog has some good content: https://www.alexbowe.com/articles/

Prof. Erik Demaine's "succinct" lectures from his adv. data structures course at MIT on YouTube: https://www.youtube.com/watch?v=3Y2weLDiUWw

Edward Kmett's Haskell live coding session going into some details about succinct: https://www.youtube.com/watch?v=9MKEmNNJgFc

There's also a lot of research papers, which you should be able to find by searching for "succinct data structures" (Jacobson, Munro, Brodnik, Raman, Rao, Navaro, Sadakane just to name a few). I at least have a basic CS undergraduate degree, but many of these papers are over my head, but I have still been able to slowly understand more and more. Some I had to purchase.
Foie gras is unbelievably cruel, even by meatist standards.
I work in genomics, this is very true. I know of some modernization efforts, ie by companies working with new file formats, like GenomSys [0] with mpeg-genomics [1].

It feels like it’s going very slowly though. The field just really depends on their Unix philosophy tools, there is a lot of gzipped text files that are piped through bash scripts and tool like awk and grep. It works, mostly, but there is a lot of weirdness.

[0] https://genomsys.com/

[1] https://mpeg-g.org/
Yes, I have certainly noticed it takes a few days for the full effect to ramp up as well. And there seems to be residual effect for about 12 hours after the last dose, though in general the peak effect lasts about 4 hours for me (on lisdexamphetamine)
> Error 403 Forbidden

> Forbidden

> Error 54113

Appears to be a cache error. Alternative: https://web.archive.org/web/20221119071746/https://www.theat...
"you can exchange your money for goods and services"

"HOLY SHIT WHAT A VISIONARY 10 OUT OF 10"

Clearly SBF will truly be the first trillionaire
DSGs start at 6 gears and go up from there. Paddle shifters and DSG are also not synonymous. Mine and a few other more recent designs I’ve seen have a gearshift that looks like an automatic but it goes sideways into a gear selector. Many won’t use that mode.

Yes you could do this fully manual but you get more fleet efficiency if it’s automatic.
What about if it were plutonium? If you’re willing to pay for it to be produced, should you be allowed to use it for whatever purposes you want?