| ▲ | laksjhdlka 4 hours ago | |
I once studied proof theory for a summer at a school in Paris and we talked about type inference and theorem proving all the time in casual conversation, over beers, in the park. It was glorious. Being a student is so much fun, and we often waste it, or at least don't value it as much as we ought. 20 years later I'd love to go back. | ||
| ▲ | magicalhippo 3 hours ago | parent | next [-] | |
> Being a student is so much fun, and we often waste it, or at least don't value it as much as we ought. 20 years later I'd love to go back. An aside, but some years ago I watched the demo 1995 by Kewlers and mfx[1][2] for the first time and had a visceral reaction precisely due to that, thinking back to my teen years tinkering on my dad's computer, trying to figure out 3D rendering and other effects inspired by demos like Second Reality[3] or Dope[4]. I seldom become emotional but that 1995 demo really brought me back. It was a struggle, but the hours of carefree work brought the joy of figuring things out and getting it to work. These days it's seldom I can immerse myself for hours upon hours in some pet project. So I just look things up on the internet. It just doesn't feel the same... [1]: https://www.youtube.com/watch?v=weGYilwd1YI [2]: https://www.pouet.net/prod.php?which=25783 | ||
| ▲ | mietek an hour ago | parent | prev [-] | |
Join us in ##dependent on Libera IRC. We continue to talk about this stuff all the time, with a focus on Martin-Löf intuitionistic type theory. | ||