🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

After AI-fabricated case studies were used in court, South African lawyers have called for an ethical standards review.
dw.com·3d
⚖️Legal Compliance
Writing HTML, Writing the Web, Righting the Web
cogdogblog.com·2d
🚀Indie Hacking
AI writes articles at scale promoting your business
gentura.ai·3h·
Discuss: Hacker News
🔃Feed Algorithms
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
🔀CRDT
Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·4d·
Discuss: Hacker News
📐Mathematical Art
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app·3d·
Discuss: Hacker News
⚔️Lean Tactics
What "Parse, don't validate" means in Python?
bitecode.dev·3d·
Discuss: r/programming
✅Format Verification
Show HN: LogMerge – View multiple log files in a merged view
github.com·19h·
Discuss: Hacker News
📝Log Parsing
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·3d·
Discuss: Hacker News
🚀Indie Hacking
Single Page Car Driving Simulation App
dev.to·1h·
Discuss: DEV
🎯Emulator Accuracy
Show HN: WTMF Beta – Your AI bestie that understand
news.ycombinator.com·5h·
Discuss: Hacker News
🎙️Whisper
DeepMind and OpenAI achieve IMO Gold. What does it all mean?
garymarcus.substack.com·3d·
Discuss: Substack
🧮SMT Solvers
AI on the Battlefield: How Artificial Intelligence is Transforming Modern Warfare
dev.to·7h·
Discuss: DEV
🔐Capability Systems
Fundamental limits of distributed covariance matrix estimation via a conditional strong data processing inequality
arxiv.org·2d
⧗Information Bottleneck
Quantifying the Uniqueness and Divisiveness of Presidential Discourse
arxiv.org·1d
🧠Intelligence Compression
Automated Design of Structured Variational Quantum Circuits with Reinforcement Learning
arxiv.org·3d
⚛️Quantum Compilers
GVCCS: A Dataset for Contrail Identification and Tracking on Visible Whole Sky Camera Sequences
arxiv.org·1d
🌀Differential Geometry
CompLeak: Deep Learning Model Compression Exacerbates Privacy Leakage
arxiv.org·2d
💻Local LLMs
EVOLVE-X: Embedding Fusion and Language Prompting for User Evolution Forecasting on Social Media
arxiv.org·2d
📊Feed Optimization
Exploring the Frontiers of kNN Noisy Feature Detection and Recovery for Self-Driving Labs
arxiv.org·2d
🧠Machine Learning