🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·1d·
Discuss: Lobsters, r/programming
🌀Brotli Internals
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·14h
👑Isabelle
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·2d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
We've got to stop sending files to each other
shkspr.mobi·1d·
Discuss: Lobsters, Hacker News, shkspr.mobi
🏠Personal Archives
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·3d·
Discuss: Hacker News
🔩Systems Programming
Students, here are 5 key things to know when learning how to train large language models
techradar.com·3d
💻Local LLMs
What makes Anvil so easy to learn?
dev.to·9h·
Discuss: DEV
🐚Shell Automation
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·2d
🔲Cellular Automata
Playful Math 181: The Symmetry Carnival
denisegaskins.com·3d
📐Mathematical Art
Don’t Waste Your Labeled Anomalies: 3 Practical Strategies to Boost Anomaly Detection Performance
towardsdatascience.com·1d
🌲B-tree Forensics
Beyond Fully Supervised Pixel Annotations: Scribble-Driven Weakly-Supervised Framework for Image Manipulation Localization
arxiv.org·16h
📊Learned Metrics
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·16h
🎧Learned Audio
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Langevin Flows for Modeling Neural Latent Dynamics
arxiv.org·2d
🧠Machine Learning
OpenAI, Google DeepMind and Anthropic sound alarm: ‘We may be losing the ability to understand AI’
venturebeat.com·2d·
Discuss: Hacker News, r/technews
🎯Threat Hunting
Is AI the end of coding as we know it, or just another tool?
aha.io·2d·
Discuss: Hacker News
🔄Language Evolution
Working with Rust is super fun coming from C++
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros
How to Develop a Web Application for 10K+ Users, Heavily Performing I/O-Bound Operations
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Algorithm Design and Comparative Test of Natural Gradient Gaussian Approximation Filter
arxiv.org·1d
🌀Differential Geometry
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·3d
🧮SMT Solvers