Pinned post
Open invitation: If you are learning Agda or Martin-Löf type theory and wish to talk about it or related matters, contact me and I will try to help to the best of my ability.
Latest posts 5
The thread to end all threads.
i spent 2 hours curating a twitter blue screenshot storyline for my parents so here u go, for your own offline friends that want to have fun:
DAY 1 – ARRIVALView quoted post on X![Elon Musk
@elonmusk
Entering Twitter HQ - let that sink in!
[video of him arriving at twitter carrying a heavy porcelain sink]
Elon Musk
Replying to @elonmusk
Meeting a lot of cool people at Twitter today!](/api/media?url=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FFhkMaQqUYAIuMWN.jpg)
Find me on libera.chat IRC, in the ##dependent types channel. Mastodon of last resort: @mietek@types.pl
I love Agda. I hope Agda never starts requiring readers to guess what other people consider obvious or trivial.
Has anyone preserved the mac-games-dev mailing list archives? Used to be on lists.apple.com/archives/mac-g… @bitsavers @textfiles @cdespinosa @splorp