🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Is Your Quantum Computer Faking It? Physicists Unveil a “Quantum Lie Detector”
scitechdaily.com·12h
🔐Quantum Security
AI in SDLC = the End of Outsourcing?
blog.flurdy.com·2d
⚙️Proof Engineering
What you may have missed about GPT-5
technologyreview.com·2d
🤖AI Curation
Bcachefs to be removed from mainline Linux kernel
lore.kernel.org·2d·
Discuss: Hacker News
💿ZFS Scrubbing
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com·3d·
Discuss: Hacker News
🔍Vector Forensics
original ↗
nickyreinert.de·2d·
Discuss: Hacker News
⚖️Game Preservation Ethics
Forward Deployed AI Research
publish.obsidian.md·3d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
DiaCal Diabetic Medical Software Product
dev.to·1d·
Discuss: DEV
📺yt-dlp
Patchday Adobe: Malicious code gaps threaten InDesign, Photoshop & Co.
heise.de·1h
💣ZIP Vulnerabilities
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·1d
🔍Vector Forensics
ActivityDiff: A diffusion model with Positive and Negative Activity Guidance for De Novo Drug Design
arxiv.org·3d
🔍Vector Forensics
🚀 Boost Your Coding Speed & Confidence with AI — The AI Coding System for Developers
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Mixture-of-Agents (MoA): Improving LLM Quality through Multi-Agent Collaboration
hackernoon.com·3d
🧮SMT Solvers
Quantifiable In Vivo Cell Therapy Distribution & Function via Multi-Modal Dynamic Network Analysis
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Enhanced Design Optimization via Adaptive Hyperparameter Resonance Mapping
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Neal Ysart, Co-Founder, The Coalition Of Cyber Investigators
forensicfocus.com·2d
🚨Incident Response
Conformal Sets in Multiple-Choice Question Answering under Black-Box Settings with Provable Coverage Guarantees
arxiv.org·6d
🧮Kolmogorov Bounds
WeatherDiffusion: Weather-Guided Diffusion Model for Forward and Inverse Rendering
arxiv.org·2d
🌈Color Science
Adaptive Whiplash Mitigation via Dynamic Tension Distribution in Composite Hulls
dev.to·2d·
Discuss: DEV
🔐Systems Hardening
Vibe Coding: The Fun Way to Build with AI
dev.to·1d·
Discuss: DEV
⚡Effectful Programming