Prediction: AI will make formal verification go mainstream
martin.kleppmann.com
40 percent of fMRI signals do not correspond to actual brain activity
tum.de
Mozilla appoints new CEO Anthony Enzor-Demeo
blog.mozilla.org
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
kemble.net
The World Happiness Report is beset with methodological problems
yaschamounk.substack.com
Thin desires are eating your life
joanwestenberg.com
Japan to revise romanization rules for first time in 70 years
japantimes.co.jp
GitHub will begin charging for self-hosted action runners on March 2026
github.blog
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
gamehistory.org
Context: Odin’s Most Misunderstood Feature
gingerbill.org
Show HN: Sqlit – A lazygit-style TUI for SQL databases
github.com
Artie (YC S23) Is Hiring Senior Enterprise AES
ycombinator.com
Nvidia Nemotron 3 Family of Models
research.nvidia.com
Liskell – Haskell Semantics with Lisp Syntax [pdf]
clemens.endorphin.org
Creating custom yellow handshake emojis with zero-width joiners
blog.alexbeals.com
How geometry is fundamental for chess
lichess.org
Rust GCC back end: Why and how
blog.guillaume-gomez.fr
Vibe coding creates fatigue?
tabulamag.com
Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
github.com
Confuse some SSH bots and make botters block you
mirror.newsdump.org
Pricing Changes for GitHub Actions
resources.github.com
There are some interests on the algorithm behind the Topological Sort Library TopoSort posted a few days ago in finding the dependence free subsets for parallel processing. I've written down the explanation in the linked post.
In essence it is a variant of the Kahn's algorithm. It has sufficient differences that I feel it deserves a separate explanation. It approaches the problem with node sets in a graph instead of individual nodes. This makes the central idea very simple. See the algorithm outline in the write up.