⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

How Sui Move rethinks flash loan security
blog.trailofbits.com·1d
⚡Hardware Transactional Memory
Lessons from Hidden Satoshi Gold Book on Crypto and AI
satoshigoldbook.com·19h·
Discuss: Hacker News
🔗Hash Chains
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·1d·
Discuss: Hacker News, r/programming
🔄Language Evolution
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·19h·
Discuss: Hacker News
🗂️Vector Databases
On discourse and decentralisation
connectedplaces.online·8h·
Discuss: Hacker News
🤝Distributed Consensus
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·4d·
Discuss: Hacker News
🔄Burrows-Wheeler
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·1d·
Discuss: Hacker News
🎫Kerberos Attacks
Remitly Global, Inc. (RELY) Discusses On Remitly Reimagine Conference Call (Transcript)
seekingalpha.com·1d
🔤EBCDIC Migration
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·5d·
Discuss: Hacker News
🔲Cellular Automata
Dotter: Dotfile manager and templater written in Rust
github.com·21h·
Discuss: Hacker News
🦀Rust Macros
Adaptive Acoustic Metamaterial Composites for Broadband Noise Reduction via Topology Optimization
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Optimal Variance and Covariance Estimation under Differential Privacy in the Add-Remove Model and Beyond
arxiv.org·3d
🔐Homomorphic Encryption
The Hanamaruki Method for AI Dialogue Design — 03
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·12h
🎧Learned Audio
Building AI-Resistant Technical Debt
oreilly.com·1d
📏Code Metrics
Unlock the Power of Python Strings: Tips, Tricks, and Essential Methods
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
DevOps Automation with Python: Intelligent System Monitoring with Auto Recovery
dev.to·22h·
Discuss: DEV
👁️System Observability
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·12h
🕸️Algebraic Topology
Reasoning Language Model for Personalized Lung Cancer Screening
arxiv.org·2d
🔗Constraint Handling
Compiling Multiple CSS Files into One
css-tricks.com·1h
🦀Rust Macros