Lobster Roll

All LHN/.

Programming Languages / CS Theory (2025-04)

RSS

Showing stories from 2025-04. View all

The Rise & Fall of Erlang at Ericsson AB (2023) (iknek.github.io)
Co-dfns versus BQN's implementation (mlochbaum.github.io)
Automating code deletion with Gemini (and a little Python) (technicalwriting.dev)
Swarm Testing Data Structures (tigerbeetle.com)
Elixir is not owned by Big Tech (underjord.io)
Pyrefly: A faster Python type checker written in Rust (pyrefly.org)
The world of compiler backends (medium.com)
Prolog Notes (github.com)
Comparison with Traditional Mathematics (aplwiki.com)
Discovering the Lispworks IDE (lisp-journey.gitlab.io)
Programming languages should have a tree traversal primitive (blog.tylerglaiel.com)
Syntactic musings on match expressions (blog.yoshuawuyts.com)
Reversing the Fossilization of Computer Science Conferences (cacm.acm.org)
Packed Data support in Haskell (arthi-chaud.github.io)
Giving software away for free (simonwillison.net)
Generating Mazes with Inductive Graphs (2017) (jelv.is)
A Dependently Typed Assembly Language (cs.cmu.edu)
Python sub-micro GPIO (runpyxl.com)
Nouveau: The Rule Based Language Family (nouveau.community)
Compiler reminders (jfmengels.net)
Past, Present, and Future of Sorbet Type Syntax (blog.jez.io)
APL Cultivations (xpqz.github.io)
Ruby Feature #16131: Remove $SAFE, taint and trust (2019) (bugs.ruby-lang.org)
K Slices, K Dices (beyondloom.com)
Wanix :: Virtual environment kit for the local-first web, inspired by Plan 9 (wanix.sh)
ATS3 Xanadu released (github.com)
GCC 15.1 Released (gcc.gnu.org)
New Kind of Paper (mlajtos.mu)
inline-python: Inline Python code directly in your Rust code (crates.io)
Notation as a Tool of Thought (1979) (jsoftware.com)