Privacy for the newly appointed (and already exasperated) DPO
latacora.github.ioยท11h
โš–๏ธLegal Compliance
The Good, the Bad and the Ugly in Cybersecurity โ€“ Week 26
sentinelone.comยท10h
๐Ÿ›กCybersecurity
Understanding Prolly Tree Balance
dolthub.comยท2dยท
Discuss: Hacker News
๐ŸŒฒB-tree Variants
Little Known Hetzner Gem: Managed Servers (VM and Dedicated)
hetzner.comยท9hยท
Discuss: Hacker News
๐Ÿ Homelab Preservation
How to Get Walkie Talkie License in Bangladesh: Step-by-Step Guide
dev.toยท20hยท
Discuss: DEV
๐Ÿ”Capability Security
Claude Code Commands Directory
claudecodecommands.directoryยท7hยท
Discuss: Hacker News
๐ŸชŸAwesome windows command-line
Challenging projects every programmer should try
austinhenley.comยท1dยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท3d
โš–๏ธHoare Logic
nimbme โ€“ Nim bare-metal environment
github.comยท8hยท
Discuss: Hacker News
๐ŸŽฏEmulation Accuracy
The Impact of the Russia-Ukraine Conflict on the Cloud Computing Risk Landscape
arxiv.orgยท1d
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Coding Agents 101: Some tips for using agents productively
devin.aiยท9hยท
Discuss: Hacker News
โšกProof Automation
From Manual Testing Hell to AI-Powered Victory: A DevOps Champion's Keploy Journey ๐Ÿš€
dev.toยท8hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Single Core Hundred Thousand Concurrency๏ผˆ1750866547511600๏ผ‰
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.orgยท23h
๐Ÿ—œ๏ธGraph Compression
BookCars โ€“ Open-source car rental platform (React, Node, MongoDB)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Password-Derived Signature Authentication
github.comยท4dยท
Discuss: Hacker News
๐Ÿ”’LDAP Security
[AWS] Efficiency in everything! Community Builder shares the appeal of AWS Developer Tools [DevTools]
dev.toยท3hยท
Discuss: DEV
โ„๏ธNix Adoption
ARCH-COMP25 Category Report: Stochastic Models
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.orgยท3d
๐Ÿ‘‘Coq Tactics
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds