Lobster Roll

All Programming (General) 33880 Systems / Low-Level / OS 24467 Programming Languages / CS Theory 17538 Data / Databases / Infrastructure 13902 Web Development 11469 Culture / Philosophy / History / Reading 10287 Security / Privacy 9989 Productivity / Career / Business 7299 Maker / DIY / Hardware 5817 AI / Machine Learning 4812 Science / Math / Physics 3792 Design / UX / Visualization 3595 Gaming / Retro Computing 3345 Apple / macOS / iOS 2618 Internet / Digital Culture 1313 Crypto / Blockchain 337 Health / Fitness / Lifestyle 89

Programming Languages / CS Theory

State of Haskell 2025 survey (surveymonkey.com)
5 pts 0 comments by Hecate Dec 10, 2025 haskell Programming Languages / CS Theory
SWIM: Outsourced Heartbeats (benjamincongdon.me)
10 pts 0 comments by kzdnk Dec 10, 2025 compscidistributed Programming Languages / CS TheoryData / Databases / Infrastructure
Testing and Benchmarking of AI Compilers (broune.com)
2 pts 0 comments by andyc Dec 10, 2025 aicompilers AI / Machine LearningSystems / Low-Level / OSProgramming Languages / CS Theory
Common Lisp, ASDF, and Quicklisp: packaging explained (cdegroot.com)
22 pts 12 comments by amoroso Dec 10, 2025 lisp Programming Languages / CS Theory
Revisiting "Let's Build a Compiler" (eli.thegreenplace.net)
32 pts 1 comments by LesleyLai Dec 10, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Computing on Indices (sacrideo.us)
4 pts 0 comments by veqq Dec 10, 2025 apl Programming Languages / CS Theory
Fear of the Walking Zig: The Security Audit Gap (generativeai.pub)
3 pts 9 comments by spc476 Dec 10, 2025 compilerssecurityvibecodingzig AI / Machine LearningSystems / Low-Level / OSProgramming (General)Programming Languages / CS TheorySecurity / Privacy
You Don't Need an ORM (youtube.com)
52 pts 22 comments by giacomo_cavalieri Dec 9, 2025 databasesgleamvideo Programming Languages / CS TheoryData / Databases / Infrastructure
Semi-Interactive Assembly Verification in Knuckledragger (philipzucker.com)
3 pts 0 comments by philzook Dec 9, 2025 assemblyformalmethods Systems / Low-Level / OSProgramming Languages / CS Theory
An apologia for lazy evaluation (epicandmonicisnotiso.blogspot.com)
18 pts 0 comments by abhin4v Dec 9, 2025 haskell Programming Languages / CS Theory
Offline cybersecurity AI using RAG + local LLM (Python, FAISS, Llama 3.1) (gitlab.com)
0 pts 0 comments by sydsec Dec 9, 2025 securityvibecoding AI / Machine LearningProgramming Languages / CS TheorySecurity / Privacy
Compiler Engineering in Practice - Part 1: What is a Compiler? (chisophugis.github.io)
12 pts 8 comments by dhruvp Dec 9, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Factor 0.101 now available (re.factorcode.org)
43 pts 5 comments by doublec Dec 9, 2025 concatenative Programming Languages / CS Theory
Optique 0.8.0: Conditional parsing, pass-through options, and LogTape integration (hackers.pub)
2 pts 0 comments by hongminhee Dec 9, 2025 javascript Web DevelopmentProgramming Languages / CS Theory
Metacode: The new standard for machine-readable comments for Python (github.com)
21 pts 5 comments by pomponchik Dec 9, 2025 python Programming (General)Programming Languages / CS Theory
Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
47 pts 30 comments by ajessejiryudavis Dec 8, 2025 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory
Deprecations via warnings don’t work for Python libraries (sethmlarson.dev)
29 pts 21 comments by ubernostrum Dec 8, 2025 practicespython Programming (General)Programming Languages / CS TheoryProductivity / Career / Business
Readable Code is Unreadable (blog.wilsonb.com)
13 pts 3 comments by atharva Dec 8, 2025 aplcprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Nova Programming Language (nova-lang.net)
30 pts 8 comments by jkopin Dec 8, 2025 plt Programming (General)Programming Languages / CS Theory
Golang optimizations for high‑volume services (medium.com)
0 pts 2 comments by pluto Dec 8, 2025 go Programming (General)Programming Languages / CS Theory
State of Elixir 2025 - Community Survey Results (elixir-hub.com)
11 pts 2 comments by kamila Dec 8, 2025 elixir Programming Languages / CS Theory
Adding unpack syntax to RCL (ruudvanasseldonk.com)
10 pts 0 comments by ruuda Dec 8, 2025 plt Programming Languages / CS Theory
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eternal Usefulness (im-just-lee.ing)
37 pts 12 comments by LenFalken Dec 8, 2025 concatenativeprogramming Programming (General)Programming Languages / CS Theory
Structural inheritance doesn't work where you expect it to (trynova.dev)
11 pts 23 comments by rbr Dec 7, 2025 plt Programming Languages / CS Theory
Eurydice: a Rust to C compiler (yes) (jonathan.protzenko.fr)
41 pts 8 comments by henrytill Dec 7, 2025 ccompilersrust Systems / Low-Level / OSProgramming Languages / CS Theory
What Lobsters Says - a browser extension to help you find Lobste.rs discussions (github.com)
15 pts 0 comments by Chase Dec 6, 2025 clojureshow Web DevelopmentProgramming (General)Programming Languages / CS Theory
Use Python for Scripting (hypirion.com)
40 pts 39 comments by hyPiRion Dec 6, 2025 python Programming (General)Programming Languages / CS Theory
Fixed Points and Strike Mandates (2012) (pvk.ca)
6 pts 1 comments by christine Dec 6, 2025 compilersmath Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics
Perl's decline was cultural (beatworm.co.uk)
82 pts 51 comments by LeahNeukirchen Dec 6, 2025 perl Programming (General)Programming Languages / CS Theory
What's the Point of Learning Functional Programming? (blog.daniel-beskin.com)
31 pts 18 comments by abhin4v Dec 6, 2025 haskell Programming (General)Programming Languages / CS Theory