⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The relentless drive toward simplified design ↦
sixcolors.com·1d
🎨Swedish Design Philosophy
Blaugust 2025: Staying Motivated
nkantar.com·2d
🌪️Brotli
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·2d
🗺️Competency Maps
Log Detective: GSoC 2025 (part 2)
danigm.net·21h
🔓Open Source Software
Nytek Calculator
play.google.com·16h·
Discuss: Hacker News
📐Document Calculus
So many conferences are mid. Why was BSC 2025 so good?
bgthompson.codeberg.page·1d·
Discuss: Lobsters, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A Model for all Ranges
qt.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·9h·
Discuss: Hacker News
📏Code Metrics
Will There Ever Be a 10x Prompt Engineer?
embedworkflow.com·9h·
Discuss: Hacker News
⚡Proof Automation
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Quantum-Circuit-Based Visual Fractal Image Generation in Qiskit and Analytics
arxiv.org·22h
📐Mathematical Art
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·1d
🕸️Network Topology
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
The Great Inversion: Why Everything You Know About Software Is Now Wrong
medium.com·23h·
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·20h·
Discuss: DEV
✅Format Verification
I don’t code much anymore.
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages