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

We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·17h·
Discuss: Hacker News
🔄Reproducible Builds
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org·2d
🛡️seL4
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·1d
🛡️seL4
MitM Flaw in Bitchat: Identity Is a Bitchat Challenge
supernetworks.org·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·16h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
OpenThread – an open-source implementation of Thread
openthread.io·2d·
Discuss: Hacker News
🏠HomeLab
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Distributed Systems for Fun and Profit
book.mixu.net·3d·
Discuss: Hacker News
📦Unikernel Systems
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·22h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·15h·
Discuss: r/golang, r/programming
🍎XNU Internals
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·7h·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Wormhole (protocol)
en.wikipedia.org·3d·
Discuss: Hacker News
📡Network Protocol Design
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·1d
🎮Verification Games
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
A model for IV&V that's useful
waldo.jaquith.org·13h·
Discuss: Hacker News
🔄Reproducible Builds
Durable Agent Loops
restate.dev·1d·
Discuss: Hacker News
👁️System Observability
Wallets as Universal Access Devices
arxiv.org·1d
🔬Unikernels
Kubernetes is not just for Black Friday
ergaster.org·2d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Loading...Loading more...
AboutBlogChangelogRoadmap