Programming Languages / CS Theory (2025-05)

Tools built on tree-sitter's concrete syntax trees (scannedinavian.com)

L 60 pts 30 comments by shapr May 31, 2025 compilerseditorspractices Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Productivity / Career / Business thread

AI-Powered REPL with Clojure MCP, Next Generation Developer Experience (metosin.fi)

HN 6 pts 0 comments by jgrodziski May 31, 2025 AI / Machine Learning Programming (General)Programming Languages / CS Theory thread

TclForth: Multi-platform desktop Forth based on Tcl/Tk (github.com)

L 25 pts 1 comments by icefox May 31, 2025 concatenative Programming Languages / CS Theory thread

USDA Employee Charged in Multimillion-Dollar Food Stamp Fraud and Bribery Scheme (justice.gov)

HN 4 pts 0 comments by b_mc2 May 31, 2025 Programming Languages / CS Theory thread

TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)

L 10 pts 0 comments by timschumi May 31, 2025 compilerspdf Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Implementing a Forth (ratfactor.com)

L 37 pts 4 comments by jbauer May 31, 2025 concatenative Programming Languages / CS Theory thread

Why Lisp macros are cool, a Perl perspective (2005) (lists.warhead.org.uk)

HN 2 pts 0 comments by mooreds May 31, 2025 Programming Languages / CS Theory thread

What is Racket DOING??? (defn.io)

L 21 pts 0 comments by mjn May 30, 2025 debugginglisp Programming (General)Programming Languages / CS Theory thread

The Book of Shen (shenlanguage.org)

L 10 pts 4 comments by veqq May 30, 2025 lisp Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

ΠΣ: Dependent Types Without the Sugar [pdf] (2010) (kosmikus.org)

HN 2 pts 0 comments by fanf2 May 30, 2025 Programming Languages / CS Theory thread

Show HN: MLX (Apple Silicon tensor library) bindings for Erlang (github.com)

HN 1 pts 0 comments by arthurcolle May 30, 2025 Programming Languages / CS Theory Apple / macOS / iOS Culture / Philosophy / History / Reading thread

Ask HN: Lisp eval vs. Lisp macros. Are they the same underlying concept?

HN 10 pts 11 comments by behnamoh May 30, 2025 Programming Languages / CS Theory thread

Is my understanding correct that Lisp's powerful macro system stems from the ability to write the eval function in Lisp itself? From what I gather, Lisp starts with a small set of primitives and special forms—seven in the original Lisp, including lambda. I recall Paul Graham demonstrating in on...

How we're punching above our weight with two people and OCaml (terrateam.io)

HN 7 pts 1 comments by TheAnkurTyagi May 30, 2025 Programming Languages / CS Theory thread

Types and other techniques as an accessibility tool for the ADHD brain (youtube.com)

L 16 pts 5 comments by felixyz May 30, 2025 a11ypltpracticesvideo Programming Languages / CS Theory Design / UX / Visualization Productivity / Career / Business thread

On Interactive Development (lambdaisland.com)

L 5 pts 2 comments by miguno May 30, 2025 clojure Programming Languages / CS Theory thread

Re: What's so cool about Scheme? (people.csail.mit.edu)

HN 4 pts 0 comments by ryangibb May 30, 2025 Programming Languages / CS Theory thread

A poor man’s types (blog.snork.dev)

L 57 pts 29 comments by chreke May 30, 2025 plt Programming Languages / CS Theory thread

The-One-True-Lisp-Style-Guide (github.com)

HN 14 pts 0 comments by todsacerdoti May 30, 2025 Programming Languages / CS Theory thread

The-One-True-Lisp-Style-Guide (github.com)

L 8 pts 0 comments by veqq May 30, 2025 lisp Programming Languages / CS Theory thread

Which New Language Should I Learn for Web Development? (mtlynch.io)

L 38 pts 55 comments by mtlynch May 29, 2025 elixirweb Web Development Programming Languages / CS Theory thread

Systems Correctness Practices at Amazon Web Services (cacm.acm.org)

L 24 pts 2 comments by mjb May 29, 2025 formalmethodstesting Programming (General)Programming Languages / CS Theory thread

The Beam Book: Understanding the Erlang Runtime System (blog.stenmans.org)

HN 32 pts 0 comments by Alupis May 29, 2025 Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

The Coming AI Revolution in Distributed Systems (zfhuang99.github.io)

L 13 pts 11 comments by hwayne May 29, 2025 formalmethodsvibecoding AI / Machine Learning Programming Languages / CS Theory Data / Databases / Infrastructure thread

Toying with the Lambda Calculus (github.com)

HN 26 pts 1 comments by jmount May 29, 2025 Programming Languages / CS Theory Science / Math / Physics thread

An interview with the creator of Gleam: an ML like language for the Erlang VM (blog.lambdaclass.com)

HN 2 pts 0 comments by Alupis May 29, 2025 Programming Languages / CS Theory Productivity / Career / Business thread

A break from programming languages (lexi-lambda.github.io)

L 92 pts 23 comments by soareschen May 29, 2025 personplt Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Redesigning the Initial Bootstrap Sequence (blog.rust-lang.org)

L 23 pts 4 comments by ohrv May 29, 2025 compilersrust Systems / Low-Level / OS Programming Languages / CS Theory thread

5 Charged in $600K insider trading scheme tied to Novartis' Chinook acquisition (fiercebiotech.com)

HN 2 pts 0 comments by randycupertino May 29, 2025 Programming Languages / CS Theory thread

Orthogonal Persistence, the Model (youtube.com)

L 2 pts 0 comments by 4ad May 29, 2025 compsciosdevphilosophyvideo Systems / Low-Level / OS Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Helonium's Hartree-Fock program (panadestein.github.io)

L 11 pts 0 comments by panadestein May 29, 2025 aplscience Programming (General)Programming Languages / CS Theory Science / Math / Physics thread