Constructive Disintegration and Conditional Modes
arxiv.org·1d
🏗️Constructive Logic
SAT Requires Exhaustive Search
link.springer.com·19h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·23h
⏰Time Crystals
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
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·11h
🧠Separation Logic
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·23h
📐Mathematical Art
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Russian Teacher Tricks American Students
mindyourdecisions.com·19h
🌀Differential Geometry
Software Internals Book Club
eatonphil.com·9h
⚙️Operating System Design
Machine Learning Fundamentals: model evaluation
dev.to·19m·
Discuss: DEV
🌊Stream Processing
Differentiable Economics: Strategic Behavior, Mechanisms, and Machine Learning
cacm.acm.org·2h
🔲Cellular Automata
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·11h
⚡Proof Automation
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·11h
🔄Finite State Machines
Politics and math, A Drama in Four Parts
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔐Soviet Cryptography
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
News for July 2025
ptreview.sublinear.info·3d
🎯Performance Proofs
Pragmatism in Programming Proverbs
gingerbill.org·6h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages