Assembly_verify
philipzucker.com·1d·
Discuss: Hacker News
✅Format Verification
Build an AI-powered automated summarization system with Amazon Bedrock and Amazon Transcribe using Terraform
aws.amazon.com·11h
🌊Streaming Systems
Extensions and Shadows (7)
sites.psu.edu·14h
🧮Kolmogorov Complexity
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·4h
🔍RegEx Engines
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·23h·
Discuss: Lobsters
🔤Type Theory
XProc tips and tricks
so.nwalsh.com·20h
⚡Proof Automation
Compliance relics: the case against PDFs and screenshots
techradar.com·21h
🔗Data Provenance
LSM trees in postgres
notes.billmill.org·13h
🌲B-tree Variants
A Practical Comparison of AI Coding Agents
jaredforsyth.com·7h·
Discuss: Hacker News
🔐Capability Systems
Last Week on My Mac: A strategy for data integrity
eclecticlight.co·1d
✅Archive Fixity
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·1d
🎯Performance Proofs
Song recommendations with C# Reactive Extensions
blog.ploeh.dk·15h
🌊Streaming Systems
Scaling AI Inference at the Edge With Distributed PostgreSQL
thenewstack.io·13h
🤝Distributed Consensus
AIOps - A Multifaceted Challenge
blog.raymond.burkholder.net·11h
🦋Format Evolution
looking for a specific type of application
reddit.com·7h·
Discuss: r/homelab
🕸️WASM Archives
New Community of Practice for Exploring Content Provenance and Authenticity in the Age of AI
blogs.loc.gov·4d
📚MARC Archaeology
Bazel and action (non-) determinism
blogsystem5.substack.com·14h·
Discuss: Substack
🔄Reproducible Builds
Perfect Acquisition Part 5: Perfect APFS Acquisition
blog.elcomsoft.com·17h
🍎Apple Archive
Beyond the Migration: Optimizing Legacy Code for AI Performance & Scalability
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
[Project] Distributed file system - implementing file deletion
reddit.com·1d·
Discuss: r/golang
🗄️File Systems