-
80
Prediction: AI will make formal verification go mainstream
(martin.kleppmann.com)
-
539
alpr.watch
(alpr.watch)
-
268
No Graphics API
(sebastianaaltonen.com)
-
223
GPT Image 1.5
(openai.com)
-
86
Ty: A fast Python type checker and LSP
(astral.sh)
-
359
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
-
361
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
-
43
MIT professor shot at his Massachusetts home dies
(bbc.com)
-
229
Thin desires are eating life
(joanwestenberg.com)
-
66
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
-
57
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
-
12
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
-
197
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
-
370
GitHub will begin charging for self-hosted action runners on March 2026
(github.blog)
-
103
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
-
86
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
-
Artie (YC S23) Is Hiring Senior Enterprise AES
(ycombinator.com)
job -
16
Letta Code
(letta.com)
-
45
Creating custom yellow handshake emojis with zero-width joiners
(blog.alexbeals.com)
-
151
Rust GCC back end: Why and how
(blog.guillaume-gomez.fr)
-
6
Show HN: Deterministic PCIe Diagnostics for GPUs on Linux
(github.com)
-
8
The Beauty of Dissonance
(plough.com)
-
43
How geometry is fundamental for chess
(lichess.org)
-
124
30 Years of <Br> Tags
(artmann.co)
-
56
Pizlix: Memory Safe Linux from Scratch
(fil-c.org)
-
118
Vibe coding creates fatigue?
(tabulamag.com)
-
214
Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
(github.com)
-
180
Full Unicode Search at 50× ICU Speed with AVX‑512
(ashvardanian.com)
-
39
Confuse some SSH bots and make botters block you
(mirror.newsdump.org)
-
428
Pricing Changes for GitHub Actions
(resources.github.com)