Lobster Roll

All Programming (General) 1724 Systems / Low-Level / OS 1339 Programming Languages / CS Theory 932 AI / Machine Learning 849 Data / Databases / Infrastructure 799 Web Development 594 Security / Privacy 450 Culture / Philosophy / History / Reading 418 Productivity / Career / Business 317 Maker / DIY / Hardware 241 Gaming / Retro Computing 234 Design / UX / Visualization 217 Science / Math / Physics 190 Apple / macOS / iOS 144 Internet / Digital Culture 83 Health / Fitness / Lifestyle 9 Crypto / Blockchain 2

Programming Languages / CS Theory

Vibecoding Challenge 2: The Five Feathers (Spring 2026) (gist.github.com)
17 pts 5 comments by Corbin Mar 2, 2026 aimathpltvibecoding AI / Machine LearningProgramming Languages / CS TheoryScience / Math / Physics
APT Graph Colouring (github.com)
5 pts 0 comments by ryangibb Mar 2, 2026 compscishow Programming (General)Programming Languages / CS Theory
Kovan: From Production MVCC Systems to Wait-Free Memory Reclamation (vertexclique.com)
5 pts 1 comments by sp6370 Mar 2, 2026 formalmethodsrust Systems / Low-Level / OSProgramming Languages / CS Theory
Sabela: A Reactive Haskell Notebook (datahaskell.org)
13 pts 1 comments by ettolrach Mar 2, 2026 haskell Programming Languages / CS Theory
Python Type Checker Comparison: Empty Container Inference (pyrefly.org)
11 pts 0 comments by jez Mar 1, 2026 pltpython Programming (General)Programming Languages / CS Theory
Supercharge Rust functions with implicit arguments using CGP v0.7.0 (contextgeneric.dev)
6 pts 12 comments by soareschen Mar 1, 2026 pltreleaserust Systems / Low-Level / OSProgramming Languages / CS Theory
Blogatto - A Gleam framework for building static blogs (blogat.to)
24 pts 7 comments by krig Mar 1, 2026 gleam Programming (General)Programming Languages / CS Theory
Simple Made Inevitable: The Economics of Language Choice in the LLM Era (felixbarbalet.com)
11 pts 8 comments by adityaathalye Mar 1, 2026 clojurevibecoding AI / Machine LearningProgramming Languages / CS TheoryCulture / Philosophy / History / Reading
Custom Data Structures in E-Graphs (uwplse.org)
19 pts 4 comments by saulshanabrook Feb 28, 2026 logiclangspltpython Programming (General)Programming Languages / CS Theory
Package Managers à la Carte: A Formal Model of Dependency Resolution (arxiv.org)
78 pts 10 comments by ryangibb Feb 28, 2026 compsci Programming Languages / CS Theory
Optimal Caverna Gameplay via Formal Methods (stephendiehl.com)
7 pts 0 comments by ehamberg Feb 27, 2026 formalmethods Programming Languages / CS Theory
Understanding alignment - from source to object file (maskray.me)
5 pts 0 comments by epilys Feb 27, 2026 compilersprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Ruby on Rails roadmap added (roadmap.sh)
2 pts 0 comments by rebeca Feb 27, 2026 ruby Programming (General)Programming Languages / CS Theory
Lazy BDDs with eager literal intersections (elixir-lang.org)
4 pts 0 comments by eBPF Feb 26, 2026 elixirplt Programming Languages / CS Theory
Sliced by Go’s Slices (ohadravid.github.io)
45 pts 33 comments by ohrv Feb 26, 2026 goplt Programming (General)Programming Languages / CS Theory
Making WebAssembly a first-class language on the Web (hacks.mozilla.org)
101 pts 56 comments by bvisness Feb 26, 2026 wasmweb Web DevelopmentProgramming Languages / CS Theory
Background Jobs Without the Baggage (curling.io)
4 pts 0 comments by krig Feb 26, 2026 devopsgleam Programming Languages / CS TheoryData / Databases / Infrastructure
Evolving Languages Faster with Type Tailoring (2024) (lambdaland.org)
16 pts 2 comments by abhin4v Feb 26, 2026 lispplt Programming Languages / CS Theory
Against Query Based Compilers (matklad.github.io)
65 pts 33 comments by LesleyLai Feb 26, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Managing Complexity with Mycelium (yogthos.net)
3 pts 3 comments by Yogthos Feb 25, 2026 clojureprogrammingvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
The Agentic Mullet: code in the front, proofs in the back (amplifypartners.com)
1 pts 0 comments by itsjack Feb 25, 2026 formalmethodsrustvibecoding AI / Machine LearningSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Gleam is boring, so I went to a conference about it (builders.perk.com)
23 pts 2 comments by alper Feb 25, 2026 gleam Programming Languages / CS Theory
Dictionary of Algorithms and Data Structures (xlinux.nist.gov)
15 pts 2 comments by regulator Feb 25, 2026 compsci Programming Languages / CS Theory
Language-Oriented Programming with Racket (2019) (youtube.com)
18 pts 0 comments by b--man Feb 25, 2026 lispprogrammingvideo Programming (General)Programming Languages / CS Theory
Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation (arxiv.org)
22 pts 1 comments by asb Feb 25, 2026 compscipdf Programming Languages / CS Theory
LeanServer WASM — Verified Cryptography in the Browser (github.com)
2 pts 0 comments by regulator Feb 25, 2026 cryptographyformalmethodswasm Web DevelopmentProgramming Languages / CS Theory
Build Your Own Forth Interpreter | Coding Challenges (codingchallenges.fyi)
1 pts 0 comments by spc476 Feb 25, 2026 concatenative Programming (General)Programming Languages / CS Theory
Parse Me, Baby, One More Time: Bypassing HTML Sanitizer via Parsing Differentials (2024) (ias.cs.tu-bs.de)
1 pts 0 comments by fanf Feb 24, 2026 pdfsecurityweb Web DevelopmentProgramming Languages / CS TheorySecurity / Privacy
λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
10 pts 1 comments by veqq Feb 24, 2026 logiclangs Programming (General)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