🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Analysis: What hope do the Liberals have if one rebellious senator brought a crisis?
abc.net.au·7h
⚙️TLA+
Allocations Are a Dependency
clipperhouse.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Open source all the way down at APNIC 60
blog.apnic.net·23h
🛡️eBPF Programs
Standards for Age Verification
avpassociation.com·1d·
Discuss: Hacker News
📋Format Specification
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·19h·
Discuss: Hacker News
🎙️Whisper
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·1d·
Discuss: Hacker News
🚀Indie Hacking
AI companies will lose the market if they ignore responsibility in design
techradar.com·17h
🌍Cultural Algorithms
I Am Now a Certified Red Team Analyst (CRTA) — My Journey with CyberWarFare Labs
infosecwriteups.com·1d
🕵️Penetration Testing
Clocks created from random events can probe 'quantumness' of universe
phys.org·16h
⏰Time Crystals
The Hungarian Algorithm and Its Applications in Computer Vision
towardsdatascience.com·2d
🎯Arithmetic Coding Theory
Enhanced Dielectric Relaxation Analysis via Multi-scale Fractal Network Modeling
dev.to·1d·
Discuss: DEV
📊Spectral Graphs
Integrating Public Perspectives in Microreactor Facility Design
arxiv.org·3h
⚙️DIY Electronics
EnergyNet Explained: Internetification of Energy Distribution
arxiv.org·1d
🤝Distributed Consensus
Enhanced Plasma Control via Adaptive Fourier Transform & Reinforcement Learning for Lam Research PECVD
dev.to·3h·
Discuss: DEV
🧲Magnetic Recording
The maths you need to start understanding LLMs
dev.to·5d·
Discuss: DEV
💻Local LLMs
Attention and Risk-Aware Decision Framework for Safe Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
Feed-O-Meter: Fostering Design Feedback Skills through Role-playing Interactions with AI Mentee
arxiv.org·2d
🎯Content Recommendation
The Choice of Divergence: A Neglected Key to Mitigating Diversity Collapse in Reinforcement Learning with Verifiable Reward
arxiv.org·2d
🔲Cellular Automata
AI-Driven Predictive Maintenance Optimization for Data Center Cooling Systems via Hybrid Bayesian Network & LSTM Modeling
dev.to·1d·
Discuss: DEV
📊Homelab Monitoring
CLAPS: A CLIP-Unified Auto-Prompt Segmentation for Multi-Modal Retinal Imaging
arxiv.org·1d
🤖Advanced OCR