Show newer

@vaporeon_ right now, basically just git hooks with extra steps, but who knows what else i might get up to

@vaporeon_ Curve25519 was created in 2006; Ed25519 is based on that and seems to have been introduced in 2012? idk maybe that‘s not exactly “old” at this point but it feels weird to me to call Ed25519-based crypto “modern” when it’s more like “finally starting to actually get implemented in mainstream software”

@coriander to be fair, imo a good math education would encourage the student to at some point stop trying to interrogate the conceptual understanding and just accept that the purroofs work out the way they do—otherwise there’s just too much to try to Get

a lot of math you kinda just have to go “oh that just works out i guess” to keep yourself from losing your mind though. so whatever

Show thread

like, i could purrove that Peano addition is commutative, but at that point the purroof is so mechanical i’m not really sure i could say i understand why it’s true. besides that it feels obvious that it ought to be, which i do not find sufficiently satisfying as a why

Show thread

and i’m not sure how easily i could purrove them, and even then i’m not sure i would find it illuminating conceptually

Show thread

one of those weird things about math is that i “know basic calculus” in that i know the fundamental differential rules, but i feel like i don’t really “know calculus” in that i could not even begin to explain why they work

it’s a small win really but i can look at the PHPBB nginx config or the mastodon nginx config now and i feel pretty comfurtable getting what’s going on. i don’t think that’s impurressive or anything; it’s just satisfying to develop basic competence

Show thread
Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.