📐 Formal Methods - bdillo · Scour

A security bug in AEAD sockets 🤝ACME Protocol

·3d

Kubernetes v1.36: Pod-Level Resource Managers (Alpha) ☸️Kubernetes

kubernetes.io·1d

Testing Vue components in the browser 🎯Pen Testing

jvns.ca·1d·Lobsters, Hacker News

It's time to be right. 🌐Distributed Systems

brooker.co.za·3d

AI Auto Exploiting Vulnerabilities, GitHub RCE, Autonomous Cloud Hacking Agent 🔏PKI

tldrsec.com·2d

How Meta Is Strengthening End-to-End Encrypted Backups 🤝ACME Protocol

engineering.fb.com·1d

Extending Ruzzy with LibAFL ⚙️Systems Programming

blog.trailofbits.com·3d·Hacker News

Encrypted Client Hello (ECH) Is Done, but Can We Make It Work? 🤝ACME Protocol

feistyduck.com·2d·Lobsters, Hacker News

Approaching zero bugs? ⚙️Systems Programming

daniel.haxx.se·3d·Hacker News, Hacker News, r/programming

Poll: Have you observed AI agents doing harm? 🤖AI

herbsutter.com·2d

What Anthropic’s Mythos Means for the Future of Cybersecurity 🔒Security

schneier.com·4d·Hacker News

Raising the baseline for the `nvptx64-nvidia-cuda` target 🔧Hardware

blog.rust-lang.org·2d

Restartable sequences, TCMalloc, and Hyrum's Law 🔄Concurrency

·2d

Proxies all the way down. 🤝ACME Protocol

dadrian.io·5d·Hacker News

Kubernetes v1.36: Mutable Pod Resources for Suspended Jobs (beta) ☸️Kubernetes

kubernetes.io·5d

A Ransomware Negotiator Was Working for a Ransomware Gang 📡Security Telemetry

schneier.com·1d

ClickHouse at Google Cloud Next '26 🧊Apache Iceberg

clickhouse.com·5d

Generate Partial Device Configurations with netlab 🔌Networking

blog.ipspace.net·3d

Version-controlled databases using Prolly trees 🗄️DB Internals

·1d

Evolving the Android & Chrome VRPs for the AI Era 🖥️Hypervisors

bughunters.google.com·3d·Hacker News

Log in to enable infinite scrolling