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

Using a Bash script to access MQWEB with JSON Web Tokens
colinpaice.blog·14h
🛡️WASM Security
Sturdier and Lighter Pedalboard
jefftk.com·1d
⚙️DIY Electronics
Math Game Monday: Number Riddles
denisegaskins.com·16h
🔲Cellular Automata
Instagram's new Map feature is a privacy disaster
pocket-lint.com·4h·
Discuss: Hacker News
📡RSS Readers
Show HN: Offline map of Budapest listing embassies (150 megabyte download)
stateofutopia.com·2d·
Discuss: Hacker News
📲Digitization
Beauty of Second Degree Probes
shreyasprakash.com·2d·
Discuss: Hacker News
⚡Proof Automation
The Rise of Native Phishing: Microsoft 365 Apps Abused in Attacks
bleepingcomputer.com·6h·
Discuss: Hacker News
🎫Kerberos Attacks
Vibe Coding the MIT Course Catalog
stackdiver.com·5d·
Discuss: Hacker News
🌀Brotli Internals
Biotech Software Engineer Directory
dev.to·14h·
Discuss: DEV
🔓Open Source Software
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·2d·
Discuss: Hacker News
🎙️Whisper
A Gentle Introduction to Context Engineering in LLMs
kdnuggets.com·4d
🌀Brotli Internals
Conformal Sets in Multiple-Choice Question Answering under Black-Box Settings with Provable Coverage Guarantees
arxiv.org·4d
🧮Kolmogorov Bounds
Tokenization in Large Language Models
seantrott.substack.com·3d·
Discuss: Substack
📝Text Parsing
MOTGNN: Interpretable Graph Neural Networks for Multi-Omics Disease Classification
arxiv.org·1h
🕸️Graph Embeddings
Automated Root Cause Analysis via Hybrid Semantic-Structural Graph Decomposition and HyperScore Validation
dev.to·2d·
Discuss: DEV
🎯Threat Hunting
MeanAudio: Fast and Faithful Text-to-Audio Generation with Mean Flows
arxiv.org·1d
🎙️Whisper
Federated Learning with Differential Privacy for Edge-Based Anomaly Detection in Industrial IoT
dev.to·1d·
Discuss: DEV
🛡️Differential Privacy
My internet journey just went from "fine" to "let's invent new problems to solve!" - Help me go down the rabbit hole?
reddit.com·1d·
Discuss: r/homelab
📼Cassette Networking
As a New Hire, I'm Leading the Company Platform's Facial Authentication System Development
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Discovering Spatial Correlations between Earth Observations in Global Atmospheric State Estimation by using Adaptive Graph Structure Learning
arxiv.org·1h
🌊Spectral Clustering
Loading...Loading more...
AboutBlogChangelogRoadmap