Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Python Fundamentals: case
dev.to·8h·
Discuss: DEV
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·7h·
Discuss: Hacker News
🤝Distributed Consensus
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·5h
🔀CRDT
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·2h·
Discuss: Hacker News
💎Information Crystallography
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·5h
🔐Quantum Security
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·12h
🔄Reproducible Builds
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·9h
🦀Rust Macros
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·16h
📏Linear Logic
Cambridge contributor session and Archives fair
blog.archiveshub.jisc.ac.uk·1d
🕸️WARC Archives
Logical implication is a comparison operator
btdmaster.bearblog.dev·1h·
Discuss: Hacker News
🔲Proof Irrelevance
Courts Favor Targeted eDiscovery Collections, but It Is Up to In-House Teams to Enable Such Cost Saving Proportional Efforts
blog.x1discovery.com·2d
⚖️Legal Compliance
We've got to stop sending files to each other
shkspr.mobi·8h·
Discuss: Lobsters, Hacker News, shkspr.mobi
🏠Personal Archives
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Issue 481
haskellweekly.news·8h
🔗Functional Compilers
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·13h
🔍RegEx Engines
Almost Always Auto (2013)
herbsutter.com·10h·
Discuss: Hacker News
🔒Type Safety
A Wide Reduction Trick (2022)
words.filippo.io·17h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·4d
🌐DNS Security