Toots for counting_is_hard@mathstodon.xyz account

Shared by Counting Is Hard on 2025-01-16 at 12:51 (original by G. Allais)

=> More informations about this toot | View the thread

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

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