🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

AI can dramatically expand human agency
freethink.com·12h
🔲Cellular Automata
Joy & Curiosity #45
registerspill.thorstenball.com·3d
🖥️Terminal Renaissance
There are exponentially many vectors with small inner product
lmao.bearblog.dev·5d·
Discuss: Hacker News
⚽Sphere Packing
Store What You Compute
senhongo.com·3d·
Discuss: Hacker News
📼Tape Algebra
Build AI-driven policy creation for vehicle data collection and automation using Amazon Bedrock
aws.amazon.com·1d
🤖Archive Automation
Writing an IR from Scratch and survive to write a post
farena.in·4d·
Discuss: Lobsters
📝Compiler Design
Show HN: DataFlow: makes LLM data processing fast, powerful, and EASY
github.com·1d·
Discuss: Hacker News
⚙️Batch Processing
REACT: Real-time Entanglement-Aware Coverage Path Planning for Tethered Underwater Vehicles
arxiv.org·1d
🌀Differential Geometry
EquiContact: A Hierarchical SE(3) Vision-to-Force Equivariant Policy for Spatially Generalizable Contact-rich Tasks
arxiv.org·22m
🌀Differential Geometry
The 15-Day AI Adventure: Building FarmIQ and Discovering What AI Can Really Do
dev.to·7h·
Discuss: DEV
🌍Cultural Algorithms
From Chat to Specs: A Deep Dive into AI-Assisted Development with Kiro
dev.to·11h·
Discuss: DEV
📏Code Metrics
Kernel-Adaptive PI-ELMs for Forward and Inverse Problems in PDEs with Sharp Gradients
arxiv.org·1d
🌀Differential Geometry
Towards Collaborative Fairness in Federated Learning Under Imbalanced Covariate Shift
arxiv.org·2d
🤐Secure Multiparty
Physics-Based Machine Learning Closures and Wall Models for Hypersonic Transition-Continuum Boundary Layer Predictions
arxiv.org·1d
🌀Differential Geometry
Psychology-Driven Enhancement of Humour Translation
arxiv.org·1d
🧠Intelligence Compression
Information geometric regularization of the barotropic Euler equation
arxiv.org·1d
🌀Differential Geometry
From Alerts to Intelligence: A Novel LLM-Aided Framework for Host-based Intrusion Detection
arxiv.org·22m
🎯Threat Hunting
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.to·21h·
Discuss: DEV
🤖Network Automation
Commuting Distance Regularization for Timescale-Dependent Label Inconsistency in EEG Emotion Recognition
arxiv.org·22m
📊Learned Metrics
Decoding AI and ML in Testing Environments
dev.to·1d·
Discuss: DEV
⚡Proof Automation