banner
llllvvuu.dev
L
@llllvvuu.dev
Not yet, looks interesting!
May 6, 2024 at 7:29 PM
(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)
May 6, 2024 at 7:28 PM
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
May 6, 2024 at 7:12 PM
> 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?
April 27, 2024 at 10:44 PM
This looks cool: gleam.run
April 20, 2024 at 5:10 PM
^this is good and comprehensive, curriculum is by @danabra.mov
April 18, 2024 at 5:04 PM

Of course, ML could be used to "prompt" the tactics. Prompts all the way down...
February 16, 2024 at 11:34 AM
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?
January 10, 2024 at 9:34 PM
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.
January 10, 2024 at 9:34 PM
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
November 23, 2023 at 5:46 AM
Not always; only if there's a localhost line in /etc/hosts
November 23, 2023 at 5:44 AM
Unless the examples are an exhaustive list of the things you can do? sus (it's quite sparse for some endpoints)
November 22, 2023 at 7:40 PM
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
November 22, 2023 at 7:38 PM
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
November 21, 2023 at 12:02 PM