⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Migrating Lyft’s Android Codebase to Kotlin
eng.lyft.com·18h
🌀Brotli Internals
How I Turned a $4 Microcontroller into a Rubber Ducky
infosecwriteups.com·2h
🔌Single Board PC
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·14h·
Discuss: Hacker News
🌈Spectroscopy
UBI is not socialism, but it can rescue late stage capitalism from itself
community.intercoin.app·1d·
Discuss: Hacker News
⚖️Emulation Ethics
The Imitation Game: Defending Against AI's Dark Side
aswathdamodaran.blogspot.com·1d·
Discuss: Hacker News
🔍BitFunnel
Splitting a long string in lines efficiently
lemire.me·2d·
Discuss: Hacker News
⚡SIMD Optimization
Money for Nothing, Chips for Free
phrack.org·4d·
Discuss: Hacker News
🌳Archive Merkle Trees
Creating Histograms in R — 2025 Edition
dev.to·22h·
Discuss: DEV
📊Count-Min Sketch
Official OSS MCP Registry in Golang
reddit.com·1d·
Discuss: r/golang
📻Homebrew Protocols
NPM debug and chalk packages compromised
aikido.dev·1d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🏺ZIP Archaeology
AI Revolutionizing Kids' Education Today
dev.to·7h·
Discuss: DEV
🤖AI Curation
Why you need to learn Apache Airflow - right now
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Reconstruction Alignment Improves Unified Multimodal Models
arxiv.org·4h
📐Projective Geometry
13 MCP Servers Every Developer Should Use 💻
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Automated Anomaly Detection in Nanopore Sequencing Data via Multi-Resolution Spectral Decomposition
dev.to·22h·
Discuss: DEV
🔍FLAC Forensics
Tracking AI system performance using AI Evaluation Reports
dev.to·11h·
Discuss: DEV
👁️System Observability
Beyond the Curve: Training Neural Networks with Radical Activation Functions by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🧠Machine Learning
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·2d
🧠Machine Learning
Revolutionizing Cybersecurity with AI: The CAI Framework
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·2d
🔲Cellular Automata