Lobster Roll

All Programming (General) 8176 Systems / Low-Level / OS 6628 Programming Languages / CS Theory 4253 Data / Databases / Infrastructure 3846 Web Development 2759 AI / Machine Learning 2324 Security / Privacy 2166 Culture / Philosophy / History / Reading 2105 Productivity / Career / Business 1501 Maker / DIY / Hardware 1281 Gaming / Retro Computing 995 Design / UX / Visualization 914 Science / Math / Physics 837 Apple / macOS / iOS 697 Internet / Digital Culture 332 Health / Fitness / Lifestyle 24 Crypto / Blockchain 10

Programming Languages / CS Theory

Type inference of all constructs and the next 15 months (elixir-lang.org)
24 pts 3 comments by adaszko Jan 10, 2026 elixir Programming Languages / CS Theory
How Reddit Migrated Comments Functionality from Python to Go (blog.bytebytego.com)
5 pts 1 comments by tiff Jan 10, 2026 gopython Programming (General)Programming Languages / CS TheoryInternet / Digital Culture
An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (brics.dk)
5 pts 2 comments by bediger4000 Jan 9, 2026 compscipdf Programming Languages / CS TheoryScience / Math / Physics
How we made Python's packaging library 3x faster (iscinumpy.dev)
28 pts 0 comments by ngoldbaum Jan 9, 2026 performancepython Programming (General)Programming Languages / CS TheoryData / Databases / InfrastructureCulture / Philosophy / History / Reading
Making Tools Developers Actually Use (youtube.com)
8 pts 2 comments by adityaathalye Jan 9, 2026 clojurepracticesvideo Programming Languages / CS TheoryProductivity / Career / Business
Answer Set Programming (2019) (cs.utexas.edu)
19 pts 8 comments by hwayne Jan 9, 2026 bookcompscipdf Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Which programming languages are most token-efficient? (martinalderson.com)
14 pts 13 comments by diktomat Jan 9, 2026 vibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
Automatic TLS Certificates for Common Lisp with pure-tls/acme (atgreen.github.io)
8 pts 3 comments by atgreen Jan 9, 2026 lispvibecodingweb AI / Machine LearningWeb DevelopmentProgramming Languages / CS TheorySecurity / Privacy
A Year of Typing: My NumPy Fellowship Retrospective (blog.scientific-python.org)
8 pts 1 comments by ngoldbaum Jan 8, 2026 pltpython Programming (General)Programming Languages / CS Theory
Power-assert Kotlin compiler plugin (kotlinlang.org)
3 pts 0 comments by typesanitizer Jan 8, 2026 testing Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Clang Hardening Cheat Sheet - Ten Years Later (blog.quarkslab.com)
21 pts 9 comments by freddyb Jan 8, 2026 c++compilerssecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy
What Happened To WebAssembly (emnudge.dev)
110 pts 79 comments by EmNudge Jan 8, 2026 wasm Web DevelopmentProgramming Languages / CS Theory
The Manchester Garbage Collector and purple-garden's runtime (xnacly.me)
7 pts 0 comments by xnacly Jan 8, 2026 cplt Systems / Low-Level / OSProgramming Languages / CS Theory
What would make OCaml serverless ready? (chrisarmstrong.dev)
17 pts 13 comments by avsm Jan 8, 2026 distributedml Programming Languages / CS TheoryData / Databases / Infrastructure
Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations (blog.janestreet.com)
16 pts 1 comments by asb Jan 8, 2026 mlplt Programming Languages / CS Theory
Some Gleam Projects (dusty.phillips.codes)
9 pts 0 comments by krig Jan 7, 2026 cssgleam Web DevelopmentProgramming Languages / CS Theory
The Importance of Sandboxing (garden-lang.org)
5 pts 0 comments by typesanitizer Jan 7, 2026 pltsecurity Programming Languages / CS TheorySecurity / Privacy
ACM is Now Fully Open Access (acm.org)
90 pts 21 comments by hwayne Jan 7, 2026 compsci Programming Languages / CS Theory
Programming Languages in 2025 (youtube.com)
1 pts 0 comments by hwj Jan 7, 2026 programmingvideo Programming (General)Programming Languages / CS Theory
The Haskell Debugger for GHC 9.14 (discourse.haskell.org)
29 pts 2 comments by romes Jan 7, 2026 debugginghaskellrelease Programming (General)Programming Languages / CS Theory
Policy-Based Design versus Combinatorial Hell (becheler.github.io)
2 pts 0 comments by camilleroux Jan 7, 2026 c++plt Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization
Brain Data in Clojure 2: BrainFloj in Premise and Practice - Lyons (youtube.com)
1 pts 0 comments by adityaathalye Jan 7, 2026 clojurehardwarejavasciencevideo Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsMaker / DIY / Hardware
Where are all the low-level JITs?
70 pts 80 comments by MatejKafka Jan 6, 2026 askcompilersperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure
Fun with mypy: reifying runtime relations on types (langston-barrett.github.io)
5 pts 0 comments by jevinskie Jan 6, 2026 pltpython Programming (General)Programming Languages / CS Theory
Zero heap allocation HTTP server using OxCaml (github.com)
53 pts 13 comments by eatonphil Jan 6, 2026 ml Programming Languages / CS Theory
Format-preserving Python AST manipulation library (github.com)
3 pts 0 comments by adam_kruszewski Jan 6, 2026 python Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Agent-o-rama: Scalable, Traceable, Stateful AI agents in Pure Clojure or Java - Nathan Marz (youtube.com)
2 pts 0 comments by adityaathalye Jan 6, 2026 clojurejavavibecodingvideo AI / Machine LearningProgramming (General)Programming Languages / CS Theory
ClojureDart: Still Alive, Kicking Harder - Grand & Dupuch (youtube.com)
3 pts 0 comments by adityaathalye Jan 6, 2026 androidclojureiosmobilevideoweb Web DevelopmentProgramming Languages / CS TheoryApple / macOS / iOS
Time Travelling and Fixing Bugs with Property-Based Testing (2019) (wickstrom.tech)
14 pts 2 comments by abhin4v Jan 6, 2026 haskelltesting Programming (General)Programming Languages / CS Theory
Building a CPU in Factorio - From D-Flip-Flops to an Operating System (youtube.com)
7 pts 0 comments by Noghartt Jan 5, 2026 compscivideo Systems / Low-Level / OSProgramming Languages / CS Theory