🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Top 10 Things I’d Like to See in University OT Cybersecurity Curriculum (2025 Edition)
tisiphone.net·1d
🌐Network Security
How Simplify in the Google app makes complex text easier to understand
blog.google·3d
🧠Intelligence Compression
Allocations Are a Dependency
clipperhouse.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Hashers (Murmur)
github.com·3d
🔐Hash Functions
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·22h·
Discuss: Hacker News
🎙️Whisper
Understanding Motion and Relativity with Spacetime Diagrams
steuard.github.io·1d·
Discuss: Hacker News
📟Terminal Physics
Dallas scientist wins 'America's Nobel' for research into 'ugly duckling' proteins
phys.org·57m
🧬Copy Number Variants
Is Your Training Data Representative? A Guide to Checking with PSI in Python
towardsdatascience.com·1d
📈Entropy Estimation
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·18h·
Discuss: Hacker News
🦋Format Metamorphosis
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
Grasp Like Humans: Learning Generalizable Multi-Fingered Grasping from Human Proprioceptive Sensorimotor Integration
arxiv.org·1d
✋Tactile Computing
Adaptive Hybrid Force/Position Control for Collaborative Robot Assembly via Dynamic System Identification
dev.to·2d·
Discuss: DEV
🏠Homelab Automation
Enhanced Plasma Control via Adaptive Fourier Transform & Reinforcement Learning for Lam Research PECVD
dev.to·6h·
Discuss: DEV
🧲Magnetic Recording
AI-Driven Predictive Maintenance Optimization for Data Center Cooling Systems via Hybrid Bayesian Network & LSTM Modeling
dev.to·1d·
Discuss: DEV
📊Homelab Monitoring
TL;DR — We’re Using AI to Write Code Because We’re Lazy, and Not Putting AI in Software Because That’s Hard
dev.to·1d·
Discuss: DEV
📏Code Metrics
Quantum Resilience: Navigating Uncertainty in Tomorrow's Quantum Internet by Arvind Sundararajan
dev.to·20h·
Discuss: DEV
🔐Quantum Cryptography
Poisoned Prompts: How Malicious Documentation Can Hijack Your AI Code
dev.to·15h·
Discuss: DEV
⚡Proof Automation
How to Write Cleaner Code by Thinking Like an Architect
dev.to·4d·
Discuss: DEV
⚙️Build Archaeology