Redesigning Jenkins (Part Two)
jenkins.io·22h
🔌Interface Evolution
Patching your Homebrew's Emacs Plus (macOS)
xenodium.com·1d
🍎XNU Internals
A new era of software engineering, cybersecurity, & AI
softwareheritage.org·1d
🏺Archaeological Computing
Making a Panoramax Mastodon Bot
tzovar.as·12h
📡RSS Automation
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·6h
⚡Proof Automation
A Different Way to Think about Plane Fitting
tangramvision.com·1d·
Discuss: Hacker News
📐Projective Geometry
You might not need a Python class
adamgrant.micro.blog·3h·
Discuss: Hacker News, r/programming
⬆️Lambda Lifting
Understanding Error Handling with Defer in Go: A Deep Dive
zerotohero.dev·13h·
Discuss: Hacker News
⚖️Hoare Logic
Show HN: A code editor that integrates into the browser
tachicode.dev·5h·
Discuss: Hacker News
📺Terminal UI
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·1d·
Discuss: r/LocalLLaMA
🔒Linear Types
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·22h·
Discuss: Hacker News
🔒Type Safety
Vibe coding a Game Boy emulator
sanjeetnd.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy
Interactive Programming in C (2014)
nullprogram.com·1d·
Discuss: Hacker News
🔩Systems Programming
LOCOFY Large Design Models -- Design to code conversion solution
arxiv.org·1d
🦋Format Metamorphosis
A front end love story
tobiasuhlig.medium.com·16h·
Discuss: Hacker News
🌐WASI
testcontainers: improving E2E tests
mfbmina.dev·6h·
Discuss: Hacker News, r/golang
🧪CBOR Fuzzing
Using Data Engineering to Track Food Prices and Inflation in Kenya from 2006 to 2025
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Python 3.14 release candidate 1 is go!
pythoninsider.blogspot.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
The Product Engineer
nandinfinitum.com·6h·
Discuss: Hacker News
📟CLI Design
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·3d·
Discuss: Hacker News
🐚Shell Optimization