🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

These Two New Features Cement Google’s NotebookLM As One of My Favorite Study Apps
lifehacker.com·6h
🌱Personal Wikis
Detection Engineering: Practicing Detection-as-Code – Versioning – Part 5
blog.nviso.eu·1d
✅Archive Validation
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·3h·
Discuss: Hacker News
🌳Archive Merkle Trees
Trust at Scale: Security and Governance for Open Source Models // Hudson Buzby // #338
podcasters.spotify.com·1d
🔒WASM Capabilities
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
🎯Gradual Typing
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·7h·
Discuss: Substack
🖥️Terminal Renaissance
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·2d
🦋Format Metamorphosis
VLMs-in-the-Wild: Bridging the Gap Between Academic Benchmarks and Enterprise Reality
arxiv.org·20h
🤖Advanced OCR
OpenAI Researchers Have Discovered Why Language Models Hallucinate
thealgorithmicbridge.com·2d·
Discuss: Hacker News
⚡Performance Mythology
Automated Anomaly Detection in Fatigue Crack Growth Using Multi-Modal Sensor Fusion & HyperScore
dev.to·2d·
Discuss: DEV
👁️System Observability
[D] IJCNLP-AACL 2025: Paper Reviews (ARR July 2025 Cycle)
reddit.com·1d·
Discuss: r/MachineLearning
📡Information theory
LangChain for EDA: Build a CSV Sanity-Check Agent in Python
towardsdatascience.com·1d
⚡Proof Automation
Automated Spectral Anomaly Detection in Ru-H Catalysts via Multi-modal Hypergraph Analysis
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·2d
🧮Kolmogorov Bounds
Software dev isn’t life or death (but it sure feels like it)
dev.to·9h·
Discuss: DEV
🔩Systems Programming
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·2d
🔲Cellular Automata
Intro to Python Module One: Getting Started with Python
dev.to·2d·
Discuss: DEV
🔗Lisp
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·1d
🔍Vector Forensics
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·3d·
Discuss: DEV
🧠Memory Allocators