✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Week 45 – 2025
thisweekin4n6.com·5m
🎫Kerberos Attacks
Flag this post
ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·2d
📋Formal Verification
Flag this post
Ticker: Don't Die of Heart Disease
myticker.com·20h·
Discuss: Hacker News
🏠Personal Archives
Flag this post
Origin and Evolution of the Globstar
mergify.com·2d·
Discuss: Hacker News
📝Shell Parsing
Flag this post
Always Be Ready to Leave (Even If You Never Do)
andreacanton.dev·1d·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Build your own GPG in Rust
andrewhalle.github.io·5d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Free Weather Data with National Weather Service API
clojurecivitas.github.io·2d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Flag this post
Camera Capabilities Unlocked from a Mouse
hackaday.com·14h
💾Floppy Imaging
Flag this post
ws-dl.blogspot.com·3d·
Discuss: ws-dl.blogspot.com
📡RSS Automation
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·3d·
Discuss: Hacker News
⬜Minimalism
Flag this post
OpenAPI won't make your APIs AI-ready. But Arazzo can
bump.sh·2d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
How I Leverage LLMs
indiethinkers.com·2d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·5d
🔐Capability Systems
Flag this post
I Used AI to Bridge the Accessibility Gap for Millions of People in India (Project A.I.D.)
dev.to·20h·
Discuss: DEV
🏛Digital humanities
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
dev.to·2d·
Discuss: DEV
📐Mathematical Art
Flag this post
🧩 Data Cleaning Challenge with Pandas (Google Colab)
dev.to·2d·
Discuss: DEV
✅Format Validation
Flag this post
Integrating LLM Gateway Solutions for Faster Inference in Business Applications
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Flag this post
New homelab with some old spare parts !
reddit.com·4d·
Discuss: r/homelab
🏠Homelab Archaeology
Flag this post
AI Security: Defining and Defending Cybersecurity’s Next Frontier
sentinelone.com·3d
🎯Threat Hunting
Flag this post