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