Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
arxiv.org·22h
🎯Performance Proofs
Building Replication-Safe LSM Trees in Postgres
paradedb.com·1d·
Discuss: Lobsters
🗄️PostgreSQL WAL
Help Shape the Theme for International Archives Week 2026!
ica.org·1d
⚖️Archive Ethics
From an idea to an ML paper in under 1 hour
letters.lossfunk.com·15h·
Discuss: Hacker News
🌳Incremental Parsing
weak topology of a topological vector space
ncatlab.org·13h
🕸️Algebraic Topology
From Scratch to Restore: Automating PostgreSQL Setup & Backups with Ansible
dev.to·1d·
Discuss: DEV
🤖Network Automation
Buffer & Save with a Challenging Example
mmhaskell.com·1d
📝Concrete Syntax
Beyond backup: why cyber-resilient storage needs AI-powered intelligence
techradar.com·1d
💾Persistence Strategies
Check Your BMC Firmware Twice
binarly.io·6h
🔒Secure Boot
Ransomware-Resistant Backups with SQLite and GitHub Actions
evanbyrne.com·10h·
Discuss: Hacker News
💿Backup Strategies
Parsing Layout, or: Haskell's Syntax is a Mess
amelia.how·10h·
Discuss: Lobsters, r/programming
🔗Monadic Parsing
Revolutionizing drug data analysis using Amazon Bedrock multimodal RAG capabilities
aws.amazon.com·8h
🔄Archival Workflows
FreeBSD 13.4 end-of-life
bsdsec.net·9h
🐡OpenBSD
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.com·3d
🔄Graph Rewriting
Reliability for unreliable LLMs
stackoverflow.blog·1d
💻Local LLMs
CodeSOD: It's Not Wrong to Say We're Equal
thedailywtf.com·20h
✅Format Verification
Practical Combinatorial Testing
csrc.nist.gov·12h·
Discuss: Hacker News
🔍Concolic Testing
An Introduction to Remote Model Context Protocol Servers
towardsdatascience.com·9h
🌊Streaming Systems
Distributed Sorting at Scale
systemdesignacademy.com·18h·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance
Preserving Government Social Media in the Netherlands and Luxembourg (Part 2)
netpreserveblog.wordpress.com·1d
🏺Media Archaeology