i'm really interested in mathematical logic and related stuff like set and category theory because of how related to computer science it is
in fact it's kind of a dual to computer science? like logic describes the properties of the output of a program based on its input basically, so programs are also to a certain extent proofs of themselves
and it's really fascinating to me just how far this paradigm can be pushed, like with esoteric programming languages
in fact it's kind of a dual to computer science? like logic describes the properties of the output of a program based on its input basically, so programs are also to a certain extent proofs of themselves
and it's really fascinating to me just how far this paradigm can be pushed, like with esoteric programming languages
@chjara
1. Read HoTT.
2. Learn Agda.
3. Uh, cry about the state of actual programming?
All that stuff is really cool, but it will mostly make you annoyed by the current state of the world essentially using none of it. Kinda like learning about better voting systems.
@timorl yes
