Lobster Roll

All Programming (General) 8178 Systems / Low-Level / OS 6631 Programming Languages / CS Theory 4253 Data / Databases / Infrastructure 3848 Web Development 2762 AI / Machine Learning 2325 Security / Privacy 2167 Culture / Philosophy / History / Reading 2105 Productivity / Career / Business 1501 Maker / DIY / Hardware 1281 Gaming / Retro Computing 996 Design / UX / Visualization 915 Science / Math / Physics 838 Apple / macOS / iOS 697 Internet / Digital Culture 332 Health / Fitness / Lifestyle 24 Crypto / Blockchain 10

Programming Languages / CS Theory

Sorting with Fibonacci Numbers and a Knuth Reward Check (orlp.net)
13 pts 4 comments by fanf Jan 1, 2026 compsci Programming Languages / CS Theory
Reasons to Love the Field of Programming Languages (danilafe.com)
51 pts 11 comments by danilafe Jan 1, 2026 compilersplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Bokehlicious Selfies in Python (rahulrav.com)
2 pts 0 comments by azhenley Jan 1, 2026 programming Programming (General)Programming Languages / CS Theory
Reika: an opinionated dependency manager and build initiator tool (fossil.cyberia9.org)
1 pts 0 comments by amoroso Dec 31, 2025 lisp Programming Languages / CS Theory
Looking Back at Python Pescara 2025 (paulox.net)
2 pts 0 comments by pauloxnet Dec 31, 2025 culturepython Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading
LispMe: An Implementation of Scheme for the Palm Pilot (citeseerx.ist.psu.edu)
14 pts 1 comments by lorddimwit Dec 31, 2025 lispplt Programming Languages / CS Theory
Eliminate Branches by Melding IR Instructions (arxiv.org)
9 pts 2 comments by asb Dec 31, 2025 compilerspdf Systems / Low-Level / OSProgramming Languages / CS Theory
runST does not prevent resources from escaping (welltypedwit.ch)
12 pts 6 comments by abhin4v Dec 31, 2025 haskellvibecoding AI / Machine LearningProgramming Languages / CS Theory
What I've Learned Writing Gleam (nohzafk.github.io)
36 pts 9 comments by briankung Dec 31, 2025 gleam Programming Languages / CS Theory
Simple Bidirectional Type Inference (ettolrach.com)
18 pts 8 comments by asb Dec 31, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory
Cross-site Scripting-benchmark of python sanitizers against real browsers (github.com)
1 pts 0 comments by EmilStenstrom Dec 31, 2025 pythonsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy
Turning Dafny Sets into Sequences (youtu.be)
8 pts 1 comments by larrytheliquid Dec 30, 2025 formalmethodsvideo Programming Languages / CS Theory
Memory Safety Is … (matklad.github.io)
22 pts 27 comments by bakaq Dec 30, 2025 plt Programming Languages / CS Theory
Building a React App with Formally Verified State (midspiral.com)
16 pts 25 comments by heyyfernanda Dec 30, 2025 formalmethodsvibecoding AI / Machine LearningWeb DevelopmentProgramming Languages / CS Theory
Formally speaking, "Transpiler" is a useless word (people.csail.mit.edu)
38 pts 51 comments by notypes Dec 30, 2025 plt Programming Languages / CS Theory
Glamorous Christmas: Bringing Charm to Ruby (marcoroth.dev)
27 pts 5 comments by marcoroth Dec 30, 2025 goruby Programming (General)Programming Languages / CS Theory
Replacing python-dateutil to remove six (hugovk.dev)
16 pts 5 comments by ubernostrum Dec 29, 2025 python Programming (General)Programming Languages / CS Theory
1ML for non-specialists: introduction (pithlessly.github.io)
14 pts 7 comments by icefox Dec 29, 2025 plt Programming Languages / CS Theory
HEXACON 2025 - Keynote by Ivan Krstić (youtube.com)
3 pts 1 comments by craigstuntz Dec 29, 2025 cryptographyformalmethodssecurityvideo Programming Languages / CS TheorySecurity / Privacy
The Second Great Error Model Convergence (matklad.github.io)
72 pts 25 comments by carlana Dec 29, 2025 pltprogramming Programming (General)Programming Languages / CS Theory
Measuring out-of-sync clocks on the Internet (alexsci.com)
14 pts 6 comments by robalex Dec 29, 2025 compsci Programming Languages / CS TheoryInternet / Digital Culture
A Practical Introduction to Finger Trees (chrispenner.ca)
9 pts 2 comments by abhin4v Dec 29, 2025 haskell Programming Languages / CS Theory
Fast CVVDP implementation in C (github.com)
4 pts 0 comments by gianni Dec 28, 2025 compsci Programming Languages / CS Theory
Parsing Advances (matklad.github.io)
58 pts 7 comments by janerik Dec 28, 2025 plt Programming Languages / CS Theory
The hidden brain power behind programming (web.eecs.umich.edu)
1 pts 3 comments by xSavitar Dec 27, 2025 cogscicompscipdf Programming (General)Programming Languages / CS TheoryScience / Math / Physics
Commandry - A Command-Line Parser for Standard ML (github.com)
12 pts 7 comments by ratsclub Dec 27, 2025 ml Programming (General)Programming Languages / CS Theory
Easel Turns One! One year of building my own IDE in Clojure (blog.phronemophobic.com)
25 pts 3 comments by kana Dec 27, 2025 clojureeditors Programming (General)Programming Languages / CS Theory
"Enabling" C threads in a Python / Wasm environment (yosefk.com)
10 pts 0 comments by fanf Dec 26, 2025 pythonwasm Web DevelopmentProgramming (General)Programming Languages / CS Theory
From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
18 pts 20 comments by nextos Dec 26, 2025 formalmethods Web DevelopmentProgramming Languages / CS Theory
Show: Twine - A tool to dynamically trace calls in production Elixir systems (github.com)
18 pts 0 comments by ollien Dec 26, 2025 elixirshow Programming (General)Programming Languages / CS Theory