⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Trump’s Formula to Conquer the Economy, and Everything Else
theatlantic.com·17h
🎯Proof Tactics
LTE downlink: synchronization signals (2022)
destevez.net·2h·
Discuss: Hacker News
📡Bluetooth Archaeology
Strange Attractors
blog.shashanktomar.com·2d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Why Silicon Valley playbook doesn't work elsewhere
medium.com·21h·
Discuss: Hacker News
🌍Cultural Algorithms
How to Avoid Knowledge Stagnation
marlonribunal.com·3d·
Discuss: Hacker News
🧠Personal Knowledge Base
How thousands of ‘overworked, underpaid’ humans train Google’s AI to seem smart
theguardian.com·17h·
Discuss: Hacker News
🤖AI Curation
Science is not Complex, just consider it as chain-of-thoughts
lightcapai.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Best Software Training Institute in Hyderabad
dev.to·59m·
Discuss: DEV
🗺️Competency Maps
Human gastroids to model regional patterning in early stomach development
nature.com·1d
🧬Copy Number Variants
Analysis and Control of Acoustic Emissions from Marine Energy Converters
arxiv.org·1d
🎼Audio Lambda Calculus
Explaining How Quantization Disparately Skews a Model
arxiv.org·2d
📊Quantization
Quantifying Moral Trade-offs in Autonomous Vehicle Accident Scenarios via Bayesian Dynamic Programming
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
DIY MCP Servers vs Verified Solutions: The Trade-offs Nobody's Talking About 🎭
dev.to·1d·
Discuss: DEV
🤝Distributed Consensus
The thing is I love programming ...
dev.to·1d·
Discuss: DEV
🎨Swedish Design Philosophy
TDD and AI-enabled engineering
dev.to·1d·
Discuss: DEV
⚡Proof Automation
HuMo: Human-Centric Video Generation via Collaborative Multi-Modal Conditioning
arxiv.org·1d
🧠Learned Codecs
Automated Bias Mitigation via Causal Graph Interventions and Hyperparameter Optimization
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
The End-to-End Data Scientist’s Prompt Playbook
towardsdatascience.com·3d
⚡Proof Automation
Predictive Building Envelope Performance Optimization via Hybrid FEA-ANN Framework
dev.to·13h·
Discuss: DEV
⚡Incremental Computation
From Limited Data to Rare-event Prediction: LLM-powered Feature Engineering and Multi-model Learning in Venture Capital
arxiv.org·1d
🎵Audio ML