Alea @alea@schelling.pt

buying even higher platform boots, the surest move to boost my confidence levels enough to wear the now comparatively lower platform boots

I AM AWAITED IN SAN FRANCISCO

My favorite language right now? Linearly-typed lambda calculus. With parallelism and corecursion, of course. Yes it's not coherent. No I won't formalize it until I program in it, hashtag logician scumbag life

@meltedbrain_y2k @aleaes@bluesky.social for now, I'm trying to get back @alea@ingroup.social but the owner of the domain is afk right now, it might be that later

@meltedbrain_y2k I think bluesky leadership is fine for now, if they deliver the promised decentralization before they go mad then they'll have fulfilled their mission

I'm going to become a doctor in mathematics, despite everything, in the end. I have faith in my infinite resilience and the slow grinding of the wheel of fate

walking the 5 miles home after final release of 15 days of madhouse time be like

In what way is Mastodon better than Bluesky? Outside of the decentralization model for itself, I mean?

Decided to post here a bit #welcomepost
To introduce myself #introductions again, I am:
-a logician (computational/mathematical)
-bipolar (the mental illness)
-transfem
-in the broader Parisian rationalist community sphere
-u(r)/acc
-politically technolibertarian
-friend shaped
-very ambitious and arrogant

t-xpnd,'ven++,aft.goingback,to-cntrctng-&-lbrtng, once again: txpnd,on-this.:"r",tbcrptc,s- ,"r/ac",is,tbc, as-in,""-not-"",but,tb,&notin-?s,bt, rthr, [blnk]1[blank],'f ths ***,n-pp-tq('s),"L","","","[w]", or⅋,'ven,"*sttt'*".

toexpand, on-this.: "r",to be cryptic, as-in"r/ac", is, tbc, not as-in ""-not-"", but, to-be , & not , in questions, but, rather, [blank] a [blank], of these, in opp to q('s), "L", "U", "", "[word]", or "*statement*".

"r",tbcrptc, in"r/ac" is tbc not as-in "", not "", but, tb , & not in questions, but an of these, in opp to q, "L", "U", "", "[word]", or "*sttmt*".

"r" in "r/acc" is, tbc, neither as in "", not "", but, tbprecise, & Iack originin chirality questions, but an of these, in opp to "L", "U", "", "[typed word]", or "*statement*".