michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity

make the tone less doomer

Browse source
This commit is contained in:
Michael Zhang 2024-10-21 05:49:15 -05:00
parent 87107d3a29
commit f1b8136785
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/content/posts/2024-10-19-cubical-talk/index.mdx
View file

@ -9,7 +9,7 @@ import slides from "./main.pdf?url";
Yesterday I gave my first talk about type theory at my school's grad student seminar series, about some of the work I had been doing with homotopy type theory and cubical Agda.
Here is a link to the <a href={slides}>slides</a>.
It was not a very great talk so I had a couple of important takeaways.
It was a very rushed talk, and a number of things went wrong during the talk, so here's my post-mortem on it from the day after.
First, unexpected things will happen. I had originally practiced my talk for an hour long session, but projector and Zoom issues reduced it by 15 minutes.
I panicked and started rushing my talk, which was already losing people.
@ -19,4 +19,4 @@ Second, I didn't really stop to check that people were following and just contin
Third, I should've recorded the talk.
I just kinda blanked out so much during the talk, it's hard to go back and remember what I said and what I didn't.
At least I hope people liked the pizza :/
It was a good experience, and I hope people at least enjoyed the pizza. :sweat_smile: