@_markusde_

Better version: @markusde@mathstodon.xyz

Joined February 2022
  • Tweets205
  • Following42
  • Followers60
34Media
I'm back
2
1
1
81
Somebody is posting about Iris-Lean and I have to defend his honour
1
1
30
I can finally participate in the Kiran Gopinathan engagement farm now
1
1
1
17
Finally free from my topology nightmare thank god. Not sure if I regret taking that course yet. On one hand, the material is super interesting and I can read papers in PL that I couldn't before. On the other, it burnt me the f out and took up so much of my research time.
2
1
Anyways don't say the phrase "covering space" to me in the next week or I will become homotopy equivalent to a corpse
damn reading this thread it just gets worse and worse headline: Local Charlatan Completely Misses the Point of Real Analysis, You'll Never Guess What He Denies Next!
This quoted post is unavailable.
Try viewing anyway · View on X
2
Comedy: once again alive on Twitter! [1] [1] unless you call Paul Graham a m*ron
1
10
Man I love category theory, it feels like the DMT high you get right before you die
1
7
What I mean by this is we're doing the Van Kampen theorem and after class I asked my prof if there's any reason the diagram looked like it had a coproduct in it, and then he told me about pushouts, and then about colimits, and then I died, and now I'm dead
1
What I mean by this is that I feel I need a funeral before thinking about category theory again
1
happy to announce that this reading break I finally learned how to read
1
7
2
12
2
104
The statement of purpose and it's consequences have been a disaster for the human race
1
5
Damn-- finished a first read of "Continuous Lattices" and it feels like I've found some kind of ancient holy text The theory is so elegant and it's so well written... when he proved lambda and eval were continuous I think I literally died
1
3
15
(also I'm going to be such a smug shit next time my topology prof says people only care about Hausdorff spaces, which is the real win here ofc)
1
1
It snowed in Vancouver, which is nice because I love the snow and also the misery of my peers
6
What the fuck did you just fucking say to me, you contactable bitch? I'll have you know that I graduated top of my homotopy class, and I've been involved in numerous deformation retractions, and my fundamental group has over 300 confirmed elements. I'm trained in higher homoto...
1
1
Also today we talked about the fundamental group so after class I asked what he knew about weak infinity groupoids Doing exactly the opposite of what they said to do in HoTT summer school xd
1
Load more