🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How documentation can improve everything
devtips.stribny.name·12h
👁️System Observability
Writing a book in the age of open source
blog.incrementalforgetting.tech·3d·
Discuss: Lobsters
💾Persistence Strategies
What’re Your Top 4 CSS Properties?
css-tricks.com·2d
🖋Typography
Opposing the 'inevitability' of AI in academia is both possible and necessary, argue researchers
phys.org·10h
🔲Cellular Automata
Back from Chaos (1998)
theatlantic.com·2d·
Discuss: Hacker News
🏛️Philosophy
Cipher Mining: Building For The Future, But Still Bleeding
seekingalpha.com·10h
🔗Hash Chains
Rust's Enterprise Breakthrough Year
rust-trends.com·3d·
Discuss: Hacker News
🦀Embedded Rust
Agents of Discovery
arxiv.org·1d
📡Information theory
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·1d
🎧Learned Audio
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·1d
🔲Cellular Automata
Claude’s memory architecture is the opposite of ChatGPT’s
dev.to·12h·
Discuss: DEV
⚡Hardware Transactional Memory
Building a Free AI-Powered ATS Checker: From Problem to Production
dev.to·3h·
Discuss: DEV
🔍BitFunnel
Optimization Methods and Software for Federated Learning
arxiv.org·1d
🧠Machine Learning
ChatGPT Code Reviews: How AI Feedback in 3 Minutes Beat Human Reviews Every Time
dev.to·1d·
Discuss: DEV
📏Code Metrics
From Limited Data to Rare-event Prediction: LLM-powered Feature Engineering and Multi-model Learning in Venture Capital
arxiv.org·1d
🎵Audio ML
Multithreading: Interview Questions and Practice Problems
dev.to·1d·
Discuss: DEV
🌊Stream Processing
A Maslow-Inspired Hierarchy of Engagement with AI Model
arxiv.org·2d
🔲Cellular Automata
Real-Time Genome Sequencing Error Correction via Dynamic Bayesian Graph Refinement
dev.to·3d·
Discuss: DEV
🧬Bitstream Evolution
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·3d
💻Local LLMs
PersonaFuse: A Personality Activation-Driven Framework for Enhancing Human-LLM Interactions
arxiv.org·2d
🏛Digital humanities