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