⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·12h·
Discuss: www.blogger.com
🗄️Database Sharding
An Improbable Recovery
textslashplain.com·11h
🧠Memory Forensics
What is a quantum computer's speed limit? Entanglement can provide an answer
phys.org·22h
⚛️Quantum Tape
The Design and Regulation of Technology
leapfrog.nl·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Developing a Space Flight Simulator in Clojure
wedesoft.de·4d·
Discuss: Lobsters, Hacker News, r/programming
📟Terminal Physics
How the hairdryer treatment from a science teacher over a flunked exam changed my life | Michael Akadiri
theguardian.com·1d
🎯Gradual Typing
Recursion Pharmaceuticals, Inc. (RXRX) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference (Transcript)
seekingalpha.com·9h
🔗Data Provenance
How Do Committees Invent? – Melvin E. Conway
melconway.com·3d·
Discuss: Hacker News
✨Effect Systems
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·2h·
Discuss: r/golang
📄PDF Internals
CodeAnt AI vs Panto AI: A Fair AI Review Showdown
dev.to·5h·
Discuss: DEV
📏Code Metrics
Group Effect Enhanced Generative Adversarial Imitation Learning for Individual Travel Behavior Modeling under Incentives
arxiv.org·5h
🔲Cellular Automata
An Approach to Grounding AI Model Evaluations in Human-derived Criteria
arxiv.org·1d
🤖AI Curation
Adaptive Parallel Graph Processing with Dynamic Workload Partitioning for Heterogeneous Architectures
dev.to·3h·
Discuss: DEV
🌊Stream Processing
[Support] Pro Bono
reddit.com·7h·
Discuss: r/kubernetes
📦Container Security
DeepTRACE: Auditing Deep Research AI Systems for Tracking Reliability Across Citations and Evidence
arxiv.org·1d
🔍Vector Forensics
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.org·1d
🌀Brotli Dictionary
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·1d
💻Local LLMs
Show HN: Claude Context but local – semantic code search without API keys
github.com·1d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🌀Brotli Dictionary
D-HUMOR: Dark Humor Understanding via Multimodal Open-ended Reasoning
arxiv.org·5h
🏛Digital humanities
Agentic AI and the Future of Python Project Management Tooling
towardsdatascience.com·13h
⚡Incremental Computation