🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

@RickBeato on AI Artists
thetrichordist.com·9h
🎭Cultural Informatics
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·5d
🔧RISC-V Assembler
Unlimited Zip Game
zipgame.app·1d·
Discuss: Hacker News
🔲Cellular Automata
Proven Practices for Succeeding with a Multicloud Strategy
aws.amazon.com·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
In Search of Dignity: Kurt Vonnegut Predicts AI (In "Player Piano")
thefordhamram.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Tokens: The New Oil or Engineering in Spite of Scarcity
tidyfirst.substack.com·2d·
Discuss: Substack
🔍BitFunnel
It’s “frighteningly likely” many US courts will overlook AI errors, expert says
arstechnica.com·13h·
Discuss: Hacker News, r/technews
⚖️Digital Evidence
'Rashford's United exit leaves unanswered questions'
bbc.com·5h
🦀Rust Borrowing
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·5d·
Discuss: Hacker News
💾Persistence Strategies
The new biohackers: How women are taking longevity into their own hands
the-independent.com·9h
🧮Algorithmic Cooking
Pro AI – Human Segregation
onlyluck.substack.com·13h·
Discuss: Substack
🏠Home Automation
Stop pretending you know what AI does to the economy
noahpinion.blog·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·3d
🧠Machine Learning
The Power of HTML - Part 20: AI-Generated HTML: Tools and Best Practices
dev.to·1d·
Discuss: DEV
⚡Proof Automation
IP2: Entity-Guided Interest Probing for Personalized News Recommendation
arxiv.org·20h
👤Search Personalization
The Rise of Vibecoding: Why I'm Building a Marketplace for AI-Assisted Developers
dev.to·6h·
Discuss: DEV
🎙️Whisper
SDK for the tony 65c02-based portable game consoles
github.com·1d·
Discuss: Hacker News
🎮Gameboy Emulation
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·5d·
Discuss: r/MachineLearning
📊Learned Metrics
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·5d·
Discuss: DEV
🌀Brotli Internals
Waiting is worth it and can be improved with predictions
arxiv.org·3d
📡Information theory