DupeGuru lets you quickly find and remove duplicate files from your drives
techspot.com·1d
🔄Content Deduplication
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺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
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·19h·
Discuss: Hacker News
📦METS Packaging
Terraform Fileset Function: Filter and Deploy Specific Files
spacelift.io·19h·
Discuss: Hacker News
🧊Arctic Storage
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
Moeve: Controlling resource deployment at scale with AWS CloudFormation Guard Hooks
aws.amazon.com·3d
🕸️Mesh Archiving
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·23h·
Discuss: Hacker News
📄PDF Internals
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·11h·
Discuss: Hacker News
⚡Proof Automation
pgtricks – two tools for backing up PostgreSQL database dumps
github.com·15h·
Discuss: Hacker News
🌳Git Internals
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·19h·
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·12h·
Discuss: Hacker News
🦀Rust Macros