⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Cursed Number
xkcd.com·1d
📐Mathematical Art
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·4d
🏗️Constructive Analysis
The Invisible Work of Motherhood: Recognizing the Mental Load This Labor Day
inpoweredtherapy.com·2h·
Discuss: Hacker News
⬜Minimalism
Criminal Law in Three Easy Cases
broodingomnipresence.substack.com·23h·
Discuss: Substack
⚖️Digital Evidence
The Future of Databases Is Local-First
marcobambini.substack.com·51m·
Discuss: Substack
🗄️Database Sharding
A Random Walk in 10 Dimensions (2021)
galileo-unbound.blog·23h·
Discuss: Hacker News
📐Mathematical Art
Trust Technical Writers, Not LLMs
literally.dev·23h·
Discuss: Hacker News
🔄Language Evolution
Textbook created for Harvard's undergraduate course in Machine Learning, CS181
github.com·23h·
Discuss: Hacker News
🧠Machine Learning
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·3d·
Discuss: Hacker News
📏Code Metrics
Decentralised self-organisation of pivoting cube ensembles using geometric deep learning
arxiv.org·10h
🌀Riemannian Computing
The Future of Work is Here: Designing Human Centric Technology Stacks for Distributed Teams
dev.to·22h·
Discuss: DEV
🏠Homelab Federation
[$] Tracking trust with Rust in the kernel
lwn.net·22h
🦀Rust Borrowing
Math Resource: All Ten – A Visual Math Game (From Beast Academy)
kidswholovemath.substack.com·16h·
Discuss: Substack
📐Mathematical Art
Deep Research is the New Analytics System: Towards Building the Runtime for AI-Driven Analytics
arxiv.org·10h
🤖AI Curation
How can I write a C++/WinRT IAsyncOperation<T> where T is not a Windows Runtime types?, part 1
devblogs.microsoft.com·1d·
Discuss: Hacker News
✨Effect Handlers
Automated Anomaly Detection in Electrical Panel Thermal Imaging via Multi-Resolution Graph Neural Networks
dev.to·22h·
Discuss: DEV
⚡Circuit Archaeology
They can't always be good days
dev.to·3d·
Discuss: DEV
🎯Gradual Typing
Conformal Predictive Monitoring for Multi-Modal Scenarios
arxiv.org·1d
💻Local LLMs
Day 1: Dig at Berghain Coding Challenge
dev.to·21h·
Discuss: DEV
🧮Z3 Solver
Exposing Privacy Risks in Anonymizing Clinical Data: Combinatorial Refinement Attacks on k-Anonymity Without Auxiliary Information
arxiv.org·10h
🔐Homomorphic Encryption