🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌐 NetworkProtocols
TLS, Formal Specification, Protocol State Machines, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
MCP to interact with Android and iOS emulators and write automation code
docs.maestro.dev
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Network APIs Are Radically Reshaping Dev-CSP Collaboration
thenewstack.io
·
1d
🖥️
Self-hosted Infrastructure
Show HN: gRPC to MCP Gateway – Let AI models call your existing gRPC services
github.com
·
3h
·
Discuss:
Hacker News
📡
Network Protocol Design
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com
·
15h
·
Discuss:
Hacker News
🔤
DSLs
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Mocking Tokio requests without using traits
users.rust-lang.org
·
3d
·
Discuss:
Hacker News
📡
Network Protocol Design
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Open Source Tools to Detect CVE-2024-54085
eclypsium.com
·
6h
·
Discuss:
Hacker News
🛡️
seL4
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
17h
·
Discuss:
Hacker News
🤖
Program Synthesis
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
🎮
Verification Games
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org
·
1d
📡
Network Protocol Design
Holo v0.8 Released
medium.com
·
3d
·
Discuss:
r/programming
🛡️
seL4
eSIM security research (GSMA eUICC compromise and certificate theft)
seclists.org
·
1d
·
Discuss:
Hacker News
📡
Network Protocol Design
Modern Electric Vehicle Infrastructure Security
ocpp.us
·
3d
·
Discuss:
Hacker News
📡
Network Protocol Design
Most RESTful APIs Aren't RESTful
florian-kraemer.net
·
1d
·
Discuss:
Hacker News
📡
Network Protocol Design
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com
·
7h
·
Discuss:
r/programming
🐫
OCaml
What Is DPI Engine?
habr.com
·
4d
·
Discuss:
Hacker News
📡
Network Protocol Design
An InfoSec Architect's First Taste of Temporal
supasaf.com
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
The Right Approach to Authorization in RAG
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com
·
10h
·
Discuss:
Hacker News
🛡️
seL4
Loading...
Loading more...
« Page 1
•
Page 3 »