Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Switch to Jujutsu already: a tutorial
stavros.io·1d
🌳Tree Shaking
AI is reshaping the retail industry one code at a time
zawya.com·1d
🎮Language Ergonomics
From Single-Node to Multi-GPU Clusters: How Discord Made Distributed Compute Easy for ML Engineers
discord.com·3d·
Discuss: Hacker News
📡Erlang BEAM
Open Lineage
usenix.org·2d
🎮Language Ergonomics
The Story of The Coder Cafe
thecoder.cafe·2d·
Discuss: Hacker News, r/programming
💬Error Message Design
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·4d
🏺Code Archeology
How To Install and Secure Redis on Ubuntu
digitalocean.com·2d
🔗Redis Protocols
Ubuntu Engineering in 2025: A Retrospective
jnsgr.uk·3d·
Discuss: Hacker News
🔄Bootstrapping
What modern programming feels like
news.ycombinator.com·4d·
Discuss: Hacker News
📊Code Metrics
New comment by nithish95 in "Ask HN: Who wants to be hired? (October 2025)"
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
InferenceMax AI benchmark tests software stacks, efficiency, and TCO — vendor-neutral suite runs nightly and tracks performance changes over time
tomshardware.com·1d
📈Performance Tools
🚀 New open-source project: Obsidian Base Hub as simple Notion Alternative
github.com·13h·
Discuss: r/ObsidianMD
🔄Copy Propagation
espanso/espanso v2.3.0
github.com·13h
🌈Gradual Languages
6 hidden Proxmox tricks I wish I knew sooner
xda-developers.com·2d
🛡️Capability VMs
NLightning: A robust and efficient C# implementation of Lightning for dotNet
github.com·4d
🌍Minimal HTTP
mrdaemon/exosphere v1.5.1
github.com·1d
🚪Escape Hatch
Stop Clicking, Start Coding: The Ultimate Visual Studio Shortcuts Cheatsheet
dev.to·3d·
Discuss: DEV
📝Editor Buffers
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·21h·
Discuss: DEV
💬Interactive REPLs
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·2d·
Discuss: DEV
⚡Live Coding