Programming Languages / CS Theory (2025-08)

Lively Linear Lisp (1992) (plover.com)

L 20 pts 3 comments by veqq Aug 31, 2025 lisp Programming Languages / CS Theory thread

1 Problem, 16 Programming Languages (2021) (youtube.com)

L 13 pts 16 comments by dunyakirkali Aug 31, 2025 clojureelixirhaskellpythonrubyrustvideo Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Baby's first type checker (austinhenley.com)

L 28 pts 7 comments by azhenley Aug 31, 2025 plt Programming Languages / CS Theory thread

Quake's PVS: A hidden gem of rendering optimization (youtube.com)

L 20 pts 2 comments by WilhelmVonWeiner Aug 31, 2025 compscivideo Programming Languages / CS Theory thread

Quirks of Common Lisp Types (fosskers.ca)

L 26 pts 0 comments by fosskers Aug 31, 2025 lisp Programming Languages / CS Theory thread

Bootstrapping a Forth for Art (tia.mat.br)

L 17 pts 0 comments by iv Aug 30, 2025 concatenativeperformance Programming Languages / CS Theory Data / Databases / Infrastructure Culture / Philosophy / History / Reading thread

A type system for RCL (2024) (ruudvanasseldonk.com)

L 4 pts 0 comments by nemin Aug 30, 2025 plt Programming Languages / CS Theory thread

Previous discussion about the language itself: https://lobste.rs/s/a4ugmx/reasonable_configuration_language

10-20x Faster LLVM -O0 Back-End (discourse.llvm.org)

L 48 pts 18 comments by mpweiher Aug 30, 2025 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

An Interview With Julio Barba (halide.cx)

L 5 pts 0 comments by gianni Aug 30, 2025 compsci Programming Languages / CS Theory thread

Theme-D Programming Language (tohoyn.fi)

L 2 pts 0 comments by gnyeki Aug 29, 2025 lispplt Programming (General)Programming Languages / CS Theory thread

KernelSnitch: Side-Channel Attacks on Kernel Data Structures (lukasmaar.github.io)

L 2 pts 0 comments by fro Aug 29, 2025 linuxpdfsecurity Systems / Low-Level / OS Programming Languages / CS Theory Security / Privacy thread

Challenging LR Parsing (2020) (rust-analyzer.github.io)

L 2 pts 0 comments by puida Aug 29, 2025 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Pyret: A programming language for programming education (pyret.org)

L 43 pts 41 comments by azhenley Aug 29, 2025 educationplt Programming (General)Programming Languages / CS Theory thread

The best way to advertise a language (stylewarning.com)

L 20 pts 11 comments by veqq Aug 29, 2025 pltpractices Programming Languages / CS Theory Productivity / Career / Business thread

hygguile: UI with Scheme (codeberg.org)

L 7 pts 0 comments by veqq Aug 29, 2025 lispweb Web Development Programming Languages / CS Theory thread

Mystical Postscript (github.com)

L 17 pts 3 comments by brouberol Aug 29, 2025 artplt Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Which Parsing Approach? (2020) (tratt.net)

L 14 pts 1 comments by abhin4v Aug 29, 2025 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Axis, EPMD, and You (nautilus.institute)

L 1 pts 1 comments by bryce Aug 29, 2025 elixirerlang Programming Languages / CS Theory thread

Expert LSP: Official Elixir Language Server (github.com)

L 37 pts 8 comments by vulcan Aug 29, 2025 editorselixir Programming (General)Programming Languages / CS Theory thread

Func Prog Podcast Episode 9 - Hécate (youtube.com)

L 3 pts 0 comments by Hecate Aug 28, 2025 haskellvideo Programming Languages / CS Theory Internet / Digital Culture thread

Newton Data Storage (canicula.com)

L 12 pts 3 comments by calvin Aug 28, 2025 databaseshistoricalplt Programming Languages / CS Theory Data / Databases / Infrastructure Culture / Philosophy / History / Reading thread

Python: The Documentary, An origin story (youtube.com)

L 8 pts 1 comments by ngoldbaum Aug 28, 2025 pythonvideo Programming (General)Programming Languages / CS Theory thread

Tic-tac-toe meets Lean 4 (ochagavia.nl)

L 16 pts 6 comments by wofo Aug 28, 2025 formalmethodsmathplt Programming Languages / CS Theory Science / Math / Physics thread

The Koka programming language (lwn.net)

L 37 pts 4 comments by gnyeki Aug 28, 2025 plt Programming (General)Programming Languages / CS Theory thread

Optimising for maintainability - Gleam in production at Strand (gleam.run)

L 18 pts 4 comments by kamila Aug 28, 2025 gleam Programming Languages / CS Theory thread

superfly: A compiler for a functional low-level language, targeting tiny computers (codeberg.org)

L 15 pts 0 comments by Screwtape Aug 28, 2025 aplretrocomputing Systems / Low-Level / OS Programming Languages / CS Theory Gaming / Retro Computing thread

Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions (verdagon.dev)

L 29 pts 4 comments by Verdagon Aug 28, 2025 compilerspltprogramming Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Guessing game: Haskell style (entropicthoughts.com)

L 25 pts 11 comments by kqr Aug 28, 2025 haskell Programming Languages / CS Theory Gaming / Retro Computing thread

What the interns have wrought, 2025 edition (blog.janestreet.com)

L 9 pts 0 comments by azhenley Aug 28, 2025 ml Programming Languages / CS Theory thread

Efficient Array Programming (github.com)

L 12 pts 1 comments by veqq Aug 27, 2025 apl Programming (General)Programming Languages / CS Theory thread