Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.orgยท12h
๐Ÿ“Shell Parsing
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท3d
๐Ÿ”—Functional Compilers
Introducing Real-Time Data with Materialized Views in Turso
turso.techยท3dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
A Guide for WireGuard VPN Setup with Pi-Hole Adblock and Unbound DNS
psyonik.techยท5hยท
Discuss: Hacker News
๐ŸŒDNS over QUIC
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.comยท4dยท
๐Ÿ’ฟZFS Internals
From Millions to Billions
geocod.ioยท3dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
The Day I Hacked XCTrack
blog.syrac.orgยท1dยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blogยท3d
๐Ÿ“œProof Carrying Code
State of Opinion โ€“ Programming Languages โ€“ Autumn 2025 Edition
xlii.spaceยท12hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Languages
The Rise of Reactive Backends That Adapt in Real Time
dev.toยท18hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
The Linus Method: How we simiplifed RFC reviews
devashish.meยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Datastar Response to Allegations
data-star.devยท3hยท
Discuss: Hacker News
๐ŸบZIP Archaeology
OSD600: Lab 5
dev.toยท1dยท
Discuss: DEV
โ„๏ธNix Flakes
The Porcelain to Come
stackdiver.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
For my e-waste hunters
reddit.comยท21hยท
Discuss: r/homelab
๐Ÿ› ๏ธGreaseweazle
Intent Weaving for AI Coding Agents
autohand.aiยท1dยท
Discuss: Hacker News
โšกProof Automation
Vibe Coding: Closing The Feedback Loop With Traceability
blog.sentry.ioยท4dยท
Discuss: Hacker News
โšกProof Automation
TCDRM: A Tenant Budget-Aware Data Replication Framework for Multi-Cloud Computing
arxiv.orgยท1d
๐Ÿ’พStorage Replication
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.toยท18hยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
AI can help your DevSecOps pipeline
spiceworks.comยท1dยท
Discuss: Hacker News
๐Ÿ Homelab Pentesting