Lobster Roll

All LHN/.

Programming Languages / CS Theory (2025-08)

RSS

Showing stories from 2025-08. View all

Lively Linear Lisp (1992) (plover.com)
1 Problem, 16 Programming Languages (2021) (youtube.com)
Baby's first type checker (austinhenley.com)
Quake's PVS: A hidden gem of rendering optimization (youtube.com)
Quirks of Common Lisp Types (fosskers.ca)
Bootstrapping a Forth for Art (tia.mat.br)
A type system for RCL (2024) (ruudvanasseldonk.com)
Previous discussion about the language itself: https://lobste.rs/s/a4ugmx/reasonable_configuration_language
10-20x Faster LLVM -O0 Back-End (discourse.llvm.org)
An Interview With Julio Barba (halide.cx)
Theme-D Programming Language (tohoyn.fi)
KernelSnitch: Side-Channel Attacks on Kernel Data Structures (lukasmaar.github.io)
Challenging LR Parsing (2020) (rust-analyzer.github.io)
Pyret: A programming language for programming education (pyret.org)
The best way to advertise a language (stylewarning.com)
hygguile: UI with Scheme (codeberg.org)
Mystical Postscript (github.com)
Which Parsing Approach? (2020) (tratt.net)
Axis, EPMD, and You (nautilus.institute)
Expert LSP: Official Elixir Language Server (github.com)
Func Prog Podcast Episode 9 - Hécate (youtube.com)
Newton Data Storage (canicula.com)
Python: The Documentary, An origin story (youtube.com)
Tic-tac-toe meets Lean 4 (ochagavia.nl)
The Koka programming language (lwn.net)
Optimising for maintainability - Gleam in production at Strand (gleam.run)
superfly: A compiler for a functional low-level language, targeting tiny computers (codeberg.org)
Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions (verdagon.dev)
Guessing game: Haskell style (entropicthoughts.com)
What the interns have wrought, 2025 edition (blog.janestreet.com)
Efficient Array Programming (github.com)