Toots for HarrisonGrodin@mathstodon.xyz account

Written by HarrisonGrodin on 2025-01-27 at 21:35

Theoretical progress is amortized practical progress?

Practical progress: a bit of work per day, "continuous"

Theoretical progress: mostly nothing but an occasional breakthrough, "discrete"

=> View attached media

=> More informations about this toot | View the thread

Written by HarrisonGrodin on 2025-01-02 at 20:18

Last month, I gave a talk at the @ToposInstitute explaining how to think about amortized analysis coalgebraically, where a "potential function" is a structure-preserving morphism in a cost-aware category: https://youtu.be/A4TTyeVsheM

(paper published here: https://entics.episciences.org/14797)

=> More informations about this toot | View the thread

Written by HarrisonGrodin on 2024-11-04 at 00:31

as far as I'm concerned really there's only two types of software: inductive and coinductive

=> More informations about this toot | View the thread

Written by HarrisonGrodin on 2024-10-23 at 23:29

What is a (co)limit in a (generalized) multicategory?

=> More informations about this toot | View the thread

=> This profile with reblog | Go to HarrisonGrodin@mathstodon.xyz account