Listened to the latest episode of the Type Theory for All podcast (www.typetheoryforall.com/episodes/pl-...) which was absolutely great. Now have the following pinned on my office wall, lest I forget. Thanks, @shriram.bsky.social.
!["And our goal in life needs to be to be able to beat the averaging machine. To be able to have a thought that the averaging machine could not produce, [...]
If all we're doing is what the averaging machine does, then we might as well be replaced by the averaging machine.
Right?"](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:rsfoi33e4iya2rd7jw52nfmo/bafkreigih6bvcrmdmvwbf3n64m3lli5ovrwcdppicu3yqvqwekl3z4vg7m)
Torsten „Teggy“ Grust
@teggy.org
677 followers 181 following 49 posts
Professor — like database systems, programming languages, and SC Freiburg ツ
