🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Preservation

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

$10,000 Google Bug Bounty: How a Deserialization RCE in AppSheet Could Have Led to Remote Code…
infosecwriteups.com·9h
🌐WASI
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
💧Liquid Types
Midnight: An ORM that is only for SQLite
github.com·1d·
Discuss: Hacker News
💾SQLite
Hyper-V Research
r0keb.github.io·1d
👑RISC-V Privilege
Distributed Systems 101
mrinalxdev.github.io·2d·
Discuss: Hacker News
🤝Distributed Consensus
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org·19h·
Discuss: Hacker News
✅Archive Validation
Simple Programming Languages
ryanbrewer.dev·2d·
Discuss: Hacker News
🔗Concatenative Programming
Building Cursor Powered App: A Devlog Series, Powered by Cursor (Part 4) – Authentication Logic
dev.to·1d·
Discuss: DEV
🌐NetworkProtocols
Remocal and Minimum Viable Models: Why Right-Sized Models Beat API Overkill
docker.com·1d
⚡Performance Mythology
Show HN: Bookmarq.space – One Place for Everything You Save
news.ycombinator.com·4h·
Discuss: Hacker News
🏠Personal Archives
Try and
ygdp.yale.edu·1h·
Discuss: Hacker News
🔗Concatenative Programming
A Deeper Dive into Apache Iceberg V3
opensource.googleblog.com·1d·
Discuss: Hacker News
💿ZFS Archaeology
Adaptive Multi-Modal Data Fusion for Anomaly Detection in Spacecraft Thermal Management Systems
dev.to·18h·
Discuss: DEV
👁️Observatory Systems
Self-hosted open-source multi-user multi-platform secret management
day-to-day-stuff.blogspot.com·7h·
Discuss: Hacker News
🔄Sync Engine
Computational Music Synthesis
cs.gmu.edu·11h·
Discuss: Hacker News
🎛️Audio Synthesis
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·2d
✅Format Verification
You Might Not Need RAG
matthewnewton.com·1d·
Discuss: Hacker News
📡Feed Archaeology
How Confident Are You, ChatGPT?
aylinakkus.github.io·1d·
Discuss: Hacker News
⚡Proof Automation
Jepsen: Capela dda5892
jepsen.io·2d·
Discuss: Lobsters, Hacker News, r/programming
📊APL Heritage
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·17h·
Discuss: DEV
✅Archive Validation
Loading...Loading more...
AboutBlogChangelogRoadmap