Lobster Roll

All Programming (General) 3774 Systems / Low-Level / OS 2950 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1761 AI / Machine Learning 1524 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

Technical "whitepaper" for afl-fuzz (lcamtuf.coredump.cx)
6 pts 0 comments by krtab Feb 12, 2026 formalmethodstesting Programming (General)Programming Languages / CS Theory
Proof-oriented Programming in F* (fstar-lang.org)
21 pts 12 comments by nextos Feb 12, 2026 bookformalmethodsplt Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Technical Issues of Separation in Function Cells and Value Cells (1988) (nhplace.com)
9 pts 0 comments by veqq Feb 12, 2026 historicallisp Programming Languages / CS TheoryCulture / Philosophy / History / Reading
A multi-entry CFG design conundrum (bernsteinbear.com)
5 pts 0 comments by fanf Feb 11, 2026 compilersruby Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryDesign / UX / Visualization
Functional programming in m4 (2020) (tuhs.org)
25 pts 7 comments by fanf Feb 11, 2026 unix Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
The Transducer That Ate Our Heap (reddit.com)
17 pts 2 comments by veqq Feb 11, 2026 clojure Programming Languages / CS Theory
Fluent (mlajtos.github.io)
6 pts 1 comments by veqq Feb 11, 2026 aplplt Programming Languages / CS Theory
Standardizing HLSL (devblogs.microsoft.com)
3 pts 0 comments by RaphGL Feb 11, 2026 compilersgraphics Systems / Low-Level / OSProgramming Languages / CS Theory
Hylo: A Systems Programming Language All in on Value Semantics and Generic Programming (hylo-lang.org)
52 pts 17 comments by fanf Feb 10, 2026 plt Programming (General)Programming Languages / CS Theory
Humanity's last programming language (xeiaso.net)
3 pts 0 comments by gmem Feb 10, 2026 satirevibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
I Wrote a Scheme in 2025 (maplant.com)
83 pts 23 comments by mplant Feb 10, 2026 lisp Programming Languages / CS Theory
Introduction to Timber (2007) (archives.haskell.org)
1 pts 0 comments by edk- Feb 10, 2026 haskell Programming Languages / CS Theory
hs-bindgen 0.1-alpha release (well-typed.com)
4 pts 0 comments by romes Feb 10, 2026 chaskellrelease Systems / Low-Level / OSProgramming Languages / CS Theory
A fun Python puzzle with circular imports (utcc.utoronto.ca)
10 pts 1 comments by runxiyu Feb 10, 2026 python Programming (General)Programming Languages / CS Theory
c-- (2008) (cs.tufts.edu)
15 pts 3 comments by veqq Feb 10, 2026 compilersplt Systems / Low-Level / OSProgramming Languages / CS Theory
What Functional Programmers Get Wrong About Systems (iankduncan.com)
36 pts 25 comments by typesanitizer Feb 10, 2026 distributedvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
avoxelgame: Voxel Game in APL and SDL3 (github.com)
5 pts 0 comments by veqq Feb 9, 2026 aplgamesgraphics Programming Languages / CS TheoryGaming / Retro Computing
Better Python tests with inline-snapshot (pydantic.dev)
18 pts 11 comments by a5rocks Feb 9, 2026 pythontesting Programming (General)Programming Languages / CS Theory
Ruby Newbie is joining the Ruby Users Forum (rubyforum.org)
6 pts 1 comments by jvrc_ca Feb 9, 2026 programmingruby Programming (General)Programming Languages / CS TheoryInternet / Digital Culture
six thoughts on generating c (wingolog.org)
50 pts 9 comments by fanf Feb 9, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
A Language For Agents (lucumr.pocoo.org)
15 pts 18 comments by hongminhee Feb 9, 2026 pltvibecoding AI / Machine LearningProgramming Languages / CS Theory
Algorithmically Finding the Longest Line of Sight on Earth
64 pts 15 comments by tombh Feb 9, 2026 releaserust Systems / Low-Level / OSProgramming Languages / CS Theory
Alice the Caml (gridbugs.org)
22 pts 2 comments by BananaPants87 Feb 9, 2026 ml Programming Languages / CS Theory
Fun With Dada (smallcultfollowing.com)
8 pts 4 comments by LesleyLai Feb 9, 2026 plt Programming Languages / CS Theory
bankster: Money as data (github.com)
2 pts 0 comments by veqq Feb 9, 2026 clojurefinance Programming Languages / CS TheoryProductivity / Career / Business
Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009) (scholarworks.iu.edu)
6 pts 0 comments by veqq Feb 8, 2026 logiclangspdf Programming (General)Programming Languages / CS Theory
miniKanren.org (minikanren.org)
39 pts 3 comments by veqq Feb 8, 2026 logiclangs Programming Languages / CS Theory
Beta release: Predicated Recursive Descent for Rust (wareya.wordpress.com)
20 pts 3 comments by LenFalken Feb 8, 2026 pltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Testing can be fun, actually (giacomocavalieri.me)
36 pts 49 comments by bugsmith Feb 8, 2026 gleampracticestesting Programming (General)Programming Languages / CS TheoryProductivity / Career / Business
Circumstantial Complexity, LLMs and Large Scale Architecture (datagubbe.se)
1 pts 0 comments by facundoolano Feb 8, 2026 practicesvibecoding AI / Machine LearningProgramming Languages / CS TheoryProductivity / Career / Business