Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Polls & Betting odds & Nonsampling errors & Win probabilities & Vote margins
statmodeling.stat.columbia.edu·1h
🧮Kolmogorov Bounds
Flag this post
The best board games to gift (and play) this 2025 holiday season
engadget.com·3h
🔲Cellular Automata
Flag this post
Undefined Tasks
thedailywtf.com·10h
💾Persistence Strategies
Flag this post
Using LibreOffice and other Free software for documents as a lawyer
neilzone.co.uk·6h
📄PostScript
Flag this post
Python steering council accepts lazy imports
lwn.net·22h·
Discuss: Hacker News
💧Liquid Types
Flag this post
On Async Mutexes
matklad.github.io·16h·
Discuss: Hacker News
🧠Program Logic
Flag this post
A Prophetic Poem about Artificial Intelligence Written in 1961
rodneybrooks.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Speedrunning an RL Environment
sidb.in·3d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·10h·
Discuss: Hacker News
🎯Proof Tactics
Flag this post
Jordan triple system
ncatlab.org·3d
📐Linear Algebra
Flag this post
Part 1: Spec-Driven Development - Building Predictable AI-Assisted Software
dev.to·11h·
Discuss: DEV
⚙️TLA+
Flag this post
An Adaptive Flux Reconstruction Scheme for Robust Shock Capturing
arxiv.org·11h
🔗Tailscale
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
dev.to·1h·
Discuss: DEV
📏Code Metrics
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🤖AI Curation
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·11h
Incremental Computation
Flag this post
Auditing LLM Editorial Bias in News Media Exposure
arxiv.org·1d
📰Content Curation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·6d
💻Programming languages
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·11h
🧠Machine Learning
Flag this post