In the first video in this series, Tim Hosgood sits down (virtually) with David Spivak to chat about some of David's latest research: all things enriched in Org.
Nice chatter. Somebody should pin links to the papers and blog posts mentioned. The deep learning paper mentioned at 1:55 seems to be arXiv:2111.01297.
Nice chatter. Somebody should pin links to the papers and blog posts mentioned. The deep learning paper mentioned at 1:55 seems to be arXiv:2111.01297.