-
137
Prediction: AI will make formal verification go mainstream
(martin.kleppmann.com)
-
554
alpr.watch
(alpr.watch)
-
290
No Graphics API
(sebastianaaltonen.com)
-
142
Ty: A fast Python type checker and LSP
(astral.sh)
-
241
GPT Image 1.5
(openai.com)
-
361
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
-
373
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
-
19
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
-
62
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
-
244
Thin desires are eating life
(joanwestenberg.com)
-
69
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
-
74
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
-
203
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
-
5
Tumbleweed aerodynamics inspire hybrid robots for harsh terrains
(techxplore.com)
-
389
GitHub will begin charging for self-hosted action runners on March 2026
(github.blog)
-
22
Letta Code
(letta.com)
-
94
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
-
Artie (YC S23) Is Hiring Senior Enterprise AES
(ycombinator.com)
job -
107
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
-
73
MIT professor shot at his Massachusetts home dies
(bbc.com)
-
47
Creating custom yellow handshake emojis with zero-width joiners
(blog.alexbeals.com)
-
154
Rust GCC back end: Why and how
(blog.guillaume-gomez.fr)
-
47
How geometry is fundamental for chess
(lichess.org)
-
5
Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers
(amohan.dev)
-
131
30 Years of <Br> Tags
(artmann.co)
-
59
Pizlix: Memory Safe Linux from Scratch
(fil-c.org)
-
123
Vibe coding creates fatigue?
(tabulamag.com)
-
216
Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
(github.com)
-
182
Full Unicode Search at 50× ICU Speed with AVX‑512
(ashvardanian.com)
-
8
Show HN: Deterministic PCIe Diagnostics for GPUs on Linux
(github.com)