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

Twenty years of blogging
11011110.github.io·2d
📐Mathematical Art
Multiple vulnerabilities in the web management interface of Intelbras routers
seclists.org·2d
🌐Network Protocols
The kill ring is a list of blocks of text
gnu.org·1h·
Discuss: Hacker News
🔍Archive Semantics
Detecting Organic Contaminants with Less Data
mirawelner.com·20h·
Discuss: Lobsters, Hacker News
🌈Spectroscopy
RayEditor: Modern, customizable, & lightweight WYSIWYG editor in pure JavaScript
rohanyeole.com·20h·
Discuss: Hacker News
🌳Incremental Parsing
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·4d
🔗Lisp
Thunderbird 141 Arrives with Archive Button, OpenPGP Expiry Warnings
linuxiac.com·5h
🕸️WASM Archives
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·4d·
Discuss: Hacker News
🔐Homomorphic Encryption
I need help with implementing a db in a Go API
reddit.com·2d·
Discuss: r/golang
🔓Reverse engineering
Scan and resolve fixed GitHub issues and PRs with AI
github.com·20h·
Discuss: Hacker News
🔗Dependency Resolution
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
arxiv.org·18h
🧠Machine Learning
Machine Learning Fundamentals: federated learning
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·1d
📰Content Curation
CrewAI meets RAG: built-in and custom solutions
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·18h
✋Tactile Computing
[P] Echoes of GaIA: modeling evolution in biomes with AI for ecological studies.
reddit.com·1d·
Discuss: r/MachineLearning
🔲Cellular Automata
Ask r/kubernetes: What are you working on this week?
reddit.com·1d·
Discuss: r/kubernetes
🔩Systems Programming
HTTP Requests in Go: Only The Most Useful Libraries
dev.to·1d·
Discuss: DEV
⚡gRPC
eslint-config-prettier Compromised: How npm Package with 30 Million Downloads Spread Malware
safedep.io·1d·
Discuss: Hacker News, Hacker News, r/opensource, r/programming
💣ZIP Vulnerabilities
VTarbel: Targeted Label Attack with Minimal Knowledge on Detector-enhanced Vertical Federated Learning
arxiv.org·18h
🤐Secure Multiparty
Loading...Loading more...
AboutBlogChangelogRoadmap