MurphyA/hacker-news huggingface dataset:
by verzali | 2025-04-17 06:52:33+00:00
You could have just read to the end of the article and avoided wasting the time of your "qualified" friends:

> Other researchers emphasized that much research remained to be done. One question yet to be resolved is whether K2-18b is in fact a habitable, Hycean world as Dr. Madhusudhan’s team claims.

> In a paper posted online Sunday, Dr. Glein and his colleagues argued that K2-18b could instead be a massive hunk of rock with a magma ocean and a thick, scorching hydrogen atmosphere — hardly conducive to life as we know it.

> Scientists will also need to run laboratory experiments to make sense of the new study — to recreate the possible conditions on sub-Neptunes, for instance, to see whether dimethyl sulfide behaves there as it does on Earth.

> “It’s important to remember that we’re just starting to understand the nature of these exotic worlds,” said Matthew Nixon, a planetary scientist at the University of Maryland who was not involved in the new study.
by kryptiskt | 2025-04-17 06:53:30+00:00
You can hook it up to a cloud service, say an S3 bucket, and allocate storage space as needed. Then it fulfills the condition of unbounded memory, at the small price of unbounded cost. But it will not be a problem during your lifetime.

If you are cloud-averse, you could do the same with networked storage on your local LAN and just connect more disks when it's running out.
by spoiler | 2025-04-17 06:53:58+00:00
As someone who's struggled with weight loss, and have known others to struggle with it well, I think we colloquially called this "slow metabolism".

It always did feel like it was easier to gain weight than lose it, especially fat weight and not muscle weight for me.

I was recently sent a video about fat adaptation (basically teaching your body to be better at burning fat) by a very fit friend, but I wonder how much of that is bro science and how much of it is grounded in reality. Maybe worth looking into more deeply if it can counteract or balance out this.
by chillfox | 2025-04-17 06:54:28+00:00
I got a smartwatch with a cell connection, some good earbuds and started going to the gym, then I learned that their watch app is complete garbage. It refuses to play the music I want, either playing something else or nothing at all. It will play it out loud on my phones speaker in the locker instead of through my earbuds. It refuses to download the playlists I want. It refuses to stream the music.

None of that is a problem with the Apple Music app, so it's 100% a Spotify problem.

Also, Music sometimes disappears from my playlists.
by mdp2021 | 2025-04-17 06:55:13+00:00
Both Charles Darwin and Benjamin Franklin are quoted in informal Decision Theory. Both used pro-vs-cons tables to orient decision; Franklin also used weights.

> When those difficult cases occur, they are difficult, chiefly because while we have them under consideration, all the reasons pro and con are not present to the mind at the same time; but sometimes some set present themselves, and at other times another, the first being out of sight. Hence the various purposes or inclinations that alternately prevail, and the uncertainty that perplexes us. // To get over this, my way is to divide half a sheet of paper by a line into two columns; writing over the one pro, and over the other con. Then during three or four days consideration, I put down under the different heads short hits of the different motives, that at different times occur to me, for or against the measure. // When I have thus got them all together in one view, I endeavor to estimate their respective weights; and where I find two, one on each side, that seem equal, I strike them both out. If I find a reason pro equal to two reasons con, I strike out the three. If I judge some two reasons con, equal to some three reasons pro, I strike out the five; and thus proceeding I find at length where the balance lies, and if, after a day or two of further consideration, nothing new that is of importance occurs on either side, I come to a determination accordingly
Show HN: Kliento, simpler machine authentication without API keys or JWTs
by gnarea | 2025-04-17 06:56:36+00:00
Kliento is a workload authentication protocol that brings the concept of Kubernetes- and GCP-style "service accounts" to the whole Internet in a vendor-neutral and decentralised way.

It uses DNSSEC to embed the full chain of trust in the credentials, so servers won't have to query external systems during verification. Think of them as short-lived JWTs that can be verified entirely offline by the server. This means that there are no long-lived secrets to protect, or public keys to configure or retrieve during verification.

We built the underlying technology, VeraId, for humanitarian purposes, but we lost the funding due to the recent foreign aid cuts. VeraId has been independently audited <https://veraid.net/about/#security-audit> and has an Internet-Draft: <https://datatracker.ietf.org/doc/html/draft-narea-domainauth...>.

I'm trying to figure out if I should continue to invest in this technology, so any feedback -- whether positive, negative or neutral -- will be much appreciated! Having worked at Auth0, I believe this could drastically simplify things on the client and server sides, but there's still a lot to do to realise that full potential and I'd like to gauge the extent to which folks might want to try it.
by wickedsight | 2025-04-17 06:57:52+00:00
> we don't know what we can do to help yet

I think many of us do know what we could do... The possible consequences of doing those things, however, are too big to actually do them. Most of us live pretty comfortable lives and aren't (yet?) directly impacted by what's happening, so it's not worth it.

With people already seemingly being deported for speaking out against the administration, doing anything more than using dark humor (like protesting) is already becoming pretty risky.

Edit: I'm not trying to be judgemental, by the way. I'm just observing. I'm also one of the people who is just posting on the internet about this and talking among friends.
Show HN: I made a tool that extracts table from anything
by Tafita | 2025-04-17 07:00:22+00:00
Hi HN,

I'm Tafita, a 24-year-old indie hacker. After spending years stuck in a degree and job I didn’t enjoy, I left it all behind to finally build something I cared about. That led me to create Tablextract — a tool that extracts tables from anything, PDFs, Docx, images, and screenshots or even live photos using AI.

The idea came from my time in accounting and research, where I constantly had to retype messy tables from scanned documents or badly formatted files. Tablextract makes that easier — just upload a file or snap a photo, and it pulls the tables out for you. It also takes simple instructions (like “only get the total” or “table 7 only”) to help automate repetitive work.

This is my first product and I'm doing everything solo — design, code, support, etc. It’s still early, but I’d really appreciate your feedback. What works, what doesn’t, what would make it more useful?

Thanks! — Tafita
by Tenoke | 2025-04-17 07:00:43+00:00
> It just so happens that sometimes that non-deterministic text aligns with reality, but you don’t really know when and neither does the model.

This is overly simplistic and demonstratably false - there's plenty of scenarios where a model will sell something false on purpose (e.g. when joking) and will tell you it was false with high probability correctly whether it was false or not after that.

However you want to frame it - there's clearly a more accurate than chance evaluation of truthfulness.
by lucideer | 2025-04-17 07:00:54+00:00
I love Spotify's algorithm. My wife loves my Spotify algorithm & hates her own so I know it's not universally great but it's still incredibly impressive & I value it a lot.

That said: there's trade-offs. I don't browse music forums but I have in the past (when I had more time) & it's incredibly rewarding. I also get a lot more value from new music discovered through friends than through Spotify - there's something about intentionality that adds to the listening experience. I love when Spotify plays me a great song from an artist I've never heard, but I'm much more likely to seek out that artist on a personal recommendation.

Not everyone has the time, energy or expertise to host Jellyfin, but for those of us that do, there's probably room for both of the above listening experiences in our lives.
by atoav | 2025-04-17 07:02:16+00:00
A docker container is a way to easily install software on a server without having to install dependencies yourself.

A VPN (Virtual Private Network) is a way of securely connecting to your home network without exposing it to the world.

FLAC and Opus are audio formats. FLAC uses lossless compression and offers the best uncompressed quality while not being as huge as a broadcast wave (.wav) file. Opus is similar to an mp3, that means it is a lossy compression, but it sounds extremely good at small bit rates/with bad connections. The transcoding-on-the-fly-bit means the user opens up the private Navidrome website running in their home from the road and the Audio they play is compressed and sent over on the fly as they play it.

Self hosting sounds scary, but it is an essential skill nowadays and extremely useful. Things I self-host (besides websites) include a partskeeper instance which is essentially a stock keeping system for electronics parts, jellyfin as a netflix replacement for films and series, my mailserver (mailcow), paperless-ngx (hooked up to a scanner, allows automatic text-recognition and tagging of invoices, letters, etc.) and homeassistant (smart home).

That probably makes it appear like I have to spend all my free time on this, but it takes surprisingly little of my time to maintain this, with a lot of it running on a single Raspberry Pi.
by wg0 | 2025-04-17 07:02:39+00:00
If you download GIMP, Blender etc - every user would have to report exactly the same experience mostly given the hardware is recent.

In this thread however - there are varying experiences from amazing to awful. I'm not saying anyone is wrong but all I'm saying is that this wide range of operational accuracy is what will pop the AI bubble eventually in that they can't be reliably deployed almost anywhere with any certainty or guarantees of any sorts.
by jedberg | 2025-04-17 07:02:42+00:00
One of the things I loved most about Fry's was that clearly an engineer designed their checkout line. It's the only retail checkout line I've ever seen that fully embraced queueing theory.

They had one long line that everyone got into, and a load balancer up front that would direct you to an open check stand, and at least at the store I went to, in their hayday they had 30 registers open at once!
by 4k93n2 | 2025-04-17 07:03:20+00:00
its hard to beat the convenience of being able to right click/radio to get new recommendations but there has to be other options that arent that much more effort either?

i think you can add plugins to jellyfin. maybe there is a last.fm plugin? i know of some other last.fm alternatives like maloja or libre.fm but i cant comment on how good they are
by russellbeattie | 2025-04-17 07:03:59+00:00
Coincidentally, I just watched the hour long documentary that DeepMind made about the match [1]. It talks a lot about the two moves - though not really in detail.

To a non-go player like myself, both moves 37 and 78 seemed completely arbitrary. I mean, much of the video talks about how it's impossible to calculate all the future moves like in chess, yet move 37 of a possible ~300 move game is called out as genius, and move 78 is a God Hand.

For the layman like myself, it seemed a bit inconsistent.

The thing that made me smile was how history repeated itself. Sedol predicted a 5-0 win against the program. Kasparov was pretty cocky as well in the 1990s. You'd think someone would have warned him! "Hey Sedol. Cool your jets, these guys wouldn't be spending so much money just to embarrass themselves."

DeepMind was definitely way more polite than IBM, so that was good to see. The Deep Blue team were sorta jerks to Gary.

1. https://www.youtube.com/watch?v=WXuK6gekU1Y
by frje1400 | 2025-04-17 07:05:01+00:00
Perhaps "frameworks don't compose" and "frameworks shape how you code" are actually good features, not a problem. Where are frameworks the most popular? Probably for web services (e.g. Spring Boot for Java). You don't need them to compose because you will only have one.

That you are forced (or at least strongly nudged) to code in a certain way is good because that means that all your web services are at least superificially familiar to all developers at the organization. That special service composed from many libraries? Impossible to work on without significant time investment.

I suppose though that if you are in a domain where you actually would want a library, but all that's on offer are frameworks, and you actually need to compose them, then yes, that seems problematic.
by danpalmer | 2025-04-17 07:05:14+00:00
Are you sure about all of this? You acknowledged it might be a hallucination, but you seem to mostly believe it? o3 doesn't have the ability to spin up a VM.

https://xcancel.com/TransluceAI/status/1912552046269771985 / https://news.ycombinator.com/item?id=43713502 is a discussion of these hallucinations.

As for the hash, could it have simply found a listing for the package with hashes provided and used that hash?
Ask HN: What is the future of tech roles?
by farzd | 2025-04-17 07:05:21+00:00
Lately, there’s been a growing narrative especially from VCs and CEOs about software engineers being replaced by AI in the near future. At first, I didn’t think much of it, but over time, that fear has slowly started to creep in.

Personally, I don’t believe I can be replaced. I use AI tools every day, and they’re great. Like a smart autocomplete or a really good rubber duck but I see them as assistants, not substitutes.

I think people deeply immersed in their field understand the nuance and artistry of what they do. It’s like when Ben Affleck said actors can’t be replaced by AI - yet in the same breath dismissed VFX artists. Clip: https://www.youtube.com/watch?v=ypURoMU3P3U&t=2s

So I'm uncertain weather I'm over estimating my 'artistry' and the industry just thinks of my profession of as a Gihbli picture. I’d really like to hear thoughts from fellow software engineers and especially from those in management or leadership positions. How are you feeling about all this?

Recent clip that sparked this: https://www.youtube.com/shorts/N2R4-d8YJZw

and Shopify CEO Memo: https://techcrunch.com/2025/04/07/shopify-ceo-tells-teams-to-consider-using-ai-before-growing-headcount
by wruza | 2025-04-17 07:06:21+00:00
Dang's analysis was funny:

don't site comment we here post that users against you're

Quite a stance, man :)

And me clearly inarticulate and less confident than some:

it may but that because or not and even these

I noticed that randomly remembered usernames tend to produce either lots of utility words like the above, or very few of them. Interestingly, it doesn't really correlate with my overall impression about them.
by SillyUsername | 2025-04-17 07:06:39+00:00
o3 has been the worst model of the new 3 for me.

Ask it to create a Typescript server side hello world.

It produces a JS example.

Telling it that's incorrect (but no more detail) results in it iterating all sorts of mistakes.

In 20 iterations it never once asked me what was incorrect.

In contrast, o4-mini asked me after 5, o4-mini-high asked me after 1, but narrowed the question to "is it incorrect due to choice of runtime?" rather than "what's incorrect?"

I told it to "ask the right question" based on my statement ("it is incorrect") and it correctly asked "what is wrong with it?" before I pointed out no Typescript types.

This is the critical thinking we need not just reasoning (incorrectly).
by graycat | 2025-04-17 07:07:09+00:00
> the law

Would be nice!!!

However, as is easy to see from recent, well known examples, the results of our legal system depend heavily on personal attitudes, predilections, and opinions of individual judges, lawyers, etc., and, net, "the law" is inconsistent, unpredictable, unreliable (some might say emotional and irrational), often too slow, too expensive, and a source not of justice or "the law" but of lawfare battles, war by special means. As in shooting wars, both sides lose. E.g., can see

Dershowitz to Newsmax: Boasberg Should Be Held in Contempt

at

https://www.newsmax.com/newsmax-tv/alan-dershowitz-james-boa...

where Judge Boasberg and Emeritus Harvard Law Professor Dershowitz strongly disagree.

For another example, one part of this Boasberg case had the SCOTUS rule 5-4 -- that is inconsistent and unpredictable.

In math, physical science, and now often in biology and medical science, we have many examples of one things, clear, explicit, highly predictable -- the Pythagorean theorem, Einstein's Special Relativity, protein folding, Phase III trials, placebo controlled, randomized, double blind.

But, in strong contrast, "the law" is unpredictable, in each case, no "one thing", closer to medieval ugly torture and nonsense than math, science, technology, etc. of 2025. The law profession should be ashamed. "Your Honor"? Not really.

As I understand the situation, the SCOTUS is created by our Constitution, but the rest of our legal system, including Judge Boasberg, is the creation of and funded by Congress. So, Congress can cut off the funds and maybe just abolish Boasberg's court.

My guess is that the media has raised attention, the voters want something better in our legal system, and soon Congress will make some changes. With also the POTUS, the legal system, "the law", currently widely less liked than a skunk at a garden party, can be turned inside out, fumigated, disinfected, bleached, scrubbed, washed, rinsed, hung out to dry, stitched, patched, ironed, folded, and used as, hmm, a seat cushion.

Sorry 'bout that. As a startup founder, my view is, at any or all costs, to stay low, quiet, out of sight, and anonymous, have only an LLC and never a corporation, and be far from any entanglements with "the law".
by mubou | 2025-04-17 07:10:08+00:00
There's a whole series of these, including cryptography![0] Probably shouldn't be linking to a pirated book though. There are previews on Amazon[1], and on the US publisher's site you can read the entire chapter on digital logic from the Microprocessors book[2]. It's quite good.

[0]: https://nostarch.com/catalog/manga [1]: https://www.amazon.com/Manga-Guide-Databases-Mana-Takahashi/... [2]: https://nostarch.com/download/MangaGuidetoMicroprocessors_sa...
by taurath | 2025-04-17 07:11:56+00:00
In my lifetime a high functioning person with autism has gone from Asperger’s to PDD-NOS to ASD to Level 1 (some support needed) ASD. The levels are quite new. It used to be that only those with the most disability would be diagnosed. Now there’s a much larger amount who are on the spectrum - it’s insanely prevalent and has been, generationally. I know tons of autistic ppl whose parents are autistic and not diagnosed - their kids know because they’re diagnosed, and the “quirks” of the family are often just autistic traits.
by godelski | 2025-04-17 07:12:12+00:00
Weird thought, but doesn't some of the stuff the blockchain people do potentially apply here? I'm not talking building a new coin or any of that crap. But rather more about just handling the transactions of plays and a distributed anonymized ledger. Artists can formulate a contract, users pay in and their pay gets distributed proportionally. I'm sure you could add zkps to help protect privacy. Could you get away with "proof of listen"? Could you stream via other users torrent style to move away from a central hub? Hosting and high upload speeds give you discounts. Maybe there's something in this (bad) idea?

I'm really just spitballing here. Seems really difficult to pull off, but what would such a system look like if we didn't design it for profit extraction and instead designed it to cut out all the middlemen? To really just make it as easy as possible for artists to connect to listeners. If we designed it without a desire to get rich
by Someone | 2025-04-17 07:12:23+00:00
Not any file system https://en.wikipedia.org/wiki/Block_suballocation:

“Block suballocation is a feature of some computer file systems which allows large blocks or allocation units to be used while making efficient use of empty space at the end of large files, space which would otherwise be lost for other use to internal fragmentation.

In file systems that don't support fragments, this feature is also called tail merging or tail packing because it is commonly done by packing the "tail", or last partial block, of multiple files into a single block.

As of 2015, the most widely used read-write file systems with support for block suballocation are Btrfs and FreeBSD UFS2[4] (where it is called "block level fragmentation"). ReiserFS and Reiser4 also support tail packing.”

Also (same article):

“Several read-only file systems do not use blocks at all and are thus implicitly using space as efficiently as suballocating file systems; such file systems double as archive formats.”

There also are filesystems that store the content of very small files, together with file metadata, not in blocks allocated for the file.
by reedf1 | 2025-04-17 07:13:06+00:00
Yes exactly - and more broadly pretty much all food consumed globally is automatically selected by tolerance of storage + packaging + shipping. Many varietals and whole specimens have been lost to the annals of history because they cannot make it to a Walmart in North America from Mato Grosso in a scalable (and profitable) way.

Bananas, for example, are practically a miracle fruit for scalable production and distribution. They are incredibly consistent - have resilient skins, have lots of structure that prevents damage from packing, come in easily managed bunches, and (if temperature controlled) the ripening process can begin on demand at point of delivery.
by johnisgood | 2025-04-17 07:14:23+00:00
Since parent (autoexec) has provided links to all of these claims, do not let it go to the down-vote hell and disappear.

Why Markmonitor is terrible: https://news.ycombinator.com/item?id=43712299

Why Zoom is terrible: https://news.ycombinator.com/item?id=43712438

If you think it is not enough to call them terrible, reply to these comments as to why not.
by Cthulhu_ | 2025-04-17 07:16:03+00:00
I've worked in a "fresh" vegetable packing factory once... I'll go with frozen food. Stuff like broccoli came in from the fields in crates on pallets and were put in cold storage, probably not frozen but close enough, and stayed there until they were individually wrapped. Frequently one of the crates or a whole pallet was moldy and had to be discarded. I have no idea how long it must've been in the cold storage for that to happen.

The place burned down a few years later, anyway; they stacked up pallets as high as the factory itself right next to it, iirc someone lit it.
by delusional | 2025-04-17 07:16:39+00:00
> checking a damaged version of a file system with all of those capabilities as first class attributes was probably not NP complete. :-).

I don't think I understand this statement. Did you mean it was undecidable, that it's NP complete, or did you mean it was solvable in polynomial time? The latter is what it currently parses as for me, but also what makes the least sense in the context of the comment.
by mandeepj | 2025-04-17 07:17:17+00:00
> This is a legitimately-elected leader doing exactly what he was elected to do.

He was elected to bring prices and inflation down; that’s what he campaigned on! He lied at that time and people trusted in his lies. He have no idea what he can do to bring prices and inflation down! Marketing could be his expertise, but when it comes to performing duties of the President, he’s super dumb.