Lobster Roll

All Programming (General) 3776 Systems / Low-Level / OS 2953 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1763 AI / Machine Learning 1526 Web Development 1309 Security / Privacy 1010 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 732 Gaming / Retro Computing 538 Maker / DIY / Hardware 516 Design / UX / Visualization 491 Science / Math / Physics 428 Apple / macOS / iOS 355 Internet / Digital Culture 162 Health / Fitness / Lifestyle 14 Crypto / Blockchain 4

Programming Languages / CS Theory

CSLib: A Focused Effort on Formalizing Computer Science in Lean (cslib.io)
11 pts 0 comments by p0llard Jan 22, 2026 compsciformalmethodsmath Programming Languages / CS TheoryScience / Math / Physics
The Bus Factor (mclare.blog)
1 pts 0 comments by xSavitar Jan 22, 2026 compscipractices Programming Languages / CS TheoryProductivity / Career / Business
WebAssembly as a Python extension platform (nullprogram.com)
5 pts 0 comments by spookylukey Jan 21, 2026 pythonwasm Web DevelopmentProgramming (General)Programming Languages / CS Theory
Making an LSP for great good (thunderseethe.dev)
22 pts 7 comments by polywolf Jan 21, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Run Typst in JavaScriptWorld (github.com)
1 pts 0 comments by aziis98 Jan 21, 2026 javascriptwasmweb Web DevelopmentProgramming Languages / CS Theory
Building a Blog in Gleam (gearsco.de)
19 pts 1 comments by krig Jan 21, 2026 gleam Programming Languages / CS TheoryInternet / Digital Culture
Creating a Domain Specific Language with Roslyn (themacaque.com)
2 pts 0 comments by azhenley Jan 21, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Why not tail recursion? (futhark-lang.org)
24 pts 2 comments by linkdd Jan 21, 2026 plt Programming Languages / CS Theory
How would software look if hardware had stopped improving long ago?
6 pts 5 comments by veqq Jan 20, 2026 askplt Programming (General)Programming Languages / CS TheoryMaker / DIY / Hardware
Crane is a new extraction system from Rocq to C++ (github.com)
5 pts 0 comments by ysun Jan 20, 2026 c++mlplt Systems / Low-Level / OSProgramming Languages / CS Theory
Visualizing Delaunay Triangulation (2022) (ianthehenry.com)
14 pts 2 comments by lor_louis Jan 20, 2026 compscimathvisualization Programming Languages / CS TheoryDesign / UX / VisualizationScience / Math / Physics
Venus v5 released: Modern OO standard library (and more) for Perl 5 (reddit.com)
6 pts 3 comments by iamalnewkirk Jan 20, 2026 perl Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Type-safe eval in Grace (haskellforall.com)
26 pts 9 comments by Gabriella439 Jan 20, 2026 plt Programming Languages / CS Theory
Nvidia Stock Crash Prediction (entropicthoughts.com)
5 pts 0 comments by kqr Jan 20, 2026 financehaskellmath Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business
The Parable of the Languages (2002) (web.archive.org)
5 pts 0 comments by icefox Jan 20, 2026 pltsatire Programming Languages / CS Theory
The Jule Programming Language (jule.dev)
29 pts 8 comments by osa1 Jan 20, 2026 plt Programming (General)Programming Languages / CS Theory
How did I improve the performance of WAT parser? (blog.gplane.win)
6 pts 0 comments by fanf Jan 20, 2026 performancerustwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure
My favorite NP-complete problem (2016) (youtube.com)
2 pts 0 comments by tomeraberbach Jan 20, 2026 compscivideo Programming Languages / CS Theory
Floating-Point Printing and Parsing Can Be Simple And Fast (research.swtch.com)
70 pts 7 comments by rsc Jan 19, 2026 gomathperformance Programming (General)Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics
How to find things (an intro to binary search) (drmaciver.substack.com)
3 pts 0 comments by insom Jan 19, 2026 compsci Programming Languages / CS Theory
computing with projected light: the folk computer (youtu.be)
3 pts 0 comments by janus Jan 19, 2026 designpltvideovisualization Programming Languages / CS TheoryDesign / UX / Visualization
The Only Two Markup Languages (gingerbill.org)
82 pts 66 comments by heavyrain266 Jan 19, 2026 compsci Programming Languages / CS Theory
Creusot 0.9.0: Launching the Creusot Devlog (creusot-rs.github.io)
13 pts 0 comments by armael Jan 19, 2026 formalmethodsrust Systems / Low-Level / OSProgramming Languages / CS Theory
2025 Medley Interlisp Annual Report (interlisp.org)
7 pts 0 comments by amoroso Jan 19, 2026 lispretrocomputing Programming Languages / CS TheoryGaming / Retro Computing
Are arrays functions? (futhark-lang.org)
51 pts 31 comments by brendan Jan 19, 2026 plt Programming Languages / CS Theory
Cardputer uLisp Machine (ulisp.com)
17 pts 3 comments by raymii Jan 19, 2026 hardwarelisp Programming Languages / CS TheoryMaker / DIY / Hardware
The Gnome Village (happihacking.com)
26 pts 6 comments by krig Jan 18, 2026 erlangpractices Programming Languages / CS TheoryProductivity / Career / Business
kip: A programming language based on grammatical cases of Turkish (github.com)
48 pts 13 comments by Sietsebb Jan 17, 2026 plt Programming (General)Programming Languages / CS Theory
Cutting LLM token Usage by ~80% using REPL driven document analysis (yogthos.net)
34 pts 14 comments by Yogthos Jan 16, 2026 lispprogrammingvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
Ergonomic abstractions for numerical computing: My story so far (ocramz.github.io)
6 pts 1 comments by ocramz Jan 16, 2026 haskellpracticesscience Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business