🔬 programming language theory - abnv · Scour

Formal Verification Gates for AI Coding Loops ✨Gleam

news.ycombinator.com·4d·Hacker News

Binary Lambda Calculus λLambda Calculus

esolangs.org·16h·Hacker News

Annotations in Xeno-Canto 💬Interactive REPLs

xeno-canto.org·2d·Hacker News

All Lean Books and Where to Find Them 🌱Minimal Schemes

lakesare.brick.do·20h·Hacker News

Erasing Existentials 🔗Lexical Scoping

wolfgirl.dev·4d·Lobsters, Hacker News, r/rust

Theoretical Terms in Science 🔗Concatenative Theory

plato.stanford.edu·2d

I’d switch to a Pixel in a heartbeat if it weren’t for this Samsung app 🔍Peephole Optimization

androidauthority.com·17h

samth/gradual-typing-bib: A bibliography on Gradual Typing 🌈Gradual Languages

github.com·5d·Lobsters

Church Encoding, Parametricity, and the Yoneda Lemma ⛪Church Encoding

blog.wybxc.cc·3d·Lobsters, Hacker News, r/functionalprogramming

Null Pointers Have Been Killing Software for 60 Years 💾Persistent Heaps

siliconopera.com·4d

Lambda Diagrams 🔗Graph Rewriting

NULL BITMAP by Justin Jaffray via buttondown.com·6d·Hacker News

Designers! These are the best selling keyboards for creatives 📝Text Editors

creativebloq.com

·3d

New review reveals why mosquitoes keep choosing the same people, and it's not blood type ✨Effect Inference

thecooldown.com·4d

‘Like an old 90s Packard-Bell keyboard and a snare drum had a baby’ — I tested Keychron’s 75%-scale mechanical keyboard, and it's a dream to type on, but packs a heck of a sonic punch ⚡Zig

·6d

Compiling Ruby. Part 2: RiteVM 📜Bytecode

lowlevelbits.org·4d

The Hugo evolution: Engineering Grab's unified, one-click data ingestion platform with Apache Flink 📡Erlang BEAM

engineering.grab.com·3d

Log in to enable infinite scrolling