🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How Protecting Children Online Created a Privacy Nightmare for Everyone
muckypaws.com·15h
🛡Cybersecurity
Chaos & controversy - Rashford's first two weeks inside Barca soap opera
bbc.com·9h
🎯Gradual Typing
Show HN: Sparc3D AI – High‑Res 3D Generation Tool
sparc3dai.com·23h·
Discuss: Hacker News
🏺Computational Archaeology
Analyzing the Federalist Papers
johndcook.com·2d
📜Digital Philology
Knowing what this world is about
leancrew.com·17h
⚙️Tape Engineering
None of this is real and it doesn't matter (on appearing busy vs. doing shit)
rawsignal.ca·3d·
Discuss: Hacker News
🌍Cultural Algorithms
Blaugust 2025: No Comment(s)
nkantar.com·2d
📰RSS Archaeology
$10,000 Google Bug Bounty: How a Deserialization RCE in AppSheet Could Have Led to Remote Code…
infosecwriteups.com·9h
🌐WASI
We're Building the Future of the Startup Economy with AI
angellist.com·3d·
Discuss: Hacker News
⚡Proof Automation
All-in on Omarchy at 37signals
world.hey.com·23h·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Framework Desktop Hands-on: First Impressions
boilingsteam.com·2d
🖥️Terminal Renaissance
Show HN: MemU: Let AI Memorize You
github.com·1d·
Discuss: Hacker News, r/opensource, r/selfhosted
🌀Brotli Internals
From SHAP to Rules: Distilling Expert Knowledge from Post-hoc Model Explanations in Time Series Classification
arxiv.org·5d
🧠Machine Learning
Building AI-Powered Applications with C# and Semantic Kernel
dev.to·5d·
Discuss: DEV
🔩Systems Programming
Enhanced Bio-Separation via Tailored Agarose Resins: A Computational Design & Validation Protocol
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
upgrading my network design
i.redd.it·1d·
Discuss: r/homelab
🖥Home Lab Setup
I Was Tired of Proving I Wasn’t Lying So I Built Devlog!
dev.to·4d·
Discuss: DEV
🚀Indie Hacking
System1, Inc. (SST) Q2 2025 Earnings Call Transcript
seekingalpha.com·1d
🔗Data Provenance
TravelMate AI: Real-Time AI Travel Planner Powered by Redis Stack
dev.to·16h·
Discuss: DEV
⚡Redis Internals
Augmented Reality Spatial Audio Rendering for Immersive Collaborative Design
dev.to·1d·
Discuss: DEV
👂Psychoacoustic Coding