Lobster Roll

All Programming (General) 33658 Systems / Low-Level / OS 24355 Programming Languages / CS Theory 17435 Data / Databases / Infrastructure 13829 Web Development 11372 Culture / Philosophy / History / Reading 10208 Security / Privacy 9922 Productivity / Career / Business 7236 Maker / DIY / Hardware 5768 AI / Machine Learning 4803 Science / Math / Physics 3738 Design / UX / Visualization 3565 Gaming / Retro Computing 3321 Apple / macOS / iOS 2604 Internet / Digital Culture 1306 Crypto / Blockchain 333 Health / Fitness / Lifestyle 88

Programming Languages / CS Theory

Single-Pass Huffman Coding (doisinkidney.com)
6 pts 1 comments by abhin4v Dec 16, 2025 haskell Programming (General)Programming Languages / CS Theory
An expression language for Vixen (raku-advent.blog)
5 pts 1 comments by Corbin Dec 15, 2025 compilersperlplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Liskell - Haskell Semantics with Lisp Syntax (2007) (clemens.endorphin.org)
12 pts 9 comments by veqq Dec 15, 2025 haskelllisppdf Programming Languages / CS Theory
TLA+ modeling tips (muratbuffalo.blogspot.com)
22 pts 12 comments by Noghartt Dec 15, 2025 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure
IronFleet: Proving Practical Distributed Systems Correct (2015) (andrew.cmu.edu)
3 pts 1 comments by nextos Dec 15, 2025 distributedformalmethodspdf Programming Languages / CS TheoryData / Databases / Infrastructure
Rust's v0 mangling scheme in a nutshell (purplesyringa.moe)
33 pts 4 comments by ohrv Dec 15, 2025 rust Systems / Low-Level / OSProgramming Languages / CS Theory
Jubilant: Python subprocess and Go codegen (benhoyt.com)
14 pts 1 comments by benhoyt Dec 15, 2025 gopython Programming (General)Programming Languages / CS Theory
My gift to the rustdoc team (fasterthanli.me)
89 pts 19 comments by winter Dec 14, 2025 rustwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory
AI URI Scheme Internet-Draft (ietf.org)
3 pts 3 comments by runxiyu Dec 14, 2025 artsatire AI / Machine LearningProgramming Languages / CS TheoryCulture / Philosophy / History / ReadingInternet / Digital Culture
Myna v2.0.0 beta: Myna now supports bold/italic variants and even APL programming (github.com)
15 pts 7 comments by inactive-user Dec 14, 2025 aplprogramming Programming (General)Programming Languages / CS Theory
ClickHaskell 1.0.0 is out (github.com)
19 pts 4 comments by onarainydayillwinanyway Dec 14, 2025 haskellrelease Programming Languages / CS Theory
A very unscientific guide to the security of various PQC algorithms (keymaterial.net)
6 pts 0 comments by craigstuntz Dec 14, 2025 cryptographymath Programming Languages / CS TheorySecurity / PrivacyScience / Math / Physics
icl: Interactive Common Lisp: an enhanced REPL (github.com)
32 pts 5 comments by atgreen Dec 14, 2025 lisp Programming Languages / CS Theory
I Tried Gleam for Advent of Code, and I Get the Hype (blog.tymscar.com)
86 pts 37 comments by Tymscar Dec 13, 2025 gleamprogramming Programming (General)Programming Languages / CS Theory
Indexed Reverse Polish Notation, an Alternative to AST (burakemir.ch)
32 pts 7 comments by LesleyLai Dec 13, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Concrete syntax matters, actually (youtube.com)
35 pts 1 comments by asb Dec 13, 2025 pltvideo Programming Languages / CS Theory
OSS Friday Update - Fibers are the Future of Ruby (noteflakes.com)
1 pts 0 comments by noteflakes Dec 13, 2025 performanceruby Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
My Python setup, December 2025 (chrisamico.com)
12 pts 16 comments by carlana Dec 12, 2025 python Programming (General)Programming Languages / CS Theory
50 years of proof assistants (lawrencecpaulson.github.io)
31 pts 4 comments by self Dec 12, 2025 compscihistorical Programming Languages / CS TheoryCulture / Philosophy / History / Reading
YOCaml a framework used to describe static site generator (yocaml.github.io)
31 pts 9 comments by xvw Dec 12, 2025 mlweb Web DevelopmentProgramming (General)Programming Languages / CS Theory
A Code Centric Journey Into the Gleam Language (youtube.com)
8 pts 0 comments by giacomo_cavalieri Dec 12, 2025 gleamvideo Programming (General)Programming Languages / CS Theory
Unswitching loops for fun and profit (xania.org)
4 pts 0 comments by LesleyLai Dec 12, 2025 assemblycompilers Systems / Low-Level / OSProgramming Languages / CS Theory
Typeslayer - a TypeScript types performance tool (youtu.be)
5 pts 3 comments by typesanitizer Dec 12, 2025 pltvideo Web DevelopmentProgramming Languages / CS Theory
A Lisp Interpreter Implemented in Conway’s Game of Life (woodrush.github.io)
14 pts 1 comments by abhin4v Dec 12, 2025 lisp Programming Languages / CS TheoryGaming / Retro Computing
Orvalho Spec (github.com)
1 pts 3 comments by lucasew Dec 12, 2025 askmobilerustwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory
Pop goes the...population count? (xania.org)
19 pts 2 comments by LesleyLai Dec 12, 2025 assemblycompilers Systems / Low-Level / OSProgramming Languages / CS Theory
sled: A command-line utility for Advent of Code written in Janet (github.com)
5 pts 0 comments by pyrmont Dec 11, 2025 lispshow Programming (General)Programming Languages / CS Theory
The story of Propolice (miod.online.fr)
11 pts 1 comments by calvin Dec 11, 2025 compilershistoricalopenbsdsecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / PrivacyCulture / Philosophy / History / Reading
Application Logging in Python: Recipes for Observability (dash0.com)
4 pts 0 comments by ayo Dec 11, 2025 python Programming (General)Programming Languages / CS Theory
Deconstructing the `CAP theorem' for CM and DevOps (markburgess.org)
2 pts 1 comments by evacchi Dec 10, 2025 compscidistributed Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics