🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🏗️Calculus of Constructions
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·6h
🛡️Security Type Systems
Flag this post
The Law of Leaky Abstractions
joelonsoftware.com·4h·
Discuss: Hacker News
🚂Error Propagation
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·18h·
Discuss: Hacker News
🔀Control Structures
Flag this post
Implementing E Unification using SMT
philipzucker.com·1d
🧮Theorem Provers
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
🧮Combinator Calculus
Flag this post
Privacy-Preserving Active Learning for circular manufacturing supply chains for extreme data sparsity scenarios
dev.to·2h·
Discuss: DEV
✨Gleam
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·14h
🌳Tree Shaking
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·6h
🔍ML Language
Flag this post
Code Rewrites Often Solve the Wrong Problem
stevenstuartm.com·13h·
Discuss: DEV
🧱First Principles
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.com·1d·
Discuss: Substack
🔀Control Structures
Flag this post
An introduction to computer algebra (2018)
corywalker.me·2d·
Discuss: Hacker News
📐Mathematical Computing
Flag this post
Kruskal's Tree Theorem
en.wikipedia.org·7h·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
DOTS from double theories
topos.institute·2d
🎯Type Theory
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·11h·
Discuss: r/programming
📦Executable Size
Flag this post
A Monad Guide for Beginners
dev.to·2d·
Discuss: DEV
🚂Error Monads
Flag this post
Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.io·11h
📇Symbol Tables
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.com·1d
⚖️Inference Rules
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
reddit.com·20h·
Discuss: r/rust
🔧API Design
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
dev.to·1d·
Discuss: DEV
🌉Cross-Platform FFI
Flag this post