From Toil to Empowerment: Building Self-Service Ingress with GitOps
usenix.org·1d
🕸️Mesh Networking
Cactus Language • Semantics 3
inquiryintoinquiry.com·21h
🔢Denotational Semantics
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·17h
🔄Reproducible Builds
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
AI can help your DevSecOps pipeline
spiceworks.com·23h·
Discuss: Hacker News
🏠Homelab Pentesting
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·14h·
Discuss: r/rust
🦀Rust Macros
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·14h·
Discuss: Hacker News
🎯Performance Proofs
Why Nix Will Win (and What's Stopping It): A 3-Year Production Story
ryanrasti.com·2d·
Discuss: Hacker News
❄️Nix Adoption
microsoft/UserLM-8b - “Unlike typical LLMs that are trained to play the role of the 'assistant' in conversation, we trained UserLM-8b to simulate the 'user' rol...
huggingface.co·2d·
Discuss: DEV, Hacker News, r/LocalLLaMA
🎙️Whisper
The Porcelain to Come
stackdiver.com·14h·
Discuss: Hacker News
🔲Cellular Automata
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
Devoxx: MCP in the Wild: Real Time Agentic Systems with Live AB Testing by Arun Gupta
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·22h·
Discuss: Hacker News
🔓Open Source Software
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·17h·
Discuss: Hacker News
🔗Concatenative Programming
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
CReact - JSX for the Cloud
github.com·16h·
Discuss: Hacker News, r/node, r/programming, r/reactjs
🧱Immutable Infrastructure
Static Bundle Object: Modernizing Static Linking
medium.com·3d·
Discuss: Hacker News, Hacker News
🔗Static Linking
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
✨Effect Handlers