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

Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness

DCP-o-matic • Re: Ingest errors using combiner
dcpomatic.com·6h
🎬Cinema Codecs
Parachute Backup – Seamless Backup for iCloud
parachuteapps.com·5h
💿Backup Strategies
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·4d
🧪RISC-V Fuzzing
Closing the Loop: Building Shapes with a Planar Graph
amygoodchild.com·1d·
Discuss: r/javascript
📐Mathematical Art
My Workflow to Review Articles with LLMs
binwang.me·2d
⚡Proof Automation
How Does GPT-5 Work?
wheresyoured.at·2d
🖥️Terminal Renaissance
Show HN: unsafehttp – tiny web server from scratch in C, running on an orange pi
unsafehttp.benren.au·21h·
Discuss: Hacker News
🌐Network Protocols
A Strand of Hair Just Changed What We Know About the Inka Empire
404media.co·1d
🌍Cultural Computing
Dual-Stack Setup in K8s using Cilium
reddit.com·2h·
Discuss: r/kubernetes
📡Network Stack
Technologies to use for a web app
reddit.com·10h·
Discuss: r/golang
🔄Reproducible Builds
New Prompt Engineering Metaheuristic – (NoA) Network of Agents
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata
[D] Cool new ways to mix linear optimization with GNNs? (LP layers, simplex-like updates, etc.)
reddit.com·1d·
Discuss: r/MachineLearning
💻Local LLMs
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·4d
💧Liquid Types
Building Love Studios NYC — the story, the stack (Python + C++), the problems, and our roadmap
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Leveraging Large Language Models for Rare Disease Named Entity Recognition
arxiv.org·3d
⚙️Compression Benchmarking
I finally have a 3-2-1 backup strategy!
reddit.com·2d·
Discuss: r/homelab
💿Backup Strategies
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·5d
🎯Performance Proofs
Build a Local AI Agent with MCP Tools Using GPT-OSS, LangChain & Streamlit
dev.to·23h·
Discuss: DEV
🎙️Whisper
Unveiling Chemically-Induced Tau Aggregation Resolution via Targeted Peptide Libraries and AI-Driven Screening
dev.to·21h·
Discuss: DEV
🔍Vector Forensics
Automated Anomaly Detection in Steel Rolling Mill Bearings via Acoustic Emission & Deep Learning
dev.to·17h·
Discuss: DEV
🔍Vector Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap