🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

SwiNOG 40: Reliability of High-Speed Transceivers
blog.ipspace.net·1d
⚙️Tape Engineering
Our Philosophy on Developer Rotation
thoughtbot.com·1d
⚙️Proof Engineering
More adventures in the land of AI and Open Source
blogs.gnome.org·1d
🦀Rust Macros
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·2d·
Discuss: Hacker News
🧩WASM Modules
How Python Implements List Comprehensions
pythonkoans.substack.com·2d·
Discuss: Substack
🔗Concatenative Programming
How to (actually) become an expert in .NET
mijailovic.net·4d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
Optimizing Home Energy Efficiency: What Developers Can Learn from Furnace AFUE Ratings
dev.to·1d·
Discuss: DEV
📏Code Metrics
Going beyond naive individualistic models of social science
statmodeling.stat.columbia.edu·20h
🌍Cultural Algorithms
How OpenAI Operator Works with AI Agents
anchorbrowser.io·16h·
Discuss: Hacker News
🏠Homelab Automation
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·6h
🕸️Mesh Networking
Why TypeScript’s Type vs Interface War Never Ends (and What It Says About Dev Culture)
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
SQLStorm & CogniSQL: An AI-Augmented SQL Dataset(202508)
dev.to·2d·
Discuss: DEV
⛏️SQL Archaeology
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·3d
🕸️Tensor Networks
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.org·3d
🧠Intelligence Compression
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·6h
🕸️Algebraic Topology
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
SPINN: An Optimal Self-Supervised Physics-Informed Neural Network Framework
arxiv.org·2d
🧠Machine Learning
HALT-RAG: A Task-Adaptable Framework for Hallucination Detection with Calibrated NLI Ensembles and Abstention
arxiv.org·1d
🌀Brotli Internals
Computational Concept of the Psyche
arxiv.org·1d
🔲Cellular Automata
Layered Cortical Graph Dynamics for Predictive Cognitive Modeling
dev.to·1d·
Discuss: DEV
🔲Cellular Automata