Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·15h
📞Session Types
From Toil to Empowerment: Building Self-Service Ingress with GitOps
usenix.org·19h
🕸️Mesh Networking
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
What is a Capability?
apievangelist.com·3d
🔐Capability Systems
Comprehensive Guide to Vulnerability Management for Security Professionals
jamf.com·1d
🔓Hacking
SIEM vs SOAR: The Key Differences for Modern Security Teams
securityscorecard.com·7h
🚨Incident Response
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·1d·
Discuss: Hacker News
🛡️eBPF Security
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·2d
🔍eBPF
Scriptable mutating admission hook?
reddit.com·4h·
Discuss: r/kubernetes
🎯Gradual Typing
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·3h·
Discuss: Hacker News
🛡️Error Boundaries
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·5h·
Discuss: Hacker News
🛡️RISC-V Security
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·46m·
Discuss: Hacker News
⬌Bidirectional Typing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·1d
🧬Functional Programming
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·4h·
Discuss: DEV
🌳Archive Merkle Trees
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI