| ▲ | doyougnu a day ago | |
This was a talk at the FUNARCH workshop at this year’s ICFP. Here’s the livestream: https://www.youtube.com/live/c0pw1iVs_Q0?is=hwm2xa4cZOcqF5tW Well post the individual talks in the following days! | ||
| ▲ | chombier a day ago | parent [-] | |
Talk starts as 6:01:10 | ||