🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Mastering Collections in C#
dev.to·20h·
Discuss: DEV
🔗Concatenative Languages
Three Meanings of Effects
burakemir.ch·1d·
Discuss: Hacker News
💫Effect Systems
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·1d
📋S-Expression
I built a Go framework: Anclax
github.com·3h·
Discuss: Hacker News
🐹Go Runtime
From Zero to Java: Day 2 of My Backend Development Journey
dev.to·1d·
Discuss: DEV
🔧API Design
The Case Against DRY
reddit.com·12h·
Discuss: r/webdev
🌳Tree Shaking
Object Orientation [2013 !]
jackrusher.com·19h·
Discuss: Hacker News
💬Smalltalk VMs
Polymorphism for Beginners
roscidus.com·20h·
Discuss: Hacker News
🎭Polymorphic Variants
Two Number Theory Items (and Woody Allen)
math.columbia.edu·17h
∫Mathematical DSLs
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·12h·
Discuss: Hacker News
⚡Tokenizer Optimization
State Management in Vanilla JS
dev.to·4h·
Discuss: DEV
🏛️Elm Architecture
Generics and Variance with Java
dev.to·12h·
Discuss: DEV
🗂️Type Indexing
Cactus Language • Discussion 3
inquiryintoinquiry.com·17h
📋Backus-Naur Form
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·1h·
Discuss: DEV
🌉Language Bindings
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·4h·
Discuss: Hacker News
⚡Algebraic Effects
Some Notes I Took on Software Architecture
lautarolobo.xyz·1d·
Discuss: Hacker News, r/programming
🔄Bootstrapping
Let's look at the structure of Vec<T>
marma.dev·23h·
Discuss: r/rust
🔒Rust Borrowing
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·1d
🛡️Parser Security
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·18h
🎯Ring Buffers
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