๐Ÿฟ๏ธ 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

Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.comยท2dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.orgยท2d
๐Ÿ›ก๏ธseL4
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.ioยท19hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.orgยท1d
๐Ÿ›ก๏ธseL4
Building an AI app builder with an AI app builder built with an AI app builder
rhett.infoยท17hยท
Discuss: Hacker News, r/webdev
๐Ÿ”„Reproducible Builds
OpenThread โ€“ an open-source implementation of Thread
openthread.ioยท2dยท
Discuss: Hacker News
๐Ÿ HomeLab
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
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ยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸซEmbedded OCaml
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.comยท17hยท
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ยท8hยท
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
Wallets as Universal Access Devices
arxiv.orgยท1d
๐Ÿ”ฌUnikernels
Kubernetes is not just for Black Friday
ergaster.orgยท2dยท
Discuss: Lobsters, Hacker News
โŽˆKubernetes
A model for IV&V that's useful
waldo.jaquith.orgยท15hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap