Lobster Roll

All Programming (General) 3775 Systems / Low-Level / OS 2951 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1761 AI / Machine Learning 1525 Web Development 1308 Security / Privacy 1009 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

Golfing APL/K in 90 Lines of Python (aljamal.substack.com)
5 pts 0 comments by veqq Feb 7, 2026 aplpython Programming (General)Programming Languages / CS Theory
Compiling Prolog to Forth (vfxforth.com)
20 pts 1 comments by veqq Feb 7, 2026 compilersconcatenativelogiclangspdf Systems / Low-Level / OSProgramming Languages / CS Theory
TinyAPL (github.com)
5 pts 0 comments by veqq Feb 7, 2026 aplhaskell Programming Languages / CS Theory
Adventures in Guix Packaging (nemin.hu)
35 pts 1 comments by nemin Feb 7, 2026 lispnix Systems / Low-Level / OSProgramming Languages / CS Theory
LegalArgumentException: From Courtrooms to Clojure (youtube.com)
3 pts 0 comments by adityaathalye Feb 7, 2026 clojureeducationvideo Programming Languages / CS Theory
emacs-tramp-rpc: High-performance TRAMP backend using JSON-RPC instead of shell parsing (github.com)
24 pts 2 comments by sunng Feb 7, 2026 emacs Programming (General)Programming Languages / CS Theory
ahead-of-time wasm gc in wastrel (wingolog.org)
16 pts 0 comments by flockofbirbs Feb 6, 2026 wasm Web DevelopmentProgramming Languages / CS Theory
Anatomy of a Python Function (mostlypython.com)
1 pts 2 comments by btp Feb 6, 2026 python Programming (General)Programming Languages / CS Theory
Text classification with Python 3.14's zstd module (maxhalford.github.io)
39 pts 2 comments by carlana Feb 6, 2026 aipython AI / Machine LearningProgramming (General)Programming Languages / CS Theory
nix-run: run nix derivations without nix3 or flakes (tangled.org)
9 pts 4 comments by WeetHet Feb 6, 2026 haskellnix Systems / Low-Level / OSProgramming Languages / CS Theory
monty: A minimal, secure Python interpreter written in Rust for use by AI (github.com)
5 pts 10 comments by yelianung Feb 6, 2026 vibecoding AI / Machine LearningSystems / Low-Level / OSProgramming Languages / CS Theory
elfconv: AOT binary translator of Linux/ELF -> WebAssembly (github.com)
11 pts 0 comments by git-bruh Feb 6, 2026 c++compilerslinuxwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory
How to program computers (kOS) (2015) (fall.tr)
13 pts 0 comments by veqq Feb 6, 2026 aplosdev Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Calling Lean Functions As Python Functions (philipzucker.com)
6 pts 0 comments by spookylukey Feb 5, 2026 formalmethodspython Programming (General)Programming Languages / CS Theory
Agentic Proof-Oriented Programming (risemsr.github.io)
6 pts 5 comments by larrytheliquid Feb 5, 2026 formalmethodsvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
On the Promises of 'High-Assurance' Cryptography (symbolic.software)
17 pts 25 comments by nadim Feb 5, 2026 cryptographyformalmethodsrant Programming Languages / CS Theory
CSRF protection in Phoenix with Sec-Fetch-Site (mediremi.com)
6 pts 1 comments by mediremi Feb 5, 2026 elixirsecurityweb Web DevelopmentProgramming Languages / CS TheorySecurity / Privacy
Same Image, Different Score? (halide.cx)
4 pts 0 comments by gianni Feb 5, 2026 compsci Programming Languages / CS Theory
EarlyBinder and instantiating parameters (rustc-dev-guide.rust-lang.org)
4 pts 2 comments by meithecatte Feb 4, 2026 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory
Xikipedia Algorithm (github.com)
17 pts 1 comments by acatton Feb 4, 2026 visualization Programming Languages / CS TheoryDesign / UX / Visualization
How not to program in Dyalog APL (toolofthought.com)
5 pts 4 comments by vlnn Feb 4, 2026 aplpractices Programming (General)Programming Languages / CS TheoryProductivity / Career / Business
What arguments was Python called with? (davidism.com)
5 pts 0 comments by ubernostrum Feb 4, 2026 python Programming (General)Programming Languages / CS Theory
Wavelets in J (scottlocklin.wordpress.com)
4 pts 0 comments by veqq Feb 4, 2026 apl Programming Languages / CS Theory
html tables revisted (toolofthought.com)
6 pts 2 comments by veqq Feb 3, 2026 aplweb Web DevelopmentProgramming Languages / CS Theory
type-system-j (github.com)
2 pts 0 comments by veqq Feb 3, 2026 aplplt Programming Languages / CS Theory
Defining Safe Hardware Design (people.csail.mit.edu)
18 pts 1 comments by notypes Feb 3, 2026 hardwarepdfplt Programming Languages / CS TheoryDesign / UX / VisualizationMaker / DIY / Hardware
Millets: a practical memory-safety and thread-safety experiment (eagledot.xyz)
3 pts 0 comments by eagledot Feb 3, 2026 compsciprogramming Programming (General)Programming Languages / CS Theory
glang (github.com)
1 pts 8 comments by veqq Feb 3, 2026 dplt Programming Languages / CS Theory
Five-Point Haskell: Total Depravity (and Defensive Typing) (blog.jle.im)
5 pts 0 comments by abhin4v Feb 3, 2026 haskell Programming Languages / CS Theory
Stelvio: ship Python to AWS (github.com)
8 pts 2 comments by sebst Feb 2, 2026 pythonshow Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure