16 Aug 2018
Something about type theory and Rust. | Logs:
logbot is shutting down at the end of June 2021
I'm writing a little article about the type theory of Rust.
would anyone here be interested in proof-reading once I'm done?
seems like it should be the ideal location, but I know it's a little inactive here :P
3 years ago
4 months earlier
Use dark theme
Use smaller text
Don't colourise nicknames
Use wider column for nicknames
Hide IRC bots
Don't desaturate bots