Composing capability security and conflict-free replicated data types
(spritely.institute)
All
Programming (General) 43089
Systems / Low-Level / OS 28739
Programming Languages / CS Theory 22274
Data / Databases / Infrastructure 16920
Web Development 14859
Security / Privacy 13153
Culture / Philosophy / History / Reading 13013
Productivity / Career / Business 9857
Maker / DIY / Hardware 7111
Science / Math / Physics 5321
AI / Machine Learning 5068
Design / UX / Visualization 4706
Gaming / Retro Computing 4161
Apple / macOS / iOS 3347
Internet / Digital Culture 1746
Crypto / Blockchain 492
Health / Fitness / Lifestyle 122
Programming Languages / CS Theory
100000 TPS over a billion rows: the unreasonable effectiveness of SQLite
(andersmurphy.com)
Progress on TypeScript 7 - December 2025
(devblogs.microsoft.com)
The Past, Present and Future of Programming Languages
(youtube.com)
Solving AoC in Q
(mkst.github.io)
Lazier Binary Decision Diagrams (BDDs) for set-theoretic types
(elixir-lang.org)
Addressing the adding situation
(xania.org)
PtrHash: Minimal Perfect Hashing at RAM Throughput
(curiouscoding.nl)
The Easiest Way to Build a Type Checker
(jimmyhmiller.com)
GSoC 2025: ClangIR upstreaming
(blog.llvm.org)
Why So Serious? (A Response to Ruby Is Not a Serious Programming Language)
(robbyonrails.com)
Why xor eax, eax?
(xania.org)
Medley Interlisp for the Newcomer
(primer.interlisp.org)
Dutch Clojure Days 2026
(clojuredays.org)
Punycode: My New Favorite Algorithm
(iankduncan.com)
ty - Python type checker
(docs.astral.sh)
The Origins of Scala (2009)
(artima.com)
Langjam Gamejam: Build a programming language then make a game with it
(langjamgamejam.com)
MetaFun: Compile Haskell-like code to C++ template metaprograms
(gergo.erdi.hu)
Comparing Obelisk with DBOS
(obeli.sk)
Lowtype: Elegant types in Ruby
(codeberg.org)
Lazy Linearity for a Core Functional Language
(alt-romes.github.io)
Optimizing Ray Tracing in Haskell (2020)
(medium.com)
Graph Algorithms in Rayon
(davidlattimore.github.io)
Swift regrets
(belkadan.com)
A Very Fast 64–Bit Date Algorithm: 30-40% faster
(benjoffe.com)