Submissions by timf

Amazon EventBridge Pipes

Google Pub/Sub GA of exactly-once delivery

The Security Design of the AWS Nitro System

Using the Kani Rust Verifier on a Rust Standard Library CVE

Google Project Zero Year in Review of 0-days Used In-the-Wild in 2021

What's New in MirageOS 4

Calvin: Fast Distributed Transactions for Partitioned Database Systems

RedMonk Programming Language Rankings

Self-Organised Neural Networks

The Curl Year 2021

Launching the 2021 State of Rust Survey

Serial, Parallel, and Quorum Latencies

Serial, Parallel, and Quorum Latencies

GCP Tau VM Instances: Better Performance, Price-Performance Than Graviton2 M6g

Rust Adventure: Learn to build reliable and efficient software in Rust

5 Years of Envoy OSS

Errors Found in Distributed Protocols

Postgres: Boundless `Text` and Back Again

AWS SIGv4 and SIGv4A

Sunny Land – A WebGL Playground Platformer

Tail latency might matter more than you think

The Media Treadmill

Carbon Mapper: Satellite Program to Pinpoint Methane and CO2 Super Emitters