Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Revisiting Manager READMEs
elidedbranches.com·21h·
🦋Format Metamorphosis
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·4d
⚙️Proof Engineering
Flag this post
Building JARVIS Properly - Phase 5: From Ultron's Ruins to JARVIS's Foundation
blog.scottlogic.com·2d
🦋Format Evolution
Flag this post
Show HN: I built a simple, fast, privacy-first document scanner for iPhone
apps.apple.com·3h·
Discuss: Hacker News
📱QR Archaeology
Flag this post
Python Morsels Lifetime Access Sale
treyhunner.com·1d
λLambda Formalization
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·1d·
Discuss: r/programming
Cache Coherence
Flag this post
Hacker Review of Ghost in the Shell (1995)
hackerfiction.net·1d·
Discuss: Hacker News
🔓Hacking
Flag this post
Signal knows who you're talking to
sanesecurityguy.com·6h·
Discuss: Hacker News
🔒Language-based security
Flag this post
Artificial Intelligence and Origin of Life Prize, $10M USD
herox.com·18h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Surprisingly, Emacs on Android is pretty good
kristofferbalintona.me·9h·
Discuss: Hacker News
📟Terminals
Flag this post
Hachi: An Image Search Engine
eagledot.xyz·4d·
🌐Federated Search
Flag this post
Percona Brings Transparent Data Encryption to Postgres
thenewstack.io·1d
🗄️PostgreSQL WAL
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·2d
Proof Automation
Flag this post
Introducing Strands Agent SOPs – Natural Language Workflows for AI Agents
aws.amazon.com·2d·
Discuss: Hacker News
Proof Automation
Flag this post
Django data protection engine: encrypted fields, GDPR-style soft delete and audit log
dev.to·4d·
Discuss: DEV
🔐Archive Encryption
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
Automated Regulatory Compliance Risk Assessment via Multi-Modal Knowledge Graph Fusion & Explainable AI
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Flag this post
Structural Inducements for Hallucination in LLMs
researchgate.net·1d·
Discuss: Hacker News
🏛Digital humanities
Flag this post
Disparity-in-Differences: Extracting Hierarchical Backbones of Weighted Directed Networks
arxiv.org·2d
🔗Graph Isomorphism
Flag this post