Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Polls & Betting odds & Nonsampling errors & Win probabilities & Vote margins
statmodeling.stat.columbia.edu·6h
🧮Kolmogorov Bounds
Flag this post
Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·1d
🦠Malware Analysis
Flag this post
NetHack4 Philosophy
nethack4.org·8h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Changelog #300
rust-analyzer.github.io·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Does Go's garbage collector use Depth-First Search (DFS) or Breadth-First Search (BFS) during the scan/marking phase?
reddit.com·15h·
Discuss: r/golang
🌲B-tree Variants
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·2d·
🔒Type Safety
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
🌊Streaming Databases
Flag this post
Pressure to change
maryrosecook.com·3d·
Discuss: Hacker News
Proof Automation
Flag this post
At 23: From failing university in Turkey to AI research in Germany
lightcapai.medium.com·6h·
Discuss: Hacker News
🎯Content Recommendation
Flag this post
AI Will Flatten Workforce Inequality–If We're Honest About What That Means
danielkliewer.com·9h·
Discuss: Hacker News
🌍Cultural Algorithms
Flag this post
Calibrating and Rotating: A Unified Framework for Weight Conditioning in PEFT
arxiv.org·17h
Effect Handlers
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·9h·
Discuss: Substack
🎙️Whisper
Flag this post
Thought-For-Food: Reasoning Chain Induced Food Visual Question Answering
arxiv.org·17h
🔍Information Retrieval
Flag this post
Part 1: Spec-Driven Development - Building Predictable AI-Assisted Software
dev.to·16h·
Discuss: DEV
⚙️TLA+
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
vibe.forem.com·14h·
Discuss: DEV
🎯Proof Tactics
Flag this post
An Adaptive Flux Reconstruction Scheme for Robust Shock Capturing
arxiv.org·17h
🔗Tailscale
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
dev.to·7h·
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·17h
Incremental Computation
Flag this post