Show newer

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

setting up nginx in front of my websites gave me something to tweak on and now i feel a lot more comfurtable understanding what is going on in an nginx config file

as someone who’s dealt with his shit my entire life, the thing you need to understand about @wallhackio is that he is utterly sick in the head. this is partially a compliment. but not entirely

kind of surpurrised that Debian Trixie advertises HTTP/3 suppurrt in curl when way more impurrtant is that HTTP/3 suppurrt got added to its version of OpenSSL, enabling HTTP/3 suppurrt in your web server (or at the very least, in NGINX)

Show older
📟🐱 GlitchCat

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