js boosted
js boosted

It's handy that RCA audio cables are red and white, because you can either remember them with the alliterative mnemonic "red is right", or the rhyming mnemonic "white is right" depending on which one is correct

js boosted

We all know the text editor "vi" is pronounced "six", but "vim" isn't a valid roman numeral, so how should it be pronounced?

js boosted

MarkovJunior is a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation.


Trying to learn PEGs because I apparently can't do anything without first creating a plain text file format around it.

js boosted

when you download an image from the web these days, instead of a PNG or a JPEG, you get one of these new formats which is 8% more efficient, not compatible with any "pre-covid software" and has a name which sounds like

High Information Format Format
j-eggings Layer 6
ProRes ProxyGold (Grain Profile)
Radiance XML
WebX 2000

js boosted
js boosted

what I want: motivation ⟷ desire ∨ need
what I've got: motivation ⫫ desire ⫫ need

js boosted

I'm really putting the "O no" in "big O notation"

js boosted
if I type "ummmmm" on the command line the computer should tell me what I was about to do before I forgot
js boosted

I can't tell if Lua is having a moment, or if I've just been choosing proportionately more tools that support it lately.

Either way, it's nice to be back! 😎

js boosted
js boosted
js boosted

The psychological difference between "one bus every ten minutes" and "one bus every twenty minutes" is so miserably huge

@agafnd fyi - I wrote a blog post about taking a silly joke you made to its (il)logical conclusion: huggable.tech/blog/jabbascript

New blog post: how much can you do in Javascript without typing letters or numbers? (spoiler: you can do anything) huggable.tech/blog/jabbascript

js boosted

Seeing a lot of people weirded out that "Masto admins can read your DMs!"

Unless it's end-to-end encrypted, any admin of any system you use — Twitter, Facebook, Slack, GMail, etc — can do that.

hope this helps

Show older

The original server operated by the Mastodon gGmbH non-profit