🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How AI on Microcontrollers Works: Registering Operators
danielmangum.com·2d·
Discuss: Hacker News
🧮SMT Solvers
China Won the Chip War While You Were Arguing About Gallium
kumarletter.com·1d·
Discuss: Hacker News
🇨🇳Chinese Computing
Links? Links!
infrequently.org·1d·
Discuss: Hacker News
📰RSS Archaeology
Ask HN: Help with GLSL Bi-Laplacian
news.ycombinator.com·23h·
Discuss: Hacker News
⟷Bidirectional Programming
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·1d·
Discuss: Hacker News
👁️Observatory Systems
How and where will agents ship software?
instantdb.com·18h·
Discuss: Hacker News
🌊Streaming Systems
Zero Knowledge Proofs in DApp Development Essential Insights for Developers
dev.to·2h·
Discuss: DEV
🌳Archive Merkle Trees
Math Game Monday: Krypto Insanity
denisegaskins.com·2d
🔲Cellular Automata
Investigation of Shock-Capturing with Bound-Preserving Limiters for the Nonlinearly Stable Flux Reconstruction Method
arxiv.org·2d
🎯Performance Proofs
Vibe coding and the silent AI war inside tech companies
seangoedecke.com·12h
📏Code Metrics
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·3d
💻Programming languages
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·2d
👑Coq Tactics
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·15h·
Discuss: Hacker News
🌀Brotli Internals
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.org·1d
🔲Cellular Automata
Automated Novelty Evaluation of Academic Paper: A Collaborative Approach Integrating Human and Large Language Model Knowledge
arxiv.org·1d
🧠Intelligence Compression
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·1d
🌀Fractal Compression
Biological Processing Units: Leveraging an Insect Connectome to Pioneer Biofidelic Neural Architectures
arxiv.org·1d
🔲Cellular Automata
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·3d
🔐Cryptographic Archaeology
We Learned, They Learned: The Unwritten Rules of a Successful Online Classroom
hackernoon.com·1d
🗺️Competency Maps
Time series classification of satellite data using LSTM networks: an approach for predicting leaf-fall to minimize railroad traffic disruption
arxiv.org·8h
🧠Machine Learning