✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

The Adata SD820 proved resilient for my drop and dunk tests, making it a great storage option for use in the field
techradar.com·16h
🔌Operating system internals
Flag this post
On This Dayin Math - November 2
pballew.blogspot.com·1d·
Discuss: www.blogger.com
⚙️Proof Engineering
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·1d·
Discuss: Hacker News
🔄Sync Engine
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Revisiting interface segregation in Go
rednafi.com·2d·
Discuss: Hacker News, r/golang
📋Format Specification
Flag this post
AI Summarization Optimization
schneier.com·25m
📊Feed Optimization
Flag this post
Internet Archive’s legal fights are over, but its founder mourns what was lost
arstechnica.com·30m
🗃archives
Flag this post
Becoming a Core Developer
stefaniemolin.com·19h
🦀Rust Macros
Flag this post
Context Engineering: The Next Frontier in AI-Driven DevOps
devops.com·1h
⚙️TLA+
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·1d·
Discuss: Hacker News
🔒Type Safety
Flag this post
Durable execution workflow system based on Postgres
github.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Agents Rule of Two: A Practical Approach to AI Agent Security
ai.meta.com·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Assessing DRAM Data Retention via Quantum-Tunneling Lifetime Mapping
dev.to·4h·
Discuss: DEV
⚛️Quantum Tape
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·7h
🌊Stream Processing
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·23h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.to·19h·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Best Open Source Observability Solutions
clickhouse.com·2d·
Discuss: Hacker News
📊Homelab Monitoring
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.to·13h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·7h
🔲Cellular Automata
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·7h
🌀Hyperbolic Geometry
Flag this post