Roll your own in-game UI with Clay and NanoVG
dev.to·2d·
Discuss: DEV, r/cpp, r/programming
🧱Immutable Infrastructure
Image Optimization for Next.js with Imgproxy
imgproxy.net·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Semaphore Enterprise Edition is free for small teams
semaphore.io·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Binding Application in Idris
andrevidela.com·17h·
Discuss: Hacker News
🔠Type-Level Programming
Grok 4: Breaking Down XAI's Leap
hjortur.substack.com·19h·
Discuss: Substack
🎮Verification Games
Introducing UringMachine, a Ruby gem for performing concurrent I/O
noteflakes.com·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🔄Reproducible Builds
Flox Build and Publish
flox.dev·3d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
UGREEN NAS preferred OS - migrating PROXMOX
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Linux 6.15.6, 6.12.37 LTS & Other Stable Kernels Deliver TSA Mitigations
phoronix.com·1d·
Discuss: Hacker News
🔬Unikernels
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·2d·
Discuss: Hacker News
⎈Kubernetes
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·1d·
Discuss: r/programming
💻CS
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·8h·
Discuss: Substack
🔍Formal Verification
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·3h
🔄Reproducible Builds