🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Three ways formally verified code can go wrong in practice
buttondown.com·15h
📜Proof Carrying Code
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·15h·
Discuss: Hacker News
📐Linear Algebra
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·4d·
Discuss: Hacker News
🔄Language Evolution
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
C++ Reflection and Qt MOC
wiki.qt.io·2d·
Discuss: Hacker News
🧩WASM Modules
Padding
reddit.com·4h·
Discuss: r/golang
🔧KAITAI
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·10h·
Discuss: Hacker News
🎯Performance Proofs
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·19h·
Discuss: r/programming
🧠Lisp Dialects
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·7h·
Discuss: Hacker News
🎧Learned Audio
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
Neuro-Symbolic AI
en.wikipedia.org·18h·
Discuss: Hacker News
🔲Cellular Automata
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·49m·
Discuss: Hacker News
🧮Kolmogorov Bounds
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering