mastodon vs twitter 

@joshbal4 yea but it’s my favourite junk, where else can I get the thoughts of TrashPanda97 beamed into my brain

Tiago boosted

announcement (boosts appreciated) 

We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in the world during the months of July and August 2022.

The school will run both synchronously and asynchronously. The lectures will be delivered live (between 2:30-4pm UTC) and paired with various tutorial sessions run by teaching assistants. The course will also feature a discord-based all-hours Q&A and an online archive of all course materials so that participants can follow along on their own schedule.

This school is for everyone and anyone with some familiarity with abstract mathematics or theoretical computer science and an itching to learn about homotopy type theory. Our goal is to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression. We believe HoTT is for everyone, and are committed to fostering a kind, inclusive environment.

Read more:
Join the Discord:

@beta Everyone does basic year 2 assembly (MIPS RISC assembly), but apparently only math comp students have to do year 3 x86 assembly on top.

Someone tell me why I, as a mathematical computation student, have to learn x86 assembly...

while the standard non-math CS students don't.

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.