🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·2d
∫Symbolic Math
Mastering the Builder Pattern in TypeScript: A Complete Guide
dev.to·2h·
Discuss: DEV
🔧API Design
AWS scientist: Your AI strategy needs mathematical logic
fortune.com·20h
🧮Theorem Provers
Isabelle rule musings
blueberrywren.dev·2d
⚖️Inference Rules
From Junior to Pro: Mastering Code Design with S.O.L.I.D.
dev.to·3h·
Discuss: DEV
🔧API Design
Building a Blockchain in Zig
blog.mariodev.xyz·12h·
Discuss: Hacker News
🔗Hash Functions
Controlling program flow with capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
LingoDB – Data Processing with Compiler Technology
lingo-db.com·13h·
Discuss: Hacker News
🗃️Query Compilation
🌎PLF: The Hidden Architecture of Language, AI, and Human Life
zenodo.org·1d·
Discuss: r/LLM
🪜Recursive Descent
Exploring chained operations and order of evaluation in python expressions
dev.to·20h·
Discuss: DEV
🔗Lexical Scoping
Ultimate Guide to OOP Interview Questions for C#
dev.to·1d·
Discuss: DEV
🔀Control Structures
Building Search for this Site – Search on a static site
alexleighton.com·25m·
Discuss: Hacker News
📋Tablegen
A Conversation with Arthur Whitney
queue.acm.org·1d·
Discuss: Hacker News
📚Forth
What I learned building a programming language with LLM agents
eddmann.com·2d·
Discuss: Hacker News
🔮Metacircular Evaluators
Why I learned Rust as a first language
roland.fly.dev·9h·
Discuss: r/rust
⚙️TOML Parsers
This book (Code Health Guardian by Artie Shevchenko) came recommended by an experienced software engineer as a great read.
bsky.app·17h·
Discuss: Bluesky
🎮Language Ergonomics
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
Beliefs and JavaScript types
lesswrong.com·1d
∀Quantified Types
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5d·
Discuss: Hacker News
💫Effect Systems
What do you find more common in practice for modeling systems?
reddit.com·7h·
Discuss: r/embedded
🧱First Principles