Recording of the Noria stream is up! I think it went well — people seemed to follow the system design and the bug we ended up partially fixing, even though it was quite technical! If you're stuck at home and craving some research-y #rustlang, give it a try: https://www.youtube.com/watch?v=kiMUI0y91YI. You can find the project website with code, papers, and other related material at https://github.com/mit-pdos/noria
Apparently mastodon.at is shutting down, so had to move my profile to fosstodon.org! Luckily, I was able to also move the followers, though apparently Mastodon doesn't currently also let you move the "toots"... At least I have them backed up though, so maybe one day! Until the end of March, you can see my old toots at https://mastodon.at/@jonhoo.
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.