im so tiredd

i am starting to feel youtube pop-philosophy "secular humanists" don't actually know what they're talking about bc whenever they comment on something im interested in dismissively or inaccurately, i can't help but think i may be experiencing Gell-Mann amnesia

here is how my interests changed over time game dev → computer graphics → pascal → Standard ML → declarative programming → Isabelle HOL → Twelf/𝜆Prolog/Oz → coalgebrajc theories → unification theory → term rewriting → basic DS&A i feel like i wasted 3 years of my life and idk what to do now

imagine committing to a long term goal without seeking immediate gratification every step of the way

Spherical Agda

i don't know what i want to do after school, i thought i knew but i don't

i have only now realized how much people use the term "semantics" to just mean something close to nuances/subtleties

foid? monoid? setoid? groupoid?

controversial opinion but i thunk... 𝜆_. e

im finally interested in programming again despite full well knowing that i shouldn't be considering im prolly gonna end up going into math

im not gonna use lean bc its too popular and i wanna be special

ive been reading permacomputing articles and they're very fun and short, would recommend even if, at times, they can be fairly reductive

does anyone know any albums similar to vsnares+speedranch's Making Orange Things?

meow meow meow meow meow meow - cat

poop

hi bluesky i really don't like the fact that i try my best to speak but nobody understands me. i have so much to say and somehow it just becomes noise to everyone else. i don't expect people to make sense of what im saying bc i know i can't help it, its my error and somehow i keep repeating it.

i have a proposal for a new set of quantifiers ∀∃ is the Game Theory quantifier ∀ is the Ladder quantifier ∀∀ is the Infinite Grid quantifier ∃∀ is the You're The Chosen One quantifier ∃ ⟹ ∃ is the ObjectOrientedProgramming quantifier ∀∃∀ is the Analysis quantifier ∃x : ⊥ is the Paradox quantifier

early ai adopters be like: "man today i feel like being illiterate"

ummmmmmmm this is not good

i don't wanna make a website. i just wanna sleep all day and never wake up thinking about my incomplete attempts at a website. i wanna wake up never reminding myself i could have learnt how to make websites like 3 years ago instead of playing minecraft for no reason

im not an addict

hi shorthandists, uh, can i join your cool kids club?

so much for term rewriting....

my best decisions have always been absurdly naïve, spontaneous and purely driven by random chains of intrigue

the T in Twenty-Twenty-Six stands for TERM REWRITING !!!!!!

the world is too complicated, im skeptical of anyone who has opinions

i wish someone told me that i (particularly) don't learn anything from YouTube and ive just been stimulating my brain with programming buzzwords and flashy syntax highlighting and whiteboards or slideshows for multiple years...

Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software. Just fuck you. Fuck you all. I can't remember the last time I was this angry.

this is like a sitcom interaction lol A: "Hmmm, do you think it's ethical to take money from a crackpot?" B: "FWIW I don't think all crackpots are experiencing psychosis" C, bursting through the door: "By the way did you hear about my gravity computer?"

bsky what are some cool things/applications i can set as goals for learning/implementing once i start self-studying linear algebra?

fuck AI

considering the Australian Social Media "Ban" was bipartisan, i can only assume, given the role of young people, student protestors and queer people involved in radical action, that the move will continue to maintain the status quo— protect the kids from leftist safe-spaces smh

chain complex? simplicial complex? Oedipal complex?

mashcore!!! breakcore!!! urmancore????

AOC IS ACTUALLY SO FUN WTHHH i also reinvented loops because unfoldl doesn't have a continue

idk to what degree i should entertain genuine naïvity disguised as ample overconfidence mixed with carelessness...

honestly math is so fun

false alarm

FreeBSD broke on me, it was a good year, but now its thoroughly broken might just have to use Linux for a bit even if i hate it passionately

can't wait to turn 18 so i can say i hate children

meow

i like writing typing judgement fragments down my forearm

oh you said "seize the means of production" not "cease the means of production",,,, okay ill start the factory up again

i have no will to reject. anything that enthralls me ultimately consumes me— my attention, my will —and regurgitates a scattered mess of objects of reminiscence; something to position me against, an ideal, for which i never desired to attain, but in my lack of will, it assumes my desire wholely

id rather not be remembered proceeding the end of my life, id like to dissolve every trace of my creativity as scattered artifacts, not to be uncovered by archeologists or historians rummaging through records to piece a larger narrative, but rather, to be utterly partial, fragmented and incomplete

this is but the first time i'd had to ease the very ephemeral and dispensable nature of fulfillment and knowledge. my grandiose ideals for an immaculately curated repository of the outputs of my curiosity has long left the realm of tangibility; knowledge is neither tractable nor of my own posession

bark bark woof woof im a puppygirl 🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶🐶

𝜆

i have no drive to do anything, id rather do nothing and deal with the consequences as they arrive in the most mundane and partial manner as i can upheave

everything is ragebait so long as you're insecure