Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

DCP-o-matic • Re: Problem when transfering DCPs to a external hard drive
dcpomatic.com·50m
📺yt-dlp
Flag this post
Quantum Computing: Hype or Hope?
physicsworld.com·1d·
Discuss: Hacker News
⚛️Quantum Tape
Flag this post
Nintendo is getting the Switch ready for retirement
theverge.com·1d
📺Retrogaming
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·3d·
Discuss: Substack
🐚Shell Calculus
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·1d·
Discuss: Hacker News
🐛Fuzzing
Flag this post
The AI development trap that wastes your time
suchdevblog.com·1d·
Discuss: Hacker News
Proof Automation
Flag this post
What 50 years of buried data tell us about Canada's mining oversight
phys.org·8h
🌍Cultural Computing
Flag this post
ImagerySearch: Adaptive Test-Time Search for Video Generation Beyond SemanticDependency Constraints
dev.to·56m·
Discuss: DEV
🗜️LZW Variants
Flag this post
Decoding Kiroween
dev.to·2d·
Discuss: DEV
📜Binary Philology
Flag this post
RefusalBench: Generative Evaluation of Selective Refusal in Grounded LanguageModels
dev.to·5h·
Discuss: DEV
🎙️Whisper
Flag this post
Where coding agents excel (and where they don't)
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
InvisioVault: Because Sometimes You Just Want to Hide Stuff 🤫
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Flag this post
Optimal Boundary Control of Diffusion on Graphs via Linear Programming
arxiv.org·1d
🕸️Graph Algorithms
Flag this post
New IDC research highlights a major cloud security shift
microsoft.com·17h
🏠Homelab Security
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·3d
🎯Performance Proofs
Flag this post
A new SQL-powered permissions system in Datasette 1.0a20
simonwillison.net·2d
🏺Database Archaeology
Flag this post