HN Top Links - Popular Stories from Hacker News

1.

AI will make formal verification go mainstream (martin.kleppmann.com)

779 points by evankhoury 23 hours ago | 393 comments

2.

Is Mozilla trying hard to kill itself? (infosec.press)

744 points by pabs3 11 hours ago | 657 comments

3.

Gemini 3 Flash: Frontier intelligence built for speed (blog.google)

528 points by meetpateltech 4 hours ago | 238 comments

4.

AWS CEO says replacing junior devs with AI is 'one of the dumbest ideas' (finalroundai.com)

495 points by birdculture 3 hours ago | 295 comments

5.

No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)

490 points by MrAlex94 22 hours ago | 271 comments

6.

Tell HN: HN was down

362 points by uyzstvqs 4 hours ago | 226 comments

7.

Coursera to combine with Udemy (investor.coursera.com)

312 points by throwaway019254 8 hours ago | 189 comments

8.

MIT professor shot at his Massachusetts home dies (bbc.com)

247 points by mosura 23 hours ago | 162 comments

9.

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)

234 points by pbowyer 22 hours ago | 127 comments

10.

A Safer Container Ecosystem with Docker: Free Docker Hardened Images (docker.com)

192 points by anttiharju 3 hours ago | 45 comments

11.

AI's real superpower: consuming, not creating (msanroman.io)

181 points by firefoxd 12 hours ago | 122 comments

12.

Tesla reports another Robotaxi crash (electrek.co)

147 points by hjouneau 18 hours ago | 119 comments

13.

Yep, Passkeys Still Have Problems (fy.blackhats.net.au)

135 points by todsacerdoti 7 hours ago | 120 comments

14.

How SQLite is tested (sqlite.org)

121 points by whatisabcdefgh 2 hours ago | 14 comments

15.

Firefox is becoming an AI browser and the internet is not at all happy about it (pcgamer.com)

112 points by HelloUsername 4 hours ago | 124 comments

16.

FCC chair suggests agency isn't independent, word cut from mission statement (axios.com)

110 points by jmsflknr 2 hours ago | 91 comments

17.

Introduction to Software Development Tooling (2024) (bernsteinbear.com)

108 points by vismit2000 19 hours ago | 17 comments

18.

TLA+ Modeling Tips (muratbuffalo.blogspot.com)

105 points by birdculture 12 hours ago | 25 comments

19.

US threatens EU digital services market access (twitter.com)

104 points by heisenbit 13 hours ago | 108 comments

20.

Doublespeed hacked, revealing what its AI-generated accounts are promoting (404media.co)

103 points by grahamlee 2 hours ago | 45 comments

21.

Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)

95 points by nulbyte 23 hours ago | 22 comments

22.

Dafny: Verification-Aware Programming Language (dafny.org)

92 points by handfuloflight 22 hours ago | 31 comments

23.

Linux Kernel Rust Code Sees Its First CVE Vulnerability (phoronix.com)

89 points by weinzierl 3 hours ago | 97 comments

24.

Show HN: Learn Japanese contextually while browsing (lingoku.ai)

83 points by englishcat 20 hours ago | 47 comments

25.

Ask HN: Was HN just down for anyone else?

83 points by rozenmd 4 hours ago | 2 comments

26.

More than 100 rally against data centers at Michigan Capitol (lansingstatejournal.com)

77 points by rmason 21 hours ago | 82 comments

27.

Windows 11 will ask consent before sharing personal files with AI after outrage (windowslatest.com)

72 points by jinxmeta 20 hours ago | 46 comments

28.

Locked out: How a gift card purchase destroyed an Apple account (appleinsider.com)

69 points by nonfamous 19 hours ago | 39 comments

29.

California judge rules that Tesla engaged in deceptive marketing for Autopilot (cnbc.com)

63 points by elsewhen 18 hours ago | 14 comments

30.

FTX insider Caroline Ellison has been moved out of prison (businessinsider.com)

57 points by harambae 16 hours ago | 34 comments