📚 Programming language theory - alex · Scour

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 🧮Computer science

hyperpolyglot.org·3d·Lobsters, Hacker News

morganstanley/hobbes: A language and an embedded JIT compiler 🦀Rust programming language

github.com·2d·Hacker News

State Space Models, Explained Through Code 🧮Computer science

karthik-ragunath-ananda-kumar-blogs.notion.site·10h·Hacker News

Graded Modal Types for Memory and Communication Safety 🧮Computer science

kar.kent.ac.uk·5h·Hacker News

Zero a Language for Humans and Robots 🧮Computer science

zero-lang.com·2d·Hacker News

Optimize_anything: A Universal API for Optimizing Any Text Parameter 🧮Computer science

arxiv.org·10h·Hacker News

The Weekly Challenge 374 🧮Computer science

ap29600.github.io·36m·Hacker News

Bidirectional Typechecking That Does Not Stop 🧮Computer science

semantic-domain.blogspot.com·6d·Lobsters, Hacker News, semantic-domain.blogspot.com

Neoclassical C++: segmented iterators revisited (1) 🧮Computer science

boostedcpp.net·1d·Hacker News

Java: Rethink Domain Primitives with Valhalla 🧮Computer science

dfa1.github.io·15h·Hacker News

God of the Gaps and the Future of Programming 🛠️Creative Coding Frameworks

gisbi.me·14h·Hacker News

Sum-Check as an Algebraic Tensor Reduction: Part III 📐Computational Geometry

blog.zksecurity.xyz·1d·Hacker News

PyCon US 2026 Typing Summit Recap 🧮Computer science

bernat.tech·5d·Lobsters, Hacker News

PHP RFC: Scope Functions a.k.a. Multiline Short Closures 🧮Computer science

wiki.php.net·19h·Hacker News

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 🧮Computer science

proofsandintuitions.net·2d·Lobsters, Hacker News

The brain still needs the hammer: Why compilers matter MORE in the agent era, not less 🎲procedural generation

scale-lang.com·21h·Hacker News

A primer on how large language model works 🧠Meta-creativity

mayijie.substack.com·3d·Substack

Type out the code> 🛠️Creative Coding Frameworks

haskellforall.com·1d·Lobsters, Hacker News, r/programming

Bending, Yanking, and Cartesian Squares in Double Categories 🧮Computer science

bartoszmilewski.com·1d·Hacker News

When can the C++ compiler devirtualize a call? 🦀Rust programming language

quuxplusone.github.io·3d·Lobsters, Hacker News

Log in to enable infinite scrolling