🕰️ RetroCRDTs

Historical Synchronization, Vintage Collaboration, Legacy Consistency, Archive Merging

Feeds to Scour
SubscribedAll
Scoured 9575 posts in 1.13 s
Zen-GC – policy-driven K8s garbage collection for automated cleanup
github.com·6h·
Discuss: Hacker News
📦Container Security
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
✅Formal Methods
Preview
Report Post
Building the World's First Cryptographic Audit Trail for MetaTrader: A Deep Technical Dive
dev.to·15h·
Discuss: DEV
🌳Archive Merkle Trees
Preview
Report Post
Switching up NVR and cams on NAS and lab
reddit.com·18h·
Discuss: r/homelab
🖥Home Lab Setup
Preview
Report Post
git rebase (Al Viro; Linus Torvalds; Theodore Tso)
yarchive.net·1d
🌳Git Internals
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
Linux perf Examples
brendangregg.com·14h
📊Performance Profiling
Preview
Report Post
Model Merging via Multi-Teacher Knowledge Distillation
arxiv.org·2d
⧗Information Bottleneck
Preview
Report Post
VICE, the Versatile Commodore Emulator, version 3.10 released (sourceforge.io)
vice-emu.sourceforge.io·1d
🔌Operating system internals
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·6h·
Discuss: DEV
🔐Capability Systems
Preview
Report Post
parevo/mergen: A native, lightweight SQL client built with Go & Wails. Say goodbye to Electron bloat. 🚀
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
Preview
Report Post
Looking below the surface of Git
thefridaydeploy.substack.com·1d·
Discuss: Substack
🌳Git Internals
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
Arcan 0.7.1 – Minutes To Midnight
arcan-fe.com·23h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Preview
Report Post
blog dds: 2025-12-23 — An initial analysis of the discovered Unix V4 tape
spinellis.gr·3d·
Discuss: Hacker News
🧬Bitstream Evolution
Preview
Report Post
Inferal Workspace Architecture: How We Work at Inferal
gist.github.com·2d·
Discuss: Hacker News
📦Git LFS
Preview
Report Post
When a driver challenges the kernel's assumptions
miod.online.fr·1d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Preview
Report Post
<div xmlns="http://www.w3.org/1999/xhtml"> A decade of katriawm </div>
uninformativ.de·4d
🌐Web Archives
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs with ethical auditability baked in
dev.to·4d·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
Looking for a Bulletproof Photo Backup Strategy (Unraid → Unraid? 3‑2‑1 Rule?)
reddit.com·17h·
Discuss: r/homelab
💿Backup Strategies
Preview
Report Post