Kevin Buzzard just announced the Xena project is organizing a workshop for undergraduate students working on group projects in Lean, and some special guest lectures, September 26th-30th 2022.
Looks like you're expected to have at least touched Lean beforehand (but see also the website).
https://xenaproject.wordpress.com/2022/05/23/2022-xena-project-undergraduate-workshop/
@AgathaSorceress here's a shortened version of the episode (warning: low quality) https://yewtu.be/watch?v=OWlge5yJZ_Y
@AgathaSorceress allegedly cornflakes 'with extra iron' just have, like, actual ground up bicycle dust in there (according to what i remember of a tv program like 10 years ago)
@tobi Bonus points if your car has incomprehensible conspiracy theories written on it like "birdwatching goes both ways"
self-hosting
@owl every threat model should include schratze
@xmtz oh wow this emoticon is so good: ᓚᘏᗢ
May I steal it for later use?
@urusan the best one I found in Dutch is zoolleerrookkaassoort (type of smoked cheese that smells like sole leather)
@operand TIL jeff buckley is not the guy who drew the loss webcomic
Ever wanted to watch a ridiculous amount of jackdaws together? I just came across this video: https://yewtu.be/watch?v=B6ZJlSjW8Jg
@Vierkantor magpies love going *sneeze* *camera shutter noise*
@owl kya-kya-kya and key (and sometimes quark)
/'ɑ.nə/ & legally certified as "must get a doctorate" & (intuitionistic) maths / programming / languages & pronouns: they/them (or best offer) & tra(i)ns, crows and sheep & as seen in children's magazine & UTC+00:00 unless mentioned otherwise
"acceptably deranged" — @aeonofdiscord
"terrifying, thank you" — @AgathaSorceress
"you're one of the most dutch sounding people I know" — @streetlight