🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

Beyond Theory – Interview with Jill Delaney by Juan Alonso
ica.org·3h
🏛️PREMIS
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.com·2h
🌊Stream Processing
iPRES Digital Preservation Bake Off 2025 - Amuse Bouche Challenge: Tiny Tools, Tasty Wins
ipres2025.nz·2d
🔄Archival Workflows
SSL and TLS Deployment Best Practices
github.com·20h·
Discuss: Hacker News
🔐Certificate Analysis
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·3h
⚡Proof Automation
Building Digital Preservation Skills Using the DPC’s Novice to Know-How (N2KH) Courses
saaers.wordpress.com·2d
🔄Archival Workflows
LakeFS adds REST catalog support for data version control on structured data
lakefs.io·5h·
Discuss: Hacker News
🔌Archive APIs
Program Execution, follow-up
windowsir.blogspot.com·7h·
Discuss: www.blogger.com
⚡Performance Tools
5 huge stumbling blocks to legacy mainframe EOL
techradar.com·12h
🏛️Mainframe Archaeology
The collective waste caused by poor documentation
shanrauf.com·17h·
Discuss: Hacker News
📦Deflate
Using PhantomData and Zero-Sized Types
dev.to·4h·
Discuss: DEV
🔒Type Safety
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Leveraging Large Language Models for Information Verification -- an Engineering Approach
arxiv.org·1d
📋Document Grammar
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·4h·
Discuss: DEV
✓Automated Theorem Proving
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
Hypercubical manifolds in homotopy type theory
arxiv.org·15h
🔶Cubical Type Theory
Loading...Loading more...
AboutBlogChangelogRoadmap