Lobster Roll

All Programming (General) 44210 Systems / Low-Level / OS 29271 Programming Languages / CS Theory 22789 Data / Databases / Infrastructure 17194 Web Development 15434 Security / Privacy 13804 Culture / Philosophy / History / Reading 13227 Productivity / Career / Business 10063 Maker / DIY / Hardware 7332 Science / Math / Physics 5439 AI / Machine Learning 5154 Design / UX / Visualization 4867 Gaming / Retro Computing 4225 Apple / macOS / iOS 3458 Internet / Digital Culture 1953 Crypto / Blockchain 504 Health / Fitness / Lifestyle 125

Programming Languages / CS Theory

RSS
Lowtype: Elegant types in Ruby (codeberg.org)
L 38 pts 23 comments by pushcx Nov 27, 2025 ruby Programming (General)Programming Languages / CS Theory thread
Bringing Emacs Support to OCaml's LSP Server with ocaml-eglot (tarides.com)
L 21 pts 9 comments by xvw Nov 27, 2025 editorsemacsml Programming (General)Programming Languages / CS Theory thread
Lazy Linearity for a Core Functional Language (alt-romes.github.io)
L 47 pts 3 comments by romes Nov 27, 2025 compilersplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Optimizing Ray Tracing in Haskell (2020) (medium.com)
L 12 pts 1 comments by abhin4v Nov 27, 2025 haskell Programming (General)Programming Languages / CS Theory thread
Graph Algorithms in Rayon (davidlattimore.github.io)
L 17 pts 1 comments by itamarst Nov 27, 2025 rust Systems / Low-Level / OSProgramming Languages / CS Theory thread
bonsai_term: A library for building dynamic terminal apps by Jane Street (github.com)
L 5 pts 0 comments by azhenley Nov 27, 2025 ml Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Swift regrets (belkadan.com)
L 6 pts 0 comments by fanf Nov 26, 2025 pltswift Programming Languages / CS TheoryApple / macOS / iOS thread
A Very Fast 64–Bit Date Algorithm: 30-40% faster (benjoffe.com)
L 29 pts 4 comments by fanf Nov 26, 2025 mathperformance Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics thread
Solving the Partridge Packing Problem using MiniZinc (zayenz.se)
L 5 pts 0 comments by mzl Nov 26, 2025 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Evolution of Streaming Computation Models (medium.com)
L 1 pts 0 comments by rmoff Nov 26, 2025 distributed Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics thread
Python is not a great language for data science. Part 1: The experience (blog.genesmindsmachines.com)
L 4 pts 0 comments by refaktor Nov 26, 2025 pythonvisualization Programming (General)Programming Languages / CS TheoryDesign / UX / VisualizationScience / Math / Physics thread
Announcing Unison 1.0 (unison-lang.org)
L 139 pts 23 comments by puffnfresh Nov 25, 2025 plt Programming Languages / CS Theory thread
We Rewrote Our Startup from PHP to Gleam in 3 Weeks (radical-elements.com)
L 38 pts 12 comments by kamila Nov 25, 2025 gleam Programming Languages / CS TheoryProductivity / Career / Business thread
The Promise of P-Graphs (pavpanchekha.com)
L 15 pts 0 comments by saulshanabrook Nov 25, 2025 formalmethodsplt Programming Languages / CS Theory thread
Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation (steuwer.info)
L 13 pts 0 comments by saulshanabrook Nov 25, 2025 formalmethodspdfplt Programming Languages / CS TheoryScience / Math / Physics thread
Constant-time support lands in LLVM: Protecting cryptographic code at the compiler level (blog.trailofbits.com)
L 86 pts 17 comments by sknebel Nov 25, 2025 compilerscryptography Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
The Lambda Papers (transcribed) (research.scheme.org)
L 14 pts 2 comments by mnemenaut Nov 25, 2025 lispplt Programming Languages / CS Theory thread
Case against OOP is understated, not overstated (2020) (boxbase.org)
L 6 pts 4 comments by kototama Nov 25, 2025 pltprogramming Programming (General)Programming Languages / CS Theory thread
On Modelling Agent Systems with Erlang (2004) (erlang.org)
L 4 pts 0 comments by notagoodidea Nov 24, 2025 erlangpdf Programming Languages / CS Theory thread
Alice - new build system for Ocaml (alicecaml.org)
L 35 pts 12 comments by iv Nov 24, 2025 ml Programming Languages / CS Theory thread
edn.c: A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration (github.com)
L 52 pts 20 comments by delaguardo Nov 24, 2025 cclojureprogrammingrelease Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Fifty Shades of OOP (lesleylai.info)
L 78 pts 78 comments by LesleyLai Nov 24, 2025 pltprogramming Programming (General)Programming Languages / CS Theory thread
Does Dioxus spark joy? (fasterthanli.me)
L 32 pts 21 comments by eaj Nov 24, 2025 rustwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Build a Compiler in Five Projects (kmicinski.com)
L 32 pts 4 comments by azhenley Nov 24, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
µcad: New open source programming language that can generate 2D sketches and 3D objects (microcad.xyz)
L 22 pts 22 comments by lenny Nov 23, 2025 designplt Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Parallel Threads in Racket v9.0 (blog.racket-lang.org)
L 21 pts 3 comments by bogdan Nov 23, 2025 lisp Programming Languages / CS Theory thread
`satisfies` is my favorite TypeScript keyword (sjer.red)
L 29 pts 8 comments by runxiyu Nov 23, 2025 javascriptplt Web DevelopmentProgramming Languages / CS Theory thread
Introducing F# 10 (devblogs.microsoft.com)
L 25 pts 1 comments by adamcstephens Nov 22, 2025 dotnetml Programming (General)Programming Languages / CS Theory thread
The worst programming language of all time (youtube.com)
L 63 pts 19 comments by rcalixte Nov 22, 2025 c++pltvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Hindsight – Type-safe and evolvable event sourcing for Haskell (hindsight.events)
L 10 pts 0 comments by Hecate Nov 22, 2025 haskell Programming Languages / CS Theory thread