Lobster Roll

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

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
Implementing Co, a Small Language With Coroutines #5: Adding Sleep (abhinavsarkar.net)
6 pts 0 comments by abhin4v Jan 16, 2026 haskellplt Programming Languages / CS TheoryHealth / Fitness / Lifestyle
PostgreSQL in Gleam with pog, squirrel, and cigogne (nulltree.xyz)
7 pts 0 comments by krig Jan 16, 2026 databasesgleam Programming Languages / CS TheoryData / Databases / Infrastructure
Quint Visualizer: a GraphViz-like visualizer for Quint traces (quint-visualizer.noghartt.dev)
4 pts 0 comments by Noghartt Jan 16, 2026 distributedformalmethodsshow Programming (General)Programming Languages / CS TheoryData / Databases / InfrastructureDesign / UX / Visualization
Depth-first Unary Degree Sequence (bruceediger.com)
2 pts 0 comments by jevinskie Jan 15, 2026 compsci Programming Languages / CS Theory
Python: introducing tprof, a targeting profiler (adamj.eu)
3 pts 0 comments by andrewguenther Jan 15, 2026 performancepython Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
Test, don't (just) verify (alperenkeles.com)
3 pts 0 comments by aiono Jan 15, 2026 formalmethodstesting Programming (General)Programming Languages / CS Theory
The discoveries of continuations (homepages.inf.ed.ac.uk)
21 pts 0 comments by felixyz Jan 15, 2026 historicalpdfplt Programming Languages / CS TheoryCulture / Philosophy / History / Reading
Writing Anteforth, a Forth-like in SPARK (pyjarrett.github.io)
12 pts 0 comments by pyj Jan 15, 2026 concatenativeformalmethods Programming Languages / CS Theory
A happy path for Racket in the Collatz benchmark (gus-massa.blogspot.com)
5 pts 0 comments by samdphillips Jan 14, 2026 lisp Programming Languages / CS Theory
Why language interpreters and virtual machines are slow (mortoray.com)
6 pts 4 comments by abnercoimbre Jan 14, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
My Gripes with Prolog (buttondown.com)
31 pts 24 comments by hwayne Jan 14, 2026 programmingrant Programming (General)Programming Languages / CS Theory
Verifying State & Reconciliation in Collaborative Web Apps (midspiral.com)
3 pts 0 comments by heyyfernanda Jan 14, 2026 aiformalmethods AI / Machine LearningWeb DevelopmentProgramming Languages / CS Theory
Black-White Array: A New Data Structure for Dynamic Data Sets (arxiv.org)
11 pts 3 comments by veqq Jan 14, 2026 compscipdf Programming Languages / CS Theory
Build your own programming language (2020) (thesephist.com)
24 pts 3 comments by op Jan 14, 2026 plt Programming (General)Programming Languages / CS Theory
Forklifts, Facts, and Functions: Building a Warehouse Management System with Clojure+Datomic (youtube.com)
8 pts 0 comments by adityaathalye Jan 13, 2026 clojurescalingvideo Programming Languages / CS TheoryProductivity / Career / Business
Anthropic invests $1.5 million in the Python Software Foundation and open source security (pyfound.blogspot.com)
66 pts 17 comments by pauloxnet Jan 13, 2026 python AI / Machine LearningProgramming (General)Programming Languages / CS TheorySecurity / Privacy
State of DataHaskell Q1 2026 (datahaskell.org)
12 pts 0 comments by Hecate Jan 13, 2026 aihaskell AI / Machine LearningProgramming Languages / CS Theory
Remarks on SFrame (maskray.me)
5 pts 0 comments by sanxiyn Jan 13, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
How to stick with your projects, even when they're janky (youtube.com)
32 pts 4 comments by jeaye Jan 12, 2026 clojurecompilerspracticesvideo Systems / Low-Level / OSProgramming Languages / CS TheoryProductivity / Career / Business
The J Incunabulum (tony-zorman.com)
19 pts 2 comments by LeahNeukirchen Jan 12, 2026 apl Programming Languages / CS Theory
One Thousand Words (drewmayo.com)
2 pts 0 comments by gerikson Jan 12, 2026 securitywasm Web DevelopmentProgramming Languages / CS TheorySecurity / Privacy
The coolest feature in Python 3.14 (savannah.dev)
28 pts 4 comments by ubernostrum Jan 12, 2026 debuggingdevopspython Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
When msvc::musttail attribute silently fails (abareplace.com)
5 pts 2 comments by abareplace Jan 11, 2026 compilersperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure
Mitigating the Billion Dollar Mistake (gingerbill.org)
12 pts 8 comments by rodef Jan 11, 2026 compilerspltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
LLVM: The bad parts (npopov.com)
70 pts 19 comments by asb Jan 11, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
A Unique Performance Optimization for a 3D Geometry Language (cprimozic.net)
31 pts 13 comments by Ameo Jan 11, 2026 performanceplt Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics
Pulling a New Proof from Knuth’s Fixed-Point Printer (research.swtch.com)
32 pts 2 comments by jparise Jan 10, 2026 compsci Programming Languages / CS Theory
Comparative Analysis of Low-Dimensional Features and Tree-Based Ensembles for Malware Detection Systems (2020) (ieeexplore.ieee.org)
3 pts 0 comments by calvin Jan 10, 2026 compscipdfreversing Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy
Gleam’s Design and Compiler (youtu.be)
9 pts 0 comments by krig Jan 10, 2026 gleampltvideo Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization