Stories by losfair

TLA+ in Practice and Theory, Part 2: The + in TLA+

Linux Kernel module running WASM filters with wasm3

Raft does not Guarantee Liveness in the face of Network Faults (2020)

Stroppy report: FoundationDB

Fly.io Status – Blocked Apps V1 Deployments

Dashflare – An unofficial Cloudflare dashboard built on top of Cloudflare API

Big Starry Sur

Microsoft Edge injects ads into the Google Chrome download page

Falsehoods Programmers Believe About Phone Numbers

PuTTY on my Win98 VM crashes OpenSSH

Reliable event dispatching using a transactional outbox

Wittgenstein versus Turing on the nature of Church's thesis (1987)

Rsync.net warrant canary

Completion of IANA Selection of IDNA Prefix

Live countdown clock in 40 bytes of CSS and 0 bytes of JavaScript

Renormalization

The terahertz gap: into the dead zone (2007)

Jiang Zemin Has Died

The Security Design of the AWS Nitro System

1 2 3 4