1,673 followers
great thread and touches on the notion of surprise. reminds of work on quantifying serendipity (e.g., https://t.co/Wyaqu5xSLu) #OECUP https://t.co/87ZSvBURNm
great thread and touches on the notion of surprise. reminds of work on quantifying serendipity (e.g., https://t.co/Wyaqu5xSLu) #OECUP https://t.co/87ZSvBURNm
ある人から指摘された「dynamify」という語も、実際にその通りの意味で使われている用例はなかなか見当たらない。dynamifiedならどうだと思って検索し直すと、初っ端からこんなのが出る ── http://t.co/wVLGom33co
@jonsterling You'll probably find this relevant (and nice to express in Agda): http://t.co/CfS8KLGY Please let me know if you want a copy!