🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Intuitions about records management for data scientists
thinkingrecords.co.uk·2d
🔗Data Provenance
Codeminer42 Dev Weekly #77
blog.codeminer42.com·1d
🔄Language Evolution
Human reward hacking
danmackinlay.name·1d
🎯Threat Hunting
In Defense of 996
medium.com·8h·
Discuss: Hacker News
⚙️Proof Engineering
Statement: The Russell-Einstein Manifesto
pugwash.org·1d·
Discuss: Hacker News
🔲Cellular Automata
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·17h·
Discuss: Hacker News
🎙️Whisper
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·1d·
Discuss: Hacker News
⚡Proof Automation
Galactic Algorithm
en.wikipedia.org·2d·
Discuss: Hacker News
🎯Performance Proofs
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·3d
💻Local LLMs
Semantically Reflected Programs
arxiv.org·3d
🔢Denotational Semantics
Finetuning AI Foundation Models to Develop Subgrid-Scale Parameterizations: A Case Study on Atmospheric Gravity Waves
arxiv.org·2d
⚡Incremental Computation
Unveiling Chromatin Phase Transitions in "Genomic Deserts": A Multi-scale Computational Analysis
dev.to·12h·
Discuss: DEV
🧬Copy Number Variants
chDzDT: Word-level morphology-aware language model for Algerian social media text
arxiv.org·4d
📝Concrete Syntax
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
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