⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Pydantically perfect: A beginner’s guide to Pydantic for Python type safety
testdouble.com·5d
✅Format Verification
“Why would anybody start a website?”
daverupert.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Saving the Irish Maths Olympiad
thefitzwilliam.com·2d·
Discuss: Hacker News
👑Isabelle
Aperiodic Tilings V: the Refinable Frontier
chiark.greenend.org.uk·5d·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Rare and Old Computers
randoc.wordpress.com·2d·
Discuss: Hacker News
🕹️Retro Gaming
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·6d·
Discuss: Hacker News
💻Local LLMs
How to Pick the Best Starting Word for Wordle
lifehacker.com·3d
🔗Concatenative Languages
We could spot a new type of black hole thanks to a mirror-wobbling AI
newscientist.com·3d·
Discuss: Hacker News
⚛️Quantum Error Correction
Windows servers hijacked to boost Google rankings for dodgy gambling sites
techradar.com·2d
🎫Kerberos Exploitation
How a VC and former Googler built an AI-powered podcast scanning app
businessinsider.com·2d
🚀Indie Hacking
The Hands Can Tell A Lot
hackster.io·2d
✋Tactile Computing
Blogging’s a great way to express your ideas.
statmodeling.stat.columbia.edu·2d
🎯Content Recommendation
[P] Beaver: A DSL for Building Streaming ML Pipelines
reddit.com·6d·
Discuss: r/MachineLearning
💧Liquid Types
If AI agents take the jobs, who buys the stuff?
news.ycombinator.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Scalable Numerical Data Assimilation via Hyperdimensional Encoding & Transdimensional Field Mapping
dev.to·2d·
Discuss: DEV
🌀Differential Geometry
PercepTwin: Modeling High-Fidelity Digital Twins for Sim2Real LiDAR-based Perception for Intelligent Transportation Systems
arxiv.org·3d
🌀Differential Geometry
Start Coding Python on Your Android Phone with Termux
dev.to·1d·
Discuss: DEV
🕹Emulation
Adaptive Resonance Modeling for Dynamic Power Prediction in Hybrid Electric Vehicle Battery Management Systems
dev.to·2d·
Discuss: DEV
🦾ARM Cortex-M
Which servers should i keep?
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Preservation
This Week a Few AI Companies Stopped Pretending
dev.to·2d·
Discuss: DEV
🤖AI Curation