Not yet, looks interesting!

(hmm I just scrolled through mercurial docs and given that "hg xl" and "hg co" are not hg commands, I think I would not actually like real Mercurial)

Interesting, I thought fb chose mercurial for performance. I like Google's Fig, although I'm not sure if that means I like Piper or if I like Mercurial

Maybe git just won because of social reasons (linus clout) and/or early network effects? (Github) I wasnt around then tho

> Just like ad-blockers, I predict that Passkeys will only be used by a small subset of the technical population

Wait, what happened to adblockeds?

This looks cool: gleam.run

^this is good and comprehensive, curriculum is by @danabra.mov

Of course, ML could be used to "prompt" the tactics. Prompts all the way down...

A crazy thought is; what if the way Lean learns is actually not too different from the way humans learn? What if the basics come to students more slowly than the advanced? When we teach intro stuff, actually a lot of gears (like the 75 lines of code) are turning in their minds?

From 3 lines of English to 75 lines of Lean: github.com/teorth/pfr/p...

On the other hand, decidedly less trivial lemmas were straightforward to formalize. It almost feels like an inverse relationship.

Maybe it shouldve been in the standard but some IETF nerd would probably tell me there's some obscure computing environment for which a local host doesn't exist or something

Not always; only if there's a localhost line in /etc/hosts

Unless the examples are an exhaustive list of the things you can do? sus (it's quite sparse for some endpoints)

wait like legit all of the params except the API key should be path params lmao and the API key should definitely not be a query param

another way to express this is that giving requires taking and vice versa, the vanilla way to do this is to charge money directly for the thing one is giving, but definitely some more creative models have been developed