🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

My computer science RELEARNING progress logs
rbcrossley.github.io·6h·
Discuss: r/programming
📐Mathematical Computing
The low-cost path to AI Mastery
antonyarkov.substack.com·3h·
Discuss: Substack
💬Interactive REPLs
A Conversation with Arthur Whitney
queue.acm.org·2d·
Discuss: Hacker News
📚Forth
Why I learned Rust as a first language
roland.fly.dev·16h·
Discuss: r/rust
⚙️TOML Parsers
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
What I learned building a programming language with LLM agents
eddmann.com·2d·
Discuss: Hacker News
🔮Metacircular Evaluators
Beliefs and JavaScript types
lesswrong.com·1d
∀Quantified Types
What is Algebraic about Algebraic Effects?
interjectedfuture.com·6d·
Discuss: Hacker News
💫Effect Systems
What do you find more common in practice for modeling systems?
reddit.com·14h·
Discuss: r/embedded
🧱First Principles
A FSM Challenge for the c#/DotNet Dev Community
nuget.org·1d·
Discuss: DEV
🎯Finite Automata
Fail-fast or fail-silent? Debating Claude Code and what it taught us
v.redd.it·1d·
Discuss: r/ClaudeAI
🚂Error Propagation
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·1d·
Discuss: r/programming
🌳Pattern Match Compilation
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·14h·
Discuss: Hacker News
🪞Homoiconicity
Types of Unit Tests in C# – Master Testing Like a Pro
dev.to·2h·
Discuss: DEV
🧪Compiler Testing
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·3d·
Discuss: Hacker News
⚙️Zig Comptime
Automated Anomaly Detection & Root Cause Analysis in Distributed Transactional Systems via Causal Graph Embedding
dev.to·1d·
Discuss: DEV
🚂Error Propagation
7 Essential Distributed Systems Techniques Every Software Architect Must Master in 2024
dev.to·1d·
Discuss: DEV
📮Persistent Queues
LLM Context Engineering
dev.to·2d·
Discuss: DEV
🎮Language Ergonomics
Clean Architecture: The Four Concentric Circles Explained
dev.to·3d·
Discuss: DEV
🧱First Principles
This book (Code Health Guardian by Artie Shevchenko) came recommended by an experienced software engineer as a great read.
bsky.app·1d·
Discuss: Bluesky
🎮Language Ergonomics