🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

22.00.0131 Your computer is your workshop
johnnydecimal.com·3d
🏢Mainframes
Searching for Closure
third-bit.com·2d
🕸️Mesh Archiving
The moment I knew: he took me to the crematorium to ‘meet his mum’. It was so personal and loving
theguardian.com·9h
🏠Personal Archives
Meet Embedible: AI-Powered Hardware Prototyping in Seconds
vibe.forem.com·2d·
Discuss: DEV
⚡Homebrew CPUs
How a chief product officer thinks about AI implementation in healthcare supply chains
businessinsider.com·1d
🔗Supply Chain
Why Most LLM Chatbots Never Make It to Production
humansignal.com·1d·
Discuss: Hacker News
🔗Supply Chain
The Linear Reliability Channel
arxiv.org·3d
⚽Sphere Packing
Understanding Log Events: Why Context Is Key
thenewstack.io·2d
👁️Observatory Systems
I am over AI
reddit.com·1d·
Discuss: r/artificial
🤖AI Curation
Ruby Argentina September Meetup
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
What We Lost When Ethereum Switched to Proof-of-Stake
hackernoon.com·1d
🤝Distributed Consensus
Using AI to Optimize Patient Transfer and Resource Utilization During Mass-Casualty Incidents: A Simulation Platform
arxiv.org·3d
🌊Stream Processing
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·5d
🤖Grammar Induction
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.org·3d
🌐Computational Topology
LLM Analysis of 150+ years of German Parliamentary Debates on Migration Reveals Shift from Post-War Solidarity to Anti-Solidarity in the Last Decade
arxiv.org·4d
🔤Morphological Analysis
ALLabel: Three-stage Active Learning for LLM-based Entity Recognition using Demonstration Retrieval
arxiv.org·4d
🔍Information Retrieval
Unlock the Power of Voice AI: Revolutionizing Restaurant Operations with PanaLabs.ai
dev.to·2h·
Discuss: DEV
🎙️Whisper
Is Your Voice AI *Actually* Happy? The 'SPICE' Test for LLM Engagement
dev.to·2h·
Discuss: DEV
🎙️Whisper
UOPSL: Unpaired OCT Predilection Sites Learning for Fundus Image Diagnosis Augmentation
arxiv.org·3d
🧠Machine Learning
Day 92: Authentication, Insomnia, and Life Decisions
dev.to·2d·
Discuss: DEV
💾Persistence Strategies