📐 Formal Methods - bdillo · Scour

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

schneier.com·1d

Security updates for Friday [LWN.net] 🐧Linux Kernel

My 7-min “lightning talk” is online: Why C++ is growing, and why C++26 will likely be adopted quickly ⚙️Systems Programming

herbsutter.com·3d

GCC 16.1 released ⚙️Systems Programming

·2d·Hacker News

curl 8.20.0 🌐HTTP

daniel.haxx.se·4d

Seven new stable kernels for Thursday 🐧Linux Kernel

·2d

Announcing Google Summer of Code 2026 selected projects ⚙️Systems Programming

blog.rust-lang.org·3d·Hacker News, r/rust

ClickHouse、国内でAIオブザーバビリティプラットフォーム「Langfuse」を正式提供開始 ⚡Async I/O

clickhouse.com·6d

Eden: NHS goes to war against open source 🔏PKI

·1d

Medieval Encrypted Letter Decoded 🔑Cryptography

schneier.com·5d

Kubernetes v1.36: In-Place Vertical Scaling for Pod-Level Resources Graduates to Beta ☸️Kubernetes

kubernetes.io·2d

Security updates for Thursday [LWN.net] 🐧Linux Kernel

Claude Mythos Has Found 271 Zero-Days in Firefox 🔒Security

schneier.com·3d·Hacker News

Inspired ⚙️Systems Programming

daniel.haxx.se·3d·Hacker News

Zig explores structured concurrency 🔄Concurrency

·5d

Python packaging council approved 🤝ACME Protocol

·3d

The future of AI in Ubuntu 🤖AI

·5d

Kubernetes v1.36: Staleness Mitigation and Observability for Controllers ☸️Kubernetes

kubernetes.io·4d

Security review of Plasma Login Manager (SUSE Security Team Blog) 📡Security Telemetry

·3d

pip 26.1 released 🖥️Operating Systems

·5d·Hacker News

Log in to enable infinite scrolling