TLS 1.3 without a library — a real browser does the handshake against Verbose machine code

This is an English version of an article first published, in French, on my blog: arcker.org. It's part of an educational series about Verbose — an experimental language whose compiler verifies proofs declared in source and emits small, readable x86-64 machine code. When your browser shows a little p