Powered by DigitalOcean Hatch: Why Uxify’s Founders Always Choose DigitalOcean
digitalocean.com·18h
🔓Open Source Software
The AWS Survival Guide for 2025: A Field Manual for the Brave and the Bankrupt
lastweekinaws.com·1d
🖥️Self-hosted Infrastructure
Making file encryption fast and secure for teams with advanced key management
dropbox.tech·1d
🔐Homomorphic Encryption
Ente web - State of the Union 2025
ente.io·2d
🎯Gradual Typing
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·14h·
Discuss: Hacker News
📺VT100 Emulation
Remotely Wipe a Server (2011)
linuxjournal.com·3d·
Discuss: Hacker News
💿ZFS Scrubbing
Stacked Pull Requests FTW
git-tower.com·1h·
Discuss: Hacker News
🌳Git Internals
Unified Memory Management
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Storage
Monitoring My Homelab, Simply
b.tuxes.uk·1d·
Discuss: Lobsters, Hacker News
📊Homelab Monitoring
Reliable Distributed Applications
docs.temporal.io·2d·
Discuss: Hacker News
⏰Temporal Logic
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·25m
⚡Proof Automation
How to Choose the Right Observability Tool for Your Team
hackernoon.com·20h
👁️System Observability
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🧮Z3 Solver
I Changed My Mind: AI Will Replace Us
medium.com·17h·
Discuss: Hacker News
⚡Proof Automation
KSAT
corrode.dev·1d·
Discuss: Hacker News
🦀Embedded Rust
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·8h
✨Effect Handlers
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🐛Fuzzing
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🗣️Domain-Specific Languages
Issue Tracking Ecosystems: Context and Best Practices
arxiv.org·1d
📰Content Curation
Caching
planetscale.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💨Cache Optimization