🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

TODOs aren’t for doing
sophiebits.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
One in six US workers pretends to use AI to please the bosses
theregister.com·5h·
Discuss: Hacker News
🧠Intelligence Compression
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.com·2d·
Discuss: Hacker News
🧬Bitstream Evolution
Show HN: Posthuman Framework for AI Consciousness Thresholds and VR Emancipation
kanarya.group·2d·
Discuss: Hacker News
🔲Cellular Automata
Structured 'bridge' protein links disordered gene regulators to control gene expression
phys.org·1d
🕸️Algebraic Topology
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·2d
🔧Hardware Verification
Quantum Shadows: The Dining Information Brokers
arxiv.org·2d
⚛️Quantum Information
Diffusion-based translation between unpaired spontaneous premature neonatal EEG and fetal MEG
arxiv.org·1d
🧠Neural Codecs
EPSilon: Efficient Point Sampling for Lightening of Hybrid-based 3D Avatar Generation
arxiv.org·2d
🏺Computational Archaeology
Claude Code AI: Your New Terminal Sidekick for Lightning-Fast Development
dev.to·22h·
Discuss: DEV
🐚Shell Automation
MCP: The Simple Protocol to Make AI Actually Useful
dev.to·22h·
Discuss: DEV
🔌Interface Evolution
Forecasting Faculty Placement from Patterns in Co-authorship Networks
arxiv.org·1d
📊Citation Graphs
MCP: The Magic Connector Making AI Smarter for You
dev.to·8h·
Discuss: DEV
🔌Interface Evolution
Why Most AI Agents Fail in Production (And How to Build Ones That Don’t)
dev.to·8h·
Discuss: DEV
⚡Incremental Computation
Claude 3 AI: Anthropic's 2025 Model Surpasses GPT-4 and Gemini Ultra with Amazon Integration
dev.to·1d·
Discuss: DEV
🇨🇳Chinese Computing
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·6d
🔲Cellular Automata
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·6d
💻Programming languages
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org·2d
🤖Paleographic ML
Vibe coding clarity with Kiro specs
dev.to·13h·
Discuss: DEV
🔄Reproducible Builds
Multi-beam Beamforming in RIS-aided MIMO Subject to Reradiation Mask Constraints -- Optimization and Machine Learning Design
arxiv.org·1d
⚽Sphere Packing