🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Intel processors crashing Unreal engine games (and others)
forums.anandtech.com·9h
🧪Hardware Fuzzing
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Supply chains and watering holes
cryptography.dog·1d·
Discuss: Lobsters
🔗Supply Chain
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·10h·
Discuss: Hacker News
🔄Document Workflows
Optimizing AI Inference on Non-GPU Architectures by Rajalakshmi Srinivasaraghavan
hackernoon.com·1d
⚡CPU Microarchitecture
Bonhoeffer Capital Management Q2 2025 Letter
seekingalpha.com·4h
📰Feed Readers
1.0 release of the Google Cloud client libraries for Rust
github.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Verification
Computational Concept of the Psyche
arxiv.org·1d
🔲Cellular Automata
Layered Cortical Graph Dynamics for Predictive Cognitive Modeling
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Yes, Python is Slow, but it doesn’t matter for AI SaaS
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·3d
🔐Quantum Security
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·41m
🕳️Persistent Homology
Illuminating AI: Building a Sustainable Future with Light-Speed Computing
dev.to·14h·
Discuss: DEV
🌈Holographic Archives
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.to·5h·
Discuss: DEV
🤖Advanced OCR
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·3d
🎙️Whisper
Computational Imaging for Enhanced Computer Vision
arxiv.org·41m
📐Projective Geometry
Automated SIRT7-Dependent Metabolic Pathway Optimization via Deep Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
DeepGraphLog for Layered Neurosymbolic AI
arxiv.org·1d
🤖Paleographic AI
Sparsity Unleashed: Democratizing Simulations with Function-Space Autoencoders by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
📊Quantization
The Go Paradox: Why Fewer Features Create a Better Language for Senior Developers
dev.to·4d·
Discuss: DEV
💻Programming languages