⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Anthropic confirms technical bugs after weeks of complaints about declining Claude code quality
the-decoder.com·7h
✨Effect Handlers
2025-09-08 One Year Later
stucky.tech·20h
🎯Gradual Typing
preparing for the worst
daniel.haxx.se·9h·
Discuss: Hacker News
📡Feed Security
Using Git to Manage TODOs
jezenthomas.com·1d·
Discuss: Hacker News
🌿git
How Math Turned Me From a D.E.I. Skeptic to a Supporter
nytimes.com·4d
📐Mathematical Art
Stress testing Biome's noFloatingPromises lint rule
vercel.com·5d·
Discuss: Hacker News
🔒Type Safety
Blend IVES With ARKQ For Balanced AI Investment
seekingalpha.com·2h
🔍BitFunnel
I Completed Mathematics for Machine Learning
frankhecker.com·5d·
Discuss: Hacker News
📚Proof Pedagogy
[R] LLMs play a cooperative card game, coordination without communication
reddit.com·15h·
Discuss: r/MachineLearning
🔲Cellular Automata
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com·1d·
Discuss: Hacker News
🤖AI Curation
Show HN: D-Tale, easy to use GUI for Pandas data structures
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Automated Meta-Analysis of Panspermia Hypothesis Evidence Across Celestial Bodies
dev.to·2d·
Discuss: DEV
🌈Spectroscopy
Show HN: I'm a dermatologist and I vibe coded a skin cancer learning app
dev.to·1d·
Discuss: DEV
🏛Digital humanities
MatrixPortal S3 Maze Game with CircuitPython
hackster.io·1d
📟Terminal Physics
Single-Shot Decoding of Biased-Tailored Quantum LDPC Codes
arxiv.org·12h
⚛️Quantum LDPC
[media] i made my own esoteric programming language that turns numbers to colors with rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros
Hyperdimensional Embedding for Adaptive Granularity in Interactive OLAP Cubes
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.org·1d
🧠Intelligence Compression
Epigenetic Memory Stabilization via Causal Graph Reinforcement Learning in DNA Replication
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
We Pushed Go, Rust, and Node to One Million Users, Here’s Who Broke First
dev.to·1d·
Discuss: DEV
🦀Embedded Rust