⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

A trick-taking game
possiblywrong.wordpress.com·5h
🔲Cellular Automata
Claude Code's 19 cent Parser
blogger.com·3d
🔧Binary Parsers
Proxmox Virtual File Services
blog.raymond.burkholder.net·21h
💿Proxmox HA
Why MCP Gives AI the ‘Arms and Legs’ for Real-World Action
thenewstack.io·12h
🔌Interface Evolution
Thinking About Thinking
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Constraint Handling
Speeding up Firefox Local AI Runtime
blog.mozilla.org·7h·
Discuss: Hacker News
🎬WebCodecs
Google Debuts Device-Bound Session Credentials Against Session Hijacking
feistyduck.com·11h·
Discuss: Hacker News
🛡️Security Headers
5 Tokens to Invest In as the Fed Ends Program That Increased Bank Scrutiny of Crypto
hackernoon.com·1d
🔗Hash Chains
Environments Hub: A Community Hub to Scale RL to Open AGI
primeintellect.ai·18h·
Discuss: Hacker News
🔓Open Source Software
Why JSON Prompts Are the Future of AI Automation
peerlist.io·18h·
Discuss: Hacker News
⚡Proof Automation
Q&A: Math education and the importance of memory and problem solving
phys.org·2d
📚Proof Pedagogy
System eval with Obsidian and Claude Code
interjectedfuture.com·1d·
Discuss: Hacker News
⚡Proof Automation
From Stoplights to On-Ramps: A Comprehensive Set of Crash Rate Benchmarks for Freeway and Surface Street ADS Evaluation
arxiv.org·21h
✨Algebraic Effects
MAPo : Motion-Aware Partitioning of Deformable 3D Gaussian Splatting for High-Fidelity Dynamic Scene Reconstruction
arxiv.org·21h
📐Projective Geometry
How I Cured My Game Addiction With Python
dev.to·1d·
Discuss: DEV
🔩Systems Programming
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·2d
🌸Bloom Variants
Is data-efficient learning feasible with quantum models?
arxiv.org·21h
⚛️Quantum Information
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.org·2d
🌍Cultural Algorithms
Why “One Prompt Workspaces” Could Be the Next Productivity Shift
dev.to·19h·
Discuss: DEV
🌱Personal Wikis
Minimal Multi-Stage Form Wizard with AI Review
dev.to·2d·
Discuss: DEV
✨Effect Handlers