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:

Why I love FreeBSD

Every layer of review makes you 10x slower

Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech

Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss'

Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss'

Kagi Small Web

Kagi Small Web

The American Healthcare Conundrum

US SEC preparing to scrap quarterly reporting requirement

Kagi Translate now supports LinkedIn Speak as an output language

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Lean 4 paper (2021): <a href="https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37" rel="nofollow">https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37</a>

US Job Market Visualizer

Stop Sloppypasta

MoD sources warn Palantir role at heart of government is threat to UK security

How I write software with LLMs

Corruption erodes social trust more in democracies than in autocracies

Polymarket gamblers threaten to kill me over Iran missile story

Harold and George Destroy the World

The 100 hour gap between a vibecoded prototype and a working product

Hollywood Enters Oscars Weekend in Existential Crisis