Lobster Roll

All Programming (General) 796 Systems / Low-Level / OS 583 AI / Machine Learning 541 Programming Languages / CS Theory 428 Data / Databases / Infrastructure 377 Web Development 276 Security / Privacy 233 Culture / Philosophy / History / Reading 210 Productivity / Career / Business 162 Gaming / Retro Computing 129 Design / UX / Visualization 112 Maker / DIY / Hardware 112 Science / Math / Physics 72 Apple / macOS / iOS 67 Internet / Digital Culture 48 Health / Fitness / Lifestyle 5

Programming Languages / CS Theory

Cellpond: Spatial programming without escape (youtube.com)
1 pts 0 comments by james 2h 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 3h 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 4h 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 5h ago compsciprogramming Programming (General)Programming Languages / CS TheoryGaming / Retro Computing
LLMs are bad at vibing specifications (buttondown.com)
5 pts 1 comments by hwayne 6h ago formalmethodsvibecoding AI / Machine LearningProgramming Languages / CS Theory
Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
1 pts 0 comments by hath995 7h ago aiformalmethods AI / Machine LearningProgramming Languages / CS Theory
I built a programming language using Claude Code (ankursethi.com)
3 pts 2 comments by abhin4v 8h ago pltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
Proof Tree Playground (kmicinski.com)
2 pts 0 comments by ocramz 9h ago formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
nominal types in webassembly (wingolog.org)
21 pts 3 comments by flockofbirbs 13h ago wasm Web DevelopmentProgramming Languages / CS Theory
Lambda Calculus Explorer (kmicinski.com)
7 pts 0 comments by ocramz 16h 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 1d 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 2d 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
A new chapter for the Nix language, courtesy of WebAssembly (determinate.systems)
62 pts 27 comments by diktomat 4d ago nixwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory
On the Effectiveness of Mutational Grammar Fuzzing (projectzero.google)
2 pts 0 comments by freddyb 4d ago security Programming Languages / CS TheorySecurity / Privacy