🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Video Games Weekly: It's weird that esports is segregated by gender
engadget.com·1h
🏺Gaming Archaeology
Show HN: ScamBare Text Checker
scambare.com·5h·
Discuss: Hacker News
🛣️BGP Hijacking
Network Switch Reverse Engineering
fohdeesha.com·3h·
Discuss: Hacker News
🎮Switch Archaeology
X Open Sourced Algorithm Code, So I analyzed it to learn how to grow on X
supabird.io·1d·
Discuss: Hacker News
⚖️Feed Ranking
Why I'm lukewarm on graph neural networks
singlelunch.com·3d·
Discuss: Hacker News
🕸️Graph Embeddings
The 100MHz 6502
e-basteln.de·8h·
Discuss: Hacker News
⚡Homebrew CPUs
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
📏Code Metrics
Deploying AI to the Balkans
hapseer.com·2d·
Discuss: Hacker News
🤖AI Curation
The End of Engineering's Blank Check • Laura Tacho & Charles Humble • GOTO 2025
youtube.com·3d
🔓Open Source Software
We're training LLMs to hallucinate by rewarding them for guessing
lightcapai.medium.com·4d·
Discuss: Hacker News
💻Local LLMs
Awesome Robots Digest - Issue #2 - September 5, 2025
dev.to·1d·
Discuss: DEV
🤖Tape Automation
How to Make Your Data Science Project the Beyoncé of the Boardroom
dev.to·1d·
Discuss: DEV
⚡Performance Mythology
Automated Knowledge Graph Reconstruction for Enhanced Dynamic System Modeling
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
AI-Driven Predictive Maintenance Optimization via Quantum-Enhanced Feature Extraction for Infineon Power Modules
dev.to·3d·
Discuss: DEV
⚛️Quantum Error Correction
🚀 Meet the first Small Language Model built for DevOps 🚀
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hyperbolic Large Language Models
arxiv.org·2d
🌀Hyperbolic Geometry
What is Context Engineering?
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
This Is How You Automate Your Entire Social Media Job Away
dev.to·14h·
Discuss: DEV
📡RSS Automation
**Essential Python Security Practices: Building Robust, Attack-Resistant Applications**
dev.to·1d·
Discuss: DEV
🛡️WASM Security
Big Bang AI Festival: ‘Doing is like wanting, only more extreme’
heise.de·15h
⚖️Lossy Compression Ethics