←back to thread

OpenAI Codex CLI: Lightweight coding agent that runs in your terminal

(github.com)
514 points mfiguiere | 2 comments | 16 Apr 25 17:24 UTC | HN request time: 0.471s | source
Show context
brap ◴[16 Apr 25 17:38 UTC] No.43708208[source]▶
What's the point of making the gif run so fast you can't even see shit
replies(3): >>43708271 #>>43709338 #>>43709921 #
dheera ◴[16 Apr 25 19:24 UTC] No.43709338[source]▶
People somehow seem to be adverse to making the shift from GIF to H.264
replies(1): >>43709398 #
porphyra ◴[16 Apr 25 19:30 UTC] No.43709398[source]▶
To be fair, terminal output is one of the few things where GIF's LZW compression and limited color palettes shine at.
replies(1): >>43709641 #
e12e ◴[16 Apr 25 19:53 UTC] No.43709641[source]▶
Not as much as https://asciinema.org/ - when you can use that...
replies(1): >>43709953 #
porphyra ◴[16 Apr 25 20:23 UTC] No.43709953[source]▶
True, but embedding a gif is way easier than using a javascript thing which might not be allowed in most places.
replies(1): >>43710097 #
1. dheera ◴[16 Apr 25 20:37 UTC] No.43710097[source]▶
Browsers 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.

replies(1): >>43710225 #
2. porphyra ◴[16 Apr 25 20:48 UTC] No.43710225[source]▶
Animated 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