Lobster Roll

All Programming (General) 3776 Systems / Low-Level / OS 2953 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1763 AI / Machine Learning 1526 Web Development 1309 Security / Privacy 1010 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 732 Gaming / Retro Computing 538 Maker / DIY / Hardware 516 Design / UX / Visualization 491 Science / Math / Physics 428 Apple / macOS / iOS 355 Internet / Digital Culture 162 Health / Fitness / Lifestyle 14 Crypto / Blockchain 4

Programming Languages / CS Theory

The rise and fall of Scala (2016) (beyondjava.net)
10 pts 8 comments by lr0 Jan 27, 2026 scala Programming Languages / CS Theory
The Concatenative Language XY (nsl.com)
4 pts 0 comments by veqq Jan 27, 2026 aplconcatenative Programming Languages / CS Theory
Writing a Lisp JIT Interpreter with GraalVM Truffle (kyo.iroiro.party)
15 pts 1 comments by abhin4v Jan 27, 2026 compilersjavalisp Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
prolog-blog-engine: blog engine in pure Prolog. 0 dependencies, Markdown, server (github.com)
8 pts 1 comments by veqq Jan 26, 2026 logiclangsweb Web DevelopmentProgramming Languages / CS TheoryInternet / Digital Culture
Package JVM applications into self-contained binaries. No JVM installation required (github.com)
6 pts 1 comments by Yogthos Jan 26, 2026 clojurejava Programming (General)Programming Languages / CS Theory
ChronDB: Transforming a Clojure Database into a Polyglot Library with GraalVM Native Image and FFI (avelino.run)
1 pts 1 comments by Yogthos Jan 26, 2026 clojuredatabases Programming (General)Programming Languages / CS TheoryData / Databases / InfrastructureCulture / Philosophy / History / Reading
Retraining X's Phoenix recommendation algorithm on a 17-year-old account (stevehanov.ca)
1 pts 0 comments by abareplace Jan 26, 2026 aijavascript AI / Machine LearningWeb DevelopmentProgramming Languages / CS Theory
Porting DOOM to my WebAssembly VM (irreducible.io)
15 pts 1 comments by irreducible Jan 26, 2026 crustwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory
The Intent Envelope: Proofs for Completeness, Not Just Soundness (midspiral.com)
5 pts 4 comments by heyyfernanda Jan 26, 2026 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory
Reversing abstractions: an existential crisis (humprog.org)
10 pts 2 comments by k-monk Jan 26, 2026 pltunix Systems / Low-Level / OSProgramming Languages / CS Theory
Optimizing GPU Programs from Java using Babylon and HAT (openjdk.org)
2 pts 0 comments by asb Jan 26, 2026 compilersjavaperformance Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
McCLIM and 7GUIs - Part 1: The Counter (turtleware.eu)
36 pts 3 comments by jackdaniel Jan 26, 2026 lispprogramming Programming (General)Programming Languages / CS Theory
Implementing the transcendental functions in Ivy (commandcenter.blogspot.com)
23 pts 2 comments by abhin4v Jan 26, 2026 aplmathplt Programming Languages / CS TheoryScience / Math / Physics
Long branches in compilers, assemblers, and linkers (maskray.me)
19 pts 0 comments by epilys Jan 26, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
sysp: Systems Lisp compiling to C with homoiconic macros, refcounted memory, Hindley-Milner type inference (github.com)
29 pts 14 comments by veqq Jan 26, 2026 lisp Programming Languages / CS Theory
Visitor as a sum type (2018) (blog.ploeh.dk)
12 pts 9 comments by qiu Jan 25, 2026 plt Programming Languages / CS Theory
cppstat - C and C++ Compiler Support Status (cppstat.dev)
8 pts 2 comments by linkdd Jan 25, 2026 cc++compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Stackmaxxing for a recursion world record (youtube.com)
3 pts 1 comments by hugoarnal Jan 25, 2026 assemblyclinuxvideo Systems / Low-Level / OSProgramming Languages / CS Theory
Here's how to generate a truly random number with quantum physics (popsci.com)
9 pts 1 comments by 3digitdev Jan 25, 2026 compscicryptography Programming Languages / CS TheoryScience / Math / Physics
e9p - pure Erlang 9p implementation (tangled.org)
56 pts 0 comments by hauleth Jan 24, 2026 erlangshow Programming (General)Programming Languages / CS Theory
Coi - WebAssembly for the Modern Web (io-eric.github.io)
30 pts 9 comments by jturner Jan 24, 2026 wasmweb Web DevelopmentProgramming Languages / CS Theory
vivace-graph-v3: CL graph database & Prolog implementation (github.com)
5 pts 4 comments by veqq Jan 24, 2026 databaseslisp Programming Languages / CS TheoryData / Databases / Infrastructure
lispE: Lisp interpreter with Data Structure, Pattern Programming, High level Functions, Lazy Evaluation (github.com)
14 pts 2 comments by veqq Jan 24, 2026 lisp Programming (General)Programming Languages / CS Theory
Golang panic recovery (dolthub.com)
2 pts 0 comments by eduard Jan 23, 2026 go Programming (General)Programming Languages / CS Theory
The WebRacket language is a subset of Racket that compiles to WebAssembly (github.com)
27 pts 7 comments by apropos Jan 23, 2026 compilerslispwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory
One-off Verified Transpilation with Claude (will62794.github.io)
5 pts 1 comments by we6251 Jan 23, 2026 formalmethodsvibecoding AI / Machine LearningProgramming Languages / CS Theory
Dynamic GHC matrix in GitHub CI (hasufell.github.io)
3 pts 0 comments by janus Jan 23, 2026 haskellpracticestesting Programming (General)Programming Languages / CS TheoryProductivity / Career / Business
Compiling Scheme to WebAssembly (eli.thegreenplace.net)
20 pts 0 comments by fanf Jan 23, 2026 lispwasm Web DevelopmentProgramming Languages / CS Theory
python_uaf: Use-after-free in Python (github.com)
2 pts 0 comments by mtlynch Jan 23, 2026 pythonsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy
Class vs. Instance Methods in Ruby (2020) (medium.com)
2 pts 0 comments by rebeca Jan 22, 2026 ruby Programming (General)Programming Languages / CS Theory