MurphyA/hacker-news huggingface dataset:
by toraway | 2026-03-12 19:15:52+00:00
That seems like wishful thinking, IMO. Seems more likely we will find it’s due a complex constellation of genetics, diet, lifestyle factors like exercise, environmental exposure, etc associated eith a modern sedentary lifestyle
with no clear smoking gun or single preventative intervention.

It sort of reminds me of when Lesswrong was fixated on a hypothesis that lithium levels in the water supply was the cause of the obesity epidemic. There was a lot of enthusiasm for the idea at the time, and somewhat understandably as it would have been a single variable that could be tweaked for massive societal benefits.

But there wasn’t really any credible evidence to support it. Trying to reduce the complexity of human biology and lifestyle to single cause/effect relationship is an easy and tempting trap to fall into to explain unknowns in medicine.
by RusDyn | 2026-03-12 19:16:01+00:00
ProofCodec compresses deterministic policy tables (WAF rules, DNS filters, routing tables) by compressing the decision function, not the data. Every compressed artifact carries a proof that every input produces the correct output.

Results:
- 2,074,698 DNS filter domains → 253 bytes (1,764x smaller than Huffman)
- Not a Bloom filter — exact, zero false positives/negatives
- 12-leaf decision tree + 51 residual corrections

Other benchmarks:
- IP routing: 672x vs Huffman (16.7M states)
- Rate-limiting: 39,262x (33.5M states)
- Chess endgames: 21/21 tablebases beat Huffman (worst-case stress test)

How it works:
1. Train a decision tree predictor on the input space
2. Exhaustively verify against ground truth
3. Encode corrections via MDL-selected residual encoding
(DELTA_GAPS / ENUM_RANK / BITMAP - whichever uses fewer bits)

Verifier + decoder: MIT-licensed. Encoder: proprietary. You can verify every claim without our software.

Source: https://github.com/ProofCodec/proofcodec-verify
by pocksuppet | 2026-03-12 19:16:05+00:00
Because we're sitting here on the American side. In Iran it's probably called the America war or the Israeli war.

Another way to name wars, when they aren't happening to you, is based on where they happen. The war is happening in and around Iran. It's very unlikely that Iran will manage to bring the war to America. You could also call it the Gulf of Persia war.

You can also name them propagandistically, as in the "2023 Israel-Hamas war". Thankfully this hasn't happened in this case.
by 0x457 | 2026-03-12 19:16:13+00:00
> And for many people WFH has other problems - if you're a dual-WFH couple in a small home, lack of home office space is a very real problem. (Although if WFH was a permanent thing, many people could choose less expensive places to live, and have more space)

Sure I get meetings you need to go to separate rooms, but how is the rest is different from a regular open office? Oh no, my co-working space has the person I like to spend time with?
by dingaling | 2026-03-12 19:16:39+00:00
> They are the ones who provided Russia with Shahed drones.

Shaheeds are aerodynamic clones of the Israeli Harpy SEAD drone, which in turn were based on the German Dornier DAR of the 1980s.

Compared to the loitering anti-radar DAR, the Shaheed is electronically extremely simple and not much more advanced than the WW2 V-1.

The fact that Russia started producing Shaheeds reflects more on the poor state of Russian industry than any sophistication of Iranian technology.
by trhway | 2026-03-12 19:16:43+00:00
As i said the key thing isn't how many, it is who, how and what for.

Israel started the war in response to the genocide of Oct 7. So all the legitimate collateral victims and damage from Israel's actions here is responsibility of the perpetrators of Oct 7.

You aren't calling for prosecution of the perpetrators of Oct 7. That is already shows your colors.

Anyway, the number of killed you cite comes directly from Hamas (its Ministry of Health stated those numbers to UN). Hamas is a terrorist org, and can't be trusted at all.

There is no evidence that Israel killed civilians in any meaningful numbers, and that the killings were criminal and not legitimate collateral.

Now, there is a million of cell phones in Gaza. After several years of watching Ukraine war anybody knows the amount of cell footage to expect. Some Russian killings in Bucha were recorded by reconnaissance drone for example. Russian soldiers posted videos of them executing POWs, security cameras recorded Russian soldiers marauding and so forth. Where is pretty much no footage comes from Gaza. "Israel soldiers shoot at the crowd at food distribution center" and nobody recorded anything (especially giving that according to Hamas it happens regularly - and still no footage!)

And on rare occasions when some footage comes out - the analysis in the example below shows that the basic laws of physics wouldn't let even 20 people to be killed when Hamas claimed 400-800 in that "bombing of hospital" (again, if you watch war footage, you'd know what gore of several people killed by explosion would look like, and no way the parking lot would look that way just the morning several hours later - where is all the blood for example? it is pretty obvious that the asphalt hadn't been washed by the time photo was made so blood should be there even if they picked up all the bodies and parts of it)

https://news.ycombinator.com/item?id=38751882
by jMyles | 2026-03-12 19:16:47+00:00
...maybe I missed a memo here or something, but I thought this is exactly what we (all of us - the humans) _weren't_ going to do?

> “We think there’s a moral imperative to put these robots into war instead of soldiers,” says Mike LeBlanc, a 14-year Marine Corps veteran with multiple tours of Iraq and Afghanistan, who is a co-founder of Foundation, the company that makes Phantom. He says the aim is for the robot to wield “any kind of weapon that a human can.”

Yeah, but hear me out here: go fuck yourself, dude. Are you really being the change you want to see here?!
by tmuhlestein | 2026-03-12 19:17:03+00:00
A lot of the conversation around AI and coding focuses on whether models will replace software engineers.

What seems to be happening in practice is slightly different.

AI is getting very good at generating code, but the hardest engineering problems were never about typing code in the first place. They’re about:

-system architecture and abstractions
-understanding complex systems
-reasoning about failure modes
-operating systems at scale
-deciding what should actually be automated

If anything, AI tools push engineers to start automating more of their own routine work, which frees time to focus on the harder system-level problems.

In that sense, the role of engineers shifts from “writing code” to designing and governing systems that increasingly include AI components.

Curious how others here see the role evolving as AI coding tools improve.
by ajay-b | 2026-03-12 19:17:52+00:00
This is really good to read. I hung on to my 2012 MBP for the replaceable battery, hard drive, and memory far longer than I wanted to. It's great having a thinner machine, but repairability - really extending its longevity - will always be a huge selling point for me. I have bitterly disliked the idea of "disposable technology."
by miki123211 | 2026-03-12 19:18:22+00:00
And this goes both ways.

Many governments around the world have entities to which you can write a letter, and those entities are frequently obligated to respond to that letter within a specific time frame. Those laws have been written with the understanding that most people don't know how to write letters, and those who do, will not write them unless absolutely necessary.

This allows the regulators to be slow and operate by shuffling around inefficient paper forms, instead of keeping things in an efficient ticket tracking system.

LLMs make it much, much easier to write letters, even if you don't speak the language and can only communicate at the level of a sixth-grader. Imagine what happens when the worst kind of "can I talk to your supervisor" Karen gets access to a sycophantic LLM, which tells her that she's "absolutely right, this is absolutely unacceptable behavior, I will help you write a letter to your regulator, who should help you out in this situation."
by gus_massa | 2026-03-12 19:18:58+00:00
A few more recommendations:

For the title use "$Name: $Catchprase", something like "Yellowana: Track how many bananas you eat dayly", hopefully something that makes more sense.

Don't hide you are the author/owner. Moreover, a few minutes later post a short comment explaining you are the author and will be available to answer questions. Some short backstory or techs stack description may be welcome.

Do you have a blog? If you have some interesting problem you solved with your app or an interesting problem you solved while writing the app, they may be good post. But they must be interesting.

Just in case, no AI slope.
by kashyapc | 2026-03-12 19:19:22+00:00
> I've found this fails on my 16 GB P550 Megrez with swap disabled but works quickly and uses maybe 50 or 100 MB of swap if I enable it.

I see, I don't have a Megrez at my desk, only in the build system. I only have P550 as my "workhorse".

PS: I made a typo above - the P550 I was referring to was the SiFive "HiFive Premier P550". But I know you figured it out, based on your HN profile :)
by phil21 | 2026-03-12 19:19:23+00:00
I think ships make a lot of sense - particularly much cheaper ships built in larger quantities. Think WWII era destroyers and frigates that can be mass-deployed by the dozens for air and sea coverage. Obviously updated quite a lot with cheap point defense, and of course some more expensive ballistic missile defense systems. The fact we can't send 100+ warships out there to create an integrated air and sea defensive screen for not even drone swarms - just a few dozen drones at at time at best - is pretty embarrassing.

The question is if the US is even capable of building such a thing these days? My bets are on no, since we can't seem to build much of anything at an industrial scale for any cost. But that can turn relatively quickly so long as there is emergency of existential scale and time enough to do it.
by alwillis | 2026-03-12 19:19:47+00:00
I’m sure Apple has wanted to create a low-cost Mac laptop (the base Mac mini was already $499) for a long time, regardless of what previous models have done.

They waited until they could do it in alignment with Apple’s brand, going back to Steve Jobs saying during the netbook hysteria: “We don’t know how to build a sub-$500 computer that is not a piece of junk. [1]”

And to their credit the Mac Neo is not a piece of junk.

[1]: https:http://bits.blogs.nytimes.com/2008/10/21/blogs/21bits-read-m...
by toast0 | 2026-03-12 19:19:48+00:00
> RTL8139 network driver (WIP)

It's good to have support for real networking hardware, but consider virtio-net as well. A lot of VMs support it and it's more streamlined. 32-bit x86, bios boot means doing a lot of things for compatibility with systems that were old enough to drink before you were born... skipping to simplified virtualized interfaces wherever possible makes a lot of sense; even if your OS can run in 16 MB of ram, you're probably not going to run it on a 486 with 16 MB of RAM and a real parallel IDE drive ... at least not at first. You can always come back and make that work if you want... deferring tricky things until later so you can work on the fun stuff keeps you having fun and engaged with your project.

Also, consider trying to get your OS running on v86. It's fun having your hobby OS work in a browser. The biggest limitations I've run into are 32-bit x86 only, single processor only; but those might not be that big of a deal... looks like your OS is also 32-bit x86 only, and I don't see anything about SMP in your project. If there's anything missing from v86 that you depend on, I've had a wonderful experience with submitting PRs; copy often reworks my patches to be much better before applying them, which I always appreciate rather than a back and forth attempt to get me to make it better :) I've also seen copy (and others) take reported issues and fix them, if you've got a problem that you can't write a patch to resolve.

> Real hardware support is still a work in progress.

I ran into a fair amount of issues with 16-bit code; qemu doesn't check segmentation limits but real hardware does. Real hardware would crash, but it worked fine in qemu. My kernel is multiboot and I use 3rd party bootloaders, but I do SMP, on x86, that involves starting the Application Processors in 16-bit real mode and then moving them into 32-bit modes, but you have to do the segmentation dance correctly until you get there; doesn't help when qemu just lets you do whatever. :P

PS 12 hour days are a lot; hope you're getting all your other stuff done :P
by npmanor | 2026-03-12 19:20:02+00:00
With deference to What’s Going on With Shipping[1], the Jones Act isn’t really the problem. The entire incentive structure and industry crumbled well after it was enacted.
[1] https://youtu.be/qWKz3psejb0?si=5QJd5HQ3W1IrSJ7F
by quesera | 2026-03-12 19:20:43+00:00
I didn't think of it in time to update my previous comment, so I'll add another!

Decades ago, I knew people who pronounced "Italian" as eye-TAL-yun. They were usually older, sometimes WW2 veterans. This was in an area of the US that has a large Italian immigrant population, FWIW.

I don't know if it was due to historical disrespect of Mussolini-era Italy, some contemporary xenophobia, or just simple ignorance.

They all pronounced "Italy" in the normal way though.
by apsurd | 2026-03-12 19:21:39+00:00
JS frameworks are very much in the "full-blown app" category.

As an example, the "react" is just a view layer is a purest pov, to me (or whatever the given framework in question is). Nextjs, Vercel, supabase, lovable, and so on down the line all empower millions of people to ship full-blown apps. We might get carried away with which specific layer is in question, but it doesn't matter if they're always used together to ship millions of (in)secure apps.
by koliber | 2026-03-12 19:22:13+00:00
That's why a screening is needed. If people lie, it won't make me lower my standards.

I'm dealing with this all the time in recruitment. It can be done. People lie all the time or don't read the requirements. You need a way for the ones who really do know how to do the thing you need to demonstrate it to you.

Have you ever been in a situation where you had to hire someone to help you with something? Would you really follow your own advice? Your advice does not make sense for carpenters, cooks, or drivers. Why should it make sense for programmers?
by ggreer | 2026-03-12 19:22:25+00:00
I'm on Sequoia (v15.7.4). I have the original 2015 model (1.1Ghz Core M-5Y31, 8GB of RAM). It's a little slow, but fine for what I use it for (web browser, syncing music/photos to/from my phone, simple coding tasks). My main gripe is the battery only has 60% of its original capacity. Apple won't replace the battery, and doing it yourself is pretty tricky. At some point it'll break or no longer get security updates, and then I'll probably get a MacBook Air.

If you're using OpenCore Patcher, it's important to install the root patches to enable graphics acceleration. Otherwise it'll be ridiculously slow.
by ProllyInfamous | 2026-03-12 19:22:31+00:00
I've read the Tao Te Ching dozens of times. Every few years I'll re-read one new passage, daily, for three months (there aren't too many words within this semi-spiritual text).

My most recent read is the first, post-ChatGPT. From Verse Thirteen, three lines finally jumped out at me (which never have, before):

>>"I suffer because I'm a body; if I weren't a body, how could I suffer?" [1]

Already LLMs have shown me connections that no other human could endure/conjure from me (I've paid for a few attorney/therapists in my few decades living). Currently I'm the plaintiff in a lawsuit which I began with LLM counsel, and now have human counsel — this arrangement has saved lots of prep time, and led to interesting discussions with both counsel, human &not.

One interesting conversation led to my human attorney recommending Neal Shusterman's Scythe Trilogy, which I've since read and absolutely re-recommend. Written in 2016 (same year as Attention is All You Need), it eerily hypothesizes many of the SciFi complexities that omnipotent general AIs now already-do ("Thunderhead" in scythespeak).

[1] Ursula K. LeGuin ~translation~, similar to Buddhist concept of "life is suffering"
by keybored | 2026-03-12 19:22:36+00:00
> an open standard for capturing the WHY in git history

Agentic coding keeps reinventing coding.

That was my first thought.

> And then it hit me - the commit body has always been there. Completely underutilised.

Wait. What? This is the standard?

> Here is an example of how a Contextual Commit looks:

The format is key-value stuff. You can already use trailers for that. The syntax here doesn’t work with that stuff.

If you have already readh the “conventional commits” (pronounce with a sneer) specification you have already seen them. They’re called footers because they also didn’t know about trailers.

> No new tools. No infrastructure. Just better commits.

Okay, let’s cut right to the point..
by adrian_b | 2026-03-12 19:22:49+00:00
Besides such uses in improving traditional agriculture, I believe that the future of protein production, which is needed to supplement plant-based food, does not stay in making fake meat from animal cell cultures, like many attempt to do today, in order to sell to rich vegans.

In my opinion, with animal cell cultures it is extremely unlikely to ever be able to produce proteins at a competitive cost. By competitive cost I mean that any such proteins should cost much less than chicken meat (per protein content).

What I believe to be the right solution, because this should be able to produce high-quality proteins at lower costs than from any animal source, is to use cultures of genetically-modified fungi, which produce some high-quality proteins, e.g. whey protein or egg white protein. There already exist genetically-modified strains of the fungus Trichoderma, which produce such animal proteins, instead of the enzymes that they normally secreted into their environment. Such proteins can be separated from the fungal culture medium by ultrafiltration, in the same way how one makes from whey or milk whey protein concentrate or milk protein concentrate.
by sourcegrift | 2026-03-12 19:23:20+00:00
No offense, and God forbid I sound like a "fanboy" but I'd highly recommend using Rust or Zig instead of c for the rest of your project. I appreciate C and assembly and am pretty "conservative" in my choices of PL but both rust and zig, despite having their own disadvantages, and also a slightly unpleasant community based on where you come from, are actually plain better than C in every respect. The abstractions are 0 cost and often pretty "transparent" so you know exactly what's happening behind the scenes.
by onetimeusename | 2026-03-12 19:23:23+00:00
I am not saying AI's abilities are the shortcoming here. The problem is that people need to trust that software has certain attributes. For now, that requires someone with knowledge to be part of it. It's quite possible development becomes detached from human trust. As I said that would reduce the number of developers but the ones who are left would have to have deep knowledge to oversee it and even that may be gone. Whatever happens in the future, for now I think people will have to level up their knowledge/skills or get a new career and that's probably true for most professions.
by asdff | 2026-03-12 19:23:49+00:00
Why are chinese shipbuilders incentivized to compete with eachother while US shipbuilders are not incentivized to compete with eachother? The answer is probably due to cartel behavior on the part of the american shipbuilders, which tends to happen in any industry that has coalesced into few enough players to get into a conference call. If the chinese are still innovating I would say it is because they are merely early in the inevitable march capitalism takes from smallholder to largeholder based industry. I would expect after several decades of mergers and acquisitions that the chinese shipbuilding industry begins to behave a lot like the American shipbuilding industry today, if they haven't already begun to do so.
by dmix | 2026-03-12 19:24:12+00:00
> I've seen nothing to that effect

Even if billionaires don't pay income tax and are only taxed occasionally when they sell assets, there isn't much doubt that the corporations they create and invest in generate massive amounts of tax revenue in the countries they operate. Not to mention all the revenue generated from property tax, income tax from their employees getting paid by the company, local fines and fees, sales tax, import duties, etc.

You can want the super wealthy to pay more tax when they sell stuff to fund their lifestyles, but that doesn't mean their work isn't generating large amounts of economic activity which turns into tax revenue for governments.
by iso1631 | 2026-03-12 19:24:16+00:00
> You still need a dual stack configuration though, there's nothing getting around that when you change the address space

Yes there is, at least outside of the machine. All you need to do is have an internal network (100.64/16, 169.254/16, wherever) local to the machine. If you machine is on say 2001::1, then when an application attempts to listen on an ipv4 address it opens a socket listening on 2001::1 instead, and when an application writes a packet to 1.0.0.1, your OS translates it to ::ffff:100:1. This can be even more hidden than things like internal docker networks.

Your network then has a route to ::ffff:0:0/96 via a gateway (typically just the default router), with a source of 2001::1

When the packet arrives at a router with v6 and v4 on (assume your v4 address is 2.2.2.2), that does a 6:4 translation, just like a router does v4:v4 nat

The packet then runs over the v4 network until it reaches 1.0.0.1 with a source of 2.2.2.2, and a response is sent back to 2.2.2.2 where it is de-natted to a destination of 2001:1 and source of ::ffff:100.1

That way you don't need to change any application unless you want to reach ipv6 only devices, you don't need to run separate ipv4 and ipv6 stacks on your routers, and you can migrate easilly, with no more overhead than a typical 44 nat for rfc1918 devices.

Likewise you can serve on your ipv6 only devices by listening on 2001::1 port 80, and having a nat which port forwards traffic coming to 2.2.2.2:80 to 2001::1 port 80 with a source of ::ffff:(whatever)

(using colons as a deliminator wasn't great either, you end up with http://[2001::1]:80/ which is horrible)
by PaulHoule | 2026-03-12 19:24:56+00:00
... well, well, well. I spent a lot of the 2010s revisiting symbolic AI and I'd say the worst problem it had was "reasoning with uncertainty" If you consider a medical diagnosis system like

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

the result is probabilistic in nature, there's always some chance you'll get it wrong.

Language processing is the same. Language is ambiguous, there are thousands of possible parse trees for a common sentence. You might be talking with somebody and then get a piece of information that revises your interpretation of what they said an hour ago. It's just like that.

In that time frame I was very interested in the idea that decision theory was the key link between computation and action whether you were using symbolic methods (e.g. a very plausible set of rules for address matching might be 99.9% reliable in some cases, 97% in others, 2% in others) or learned methods. A model for predicting market prices is priceless, but put that together with a Kelly Better and you've got a trading strategy.

Maybe there is more to his argument than I got, but as I see it he's defending a boundary that isn't there.