🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Macro Hedge Funds Play Index Versus Index in Niche Option Trades
bloomberg.com·1h
📇Indexing Strategies
OpenAI’s Sam Altman Sees a Future With a Collective ‘Superintelligence’
thenewstack.io·31m
🌍Cultural Algorithms
In Defense of 996
medium.com·16h·
Discuss: Hacker News
⚙️Proof Engineering
Statement: The Russell-Einstein Manifesto
pugwash.org·2d·
Discuss: Hacker News
🔲Cellular Automata
ChatGPT is NOT a LLM – GPT is
vincirufus.com·39m·
Discuss: Hacker News
🔌Interface Evolution
Rules for Early Stage Startups with Hiten Shah (2024)
scotchisholm.com·2h·
Discuss: Hacker News
🎯Threat Hunting
Showcasing Your Work on HuggingFace Spaces
towardsdatascience.com·1d
🦋Format Metamorphosis
Alan Turing and the Story of Breaking the Enigma
dev.to·3d·
Discuss: DEV
🇬🇧British Computing
Bio-Inspired Underwater Robot: Adaptive Vortex Shedding Suppression via Dynamic Fin Geometry
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
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·12h·
Discuss: DEV
🌍Cultural Algorithms
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·2d·
Discuss: Substack
⚔️Lean Tactics
DevOps from the Driver's seat part 1
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Memory in LlamaIndex: Building Intelligent Chat Agents
dev.to·7h·
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
Scalable Distributed Consensus Optimization via Hyper-Adaptive Gradient Pruning
dev.to·18h·
Discuss: DEV
📊Quantization