heartpunk (sophie!!)

heartpunk (sophie!!)

@heartpunk.com

trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk 39 y/o, MDNI 🔞 she/they/bitch(es) alt for pfp: the soul of the rose by john waterhouse alt for banner: sappho and erinna by simeon solomon

3.7K followers4.8K following61.7K posts

i'm still just really shocked others focused in on formal methods are impressed, any of em (defs not all) w/the theorem.dev / anthropic thing like i do see some value in it for sure it just it upsets me literally viscerally like i feel it in my tummy that something is scary that this is the bar

View full thread

but idk how to do so from this perspective i don't know how to be so bewildered and also collaborative w/o having a like a person basically dedicated to helping translate for me and get things back on track which is clearly unrealistic so idk

otoh? i don't think they're actually trying to play the same game. i think they are trying to capture value and are in a more disabling professions style position than i am or want to be. too proprietary. left themselves too central and too necessary. just different values. but. not my thing.

i'm still just really shocked others focused in on formal methods are impressed, any of em (defs not all) w/the theorem.dev / anthropic thing like i do see some value in it for sure it just it upsets me literally viscerally like i feel it in my tummy that something is scary that this is the bar

and i do also recognize there's value and sophistication of a sort just i uhm and well also like i want to help i don't want to just say my ideas better and poo poo their thing and leave it at that i want to offer my techniques up as much as i can and lift the tide for everyone

tbqh i think this makes sense re that paper recently on uhhhh how dey optimize for information density rather than successful transmission of information or some shit like that idk i didn't read it or even the abstract lol i just say things sometimes

This post is unavailable.

u should not be like me and let all ur shit get so outta date u don't even really have a safe bastion to run ur updates from lmfao ... guess the nix laptop will update first and the rest will all come next yea...

BAHHHHH MY OSX TOO OLD I GOTTA UPDATE TO USE AVETTE (THIS IS OK IT IS ALSO TOO OLD TO BE SAFE TO USE I HAD FORGOT I NEED TO UPDATE IT ANYWAY OOPSIE GUESS I KNOW WHAT I'M DOING TODAY... PLZ TO NOT PWN ME B4 AM UPDATE KTHXBAI)

ok i am doing way better today idk what was up yesterday i think i had to go thru a lil crisis tho actually to figure out what was next a lil bit wasn't fun and woudl prefer a better path to the understanding but here we are working on lifting models away from binary dependence now

and with all those crashouts and such this was actually one of my best sensory days in weeks i’m just that burnt out and fucked up about my social trajectory rn

heartpunk (sophie!!) reposted

i see people ask “what do folks do while their agent is working?” did you know that Yin Yoga is all centered around restorative holds? and after 10-30 years of working at a desk your body is probably aching for some mobility work? <me> fix this big while i hold this stretch for 12 minutes

rly not entirely ok rn y'all i *need* technical community where i maybe don't like share all values but enough to be able to talk about 'em w/others and learn from others etc etc maybe actually almost definitely like not all at once in some big way but i need to get there again this will kill me

the core of it is this: others are much more prone to think it is rude to call something bullshit, whether u explain it as frankfurtian and introduce the philosophical concept first or not whereas i am prone to think it is wrong not to do so i think *actually* the truth is in the middle

heartpunk (sophie!!)@heartpunk.com

i feel like i literally can't talk to ppl about what i think bcz i actually think my natural way of expressing myself is wrong i had forgotten about this it was a thing that happened when i was employed too i kept getting in trouble for it and i didn't ever understand quite and i still struggle

View full thread

which i think mostly means: it should not have to be avoided *unilaterally in the first place ideally* idk what that means or how it's actionable anyway i guess i'm starting to just feel like it is probs ok that i have some harsh assessments of some peers so long as i try to be kind as i can

and it is ok to make some mistakes on the way but i should try to make less of em etc etc ok i can probably communicate idk we will see how my whole everything equilibriates after a bit

the core of it is this: others are much more prone to think it is rude to call something bullshit, whether u explain it as frankfurtian and introduce the philosophical concept first or not whereas i am prone to think it is wrong not to do so i think *actually* the truth is in the middle

heartpunk (sophie!!)@heartpunk.com

i feel like i literally can't talk to ppl about what i think bcz i actually think my natural way of expressing myself is wrong i had forgotten about this it was a thing that happened when i was employed too i kept getting in trouble for it and i didn't ever understand quite and i still struggle

View full thread

there is a very real sense in which being autistic can mean u either do not get to communicate certain things unless u do so in whatever way u manage and if others aren't *really* doing their part to make ur sitch tractable, that may actually kinda mean sometimes ur an asshole on accident

not that u get to *keep* being one or that the accident is permissible as an intentional thing it must *be* an accident but it is also basically inevitable and there are times where the only way to avoid it unilaterally is literally to stop interacting at all

the core of it is this: others are much more prone to think it is rude to call something bullshit, whether u explain it as frankfurtian and introduce the philosophical concept first or not whereas i am prone to think it is wrong not to do so i think *actually* the truth is in the middle

heartpunk (sophie!!)@heartpunk.com

i feel like i literally can't talk to ppl about what i think bcz i actually think my natural way of expressing myself is wrong i had forgotten about this it was a thing that happened when i was employed too i kept getting in trouble for it and i didn't ever understand quite and i still struggle

i think there is part of this that is exactly why i am doing unusually well for my education i have unusual perspectives and standards both it is NOT a universal benefit there’s a lot of downside to it i fuck up often evaluation wise and that is ok it’s something about the nuance of statement?

heartpunk (sophie!!)@heartpunk.com

i feel like i literally can't talk to ppl about what i think bcz i actually think my natural way of expressing myself is wrong i had forgotten about this it was a thing that happened when i was employed too i kept getting in trouble for it and i didn't ever understand quite and i still struggle

i feel like i literally can't talk to ppl about what i think bcz i actually think my natural way of expressing myself is wrong i had forgotten about this it was a thing that happened when i was employed too i kept getting in trouble for it and i didn't ever understand quite and i still struggle

honestly i have always been in trouble for how i express opinions since kindergarten i know some of the bounds but i know them poorly enough i just figure i shouldn’t communicate until i then forget that bcz i get feeling safe and then i overstep and then shut down…

heartpunk (sophie!!) reposted

Kristin Wilson@kristin-wilson.bsky.social

Tell me your nerdiest joke that people either don’t get, or think less of you for thinking it’s funny. Here’s mine: Descartes is sitting at a bar drinking a beer. The bartender asks if he’d like another one. Descartes says, “I think not” and instantly vanishes.

heartpunk (sophie!!) reposted

I'm accepting contract and consulting work! - Jujutsu: Adoption, training, integration - Atproto: Integration, data modelling, user experience - Rust and Bevy: Training, bootstrapping, architecture My DMs are open 😁

just outta capacity to work again and it's terrible timing. maybe a day or two off and i'm ok? idk. i just. i just need to get to where i can make like even literally like $1-2k/mo to start maybe

i wanna just eat pizza and game for a day or two i think but i do not have money for all that unless i don't eat as long before i ask for more money again and that makes me sad i also want to do my work but w/more space space to stretch w/o constantly being in the way and scoffed at for example