🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Macro Hedge Funds Play Index Versus Index in Niche Option Trades
bloomberg.com·5h
📇Indexing Strategies
Career Leverage as a Developer
perrotta.dev·6h
📏Code Metrics
FreeBSD policy: AI-generated source code ? No, thanks!
heise.de·1d
🔓Open Source Software
SQLite's Use of Tcl
tcl-lang.org·2h·
Discuss: Hacker News
💾SQLite
ChatGPT is NOT a LLM – GPT is
vincirufus.com·4h·
Discuss: Hacker News
🔌Interface Evolution
Rules for Early Stage Startups with Hiten Shah (2024)
scotchisholm.com·6h·
Discuss: Hacker News
🎯Threat Hunting
The Evolution of Technical Scams: Why Developer Knowledge Isn't Enough
news.ycombinator.com·24m·
Discuss: Hacker News
🔒WASM Capabilities
Alan Turing and the Story of Breaking the Enigma
dev.to·3d·
Discuss: DEV
🇬🇧British Computing
Unveiling Chromatin Phase Transitions in "Genomic Deserts": A Multi-scale Computational Analysis
dev.to·1d·
Discuss: DEV
🧬Copy Number Variants
chDzDT: Word-level morphology-aware language model for Algerian social media text
arxiv.org·4d
📝Concrete Syntax
Automated Meta-Analysis of Panspermia Hypothesis Evidence Across Celestial Bodies
dev.to·4h·
Discuss: DEV
🌈Spectroscopy
Enhanced Regional Resilience Forecasting via Multi-modal Data Fusion and Bayesian Hybridization
dev.to·17h·
Discuss: DEV
🌍Cultural Algorithms
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·3d·
Discuss: Substack
⚔️Lean Tactics
DevOps from the Driver's seat part 1
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Robotic Fabric Whisperers: Teaching AI to Handle Delicate Materials by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
✋Tactile Computing
Memory in LlamaIndex: Building Intelligent Chat Agents
dev.to·11h·
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·3d·
Discuss: Hacker News, r/LocalLLaMA
🧮Vector Embeddings