Pretty impressive to accuse the author of not knowing formal verification when even minutes of research would immediately prove the opposite (<a href="https://x.com/victortaelin/status/2100942399132312059?s=46" rel="nofollow">https://x.com/victortaelin/status/2100942399132312059?s=46, <a href="https://x.com/victortaelin/status/2100374221671051472?s=46" rel="nofollow">https://x.com/victortaelin/status/2100374221671051472?s=46).
johnfn · · focus · HN ↗
[deleted] · · focus · HN ↗
[deleted]