Lobster Roll

All Programming (General) 3773 Systems / Low-Level / OS 2950 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1761 AI / Machine Learning 1523 Web Development 1308 Security / Privacy 1009 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 731 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

Extending C with Prolog (1994) (amzi.com)
3 pts 0 comments by veqq Feb 24, 2026 clogiclangs Systems / Low-Level / OSProgramming Languages / CS Theory
TLA+ By Example (tlabyexample.com)
30 pts 5 comments by hwayne Feb 24, 2026 formalmethods Programming Languages / CS Theory
Racket v9.1 (blog.racket-lang.org)
7 pts 0 comments by FedericoSchonborn Feb 24, 2026 lisprelease Programming Languages / CS Theory
Compiler Education Deserves a Revolution (thunderseethe.dev)
35 pts 15 comments by azhenley Feb 24, 2026 compilerseducation Systems / Low-Level / OSProgramming Languages / CS Theory
Hacklog: Diffing and Comparing Guix Derivations Using Breadth-first Search & Jaccard (me.literatelisp.eu)
2 pts 0 comments by FedericoSchonborn Feb 24, 2026 lispnix Systems / Low-Level / OSProgramming Languages / CS Theory
Verifpal, Rewritten in Rust (symbolic.software)
-1 pts 0 comments by nadim Feb 23, 2026 cryptographyformalmethodsrustvibecoding AI / Machine LearningSystems / Low-Level / OSProgramming Languages / CS Theory
Some Silly Z3 Scripts I Wrote (hillelwayne.com)
24 pts 1 comments by hwayne Feb 23, 2026 formalmethods Programming Languages / CS Theory
Using Haskell's 'newtype' in C (blog.nelhage.com)
23 pts 6 comments by telemachus Feb 23, 2026 c Systems / Low-Level / OSProgramming Languages / CS Theory
Designing Odin's Casting Syntax (gingerbill.org)
16 pts 0 comments by olex Feb 23, 2026 compilerspltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Fast starting Clojure runtime built with GraalVM native-image + Crema (github.com)
17 pts 7 comments by Yogthos Feb 23, 2026 clojureprogramming Programming (General)Programming Languages / CS Theory
CSLib: The Lean Computer Science Library (arxiv.org)
11 pts 0 comments by avsm Feb 22, 2026 formalmethods Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading
Are Compilers Deterministic? (blog.onepatchdown.net)
2 pts 3 comments by susam Feb 22, 2026 compilersvibecoding AI / Machine LearningSystems / Low-Level / OSProgramming Languages / CS Theory
cl-kawa: A Turducken of Programming Languages (atgreen.github.io)
17 pts 2 comments by atgreen Feb 22, 2026 javalispvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (blog.discourse.org)
6 pts 6 comments by nogweii Feb 22, 2026 ruby Programming (General)Programming Languages / CS Theory
A 'frozen' dictionary for Python (lwn.net)
6 pts 1 comments by ryan-duve Feb 22, 2026 python Programming (General)Programming Languages / CS Theory
Loon — A LISP that flies (loonlang.com)
4 pts 9 comments by vulcan Feb 21, 2026 lispvibecodingwasm AI / Machine LearningWeb DevelopmentProgramming Languages / CS Theory
cereggii: Thread synchronization utilities for Python (github.com)
5 pts 1 comments by ngoldbaum Feb 21, 2026 python Programming (General)Programming Languages / CS Theory
The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart (medium.com)
9 pts 22 comments by b--man Feb 21, 2026 historicalprogrammingscala Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Naked Objects (2004) (downloads.nakedobjects.net)
4 pts 2 comments by LAC-Tech Feb 20, 2026 compscipdf Programming Languages / CS Theory
Lil' Fun Langs (taylor.town)
40 pts 8 comments by susam Feb 20, 2026 plt Programming Languages / CS Theory
Linking Smaller Haskell Binaries (brandon.si)
10 pts 0 comments by hongminhee Feb 20, 2026 haskell Programming Languages / CS Theory
two mechanisms for dynamic type checks (wingolog.org)
12 pts 0 comments by tekknolagi Feb 20, 2026 compsciplt Programming Languages / CS Theory
Continuations and Transducer Composition (2006) (matt.might.net)
3 pts 0 comments by veqq Feb 19, 2026 lisppdf Programming Languages / CS Theory
A Scheme Shell (1994) (publications.csail.mit.edu)
6 pts 1 comments by veqq Feb 19, 2026 lisppdfunix Systems / Low-Level / OSProgramming Languages / CS Theory
Concrete syntax matters, actually (youtube.com)
12 pts 3 comments by isuffix Feb 19, 2026 pltvideo Programming Languages / CS Theory
The Missing Semester of Your CS Education (missing.csail.mit.edu)
116 pts 18 comments by jonhoo Feb 19, 2026 compscieducationpracticesunix Systems / Low-Level / OSProgramming Languages / CS TheoryProductivity / Career / Business
Choosing a Language Based on its Syntax? (gingerbill.org)
45 pts 44 comments by gingerBill Feb 19, 2026 designpltprogramming Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization
Inside OpenFGA's Improved ListObjects Algorithm (auth0.com)
1 pts 0 comments by jpadilla Feb 19, 2026 goperformance Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
Salt: Systems programming, mathematically verified (salt-lang.dev)
9 pts 18 comments by munksgaard Feb 19, 2026 pltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryScience / Math / Physics
Fairstream (blog.gluegadget.com)
2 pts 0 comments by amir Feb 19, 2026 scala Programming Languages / CS Theory