RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·9h·
Discuss: Hacker News
🔌Archive APIs
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
Rtpengine: RTP Inject and RTP Bleed vulnerabilities despite proper configuration (CVSS v4.0 Score: 9.3 / Critical)
seclists.org·2d
💣ZIP Vulnerabilities
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1h
🧠Separation Logic
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·19h
⚡gRPC
An easy, realistic model for MCP connectivity
tailscale.com·14h·
Discuss: Hacker News
🔌Interface Evolution
Decent Patterns
decentpatterns.com·5h
📋Format Specification
Cybersecurity Instruction Tuned Model
huggingface.co·2h·
Discuss: Hacker News
🔒WASM Capabilities
A ton of IPv6 innovations in AWS
blog.james.rcpt.to·3h
🌐IPFS
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·16h
📝Concrete Syntax
Securing OAuth: Best Practices for Safer Authorization Flows
dev.to·17h·
Discuss: DEV
🎯NTLM Attacks
What Is Parrot?
hexdocs.pm·21h·
Discuss: Hacker News
🌊Streaming Systems
Introducing Server-Sent Events in Python
towardsdatascience.com·12h
🌊Stream Processing
Nation-state group CL-STA-0969 targeted Southeast Asian telecoms in 2024
securityaffairs.com·22h
🛣️BGP Hijacking
How to Write Inductive Invariants
quint-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·11h
⚡gRPC
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Announce: ReactorCA – Simple, centralised CA to fit your internal services with TLS certs
reddit.com·9h·
Discuss: r/homelab
🏠Homelab Security
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·19h
🛡️WASM Sandboxing
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing