🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 NetworkProtocols

TLS, Formal Specification, Protocol State Machines, Verification

Making RFCs easier to find and use through a re-imagined RFC Editor website
ietf.org·4d
📝ABNF Parsing
What Is a Hybrid Mesh Firewall and Why It Matters
paloaltonetworks.com·18h
🏠Homelab Federation
ELA-1503-1 unbound security update
freexian.com·1d
🛡️eBPF Security
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·4d
🛡️CLI Security
postMessaged and Compromised
msrc.microsoft.com·1d·
Discuss: Lobsters, Hacker News
🎯NTLM Attacks
Agentic Browser Security: Indirect Prompt Injection in Perplexity Comet
simonwillison.net·23h·
Discuss: Hacker News
🛡️WASM Security
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Safeguarding VS Code against prompt injections
github.blog·17h·
Discuss: Hacker News
🌐WASI
Rust for JavaScript Engineers – Intro
afloat.boats·2d·
Discuss: Hacker News
🦀Rust Macros
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·5h
💻Local LLMs
k-NN Classification and Model Evaluation
dev.to·2h·
Discuss: DEV
🧠Machine Learning
An Efficient Recommendation Filtering-based Trust Model for Securing Internet of Things
arxiv.org·5h
🎯Content Recommendation
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·9h·
Discuss: Hacker News
🦀Rusty Databases
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·5h
🔧Hardware Verification
You can just open-source things
world.hey.com·1h·
Discuss: Hacker News
🌊Streaming Systems
Automate the Testing of Your LLM Prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Antirez/sds: Simple Dynamic Strings library for C
github.com·18h·
Discuss: Hacker News
✅Format Verification
Show HN: I made a WASI orchestration prototype
github.com·1d·
Discuss: Hacker News
🌐WASI
**Mastering HTTP/2 Server Performance Optimization in Go for High-Traffic Applications**
dev.to·3d·
Discuss: DEV
⚡gRPC
Loading...Loading more...
AboutBlogChangelogRoadmap