Lobster Roll

All Programming (General) 1849 Systems / Low-Level / OS 1433 Programming Languages / CS Theory 997 AI / Machine Learning 884 Data / Databases / Infrastructure 855 Web Development 631 Security / Privacy 494 Culture / Philosophy / History / Reading 460 Productivity / Career / Business 343 Maker / DIY / Hardware 259 Gaming / Retro Computing 258 Design / UX / Visualization 226 Science / Math / Physics 205 Apple / macOS / iOS 161 Internet / Digital Culture 86 Health / Fitness / Lifestyle 12 Crypto / Blockchain 2

Programming Languages / CS Theory

The Emperor's Old Clothes: Tony Hoare's Turing Award Lecture (labouseur.com)
1 pts 0 comments by orib 1h ago pdfphilosophy Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Pristan: The simplest way to create a plugin infrastructure in Python (github.com)
1 pts 0 comments by pomponchik 2h ago pythonrelease Programming (General)Programming Languages / CS Theory
Cellpond: Spatial programming without escape (youtube.com)
1 pts 0 comments by james 4h ago compscigraphicsvideovisualization Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization
TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com)
1 pts 0 comments by eatonphil 6h ago databasesformalmethods Programming Languages / CS TheoryData / Databases / InfrastructureDesign / UX / Visualization
A new LLM-friendly library for Model-Based Testing (quint-lang.org)
1 pts 0 comments by amw-zero 6h ago formalmethodstestingvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Play the long game when learning to code (2020) (stackoverflow.blog)
1 pts 0 comments by mysticmode 8h ago compsciprogramming Programming (General)Programming Languages / CS TheoryGaming / Retro Computing
LLMs are bad at vibing specifications (buttondown.com)
5 pts 1 comments by hwayne 9h ago formalmethodsvibecoding AI / Machine LearningProgramming Languages / CS Theory
Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
1 pts 0 comments by hath995 9h ago aiformalmethods AI / Machine LearningProgramming Languages / CS Theory
I built a programming language using Claude Code (ankursethi.com)
3 pts 2 comments by abhin4v 11h ago pltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
Proof Tree Playground (kmicinski.com)
2 pts 0 comments by ocramz 12h ago formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
nominal types in webassembly (wingolog.org)
21 pts 3 comments by flockofbirbs 16h ago wasm Web DevelopmentProgramming Languages / CS Theory
Lambda Calculus Explorer (kmicinski.com)
7 pts 0 comments by ocramz 18h ago compilersformalmethods Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics
Online LTL toolset (spot.lre.epita.fr)
3 pts 0 comments by hwayne 1d ago formalmethods Programming Languages / CS Theory
What I Always Wanted to Know about Second Class Values (dl.acm.org)
8 pts 1 comments by aiono 1d ago plt Programming Languages / CS Theory
Removing recursion via explicit callstack simulation (jnkr.tech)
9 pts 1 comments by josephjnk 1d ago performanceprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
Notes on writing a voxel game in Dyalog APL (homewithinnowhere.com)
19 pts 0 comments by juuso 1d ago aplgamesgraphics Programming Languages / CS TheoryGaming / Retro Computing
Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)
9 pts 2 comments by philzook 2d ago formalmethodsplt Programming Languages / CS Theory
Cakelisp (macoy.me)
10 pts 3 comments by veqq 2d ago lisp Programming Languages / CS Theory
Solving Regex Crosswords Without Z3 (danielalp.com)
7 pts 0 comments by daniel_alp 2d ago compsci Programming (General)Programming Languages / CS Theory
Ensuring correctness through the type system (lindbakk.com)
7 pts 2 comments by kamila 2d ago clojuregleamjavatesting Programming (General)Programming Languages / CS Theory
symbolic derivatives and the rust rewrite of RE# (iev.ee)
29 pts 0 comments by tsion 2d ago compscirust Systems / Low-Level / OSProgramming Languages / CS Theory
Juno - J Web IDE (jsoftware.github.io)
6 pts 0 comments by veqq 3d ago apleditors Programming (General)Programming Languages / CS Theory
Roguelike music algorithm showcase by Nifflas (youtu.be)
6 pts 0 comments by krig 3d ago artgamesvideo Programming Languages / CS TheoryGaming / Retro ComputingCulture / Philosophy / History / Reading
Pushing and Pulling: Three Reactivity Algorithms (jonathan-frere.com)
88 pts 32 comments by Johz 3d ago programming Programming (General)Programming Languages / CS Theory
ImplicitCAD – Programmatic CAD in Haskell (implicitcad.org)
16 pts 5 comments by injuly 3d ago haskell Programming (General)Programming Languages / CS Theory
How to stop fighting with coherence and start writing context-generic trait impls (contextgeneric.dev)
5 pts 2 comments by soareschen 3d ago pltrusttranscriptvideo Systems / Low-Level / OSProgramming Languages / CS Theory
Mycelium Framework (mycelium-clj.github.io)
2 pts 3 comments by Yogthos 4d ago clojurevibecodingweb AI / Machine LearningWeb DevelopmentProgramming (General)Programming Languages / CS Theory
jank is off to a great start in 2026 (jank-lang.org)
77 pts 3 comments by jeaye 4d ago clojurecompilersplt Systems / Low-Level / OSProgramming Languages / CS Theory
Ambiguity in C (longtran2904.substack.com)
17 pts 14 comments by icefox 4d ago cplt Systems / Low-Level / OSProgramming Languages / CS Theory
elfconv: Linux Apps to High-Performance Wasm Binary Translator (2025) (medium.com)
8 pts 0 comments by gnyeki 4d ago assemblylinuxwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory