🇨🇦 Joey Eremondi
@joey.mathstodon.xyz.ap.brid.gy
PL Researcher. Assistant Professor at the University of Regina. 🇨🇦
Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/ […]
[bridged from https://mathstodon.xyz/@joey on the fediverse by https://fed.brid.gy/ ]
Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/ […]
[bridged from https://mathstodon.xyz/@joey on the fediverse by https://fed.brid.gy/ ]
@MartinEscardo I get why it feels like that, but you're doing math that is pushing at the boundaries of what's proveable, and that tends to be very compositional.
Many of the cases "proved in X" are:
* nowhere near the boundaries of any proof systems, so extremely unlikely to hit some […]
Many of the cases "proved in X" are:
* nowhere near the boundaries of any proof systems, so extremely unlikely to hit some […]
Original post on mathstodon.xyz
mathstodon.xyz
December 19, 2025 at 11:26 PM
@MartinEscardo I get why it feels like that, but you're doing math that is pushing at the boundaries of what's proveable, and that tends to be very compositional.
Many of the cases "proved in X" are:
* nowhere near the boundaries of any proof systems, so extremely unlikely to hit some […]
Many of the cases "proved in X" are:
* nowhere near the boundaries of any proof systems, so extremely unlikely to hit some […]
Reposted by 🇨🇦 Joey Eremondi
Here, Calibre, in one release, went from a tool readers can use to, well, read, to a tool that fundamentally views books as textureless content, no more than the information contained within them. Anything about presentation, form, perspective, voice, is irrelevant to that view. Books are no […]
Original post on wandering.shop
wandering.shop
December 6, 2025 at 6:53 AM
Here, Calibre, in one release, went from a tool readers can use to, well, read, to a tool that fundamentally views books as textureless content, no more than the information contained within them. Anything about presentation, form, perspective, voice, is irrelevant to that view. Books are no […]