🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

My Favorite Combination Miter Saw is 43% Off at Home Depot Right Now
lifehacker.com·18h
🔗Topological Sorting
The clicky 4LO transfer case : bullshit LandCruiser 200 troubleshooting and repair
sprocketfox.io·8h
⚙️Cassette Mechanics
Applying Tenable’s Risk-based Vulnerability Management to the Australian Cyber Security Centre's Essential Eight
tenable.com·8h
🛡Cybersecurity
You should try having a local database with APEX
hartenfeller.dev·1d
⛏️SQL Archaeology
ATO to review processes around Paul Keating tax decision
abc.net.au·8h
⚡HTMX
AWS Introduces Vector Capabilities on Amazon S3
infoq.com·35m·
Discuss: Hacker News
🗂️Vector Databases
Scientists use quantum machine learning to create semiconductors for the first time – and it could transform how chips are made
livescience.com·22h·
Discuss: Hacker News, r/technews
🔐Quantum Cryptography
The Whole Check
justismills.substack.com·3d·
Discuss: Substack
⚙Backus-Naur Form
Boolean SHA256 with TFHE-rs (2023)
zama.ai·4d·
Discuss: Hacker News
🔢Bitwise Algorithms
Analytical Treatment of Hollow Toroid Flux Tubes
arxiv.org·4h
⚙️Tape Mechanics
Building a Real-Time Trading Bot Using AI and Python
hackernoon.com·1d
🌀Brotli Internals
An empirical comparison of some outlier detection methods with longitudinal data
arxiv.org·4h
📐Interval Trees
Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
arxiv.org·4h
🌲B-tree Variants
Leveraging Trustworthy AI for Automotive Security in Multi-Domain Operations: Towards a Responsive Human-AI Multi-Domain Task Force for Cyber Social Security
arxiv.org·4h
🧠Machine Learning
Attention-Driven Multimodal Alignment for Long-term Action Quality Assessment
arxiv.org·4h
📊Learned Metrics
Mento Selects Wormhole As Its Official Interoperability Provider To Power Multichain FX
hackernoon.com·16h
🏠Homelab Federation
NAICS-Aware Graph Neural Networks for Large-Scale POI Co-visitation Prediction: A Multi-Modal Dataset and Methodology
arxiv.org·1d
🔶Voronoi Diagrams
Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
arxiv.org·4h
🛡️WASM Sandboxing
Are we building AI coding assistants wrong?
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Proof Automation
DRL-AdaPart: DRL-Driven Adaptive STAR-RIS Partitioning for Fair and Frugal Resource Utilization
arxiv.org·1d
⧗Information Bottleneck