Подтвердите e-mail

Для публикаций, комментариев, реакций и сообщений подтвердите адрес.

Профиль

heartpunk (sophie!!)

Профиль Vively

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

WE MIGHT GET A WASHER AND DRYER TOMORROW I MAY HAVE CLEAN CLOTHES AND BEDDING RELIABLY AGAIN FOR THE FIRST TIME IN NEARLY A YEAR

0100

stripke kructures

000

we should all get to have really dope build farms like i wish we had digital commons at the compute layer more i understand so many parts of why we don't but i also like idk too much of it is we just don't try at it too much and that makes me a lil sad

130

FUN NERD FACT ABOUT THE BOYS: THE SHOW RUNNER ERIC KRIPKE IS THE COUSIN OF THE LOGICIAN SAUL KRIPKE OF KRIKPE STRUCTURES

230

i really need therapy again holy fuck but i'm so weary of it too i'm such an insufferable asshole tho lately like genuinely and i wanna stop being quite so much of one it's just so daunting to get started agghghghghhhhh

030

the rust go zig continuum what’s the other dimension i wanna have a political alignment chart!!!!!

heartpunk (sophie!!)

indeed!!! and while unfortunate for the world in general it is still adequately suitable for my potential offering that go is also adequately popular (i am unlikely to want to work w/any zig people just as much as they're likely uninterested in working w/me but i'm not opposed on principle!!!!)

040

periodic reminder of the generational talent that is james mickens and this particular work of art of his

281

thinking about lil short term potential feasible services i could offer if next phase of stuff works out: would ppl be interested in a TLA+ models from impls as a (paid!) service thing??? this is still at *least* a few weeks out but maybe longer but it should be manageable for certain targets

120

have to supervise a fourway merge and i just can i just not????? oh wait ... i *could* just not... that's an ACTUAL option... what if i refactor this shit into like... modules and stuff and things????????? hrmmmmmmm

040

bleak and a stowjob

010

seem to have just lost a few vape carts or something dk oopsieeeee that,,,, sucks i will do a bit of looking for 'em soon, have enough to get me by just long enough to maybe finish this last sprint to a full semantics extraction proof of concept!!!!!!! and i would prefer not to stop short

000

i'm halking were!!!

110

...apparently my inattention to some of the details led to a frustration and fear inducing validation theatre inducing frustration cycle it seems the work may have been functionally complete n days ago but we couldn't tell bcz there were so a few unnecessary & impossible extra requirements added on

110

want foooooooood

000
Показать ещё