🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Turning Slack into a network
buildingslack.com·2d
🕸️Mesh Networking
At Cisco, bold steps towards a quantum network
newsroom.cisco.com·1d·
Discuss: Hacker News
⚛️Quantum Tape
Handwriting Practice For Children
hackster.io·8h
🌏Character Sets
Releasing open weights for FLUX.1 Krea
krea.ai·3d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Eric Holder on Why He Reversed Course on Gerrymandering
nytimes.com·1d
💻Local first
Tim Cook reportedly tells employees Apple ‘must’ win in AI
techcrunch.com·18h·
Discuss: Hacker News
🍎Apple Computing
What is an AI-first software company?
varungodbole.com·3d·
Discuss: Hacker News
⚙️TLA+
August rate cut appears certain. How many after that?
abc.net.au·3d
📈Time Series
Systolic Array-based Accelerator for State-Space Models
arxiv.org·4d
🚀SIMD Parsing
Wrap Once, Run Everywhere_ Integrating Python with .NET, Java, and Node.js using Javonet
dev.to·3d·
Discuss: DEV
🌐WASI
Polar Coding and Linear Decoding
arxiv.org·5d
ℹ️Information Theory
Enhanced Prediction of CAR T-Cell Cytotoxicity with Quantum-Kernel Methods
arxiv.org·3d
🔐Quantum Security
TraceRoot: Find the Root Cause in Your Code's Trace
github.com·2d·
Discuss: Hacker News, Hacker News
👁️System Observability
Old motherboard doesn't accept old memory (DDR3)
reddit.com·20h·
Discuss: r/homelab
⚡Circuit Archaeology
New Programming Language
news.ycombinator.com·6d·
Discuss: Hacker News
💻Programming languages
Understanding Go's Type System: A Complete Guide to Interfaces, Structs, and Composition [2025]
dev.to·5d·
Discuss: DEV
🔤Type Theory
Decoding the Future: How Next-Gen Technology is Revolutionizing Software Development
dev.to·2d·
Discuss: DEV
⚙️TLA+
MCIF: Multimodal Crosslingual Instruction-Following Benchmark from Scientific Talks
arxiv.org·5d
🎙️Whisper
Multilingual Self-Taught Faithfulness Evaluators
arxiv.org·5d
💻Local LLMs
HRIPBench: Benchmarking LLMs in Harm Reduction Information Provision to Support People Who Use Drugs
arxiv.org·4d
📏Linear Logic