🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

How cells repair toxic DNA damage linked to cancer and premature aging
phys.org·4h
🧬Copy Number Variants
Some Early Tests and Notes on ChatGPT Agent
macstories.net·2d
🎙️Whisper
Target-ducklake: connect 500 sources to Ducklake
definite.app·6h·
Discuss: Hacker News
🗄️Database Internals
An exciting new immutable distro called HeliumOS based on AlmaLinux
distrowatch.com·18h·
Discuss: r/linux
🔌Operating system internals
Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·3d·
Discuss: Lobsters, Hacker News
💿Backup Strategies
Diary of a Startup – the rise and fall of ArsDigita
web.archive.org·8h·
Discuss: Hacker News
🔓Open Source Software
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·6d·
Discuss: Hacker News
🔍Type Inference
Compliance relics: the case against PDFs and screenshots
techradar.com·10h
🔗Data Provenance
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·4d·
Discuss: Hacker News
🔐Quantum Security
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·4d·
Discuss: Hacker News
✨Effect Handlers
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·3d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Tips for Writing Clean Code in TensorFlow 2
hackernoon.com·1d
📊Quantization
What does RunningBoard do? 3 XPC services, chronod and widget timelines
eclecticlight.co·11h
🔄Sync Engine
Create an AI Chatbot by Scraping your Website
dev.to·10h·
Discuss: DEV
🕵️Feed Discovery
I Tested 5 CLI Coding Agents & Here’s What Surprised Me!
dev.to·2d·
Discuss: DEV
⚡Proof Automation
[R] SherlockBench benchmark and paper
reddit.com·1d·
Discuss: r/MachineLearning
🌊Streaming Algorithms
Show HN: Duende: Web UX for guiding Gemini as it improves your source code
github.com·21h·
Discuss: Hacker News
⚡Proof Automation
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·3d
🎯Performance Proofs
Machine Learning Fundamentals: federated learning project
dev.to·1h·
Discuss: DEV
🤐Secure Multiparty
Build Dynamic Sites with Just HTML: Introducing ZIN Engine
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Loading...Loading more...
AboutBlogChangelogRoadmap