FastHTML page

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

347 points by evankhoury 6 hours ago | 185 comments

2. alpr.watch (alpr.watch)

637 points by theamk 10 hours ago | 325 comments

3. No Graphics API (www.sebastianaaltonen.com)

435 points by ryandrake 7 hours ago | 81 comments

4. Announcing the Beta release of ty (astral.sh)

344 points by gavide 6 hours ago | 67 comments

5. Midjourney is alemwjsl (www.aadillpickle.com)

82 points by aadillpickle 6 days ago | 34 comments

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

120 points by MrAlex94 5 hours ago | 73 comments

7. GPT Image 1.5 (openai.com)

329 points by charlierguo 9 hours ago | 174 comments

8. Pricing Changes for GitHub Actions (resources.github.com)

500 points by kevin-david 10 hours ago | 585 comments

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

76 points by pbowyer 4 hours ago | 44 comments

10. Sei AI (YC W22) Is Hiring (www.ycombinator.com)

None points by 2 hours ago | 0 comments

11. CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)

11 points by vismit2000 an hour ago | 0 comments

12. 40 percent of fMRI signals do not correspond to actual brain activity (www.tum.de)

398 points by geox 13 hours ago | 176 comments

13. Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)

430 points by recvonline 13 hours ago | 665 comments

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

33 points by handfuloflight 4 hours ago | 14 comments

15. Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)

14 points by surprisetalk 4 days ago | 1 comments

16. Thin desires are eating life (www.joanwestenberg.com)

329 points by mitchbob a day ago | 135 comments

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

20 points by rmason 3 hours ago | 7 comments

18. Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com)

11 points by ThailandJohn 13 hours ago | 2 comments

19. Japan to revise romanization rules for first time in 70 years (www.japantimes.co.jp)

123 points by rgovostes 18 hours ago | 103 comments

20. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)

224 points by wicket 14 hours ago | 34 comments

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

197 points by mosura 5 hours ago | 90 comments

22. Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)

87 points by tempodox 11 hours ago | 52 comments

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

15 points by nonfamous 44 minutes ago | 3 comments

24. The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)

88 points by thatoneengineer a day ago | 110 comments

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

53 points by nulbyte 5 hours ago | 11 comments

26. Nvidia Nemotron 3 Family of Models (research.nvidia.com)

147 points by ewt-nv 2 days ago | 28 comments

27. Meta's new A.I. superstars are chafing against the rest of the company (www.nytimes.com)

69 points by furcyd 6 days ago | 79 comments

28. Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)

118 points by MaxTeabag a day ago | 17 comments

29. Letta Code (www.letta.com)

60 points by ascorbic 6 hours ago | 27 comments

30. FVWM-95 (2001) (fvwm95.sourceforge.net)

113 points by mghackerlady 10 hours ago | 82 comments

Scroll for more..