Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Relative Completeness of Incorrectness Separation Logic
arxiv.org·14h
🧠Separation Logic
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·2h
🧮Kolmogorov Complexity
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Why Computer Science Is No Good, Redux
cacm.acm.org·1h
🎯Performance Proofs
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2d·
Discuss: Substack
⚖️Hoare Logic
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·1d
📐Mathematical Art
Did you solve it? Ambigrams – you won’t believe these flipping words!
theguardian.com·1d
📐Mathematical Art
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
SAT Requires Exhaustive Search
link.springer.com·22h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Constructive Disintegration and Conditional Modes
arxiv.org·1d
🏗️Constructive Logic
Machine Learning Fundamentals: model evaluation project
dev.to·1h·
Discuss: DEV
📏Code Metrics
Proofs of the Pythagorean Theorem
cut-the-knot.org·1d·
Discuss: Hacker News
🎯Proof Tactics
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·1d·
Discuss: Hacker News
⏰Time Crystals