🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

10 “I hope this email finds you well” alternatives
proton.me·1d
📡Feed Security
Conference on TDA: Recent Developments and Applications, University of Missouri – Columbia, November 22-24, 2025
appliedtopology.org·2d
🕸️Algebraic Topology
Nourishing and easy sweet potato and lentil bowls
abc.net.au·8h
🧮Algorithmic Cooking
Catholic Theology and Code
theologyandcode.com·1d·
Discuss: Hacker News
⛪Church Encoding
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🔌Archive APIs
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.de·2d·
Discuss: Hacker News, r/programming
🧠Personal Knowledge Base
Recon2012: Reverse engineering of binary programs for custom virtual machines
recon.cx·1d·
Discuss: Hacker News
🔬Binary Analysis
Digest #179: Vibe Coding Hype, DevOps Exercises, Terraform+MCP, Windows inside a Docker
devopsbulletin.com·18h
❄️Nix Adoption
Show, don’t tell: ChatGPT 5 marginalizing Gelman’s measurment error model in Stan
statmodeling.stat.columbia.edu·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
'Bond King' Bill Gross says he's worried AI giants are wasting money — and their stocks could pay the price
businessinsider.com·23h
🔍BitFunnel
New parametric CAD BREP kernel attempt
github.com·4d·
Discuss: Hacker News
🌐Computational Topology
The Silent Thief in Your Code: When AI Assistants Get Hacked
dev.to·1d·
Discuss: DEV
🔓Hacking
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·4d
📐Binary Grammars
When Middleware Lies: The Dark Pattern of Fake Liquidity Bridges
hackernoon.com·1d
🌳Archive Merkle Trees
Python Mystery Quiz: Can You Crack This Code?
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Agents of Discovery
arxiv.org·2d
📡Information theory
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·2d
🎧Learned Audio
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·2d
🔲Cellular Automata
Claude’s memory architecture is the opposite of ChatGPT’s
dev.to·19h·
Discuss: DEV
⚡Hardware Transactional Memory
Optimization Methods and Software for Federated Learning
arxiv.org·2d
🧠Machine Learning