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·11h
🛡️Security Type Systems
Flag this post
The Law of Leaky Abstractions
joelonsoftware.com·8h·
Discuss: Hacker News
🚂Error Propagation
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·23h·
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
The Hidden Cost of Event-Driven Architecture: Why Decoupling Can Triple Your Debugging Time
dev.to·49m·
Discuss: DEV
🛡️Error Boundaries
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·19h
🌳Tree Shaking
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·11h
🔍ML Language
Flag this post
Show HN: MockK Under the Cover
medium.com·14m·
Discuss: Hacker News
🔍Refinement Types
Flag this post
A Monad Guide for Beginners
dev.to·2d·
Discuss: DEV
🚂Error Monads
Flag this post
Programming principles for self taught front-end developers
piccalil.li·4h·
Discuss: Hacker News
🔀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·11h·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
DOTS from double theories
topos.institute·3d
🎯Type Theory
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·16h·
Discuss: r/programming
📦Executable Size
Flag this post
Code Rewrites Often Solve the Wrong Problem
stevenstuartm.com·17h·
Discuss: DEV
🧱First Principles
Flag this post
Privacy-Preserving Active Learning for circular manufacturing supply chains for extreme data sparsity scenarios
dev.to·6h·
Discuss: DEV
Gleam
Flag this post
Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.io·16h
📇Symbol Tables
Flag this post