How Wikimedia Commons is making microbiology open: lessons from Wikimedistas de Jujuy, Argentina
diff.wikimedia.org·2h
🏰Manuscript Networks
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·3d
📺VT100
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
Turning data into knowledge: How Huawei is upgrading storage for the AI era
techradar.com·1d
💾Persistence Strategies
Source of Truth Update – Friday, October 10, 2025
rubycentral.org·2h·
Discuss: Hacker News
✅Archive Fixity
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·16h·
Discuss: Hacker News
⚡Proof Automation
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·28m·
Discuss: Hacker News
🧮Algebraic Datatypes
pgtricks – two tools for backing up PostgreSQL database dumps
github.com·20h·
Discuss: Hacker News
🌳Git Internals
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·23h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·17h·
Discuss: Hacker News
🦀Rust Macros
Why Self-Host?
romanzipp.com·2d·
Discuss: Hacker News
🏠Personal Archives
Show HN: I built a LSP with its own parser to learn Rust
github.com·11h·
Discuss: Hacker News
⚡Dependent Rust
You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
arxiv.org·4d·
Discuss: Hacker News
🦠Parasitic Archives
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·11h·
Discuss: DEV
🔗Supply Chain
Managing Asynchronous Work with Celery and Redis
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Show HN: 1M retail interior image dataset for computer vision (UK/US/EU)
groceryinsight.com·1d·
Discuss: Hacker News
🏺Compression Museums
Volumes + Objects backup to NFS or Kopia?
reddit.com·15h·
Discuss: r/kubernetes
🕸️Mesh Archiving
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering