Illustrating Git Diff — And Master It
elye-project.medium.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·23h·
Discuss: Hacker News
🔧Unikernel Development
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·3d·
Discuss: Hacker News
🧩Parser Combinators
A Short Introduction to Tor
spec.torproject.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
The 4p Developer: The Missing Layer in Platform Thinking
davidpoll.com·22h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·2d·
Discuss: r/programming
💎Refinement Types
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
Tokenizing Loops of Antibodies
arxiv.org·16h
🧮Lambda Calculus
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·1d·
Discuss: Hacker News
🔤DSLs
Vibe Coding vs. Spec-Driven Development
redmonk.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·1d·
Discuss: r/programming
⚙️PL Implementation
The Majority is not always right: RL training for solution aggregation
arxiv.org·2d
🎮Verification Games
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
A quarter century of chasing simplicity
loopwerk.io·2d·
Discuss: Hacker News
💾Retro Computing
The Expression Problem and its solutions
eli.thegreenplace.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
Large Language Model Hacking: Quantifying the Hidden Risks of Using LLMs for Text Annotation
arxiv.org·16h
🛡️seL4
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·1d·
Discuss: Hacker News
🔬Unikernels
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·16h
✓Automated Theorem Proving
Monitoring Claude Code with OpenTelemetry
signoz.io·1d·
Discuss: Hacker News
👁️System Observability