🐿️ 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

Making a Panoramax Mastodon Bot
tzovar.as·3d
📡RSS Automation
XProc tips and tricks
so.nwalsh.com·6d
⚡Proof Automation
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·2d
🧮Z3 Solver
Bloom's Digital Taxonomy Verbs
pivot.umbc.edu·23h·
Discuss: Hacker News
🏛Digital humanities
How Solid Protocol Restores Digital Agency
schneier.com·3d·
Discuss: Hacker News, Hacker News
🔗Data Provenance
Open source repositories are seeing a rash of supply-chain attacks
arstechnica.com·1d·
Discuss: Hacker News
📦Package Managers
A Practical (and Incomplete) History of Language Models
obrhubr.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
An Engineer's Guide to AI Code Model Evals
addyosmani.com·2d·
Discuss: r/programming, r/webdev
📏Code Metrics
Why I Do Programming
esafev.com·1d·
Discuss: Hacker News
🔩Systems Programming
Some Thoughts on "Agentic DevOps", AIOps, and Vibe Coding
redmonk.com·23h·
Discuss: Hacker News
💾Persistence Strategies
Python Fundamentals: class variables
dev.to·5d·
Discuss: DEV
🐛Fuzzing
Multi-tenant RAG implementation with Amazon Bedrock and Amazon OpenSearch Service for SaaS using JWT
aws.amazon.com·3d
🤖Archive Automation
I wrote the worlds worst emulator
geon.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🎮Gameboy Emulation
I built an open source wisprflow
github.com·1d·
Discuss: Hacker News
🎙️Whisper
Building My Own NAS After Ugreen 2800 Failures – Need Advice on Efficient Proxmox Build
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
My first and second Homelab
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
🔄 Introducing Galus: A Lightweight and Blazing-Fast Live Reload Tool for Go Developers
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
TCM-Tongue: A Standardized Tongue Image Dataset with Pathological Annotations for AI-Assisted TCM Diagnosis
arxiv.org·2d
🤖Advanced OCR
RealtimeAI Assistant - Voice-Powered Semantic Search with Redis Vector Engine
dev.to·22h·
Discuss: DEV
🎙️Whisper
RealtimeAI Assistant - Voice-Powered Semantic Search with Redis Vector Engine
dev.to·22h·
Discuss: DEV
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap