🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Argentina to double capacity of key freight corridor
railjournal.com·23h
🔐CBOR
SQL Injection in Cyber Security Prevention Guide
securityscorecard.com·15h
🗃️Database Forensics
You can say no
blackbirdspyplane.com·16m
📼Cassette Culture
The syslog-ng Insider 2025-08: HDFS; configuration; Prometheus
syslog-ng.com·19h·
Discuss: Hacker News
🔌Interface Evolution
How to Measure a TV: Everything You Need to Figure Out Before Upgrading
popularmechanics.com·15h
🔬Projection Optics
More businesses forced to close in July as cost pressures mount
the-independent.com·31m
💰Preservation Economics
Automate Your Work with n8n
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Helen Oyeyemi’s Novel of Cognitive Dissonance
newyorker.com·1d
⬜Minimalism
How companies could save money by sending employees home on time
the-independent.com·1d
🧠Intelligence Compression
Portable Arduino-Based Soil Moisture Detection System
hackster.io·19h
⚙️DIY Electronics
Personalized Face Super-Resolution with Identity Decoupling and Fitting
arxiv.org·1d
🌀Fractal Compression
Data Diversity as Implicit Regularization: How Does Diversity Shape the Weight Space of Deep Neural Networks?
arxiv.org·1d
📊Learned Metrics
OpenAI aims to build AI systems that can work on problems for hours or even days
the-decoder.com·3d
🌊Stream Processing
A Tamagotchi that lives in Claude Code's statusline and gets angry when Claude doesn't follow your instructions!
dev.to·2d·
Discuss: DEV
🦀Rust Macros
A Chrome Extension That Redesigns Any Website in Seconds - WebImgs
dev.to·1d·
Discuss: DEV
📸PNG Optimization
GraphTreeGen: Subtree-Centric Approach to Efficient and Supervised Graph Generation
arxiv.org·5d
🔗Topological Sorting
Lifting the Hood on Trace Propagation in OpenTelemetry
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Gravitational Lens Anomaly Mapping via Multi-Modal Deep Learning for Exoplanet Detection
dev.to·1d·
Discuss: DEV
🔬Optical Physics
An Introduction to Web Development
dev.to·5d·
Discuss: DEV
🛠Language Design
OpenBSD vs Linux: Benchmark Reveals 10x Performance Gap in Specific Workloads
discoverbsd.com·22h
🐡OpenBSD