Reflections on Trusting Trust (1984)
web.archive.org·5h·
Discuss: Hacker News
🛡️seL4
Flag this post
Building Resilient Go Services: Context, Graceful Shutdown, and Retry/Timeout Patterns
dev.to·3h·
Discuss: DEV
⚙️Kubernetes Operators
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Guide: TLS and QUIC
moq.dev·2d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·2h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·2d·
Discuss: Substack
🔒Protocol Verification
Flag this post
Loro Protocol: a wire protocol designed for real-time CRDT sync
loro.dev·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
MCP standard
dev.to·5h·
Discuss: DEV
💬Mach Messages
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·21h·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
HydraPWK2 Is a Linux Distribution That Simplifies Pentesting
thenewstack.io·5h
🔧Unikernel Development
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.com·1h·
Discuss: r/Zig
🌐Network Protocols
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·5h·
Discuss: Hacker News
🔍CBMC
Flag this post
Implementing MQTT 5 in Go : a deep dive into client design ( Part I )
reddit.com·5h·
Discuss: r/golang
🌐Network Protocols
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·2d
🛡️macOS Security
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Becoming a Core Developer
stefaniemolin.com·4h
🔬Static Analysis
Flag this post
Top 6 API Architecture Styles
blog.algomaster.io·3d
🔌APIs
Flag this post
Go and enhance your calm: demolishing an HTTP/2 interop problem
blog.cloudflare.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post