📐 Language Theory - cpt · Scour

Polymorphism Meets DHOL ⚙️Compilers

Luke Plant: Inverse Sapir-Whorf and programming languages 🧩programming

lukeplant.me.uk·5d·Lobsters

A bidirectional typechecking puzzle> 🧩programming

haskellforall.com·1d·Lobsters, Hacker News, Hacker News

Functional Programmers need to take a look at Zig. 🧩programming

pure-systems.org·6d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 🧩programming

types.pl·1d·Lobsters

oops, cubic macro! 🧩programming

bal-e.org·2d·Lobsters, r/rust

A Letter from Dijkstra on APL 🧩programming

jsoftware.com·5d·Lobsters, Hacker News

Train Your Own LLM from Scratch ⚙️Compilers

github.com·1d·Hacker News

protocol package - go.lsp.dev/protocol 🧩programming

Analysis of the Transformation of the Language of Power in the Contemporary World Order 🌐Network Protocols

znetwork.org·2d

Nondeterminism's not the problem 🧩programming

isaacvando.com·1d·Lobsters

Speeding up the JavaScript ecosystem - Rust and JavaScript Plugins 🧩programming

marvinh.dev·6d·r/coding

Redis array: short story of a long development process 🎰Bytecode VMs

antirez.com·2d·Lobsters, Hacker News

Scripty 🧩programming

kristoff.it·1d·Hacker News

Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience 🎰Bytecode VMs

A programmer's guide to COMMON LISP : Tatar, Deborah G : Free Download, Borrow, and Streaming ⚙️Compilers

archive.org·4d·Lobsters, Hacker News

Groth16, Intuitively 🧩programming

blog.zksecurity.xyz·5d·Lobsters, Hacker News, r/crypto

Q2 2026 Funding Announcement 🧩programming

clojuriststogether.org·4d·Hacker News

Porting microgpt to Futhark, Part I 🧩programming

kmjn.org·6d·Lobsters, Hacker News

LLM 0.32a0 is a major backwards-compatible refactor 🧩programming

simonwillison.net·6d·Hacker News

Log in to enable infinite scrolling