The best Hacker News stories from All from the past day

from

All Show

from the past*

day week month

with these search terms:

Create follow Go back

Latest posts:

ProofOfThought: LLM-based reasoning using Z3 theorem proving

<a href="https://arxiv.org/abs/2409.17270" rel="nofollow">https://arxiv.org/abs/2409.17270</a>

A comparison of Ada and Rust, using solutions to the Advent of Code

What .NET 10 GC changes mean for developers

See also: <i>Preparing for the .NET 10 GC</i> - <a href="https://news.ycombinator.com/item?id=45358527">https://news.ycombinator.com/item?id=45358527</a>

Way past its prime: how did Amazon get so rubbish?

Personal data storage is an idea whose time has come

The deadline isn't when AI outsmarts us – it's when we stop using our own minds

Social Cooling (2017)

Americans increasingly see legal sports betting as a bad thing for society

Fire destroys S. Korean government's cloud storage system, no backups available

<a href="https://www.chosun.com/english/national-en/2025/10/02/FPWGFSXMLNCFPIEGWKZF3BOQ3M/" rel="nofollow">https://www.chosun.com/english/national-en/2025/10/02/FPWGFS...</a>

Fire destroys S. Korean government's cloud storage system, no backups available

<a href="https://www.chosun.com/english/national-en/2025/10/02/FPWGFSXMLNCFPIEGWKZF3BOQ3M/" rel="nofollow">https://www.chosun.com/english/national-en/2025/10/02/FPWGFS...</a>

The UK is still trying to backdoor encryption for Apple users

How I influence tech company politics as a staff software engineer

Flock's gunshot detection microphones will start listening for human voices

Litestream v0.5.0

Zig builds are getting faster

PEP 810 – Explicit lazy imports

Where it's at://

Inkjet printer with DRM-free ink will be launched via a crowdfunding campaign

The strangest letter of the alphabet: The rise and fall of yogh

Fluid Glass