Submitted 1 year ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://brooker.co.za/blog/2024/04/17/formal.html
HN Discussion