Pioneering 'soft box' provides affordable protection for human remains and archaeological finds
phys.org·2h
📼Cassette Archaeology
New Issue: International Association of Sound and Audiovisual Archives (IASA) Journal
archivespublishing.com·8h
🎵Audio Archaeology
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
What's New in MetaScope 1.0.3 (Build 11)
zalodesignstudio.com·1d·
Discuss: Hacker News
🔌Operating system internals
Catch Secrets in Real Time on GitHub with EnvScanner 2.0 and AI
hackernoon.com·1d
🔄Archival Workflows
Convenient 'Copy as cURL': explicit, executable, editable request replays
huonw.github.io·22h·
Discuss: Hacker News
🛡️WASM Security
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·7h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·4d·
Discuss: Hacker News
⚡Proof Automation
I open-sourced a protocol to create auditable logs for AI agents
medium.com·7h·
Discuss: Hacker News
🚀Indie Hacking
29.9 Best Places to Buy Verified Airbnb Host Accounts – Increase Trust Instantly
dev.to·6h·
Discuss: DEV
✅Format Validation
The 8 principles of great DX for data & analytics infrastructure
clickhouse.com·22h·
Discuss: Hacker News
⚙️Batch Processing
Show HN: SQLite Extensions Guide
github.com·8h·
Discuss: Hacker News
🧩SQLite Extensions
The Bug That Taught Me More Than Any Tutorial
dev.to·1d·
Discuss: DEV
✅Archive Fixity
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·18h
🔧Hardware Verification
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·18h
🦋Format Metamorphosis
7 Best Bitbucket Code Review Tools to Speed Up Your Workflow in 2025
dev.to·18h·
Discuss: DEV
🌳Git Internals
DCP-o-matic • Re: Veriying DCP on Synology NAS via CLI
dcpomatic.com·1d
🛠System administration
From Script to Library: Building a Firefox Tab Extractor for the Open Source Community
dev.to·1d·
Discuss: DEV
🔓Open Source Software
SQLStorm: Taking Database Benchmarking into the LLM Era
github.com·16h·
Discuss: Hacker News
⛏️SQL Archaeology
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·1d
📇Dublin Core