2024.04.12 17:24:27 (Mastodon 112259410637325592, Twitter 1778836616905470296) from Daniel J. Bernstein:
One of many papers in the first issue of the new IACR Communications in Cryptology is my survey "Understanding binary-Goppa decoding": https://cr.yp.to/papers.html#goppadecoding First 20 pages are a minicourse on the decoder used for McEliece. Appendices cover tests and formally verified proofs.