Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท9hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Building A Real-Time Communication System Using Go and WebSocket
dev.toยท4hยท
Discuss: DEV
๐ŸŒWebSocket Framing
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.orgยท19h
๐Ÿ”ฒCellular Automata
Bidirectional type checking step by step (in Ruby)
luizpvas.github.ioยท43mยท
Discuss: Hacker News
โฌŒBidirectional Typing
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท15h
๐Ÿ“žSession Types
The Why of PGP Authentication
articles.59.caยท10h
๐Ÿ”‘Cryptographic Protocols
How I found an unauthenticated goldmine of PII
infosecwriteups.comยท11h
๐Ÿ”“Hacking
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
When AI Remembers Too Much โ€“ Persistent Behaviors in Agentsโ€™ Memory
unit42.paloaltonetworks.comยท1d
๐Ÿ”ฒCellular Automata
Three ways formally verified code can go wrong in practice
buttondown.comยท6h
๐Ÿ“œProof Carrying Code
QUIC! Jump to User Space!
hackaday.comยท7h
๐ŸŒNetwork Protocols
SymmACP: extending Zed's ACP to support Composable Agents
smallcultfollowing.comยท2d
๐ŸŒProtocol Synthesis
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท9hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.ioยท3hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Boundaries
Show HN: TrustMesh โ€“ Open-source reputation layer for AI agents
github.comยท10hยท
๐ŸŒณArchive Merkle Trees
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.comยท2dยท
๐Ÿ”‘Cryptographic Protocols
LLMs and reinforcement learning
sicpers.infoยท13h
โš”๏ธLean Tactics