Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·1d
🔑Cryptographic Protocols
Flag this post
How to design effective agent workflows?
boliv.substack.com·4h·
Discuss: Substack
Proof Automation
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
HTTP desync attacks: request smuggling reborn
portswigger.net·5h·
Discuss: Hacker News
🛣️BGP Hijacking
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·3h·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.net·13h
🐡OpenBSD
Flag this post
Beyond DDoS Flooding: Understanding the Application Layer Attack Landscape
corero.com·1d
🌐BGP Security
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·6h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
Effect Handlers
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·1d·
Discuss: Substack
🌐NetworkProtocols
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·15h·
🔗Functional Compilers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·22h·
🦀Rust Macros
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·3h
🔓Hacking
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·3h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·20h
🧮Algebraic Archives
Flag this post
Making MLS More Decentralized
blog.phnx.im·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·17h
⚙️WASM Runtime
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
🌐WASI
Flag this post
Trying to make tenant provisioning less painful. has anyone else wrapped it in a Kubernetes operator?
reddit.com·17h·
Discuss: r/kubernetes
📦Container Security
Flag this post