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:

Get Shit Done: A meta-prompting, context engineering and spec-driven dev system

AI coding is gambling

Python 3.15's JIT is now back on track

A Decade of Slug

<a href="https://web.archive.org/web/20260317185928/https://terathon.com/blog/decade-slug.html" rel="nofollow">https://web.archive.org/web/20260317185928/https://terathon....</a>

Mistral AI Releases Forge

Rob Pike’s Rules of Programming (1989)

Rob Pike’s Rules of Programming (1989)

Have a fucking website

The “small web” is bigger than you might think

Why I love FreeBSD

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

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

Every layer of review makes you 10x slower

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

Kagi Small Web

Kagi Small Web

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>

The American Healthcare Conundrum

US SEC preparing to scrap quarterly reporting requirement

Kagi Translate now supports LinkedIn Speak as an output language