Lobster Roll

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

Composing capability security and conflict-free replicated data types (spritely.institute)
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)
Dotcom Survivor Syndrome – How Perl’s Early Success Created the Seeds of Its Downfall (perlhacks.com)
elf: Python CLI and library for Advent of Code with input caching and safe submissions (github.com)
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)
Bringing Emacs Support to OCaml's LSP Server with ocaml-eglot (tarides.com)
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)
bonsai_term: A library for building dynamic terminal apps by Jane Street (github.com)
Swift regrets (belkadan.com)
A Very Fast 64–Bit Date Algorithm: 30-40% faster (benjoffe.com)