Lobster Roll

All Programming (General) 16780 Systems / Low-Level / OS 13830 Programming Languages / CS Theory 8887 Data / Databases / Infrastructure 7560 Web Development 5350 Security / Privacy 4471 Culture / Philosophy / History / Reading 4410 AI / Machine Learning 3383 Productivity / Career / Business 3012 Maker / DIY / Hardware 2800 Gaming / Retro Computing 1787 Design / UX / Visualization 1773 Science / Math / Physics 1694 Apple / macOS / iOS 1515 Internet / Digital Culture 649 Crypto / Blockchain 44 Health / Fitness / Lifestyle 43

Programming Languages / CS Theory

GNU Mes and the module system (ekaitz.elenq.tech)
18 pts 0 comments by FedericoSchonborn Dec 26, 2025 lispperformance Programming Languages / CS TheoryData / Databases / Infrastructure
Writing an NES emulator in Haskell (arthi-chaud.github.io)
35 pts 5 comments by abhin4v Dec 26, 2025 haskellretrocomputing Programming Languages / CS TheoryGaming / Retro Computing
doubly dual shuffles (dotat.at)
5 pts 1 comments by fanf Dec 26, 2025 compsci Programming Languages / CS Theory
TLA+ in Practice and Theory Part 3: The (Temporal) Logic of Actions (pron.github.io)
5 pts 0 comments by ocramz Dec 25, 2025 formalmethods Programming Languages / CS Theory
Python 3.15’s interpreter for Windows x86-64 should hopefully be 15% faster (fidget-spinner.github.io)
23 pts 1 comments by ngoldbaum Dec 25, 2025 performancepython Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
Gleam v1.14 - the happy holidays release 2025 (gleam.run)
69 pts 6 comments by giacomo_cavalieri Dec 25, 2025 gleam Programming Languages / CS Theory
Ruby 4.0.0 Released (ruby-lang.org)
66 pts 10 comments by havenwood Dec 25, 2025 ruby Programming (General)Programming Languages / CS Theory
Load and store forwarding in the Toy Optimizer (bernsteinbear.com)
14 pts 0 comments by asb Dec 25, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Advent of Code 2025: Haskell Solution Reflections for all 12 Days (blog.jle.im)
9 pts 1 comments by adamshaylor Dec 25, 2025 haskell Programming (General)Programming Languages / CS Theory
Datafun - functional language that generalizes Datalog (rntz.net)
19 pts 0 comments by veqq Dec 24, 2025 plt Programming Languages / CS Theory
cjanet (github.com)
38 pts 4 comments by veqq Dec 24, 2025 clisp Systems / Low-Level / OSProgramming Languages / CS Theory
Swanky Python: Interactive development for Python (emacsconf.org)
4 pts 0 comments by soulseeder Dec 24, 2025 emacspythontranscriptvideo Programming (General)Programming Languages / CS Theory
Mostly Automated Proof Repair for Verified Libraries (kirancodes.me)
5 pts 0 comments by pushcx Dec 23, 2025 formalmethodsmlpdf Programming Languages / CS Theory
sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM (github.com)
7 pts 3 comments by romforth Dec 23, 2025 databaseswasmweb Web DevelopmentProgramming Languages / CS TheoryData / Databases / Infrastructure
Memoization via Representables (2022) (iagoleal.com)
3 pts 0 comments by abhin4v Dec 23, 2025 haskell Programming Languages / CS Theory
From Zero to QED: An informal introduction to formality in Lean 4 (sdiehl.github.io)
25 pts 0 comments by mplant Dec 22, 2025 compsciformalmethods Programming Languages / CS Theory
Nature Programming Language (nature-lang.org)
16 pts 20 comments by kana Dec 22, 2025 compilersplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Flocking Quadtrees in Clojure (lbjgruppen.com)
7 pts 0 comments by daveliepmann Dec 22, 2025 clojuregraphics Programming Languages / CS Theory
When SIMD Fails: Floating Point Associativity (xania.org)
9 pts 1 comments by LesleyLai Dec 22, 2025 assemblycompilersperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure
Galois Slicing as Automatic Differentiation (arxiv.org)
3 pts 0 comments by suhacker256 Dec 22, 2025 aiplt AI / Machine LearningProgramming Languages / CS Theory
Tinyfront (tinyfront.mooo.com)
11 pts 0 comments by janus Dec 22, 2025 compilersunix Systems / Low-Level / OSProgramming Languages / CS Theory
Thirteen years of Rust and the birth of Rue (steveklabnik.com)
76 pts 20 comments by steveklabnik Dec 21, 2025 pltvibecoding AI / Machine LearningSystems / Low-Level / OSProgramming Languages / CS Theory
What’s new in Python 3.15 (docs.python.org)
40 pts 16 comments by parachuteparrot Dec 21, 2025 python Programming (General)Programming Languages / CS Theory
Inverse parentheses (kellett.im)
22 pts 17 comments by edk- Dec 21, 2025 plt Programming Languages / CS Theory
Computational complexity of New York Times games (arxiv.org)
5 pts 0 comments by claytonwramsey Dec 21, 2025 math Programming Languages / CS TheoryScience / Math / Physics
Exploring Speculative JIT Compilation for Emacs Lisp with Java (kyo.iroiro.party)
26 pts 10 comments by kana Dec 21, 2025 compilersemacsjava Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Text similarity search via normalized compression distance (discourse.haskell.org)
6 pts 3 comments by ocramz Dec 21, 2025 aihaskellvibecoding AI / Machine LearningProgramming Languages / CS Theory
An introduction to property-based testing with QuickCheck (2020) (jesper.sikanda.be)
4 pts 0 comments by abhin4v Dec 21, 2025 haskell Programming Languages / CS Theory
romforth: Ultra Portable, Small, Baremetal Forth for various processors (github.com)
38 pts 3 comments by spc476 Dec 21, 2025 concatenative Programming Languages / CS Theory
Granule, a statically-typed linear functional language with graded modal types (github.com)
25 pts 4 comments by aziis98 Dec 20, 2025 plt Programming Languages / CS Theory