How do you demonstrate that you didn't go fishing for theorems in your data? http://t.co/Xo8XUbP4JG
Related Posts
It's interesting to see the "why not Rust?" discussions around the TypeScript news that they're using Go. It shows that Rust has reached a level of maturity that it's a default for some users.
Go does seem to be in a sweet spot for AOT languages with GC though.
I've had a new Linux laptop for several weeks and only just realised that I didn't have `man` installed!
Google is my default the vast majority of the time, and this seems to confirm it.
Go has an elegant approach to defining example functions, which are shown in docs as `main()` with the output: https://go.dev/blog/examples