🐿️ 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
AWS Challenges – Verifying the Rust standard library
model-checking.github.io
·
15h
·
Discuss:
Hacker News
🔬
Static Analysis
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
·
5h
·
Discuss:
Hacker News
📡
Network Protocol Design
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com
·
17h
·
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
·
8h
·
Discuss:
Hacker News
🛡️
seL4
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
🎮
Verification Games
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
19h
·
Discuss:
Hacker News
🤖
Program Synthesis
sipgate discovers null-pointer-dereference in Mediatek VoLTE stack firmware
sipgate.de
·
24m
·
Discuss:
Lobsters
,
Hacker News
🍎
Apple
Holo v0.8 Released
medium.com
·
3d
·
Discuss:
r/programming
🛡️
seL4
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org
·
1d
📡
Network Protocol Design
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
·
2d
·
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
·
9h
·
Discuss:
r/programming
🐫
OCaml
What Is DPI Engine?
habr.com
·
4d
·
Discuss:
Hacker News
📡
Network Protocol Design
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com
·
14h
·
Discuss:
Hacker News
⚙️
PL Implementation
Loading...
Loading more...
« Page 1
•
Page 3 »