🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Video Games Weekly: It's weird that esports is segregated by gender
engadget.com·5h
🏺Gaming Archaeology
Show HN: ScamBare Text Checker
scambare.com·9h·
Discuss: Hacker News
🛣️BGP Hijacking
Unsupervised Learning NO. 497
newsletter.danielmiessler.com·2d
🖥️Terminal Renaissance
Network Switch Reverse Engineering
fohdeesha.com·7h·
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
Conway's Game of Life, but Musical
hudsong.dev·13h·
Discuss: Hacker News
🎵Music Universality
Why I'm lukewarm on graph neural networks
singlelunch.com·3d·
Discuss: Hacker News
🕸️Graph Embeddings
Go Is the Language of Vibe Coding
sinwoobang.notion.site·4d·
Discuss: Hacker News
📜Proof Carrying Code
The 100MHz 6502
e-basteln.de·12h·
Discuss: Hacker News
⚡Homebrew CPUs
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
📏Code Metrics
The End of Engineering's Blank Check • Laura Tacho & Charles Humble • GOTO 2025
youtube.com·3d
🔓Open Source Software
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·18h·
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·19h
⚖️Lossy Compression Ethics