⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Blaugust 2025: Staying Motivated
nkantar.com·1d
🌪️Brotli
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·2d
🗺️Competency Maps
Building an Ergonomic OpenTelemetry for JavaScript
thenewstack.io·5h
🐚Nordic Shell
Should I Stay or Should I Go?
danielleheberling.xyz·2h·
Discuss: Hacker News
🦋Format Metamorphosis
So many conferences are mid. Why was BSC 2025 so good?
bgthompson.codeberg.page·19h·
Discuss: Lobsters, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Nickel Configuration Language
nickel-lang.org·4d·
Discuss: Hacker News
📋Format Specification
AI Native Infrastructure Automation
systeminit.com·4h·
Discuss: Hacker News, r/devops
🏠Homelab Automation
We should rethink how we teach people to code
deadsimpletech.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Fox pairing
ncatlab.org·4d
🔱Galois Theory
Will There Ever Be a 10x Prompt Engineer?
embedworkflow.com·2h·
Discuss: Hacker News
⚡Proof Automation
The Great Inversion: Why Everything You Know About Software Is Now Wrong
medium.com·16h·
Discuss: Hacker News
🔄Language Evolution
Solving advection equations with reduction multigrids on GPUs
arxiv.org·1d
⚡Parallel Computing
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·1d
🧠Intelligence Compression
A Laplace diffusion-based transformer model for heart rate forecasting within daily activity context
arxiv.org·1d
🎙️Whisper
Regarding formatting issues with AI-generated copy
dev.to·13h·
Discuss: DEV
✅Format Verification
I don’t code much anymore.
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
HV Metric For Time-Domain Full Waveform Inversion
arxiv.org·1d
📊Rate-Distortion Theory
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
Why Clean Code Feels Invisible (And That's the Point)
dev.to·13h·
Discuss: DEV
📏Code Metrics
AI Coding Agents Meet Production Environment with the Inspector MCP Server
dev.to·5h·
Discuss: DEV
🔩Systems Programming