Hacker News

1.		Prediction: AI will make formal verification go mainstream (kleppmann.com)
		141 points by evankhoury 1 hour ago \| hide \| 72 comments
2.		alpr.watch (alpr.watch)
		555 points by theamk 6 hours ago \| hide \| 276 comments
3.		No Graphics API (sebastianaaltonen.com)
		291 points by ryandrake 3 hours ago \| hide \| 45 comments
4.		Ty: A fast Python type checker and LSP (astral.sh)
		149 points by gavide 2 hours ago \| hide \| 27 comments
5.		GPT Image 1.5 (openai.com)
		242 points by charlierguo 4 hours ago \| hide \| 128 comments
6.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		364 points by geox 9 hours ago \| hide \| 161 comments
7.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		375 points by recvonline 9 hours ago \| hide \| 544 comments
8.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		22 points by nulbyte 1 hour ago \| hide \| 3 comments
9.		Thin desires are eating life (joanwestenberg.com)
		246 points by mitchbob 4 hours ago \| hide \| 93 comments
10.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		63 points by tempodox 4 hours ago \| hide \| 31 comments
11.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		70 points by thatoneengineer 4 hours ago \| hide \| 90 comments
12.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		75 points by rgovostes 4 hours ago \| hide \| 53 comments
13.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		204 points by wicket 9 hours ago \| hide \| 28 comments
14.		GitHub will begin charging for self-hosted action runners on March 2026 (github.blog)
		396 points by nklow 5 hours ago \| hide \| 171 comments
15.		Tumbleweed aerodynamics inspire hybrid robots for harsh terrains (techxplore.com)
		5 points by wglb 1 hour ago \| hide \| 1 comment
16.		Letta Code (letta.com)
		24 points by ascorbic 2 hours ago \| hide \| 10 comments
17.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		109 points by ewt-nv 7 hours ago \| hide \| 17 comments
18.		Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
		5 hours ago \| hide
19.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		94 points by MaxTeabag 6 hours ago \| hide \| 11 comments
20.		MIT professor shot at his Massachusetts home dies (bbc.com)
		76 points by mosura 1 hour ago \| hide \| 27 comments
21.		Rust GCC back end: Why and how (guillaume-gomez.fr)
		155 points by ahlCVA 9 hours ago \| hide \| 76 comments
22.		Creating custom yellow handshake emojis with zero-width joiners (alexbeals.com)
		47 points by dado3212 4 hours ago \| hide \| 2 comments
23.		How geometry is fundamental for chess (lichess.org)
		48 points by fzliu 4 hours ago \| hide \| 18 comments
24.		Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers (amohan.dev)
		8 points by rcarmo 1 hour ago \| hide \| discuss
25.		30 Years of <Br> Tags (artmann.co)
		132 points by FragrantRiver 6 hours ago \| hide \| 32 comments
26.		Vibe coding creates fatigue? (tabulamag.com)
		127 points by rom16384 4 hours ago \| hide \| 128 comments
27.		Confuse some SSH bots and make botters block you (newsdump.org)
		45 points by Bender 4 hours ago \| hide \| 19 comments
28.		Pizlix: Memory Safe Linux from Scratch (fil-c.org)
		59 points by nullbyte808 7 hours ago \| hide \| 17 comments
29.		Purrtran – ᓚᘏᗢ – A Programming Language for Cat People (github.com/cmontella)
		216 points by simonpure 9 hours ago \| hide \| 31 comments
30.		Full Unicode Search at 50× ICU Speed with AVX‑512 (ashvardanian.com)
		183 points by ashvardanian 11 hours ago \| hide \| 70 comments
		More