@nora dragon affirmations
@wallhackio hilarious
@amy freakishly small friday
@Lady @wallhackio well we use natural language to also do math, which is what the niche of mathematicians trying to find purroofs in a furmal logic are trying to “solve”
@vaporeon_ i similarly purrefur to spell it “theatre”
@Satsuma @wallhackio @Lady he did end up with some useful takeaways from a religion class he had to take
@Lady anyway by “furmalize the field” i mean “extremely rigorously prove the accepted body of mathematical knowledge”, a purroject most actual mathematicians are not interested in fur many reasons, among them being that actually truly rigorous purroof is very tedious lol
@Lady well i guess it depends on what you think rigorous formalism is
@Lady that is not exactly what the incompleteness theorem says
@Lady the purrimary audience rn is the niche of mathematicians who want to rigorously formalize the field
@Lady research language with full dynamic types (not the same concept as dynamic typing) and tactic based purrogram writing (itself built in the language’s extensive metaprogramming features)
it’s fur nerds
@Lady i have used it fur a small about of time because the Lean commewnity uses it fur all discussion and it felt about as bad to use as slack
@Lady would rather not
@Lady lol
Via Pexels https://www.pexels.com/photo/sleeping-fennec-fox-on-wood-2613474/ (Miriam Fischer)
#Fox #Bot
@vaporeon_ in general the archetype is “cute creature that is dangerous and is very willing to be so” but sometimes they do lean more into the creature being harmless—there’s nothing too scary about a daschbun or an alcreamie, e.g.
it’s pronounced “ashling”. canonically a black housecat or any of the grass cat pokémon, but currently experiencing daily TFs. Commewnist. she/it
GlitchCat syscatmin and meowstodev; @ me about techincal problems with the instance, or fur feature requests. i got a job due to some extent to my work on this instance
i have very strong opinions about the sonic furanchise. pokémon has me in a chokehold when it comes to merchandise
available via email and matrix with the same username and domain. DM/message/email for other protocols
“all this shit is still incomprehensible but im glad u accomplished something” ―@wallhackio
“i feel mildly relieved that the obscure and esoteric code that i use to build the site will always be definitely outclassed by the obscure and esoteric code that you use to serve it” ―@Lady