zaxioms - Network

Finally got around to writing a blog post on my favorite puzzle I solved this year with my...

Finally got around to writing a blog post on my favorite puzzle I solved this year with my friends!

https://aricursion.github.io/blog-entries/hexamaze/hexamaze.html

How do y'all take notes while reading papers/textbooks? (if at all)

How do y'all take notes while reading papers/textbooks? (if at all)

I've never been so scared of cubes before

I've never been so scared of cubes before

Anyone have good, written resources for learning cubical agda?

Anyone have good, written resources for learning cubical agda?

You ever think about how "miles per gallon" is a measure of inverse area?

You ever think about how "miles per gallon" is a measure of inverse area?

I mean if you really think about it, if you combine P and H, then it's a PH-Algebra and "PH" is basically the same as...

I mean if you really think about it, if you combine P and H, then it's a PH-Algebra and "PH" is basically the same as "F" 🤔​

Category theorists need to figure out their functor letters. The fact that I've seen P-Algebra[1], F-Algebra[2], and H-Algebra[3] for...

Category theorists need to figure out their functor letters. The fact that I've seen P-Algebra[1], F-Algebra[2], and H-Algebra[3] for all the same concept is crazy

[1]: Defn 10.8 of Awodey's Category Theory

[2]: https://en.wikipedia.org/wiki/F-algebra

[3] Defn 3.1 of http://www.tac.mta.ca/tac/volumes/14/8/14-08.pdf

Announcing my Great Carnegie Library of Pittsburgh Adventure!I'll keep this page updated with library reviews and...

Announcing my Great Carnegie Library of Pittsburgh Adventure!

I'll keep this page updated with library reviews and progress
https://zaxioms.github.io/blog-entries/library/library.html

https://www.cs.cmu.edu/~fp/courses/15836-f23/index.htmlhttps://www.cs.cmu.edu/~mheule/15816-f23/This is going to be the greatest semester of...

https://www.cs.cmu.edu/~fp/courses/15836-f23/index.html

https://www.cs.cmu.edu/~mheule/15816-f23/

This is going to be the greatest semester of all time

I need to get off this SAT solving class waitlist. It looks sooooooooooo cool

I need to get off this SAT solving class waitlist. It looks sooooooooooo cool

Are there any type theory PhD students I could DM for some grad school advice?

Are there any type theory PhD students I could DM for some grad school advice?

Mastodon is great, but I find it much harder to find new people than I did on twitter. Anyone have any advice for this?

Mastodon is great, but I find it much harder to find new people than I did on twitter. Anyone have any advice for this?

How is Agda on arm? Is it notably worse to install than on x86? based on what people saying on the internet its unclear whether brew...

How is Agda on arm? Is it notably worse to install than on x86? based on what people saying on the internet its unclear whether brew supports it, and if it does, whether it makes more sense to build from source? Anyone have thoughts?