🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Mastering Collections in C#
dev.to·16h·
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
From Zero to Java: Day 2 of My Backend Development Journey
dev.to·1d·
Discuss: DEV
🔧API Design
The Case Against DRY
reddit.com·8h·
Discuss: r/webdev
🌳Tree Shaking
Polymorphism for Beginners
roscidus.com·15h·
Discuss: Hacker News
🎭Polymorphic Variants
Object Orientation [2013 !]
jackrusher.com·15h·
Discuss: Hacker News
💬Smalltalk VMs
Two Number Theory Items (and Woody Allen)
math.columbia.edu·13h
∫Mathematical DSLs
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·8h·
Discuss: Hacker News
⚡Tokenizer Optimization
State Management in Vanilla JS
dev.to·23m·
Discuss: DEV
🏛️Elm Architecture
Generics and Variance with Java
dev.to·8h·
Discuss: DEV
🗂️Type Indexing
Cactus Language • Discussion 3
inquiryintoinquiry.com·13h
📋Backus-Naur Form
UniPwn: Unitree Humanoid Robot BLE Service Command Injection Analysis
github.com·14h·
Discuss: Hacker News
🌐Network Protocols
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·19h·
Discuss: r/rust
🔒Rust Borrowing
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·14h
🎯Ring Buffers
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·1d
🛡️Parser Security
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
Template Your Own Clean, Precise Boilerplate Code: No AI, No Wallet Drain. Part 3 – Enough Theory, Now We Code
dev.to·19h·
Discuss: DEV
📚Self-Documenting Code
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·2d
∫Symbolic Math