Cha Cha Cha is last in semifinal 1 which is fantastic omg. Everyone's gonna remember it and it's gonna qualify I know it is
@andrejbauer catamorphism ⇒ recursion scheme ⇒ computability ⇒ mathematics ⇒ philosophy of mathematics ⇒ philosophy ⇒ higher algebra, etc.
ok nope. I just checked with a hex editor and it's as compact as possible. 17156 px is the limit
in case anyone was wondering, the largest possible GIF you can create using GNU IMP under 200 KB is 17156 px by 17156 px. I'm sure you can shave off a few bytes though because there's a lot of blocks in the GIF spec you can just delete without consequence, and sometimes the animation looping block gets included even if it's not an animation. the total size is 199 988 bytes
Mastodon::DimensionsValidationError (17150x17150 images are not supported):
app/models/concerns/attachmentable.rb:58:in `check_image_dimension'
app/models/concerns/attachmentable.rb:29:in `block in has_attached_file'
app/controllers/admin/custom_emojis_controller.rb:21:in `create'
app/controllers/concerns/localized.rb:11:in `set_locale'
lib/mastodon/rack_middleware.rb:9:in `call'
yeah that's valid
@niss refreshing means I can try uploading again lol
@niss looks like it yeah
Jon(athan)? | ionchy ("yawnchy")
PhD student in PL doing type theory things
#WaterDrinker 💦
emoji boy of types.pl 🇨🇦 🏳️🌈
I have been blessed with admin powers on this instance and I will do my best not to muck things up
pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850