julesh
@julesh@mathstodon.xyz
mastodon
4.5.8
Applied Compositional Thinking
0
Followers
0
Following
Joined October 30, 2022
Posts
@MartinEscardo I'm a bit surprised you're so surprised by this, but maybe I'm biased since Paulo was my supervisor. I don't doubt this result is extremely cool if I could understand it, but instinctively I already felt that topology is related to constructivity (thanks to both topos theory and synthetic topology), whereas my mind is still blown by the cases where dialectica type methods were used to sharpen analytic bounds in ergodic theory and Ramsey theory and things like that
1
0
0
Building an experimental typechecker based on ongoing research is hard work, but at least it beats writing a unifier
5
0
1