Holden Karau
usesthis.comΒ·19h
🏠Homelab Archaeology
My AI Workflow for Understanding Any Codebase
steipete.meΒ·1d
⚑Proof Automation
Portable Network Graphics (PNG) Specification (Third Edition)
w3.orgΒ·1dΒ·
Discuss: Hacker News
πŸ•ΈοΈWebP Analysis
Using LLMs in CI/CD for semantic testing of web content
plo.ugΒ·4hΒ·
Discuss: Hacker News
⚑Proof Automation
Simplicity, Agility, and Agency
articles.pragdave.meΒ·8hΒ·
Discuss: Hacker News
⬜Minimalism
Former Btrfs Lead Developer Chris Mason Announces New "rsched" Tool
phoronix.comΒ·1d
πŸ”eBPF
Infrastructure Designed for Agents
gensx.comΒ·2dΒ·
Discuss: Hacker News
🌊Streaming Systems
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgΒ·2d
🎯Performance Proofs
How to setup backups?
reddit.comΒ·5hΒ·
Discuss: r/homelab
πŸ’ΏBackup Strategies
Breaking Barriers: Cross-Distro CI/CD with Packit and OBS - DevConf.CZ 2025
youtube.comΒ·11h
πŸ”„Reproducible Builds
Rise of OpenJDK & Oracle vs Others
dev.toΒ·17hΒ·
Discuss: DEV
πŸ”„Language Evolution
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300οΌ‰
dev.toΒ·22hΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Connect Claude AI with Obsidian: A Game-Changer for Knowledge Management πŸš€
dev.toΒ·2dΒ·
Discuss: DEV
πŸ€–Archive Automation
Launch HN: Reducto Studio (YC W24) – Build accurate document pipelines, fast
news.ycombinator.comΒ·3dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.orgΒ·15h
πŸ”’Privacy Preserving
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgΒ·15h
πŸ“Linear Logic
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.toΒ·1dΒ·
Discuss: DEV
⚑Modern Compression
How to Write a Software Project Proposal: Complete Template & Guide
dev.toΒ·13hΒ·
Discuss: DEV
πŸ¦‹Format Metamorphosis
[$] Libxml2's "no security embargoes" policy
lwn.netΒ·1d
πŸ”“Free and open source
πŸ’Ž Bespoke Opportunity Forge: AI-Powered Job Concierge πŸ“¬
dev.toΒ·9hΒ·
Discuss: DEV
πŸŒ€Brotli Internals