chris martens1d ago

re: https://hci.social/@chrisamaphone/116325060049701188

taking off my "impartial observer" hat for a moment (and so breaking out of the thread), one opinion i've started solidifying is that we need stable (or one might say "archival") proof languages, alongside those that actively evolve. a big motivation for me is to develop teaching materials that still run in a decade (Explaining), but i think there are good Convincing-aligned reasons to want this as well.

Show threadDevine Lu Linvega1d ago
@chrisamaphone reading the preprint at the moment, this is a VERY interesting overlap of interests for me! Well done you and your team for thinking about these ideas, I honestly didn't expect to be seeing stuff like this in my lifetime.
Show threadchris martens
@neauoire thanks! i'm interested in hearing what you think if you have a chance to read further on
Mar 31 at 6:12pmWeb
Show threadDevine Lu Linvega1d ago
@chrisamaphone I have thoughts, but I wanna read through first :)