🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Retro Game de Koroshi Yuri
mangadex.org·7h
🕹️Retro Gaming
Programming the TMS9918A Video Display Processor
bumbershootsoft.wordpress.com·1d
🎮Gameboy Emulation
A week in security (September 8 – September 14)
malwarebytes.com·7h
🔓Hacking
How Modern Browsers Work
addyo.substack.com·1d·
Discuss: Substack
🎬WebCodecs
The hidden trade-offs of fine-grained progressive rollouts
surfingcomplexity.blog·1d·
Discuss: Hacker News
🌊Stream Processing
Valkyries overpowered by top-seeded Lynx in franchise’s first WNBA playoff game
mercurynews.com·19h
🗄️Database Recovery
The founder of ID.me on war, vocation, and identity
joincolossus.com·21h·
Discuss: Hacker News
🎯Threat Hunting
486Tang – 486 on a credit-card-sized FPGA board
nand2mario.github.io·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Rediscovering the Simple Joy: Let's Talk Block Breaker
dev.to·13h·
Discuss: DEV
🏺Gaming Archaeology
Caltech Researchers Upend Decades-Old Model of Mitochondrial Protein Import
scitechdaily.com·19h
🖥️Terminal Renaissance
Hackaday Links: September 14, 2025
hackaday.com·15h
🏠Homelab Archaeology
The Fed Tried to Avoid a Fight With Trump. It Got One Anyway.
nytimes.com·5h
🛡Cybersecurity
ChatGPT VS Google Gemini
reddit.com·1d·
Discuss: r/artificial
⚡Proof Automation
Gemini tops App Store; Grok 4 Fast ships; ChatGPT gets harder to trick
lightcapai.medium.com·23h·
Discuss: Hacker News
🌀Brotli Internals
Synaptic Shortcuts: Predicting Spike Timing for Ultra-Fast Pathfinding
dev.to·7h·
Discuss: DEV
🔲Cellular Automata
GEN Restaurant Group: 3 Strategic Paths
seekingalpha.com·2h
🏠Personal Archives
Cheater Genius in Action: Gamifying AI and Self-Awareness
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
You won't believe this crazy dream I had....
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Engineers Bring Quantum Internet to Commercial Fiber for the First Time
scitechdaily.com·11h
⚛️Quantum Codecs
Data Literacy: Empowering Employees with Essential Data Skills for the Modern Workplace
hackernoon.com·3d
🛡Cybersecurity