🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How Did Elon Musk Turn Grok Into MechaHitler?
jmason.ie·2d
📡Feed Archaeology
Collaborative documents over discrete files?
thomasrigby.com·2d
📄Document Digitization
Magic The Gathering - Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
reddit.com·2d·
Discuss: r/BadMtgCombos
🎯Proof Tactics
Weekly Roundup
daniel.industries·21h
🏠Personal Archives
I analyzed ChatGPT with Chrome devtools to uncover its web search query patterns
acme.bot·2d·
Discuss: Hacker News
📊Search Ranking
Binary Search in a 2D Matrix
mmhaskell.com·6d
📐Error Bounds
Scraping and vibe coding a schedule app for Open Sauce 2025 entirely on my phone
simonwillison.net·2d·
Discuss: Lobsters, Hacker News
📡RSS Automation
TeamGroup T-Create Expert DDR5-6000 C34 2x32GB Review: Expertly Designed For Professionals
tomshardware.com·5h
⚡Performance Tools
Using leaked data to examine vulnerabilities in SMS routing and SS7 signalling
medium.com·1d·
Discuss: Lobsters, Hacker News
🌐DNS Security
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·3d·
Discuss: Hacker News
💾Persistence Strategies
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·3d·
Discuss: Hacker News
⚡Proof Automation
x86 Assembly Exercise #1: Toy kill Program (Solution)
blog.codingconfessions.com·22h
🐚Shell Calculus
Implementing a Basic Strands Agent with MCP Servers
dev.to·2h·
Discuss: DEV
🤖Network Automation
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·2d
🧠Neural Codecs
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.org·4d
🌀Differential Geometry
Bringing AI to the Browser: Transform Your Web App with On-Device Models
dev.to·15h·
Discuss: DEV
🌀Brotli Internals
Why New AI Models Change Everything for Developers
dev.to·4d·
Discuss: DEV
📏Code Metrics
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·3d
💻Local LLMs
Trying to Run AI on Low-End Devices? Here’s What We Learned
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·6d
💾Binary Linguistics