Opportunistically Parallel Lambda Calculus
dl.acm.orgยท12hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
How Remote Procedure Call Works
newsletter.systemdesign.oneยท1dยท
Discuss: r/programming
โšกgRPC
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท30m
๐Ÿ•ต๏ธVector Smuggling
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.comยท2d
๐Ÿ“‹Protocol Buffers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท21h
ฮปLambda Formalization
Flag this post
Issue 496
haskellweekly.newsยท22h
๐Ÿ”—Functional Compilers
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.comยท3hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท2h
๐Ÿ”ŒInterface Evolution
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท6h
๐Ÿ“Log Parsing
Flag this post
Denial-of-Service (DoS) Attacks: What They Are, How They Work, and How to Defend Your Site
blog.sucuri.netยท8h
๐ŸŒDNS Security
Flag this post
OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.comยท1h
๐Ÿ›ก๏ธeBPF Security
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท12h
๐Ÿ”‘Cryptographic Protocols
Flag this post
Notes from RIPE 91
blog.apnic.netยท11h
๐ŸŒDNS over QUIC
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท9hยท
๐Ÿ’งLiquid Types
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.comยท17hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท3hยท
Discuss: Hacker News
ฮปLambda Formalization
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.comยท12hยท
Discuss: Substack
๐ŸŒNetworkProtocols
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท1hยท
๐Ÿ”„Sync Engine
Flag this post
Top 6 API Architecture Styles
blog.algomaster.ioยท1d
โšกgRPC
Flag this post
Defending QUIC from acknowledgement-based DDoS attacks
blog.cloudflare.comยท1dยท
Discuss: Hacker News
๐ŸŒDNS over QUIC
Flag this post