3 ms·
Not as much as https://asciinema.org/ https://asciinema.org/ - when you can use that...
by e12e 1y ago
Not as much as https://asciinema.org/ https://asciinema.org/ - when you can use that...
- porphyra 1y agoTrue, but embedding a gif is way easier than using a javascript thing which might not be allowed in most places.
- dheera 1y agoBrowsers just need to support <img src="foo.mp4" style="width:256px;"> already. It should behave exactly like a GIF, loop by default, and be usable for emojis and everything. There is absolutely ZERO reason we should be stuck to 256 colors for things like cat videos used as chat stickers. We have had 24-bit displays for ages.
- porphyra 1y agoAnimated webp has pretty good browser support by now and Discord uses it by default to serve animated emojis and stickers. However, many image hosting tools still don't let you upload webp. [1] https://caniuse.com/webp https://caniuse.com/webp