academia, - 

always worried i'll get through grad school OK but be bad at researching and teaching

i've always wanted to be a good teacher but i think i'd probably be really bad at it, and i don't have much experience outside of office hours and teaching labs

i don't want to be the reason more people hate learning

Show thread

school 

professor: there might actually be a day when a TA will have to lecture
all 4 other TAs: I want to lecture!

guess i won't be able to do it... especially as the only undergrad

pounce boosted

anybody know if F* has a good nondeterminism monad

pounce boosted

lb: is this mika everybody on types.pl

pounce boosted
pounce boosted

anyway this was the topology meme that cursed me i have no fucking idea what this means

pounce: pretends to know a lot about fibres
pounce: actually still scared of the hopf fibration

here's the talk from Emily Riehl i watched if anybody else wants to see: youtube.com/watch?v=A6hXn6QCu0

vv nice demonstration on HoTT as a foundation for mathematics,in particular category theory

HoTT book: "we must stress these spaces are not topological"
HoTT book: *proceeds to talk topologically*

no type theorist born before 2000 know geometry
all they know is refl, axiom K, terminate they program & inconsistency

tfw don't actually know any type theory, just have my 700page cat-bookmark-annotated manifolds textbook

huh, pi types are sections of a fibration?
that actually makes sense

Emily Riehl: we don't expect math undergrads to know the axioms of set theory... I certainly didn't

🙏 thank you king

pounce boosted

formal logics correspond to categories of categories

wait what
how did i not notice this
the definition of CCCs makes so much more sense now

since im dropping out of school and working in industry for a year... i kinda have a whole academic year to prep for grad school

so send any advice u have

Show thread

does anybody who's gone through grad school have GRE prep tips?
i want to buy some books to study it but i don't know which ones are good (other than the official ETS ones) :oh_no:

Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.