Lobster Roll

All Programming (General) 25174 Systems / Low-Level / OS 19459 Programming Languages / CS Theory 12962 Data / Databases / Infrastructure 10718 Web Development 8192 Culture / Philosophy / History / Reading 7084 Security / Privacy 7044 Productivity / Career / Business 5043 Maker / DIY / Hardware 4353 AI / Machine Learning 4019 Design / UX / Visualization 2615 Science / Math / Physics 2581 Gaming / Retro Computing 2546 Apple / macOS / iOS 2094 Internet / Digital Culture 992 Crypto / Blockchain 115 Health / Fitness / Lifestyle 67

Programming Languages / CS Theory

romforth: Ultra Portable, Small, Baremetal Forth for various processors (github.com)
38 pts 3 comments by spc476 Dec 21, 2025 concatenative Programming Languages / CS Theory
Granule, a statically-typed linear functional language with graded modal types (github.com)
25 pts 4 comments by aziis98 Dec 20, 2025 plt Programming Languages / CS Theory
Ruby's website got an overhaul (ruby-lang.org)
41 pts 25 comments by weaksauce Dec 20, 2025 designruby Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization
Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (abhamra.com)
13 pts 2 comments by aphaelion Dec 20, 2025 formalmethods Programming Languages / CS Theory
UnifyBio: Power Tools for Translational Data Science - Benjamin Kamphaus (youtube.com)
1 pts 1 comments by adityaathalye Dec 20, 2025 clojuredatabasessciencevideo Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics
A Decade on Datomic - Davis Shepherd & Jonathan Indig (Netflix) (youtube.com)
10 pts 2 comments by adityaathalye Dec 20, 2025 clojuredatabasesvideo Programming Languages / CS TheoryData / Databases / Infrastructure
Understanding Dart Class Modifiers by Using Lattices (modulovalue.com)
5 pts 2 comments by asb Dec 20, 2025 plt Programming Languages / CS Theory
A List of Books to Learn Programming with Ruby and Rails (2023) (writesoftwarewell.com)
4 pts 1 comments by rebeca Dec 19, 2025 educationruby Programming (General)Programming Languages / CS Theory
Porting a complete HTML5 parser and browser test suite [from Python to OCaml using LLMs] (anil.recoil.org)
6 pts 2 comments by teymour Dec 19, 2025 mlvibecoding AI / Machine LearningWeb DevelopmentProgramming Languages / CS Theory
Booleans don't exist in Ruby (2022) (thoughtbot.com)
23 pts 21 comments by rebeca Dec 19, 2025 ruby Programming (General)Programming Languages / CS Theory
Emulating Prolog in an IBM PC APL environment (dl.acm.org)
6 pts 0 comments by veqq Dec 18, 2025 apl Programming Languages / CS TheoryGaming / Retro Computing
LionsOS Design, Implementation and Performance (arxiv.org)
14 pts 0 comments by indolering Dec 18, 2025 formalmethodsosdevperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / InfrastructureDesign / UX / Visualization
dogalog: Prolog-based livecoding music environment (github.com)
30 pts 5 comments by linkdd Dec 18, 2025 artvibecoding AI / Machine LearningProgramming Languages / CS TheoryCulture / Philosophy / History / Reading
Making the Most of Bit Arrays (gearsco.de)
20 pts 4 comments by crowdhailer Dec 18, 2025 gleam Programming Languages / CS Theory
Sorting Algorithms Visualized on the Commodore 64 (imapenguin.com)
3 pts 0 comments by scruss Dec 18, 2025 retrocomputingvisualization Programming Languages / CS TheoryDesign / UX / VisualizationGaming / Retro Computing
Partial inlining (xania.org)
16 pts 3 comments by fanf Dec 18, 2025 compilersperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure
Selective Applicative Functors (blog.veritates.love)
5 pts 2 comments by priime Dec 17, 2025 haskell Programming Languages / CS Theory
Inlining - the ultimate optimisation (xania.org)
8 pts 2 comments by emschwartz Dec 17, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
The Wrong Question About Type Systems (furkan3ayraktar.github.io)
17 pts 24 comments by voutilad Dec 17, 2025 clojureplt Programming Languages / CS Theory
kris: Cross-compile Janet projects with Zig (github.com)
11 pts 3 comments by veqq Dec 17, 2025 lisp Programming Languages / CS Theory
Calling all arguments (xania.org)
2 pts 0 comments by LesleyLai Dec 17, 2025 assemblycompilers Systems / Low-Level / OSProgramming Languages / CS Theory
Building a Wasm Runner with Cloud Hypervisor (burakemir.ch)
1 pts 0 comments by abhin4v Dec 17, 2025 wasm Web DevelopmentProgramming Languages / CS Theory
Adventures in the land of Language Servers (2023) (speakerdeck.com)
7 pts 6 comments by abhin4v Dec 17, 2025 compilerseditorsslides Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
ty: An extremely fast Python type checker and language server (astral.sh)
121 pts 30 comments by jparise Dec 16, 2025 pythonrelease Programming (General)Programming Languages / CS Theory
Use polling for resiliency (2020) (blog.gchinis.com)
1 pts 1 comments by hwayne Dec 16, 2025 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure
What's new in Kotlin 2.3.0 (kotlinlang.org)
3 pts 0 comments by inactive-user Dec 16, 2025 kotlin Programming (General)Programming Languages / CS TheoryApple / macOS / iOS
Odin's Most Misunderstood Feature: `context` (gingerbill.org)
33 pts 7 comments by gingerBill Dec 16, 2025 pltprogramming Programming (General)Programming Languages / CS Theory
Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
31 pts 2 comments by dryya Dec 16, 2025 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory
Optimization Countermeasures (mcyoung.xyz)
21 pts 0 comments by LesleyLai Dec 16, 2025 assemblycompilerssecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy
November in Servo: monthly releases, context menus, parallel CSS parsing, and more (servo.org)
57 pts 1 comments by FedericoSchonborn Dec 16, 2025 browsers Web DevelopmentProgramming Languages / CS Theory