Stories by fanf2

Reasons Kubernetes is cool

A template for a run book / system operation manual

PACELC, Hazelcast, and the mythical PA/EC system

Coding style as a failure of language design

Breaking Ed25519 in WolfSSL using differential power analysis [pdf]

How to avoid unwanted wakeups when killing lots of processes

What even is compiler correctness?

Fast JVM startup with JDK 9

The magic phrase, “we don't do that here.”

The story behind ICANN's decision to delay the DNSSEC root KSK rollover

HoTTSQL: proving query rewrites with univalent SQL semantics

Sequent NUMA-Q: a new commercial parallel-processing architecture. (1999) [pdf]

In 1973, I invented a ‘girly drink' called Baileys

8th: a gentle introduction to a modern Forth

Cashing in on ATM malware: a comprehensive look at various attack types [pdf]

Random cyclic curves in the complex plane

Times tables, Mandelbrot, and the heart of mathematics. (YouTube)

Not all disagreements are opportunities to change your own mind

What Tesla's big battery in South Australia is for

Probot: GitHub apps to automate and improve your workflow