🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

In Defense of 996
medium.com·13h·
Discuss: Hacker News
⚙️Proof Engineering
Statement: The Russell-Einstein Manifesto
pugwash.org·2d·
Discuss: Hacker News
🔲Cellular Automata
How to Write a Crash Reporter
gamesbymason.com·8h·
Discuss: Hacker News
🦀Embedded Rust
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·6h·
Discuss: Hacker News
🔌Interface Evolution
Showcasing Your Work on HuggingFace Spaces
towardsdatascience.com·1d
🦋Format Metamorphosis
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·4d·
Discuss: Hacker News
📏Code Metrics
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·22h·
Discuss: Hacker News
🎙️Whisper
Bio-Inspired Underwater Robot: Adaptive Vortex Shedding Suppression via Dynamic Fin Geometry
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Quality vs. Efficacy: Learning with AI
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
chDzDT: Word-level morphology-aware language model for Algerian social media text
arxiv.org·4d
📝Concrete Syntax
Enhanced Regional Resilience Forecasting via Multi-modal Data Fusion and Bayesian Hybridization
dev.to·9h·
Discuss: DEV
🌍Cultural Algorithms
DevOps from the Driver's seat part 1
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·2d·
Discuss: Substack
⚔️Lean Tactics
Memory in LlamaIndex: Building Intelligent Chat Agents
dev.to·3h·
Discuss: DEV
⚡Hardware Transactional Memory
Non-Linear Counterfactual Aggregate Optimization
arxiv.org·3d
🧮Kolmogorov Bounds
Automated Framework for Dynamic Risk Attribution & Mitigation via Hyper-Relational Graph Analysis
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Automated Scientific Forecasting via Multimodal Knowledge Graph Fusion and HyperScore Validation
dev.to·1d·
Discuss: DEV
📊Citation Graphs
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.co·2d·
Discuss: Hacker News, r/LocalLLaMA
🧮Vector Embeddings
Python Metaprogramming: Advanced Techniques for Dynamic Code Creation and Runtime Modification
dev.to·3d·
Discuss: DEV
🦀Rust Macros
ML needs a new programming language – Interview with Chris Lattner
dev.to·1d·
Discuss: DEV
🔗Functional Compilers