Announcing coreboot 25.09 release
blogs.coreboot.org·1d
🔌Operating system internals
1990s Millport CNC Vertical Mill Revival
salvagedcircuitry.com·9h·
Discuss: Hacker News
⚙️Modern Assembly
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·1d·
Discuss: r/programming
🌊Stream Processing
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·5d·
Discuss: Hacker News
🔒WASM Capabilities
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
vibe.forem.com·23h·
Discuss: DEV
⚔️Lean Tactics
A Search Engine in CSS – By Tim Carry – Algolia Stories
stories.algolia.com·10h·
Discuss: Hacker News
🧪Binary Fuzzing
Ask HN: Claude Code Alternative
news.ycombinator.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Cold Calculation
kae3g.codeberg.page·16h·
Discuss: Hacker News
⚡Incremental Computation
My Claude Code Setup
justindfuller.com·3d·
Discuss: Hacker News
⚡Proof Automation
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.io·5h·
Discuss: Hacker News
⚡Z3 Optimization
Building AI Systems That Don't Break Under Attack
dev.to·4h·
Discuss: DEV
⚡Proof Automation
⚙️ Mastering Python Context Managers: Beyond with open()
dev.to·2d·
Discuss: DEV
🪟Awesome windows command-line
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Master Docker & Kubernetes — From Zero to Real-World Deployment (limited time)
reddit.com·13h·
Discuss: r/kubernetes
📦Container Security
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to·14h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Generalized Orders of Magnitude (GOOMs)
github.com·19h·
Discuss: Hacker News
🕸️Tensor Networks
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5d
💻Programming languages
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·2d·
Discuss: r/golang
🌊Streaming Systems