✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

| Oligo Security
oligo.security·1d
📦Container Security
What’s wrong with the JSON gem API?
byroot.github.io·18h
✅Format Verification
Issue 483
haskellweekly.news·2d
🔗Functional Compilers
Essential Reading for Agentic Engineers - July 2025
steipete.me·1d
⚡Proof Automation
Build Custom ActiveStorage Analyzers for Ruby on Rails
blog.appsignal.com·3d·
Discuss: Hacker News
🏺ZIP Archaeology
Updated Digital Identity Guidelines are Here (NIST 800-63 Revision 4)
csrc.nist.gov·1d·
Discuss: Hacker News
📋Format Specification
Cloud storage
reddit.com·1d·
Discuss: r/kubernetes
💿WORM Storage
Python Itertools: Master Complex and Efficient Iterators in 2025
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·1d·
Discuss: Hacker News
📄Document AI
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·1d·
Discuss: Hacker News
⚡Cache Coherence
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·16h·
Discuss: Hacker News
❄Nix
Fermat's Last Theorem in Lean – Imperial College London
github.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
Guarding the herd – managing database servers at scale
engineering.monday.com·3d·
Discuss: Hacker News
🗄️Database Internals
Show HN: Calystone – privacy-first note- & task-mnger that works with your files
github.com·2d·
Discuss: Hacker News
🏠Personal Archiving
The Parallel Lives of an AI Engineer
worksonmymachine.ai·14h·
Discuss: Hacker News
⚡Incremental Computation
Python File Handling and Compression: Advanced Techniques for Large-Scale Data Processing and Performance Optimization
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Mastering Claude Hooks: Building Observable AI Systems (Part 2)
dev.to·5h·
Discuss: DEV
⚡Effectful Programming
Vibe coding complex changes in Rust
youtube.com·1d
🦀Rust Macros
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Onboarding for Coding Agents
fuzzycomputer.com·13h·
Discuss: Hacker News
✨Effect Handlers