Toots for counting_is_hard@mathstodon.xyz account

Written by Counting Is Hard on 2024-09-12 at 14:55

I wrote up the post on Weihrauch reducibility & Lenses. Would appreciate any comments / boosts etc.

https://www.countingishard.org/blog/weihrauch-reducibility-as-a-lens

[#]computability #complexity #categorytheory

=> More informations about this toot | View the thread

Written by Counting Is Hard on 2024-08-23 at 15:59

I can only promise that I've started to write the blog post, not that I'll finish it

[#]computability #categorytheory #meme

=> View attached media

=> More informations about this toot | View the thread

Written by Counting Is Hard on 2024-07-30 at 21:55

Highly recommend sitting at the same dinner table as @pigworker if you get the chance. Great conversation. (also @vc and @reifyreflect)

=> More informations about this toot | View the thread

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