🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

'If Bayrou fell, it is because he refused the golden rule: first build a majority'
lemonde.fr·8h
📝ABNF Parsing
A[I]s We Many Not Think (nor search, nor link)
cogdogblog.com·8h
🔍BitFunnel
Nick Clegg and Tim Berners-Lee: the battle for the soul of the Internet
observer.co.uk·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
The Mighty Simplex
galileo-unbound.blog·3d·
Discuss: Hacker News
📐Mathematical Art
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·3d·
Discuss: Hacker News
⚡SIMD Vectorization
Stop chatting Constrained VS Unconstrained LLM use cases
medium.com·1d·
Discuss: Hacker News
💻Local LLMs
Package Managers are Evil
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Package Managers
Don't Build an RL Environment Startup
benanderson.work·1d·
Discuss: Hacker News
🌀Brotli Internals
Predictive Maintenance in Semiconductor Fabrication via Multi-Modal Anomaly Detection and Reinforcement Learning
dev.to·1d·
Discuss: DEV
👁️System Observability
Building a Local Documentation Chatbot with Python, FAISS, and OpenAI
dev.to·22h·
Discuss: DEV
🤖Archive Automation
Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
arxiv.org·4d
🧮Kolmogorov Bounds
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·12h
📊Computational Geometry
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·1d
💻Local LLMs
KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
arxiv.org·1d
🔶Voronoi Diagrams
IntrEx: A Dataset for Modeling Engagement in Educational Conversations
arxiv.org·12h
⚖️Feed Ranking
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·12h
💻Local LLMs
Fairness-Aware Data Augmentation for Cardiac MRI using Text-Conditioned Diffusion Models
arxiv.org·12h
🌀Riemannian Computing
Adaptive Parallel Graph Processing with Dynamic Workload Partitioning for Heterogeneous Architectures
dev.to·10h·
Discuss: DEV
🌊Stream Processing
How tech leaders can grow teams sustainably without the burnout
techradar.com·2h
🕸️Mesh Networking
Flexible inference of learning rules from de novo learning data using neural networks
arxiv.org·1d
🤖Grammar Induction