Mark “Murch” Erhardt, Gustavo Flores Echaiz, and Mike Schmidt are joined by Keagan McClelland and Andrew Toth to discuss Newsletter #414.News● Formal verification of the Bitcoin protocol (1:11) Releases and release candidates● Bitcoin Core 30.3 (39:42) ● Bitcoin Core 29.4 (39:43) Notable code and documentation changes● Bitcoin Core #35295 (52:43) ● Bitcoin Core #34897 (1:13:54) ● Bitcoin Core #35406 (1:16:13) ● Bitcoin Core #35380 (1:21:36) ● Bitcoin Core #35568 (1:07:36) ● Bitcoin Core #34538 (1:23:43) ● BIPs #2208 (1:25:52) ● LND #10962 (1:27:27) ● LND #10897 (1:30:12) ● BINANAs #21 (1:31:34)