Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		220 points by evankhoury 2 hours ago \| hide \| 118 comments
2.		alpr.watch (alpr.watch)
		574 points by theamk 7 hours ago \| hide \| 289 comments
3.		No Graphics API (sebastianaaltonen.com)
		340 points by ryandrake 4 hours ago \| hide \| 59 comments
4.		Ty: A fast Python type checker and LSP (astral.sh)
		209 points by gavide 3 hours ago \| hide \| 42 comments
5.		GPT Image 1.5 (openai.com)
		279 points by charlierguo 5 hours ago \| hide \| 140 comments
6.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		29 points by MrAlex94 1 hour ago \| hide \| 20 comments
7.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		380 points by geox 10 hours ago \| hide \| 161 comments
8.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		396 points by recvonline 10 hours ago \| hide \| 600 comments
9.		MIT professor shot at his Massachusetts home dies (bbc.com)
		128 points by mosura 2 hours ago \| hide \| 60 comments
10.		Americans overestimate how many social media users post harmful content (oup.com)
		7 points by bikenaga 31 minutes ago \| hide \| 5 comments
11.		Midjourney is alemwjsl (aadillpickle.com)
		8 points by aadillpickle 1 hour ago \| hide \| 1 comment
12.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		37 points by nulbyte 2 hours ago \| hide \| 9 comments
13.		Thin desires are eating life (joanwestenberg.com)
		280 points by mitchbob 5 hours ago \| hide \| 110 comments
14.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		74 points by tempodox 5 hours ago \| hide \| 39 comments
15.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		81 points by thatoneengineer 5 hours ago \| hide \| 96 comments
16.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		96 points by rgovostes 5 hours ago \| hide \| 70 comments
17.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		9 points by pbowyer 1 hour ago \| hide \| discuss
18.		Letta Code (letta.com)
		42 points by ascorbic 3 hours ago \| hide \| 20 comments
19.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		209 points by wicket 10 hours ago \| hide \| 32 comments
20.		Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
		6 hours ago \| hide
21.		GitHub will begin charging for self-hosted action runners on March 2026 (github.blog)
		439 points by nklow 6 hours ago \| hide \| 206 comments
22.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		128 points by ewt-nv 8 hours ago \| hide \| 21 comments
23.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		109 points by MaxTeabag 7 hours ago \| hide \| 13 comments
24.		Dafny: Verification-Aware Programming Language (dafny.org)
		6 points by handfuloflight 1 hour ago \| hide \| discuss
25.		Creating custom yellow handshake emojis with zero-width joiners (alexbeals.com)
		55 points by dado3212 5 hours ago \| hide \| 3 comments
26.		Rust GCC backend: Why and how (guillaume-gomez.fr)
		160 points by ahlCVA 10 hours ago \| hide \| 84 comments
27.		Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers (amohan.dev)
		17 points by rcarmo 2 hours ago \| hide \| 2 comments
28.		30 years of <br> tags (artmann.co)
		141 points by FragrantRiver 7 hours ago \| hide \| 40 comments
29.		How geometry is fundamental for chess (lichess.org)
		52 points by fzliu 5 hours ago \| hide \| 19 comments
30.		Pizlix: Memory Safe Linux from Scratch (fil-c.org)
		66 points by nullbyte808 8 hours ago \| hide \| 19 comments
		More