Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

A Proof of the Riemann Hypothesis
future.forem.com·6d·
Discuss: DEV
🎯Arithmetic Coding Theory
Flag this post
Signal’s Post-Quantum Cryptographic Implementation
schneier.com·19h
🔐Quantum Security
Flag this post
HigherOrderCO/Bend2
github.com·4d
🔗Functional Compilers
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·4d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
The Altman Gambit
medium.com·11h·
Discuss: Hacker News
🔓Open Source Software
Flag this post
Interactive web tool brings quantum game theory concepts to life through music
phys.org·14h
🕸️Tensor Networks
Flag this post
The New Calculus of AI-Based Coding
blog.joemag.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Mastering Enterprise Data: A Framework for Effective Data Management
dev.to·15h·
Discuss: DEV
🔗Data Provenance
Flag this post
Partially Observable Multi-Agent Reinforcement Learning with Information Sharing
arxiv.org·2h
🔲Cellular Automata
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·2d
🔍Concolic Testing
Flag this post
Self-paced Learning End-to-End Testing with Claude AI
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Beyond Models: A Framework for Contextual and Cultural Intelligence in African AI Deployment
arxiv.org·2h
🌍Cultural Algorithms
Flag this post
"Go-ing" Crazy? Why This Little Gopher is Your New Best Friend ! 🚀
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Notes on the History of Graph Paper
pballew.blogspot.com·1h·
📜Document Physics
Flag this post
An Analytic Theory of Quantum Imaginary Time Evolution
arxiv.org·2d
⚛️Quantum Storage
Flag this post
Interpreting and Mitigating Unwanted Uncertainty in LLMs
arxiv.org·2d
💻Local LLMs
Flag this post
Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling
arxiv.org·1d
🔲Cellular Automata
Flag this post