ψ-alea
@alea.ingroup.social
aspiring adventurer, transcendental syntax fan, spiritual pugilist, liberal in the cosmopolitan sense
I'm the most militaristic person in my immediate circle, simply because I would accept the assignment to take up arms if there was a good reason
November 21, 2025 at 5:12 PM
I'm the most militaristic person in my immediate circle, simply because I would accept the assignment to take up arms if there was a good reason
I'm very mad at the shitlibs who cancel my friends not even for being libertarians, but for associating with libertarian-adjacent research groups
you guys are cancer
you guys are cancer
November 21, 2025 at 4:53 PM
I'm very mad at the shitlibs who cancel my friends not even for being libertarians, but for associating with libertarian-adjacent research groups
you guys are cancer
you guys are cancer
on the banlist next to our server the explanation simply said "libertarianism"
November 21, 2025 at 4:39 PM
on the banlist next to our server the explanation simply said "libertarianism"
I have 6000 lines of code and every single one of them is wrong
November 21, 2025 at 4:05 PM
I have 6000 lines of code and every single one of them is wrong
Reposted by ψ-alea
Whenever I see variations of the "Dependency" comic by xkcd (xkcd.com/2347/), I always feel it's actually more like this:
November 21, 2025 at 3:05 PM
Whenever I see variations of the "Dependency" comic by xkcd (xkcd.com/2347/), I always feel it's actually more like this:
i feel naked if i go out without knowing all 16 of my cpus are running @ 110% back home
November 18, 2025 at 6:30 PM
i feel naked if i go out without knowing all 16 of my cpus are running @ 110% back home
machine goes brr
and then it goes brr
and then it goes brr
it doesnt stop
it goes brr through night and day
brr
and then it goes brr
and then it goes brr
it doesnt stop
it goes brr through night and day
brr
November 18, 2025 at 5:51 PM
machine goes brr
and then it goes brr
and then it goes brr
it doesnt stop
it goes brr through night and day
brr
and then it goes brr
and then it goes brr
it doesnt stop
it goes brr through night and day
brr
Good morbing. Today I will write some Agda and then write some more Agda.
November 18, 2025 at 2:21 PM
Good morbing. Today I will write some Agda and then write some more Agda.
You may not like it, but the ideal equipment is portable, standardized, fungible, and normal
October 7, 2025 at 4:07 PM
You may not like it, but the ideal equipment is portable, standardized, fungible, and normal
bro im gonna solve math this time i swear i just need to vibecode an automation tool that will vibecode the automation tool that will vibecode the automation tool real quick,
August 15, 2025 at 8:51 PM
bro im gonna solve math this time i swear i just need to vibecode an automation tool that will vibecode the automation tool that will vibecode the automation tool real quick,
abbreviating "operational semantics" to "opsem"
June 4, 2025 at 3:07 PM
abbreviating "operational semantics" to "opsem"
conclusion of my experiment with alt keyboard layouts is that standardization brings goods worth sacrificing some comfort, such as being able to switch machines fast and being able to lend my keyboard to other people
May 25, 2025 at 12:49 PM
conclusion of my experiment with alt keyboard layouts is that standardization brings goods worth sacrificing some comfort, such as being able to switch machines fast and being able to lend my keyboard to other people
Reposted by ψ-alea
"!" for "not" is wretched. "~" is the clear best option on a typical qwerty keyboard
May 23, 2025 at 8:32 PM
"!" for "not" is wretched. "~" is the clear best option on a typical qwerty keyboard
i can't believe i paid for twitter. they should use my money to make their site work. unusable piece of garbage
May 24, 2025 at 12:36 PM
i can't believe i paid for twitter. they should use my money to make their site work. unusable piece of garbage
the zizian stuff was a big part of what triggered my last psychosis. having talked to a murderer, in hindsight is not an unexpected experience to have, but still intense
May 23, 2025 at 7:22 PM
the zizian stuff was a big part of what triggered my last psychosis. having talked to a murderer, in hindsight is not an unexpected experience to have, but still intense
"bluesky user", as an insult, hits less hard than "twitter user". when someone calls me a twitter user in the street I am devastated. when someone calls me a bluesky user, it's ok, they're saying I'm a grownup
May 23, 2025 at 7:13 PM
"bluesky user", as an insult, hits less hard than "twitter user". when someone calls me a twitter user in the street I am devastated. when someone calls me a bluesky user, it's ok, they're saying I'm a grownup
Reposted by ψ-alea
zizian georg, who caused 17 murders due to his belief in the basilisk, was an outlier and should not have been counted
May 23, 2025 at 6:24 PM
zizian georg, who caused 17 murders due to his belief in the basilisk, was an outlier and should not have been counted
do we have notifications here? give me a notification, I need a notification
May 23, 2025 at 7:08 PM
do we have notifications here? give me a notification, I need a notification
math is computationally complex by design. if there's a thing AI can't do, it's compute things faster than they're computable. thinking mathematical discovery can be trivial is is a scientific mistake, if you say that you're the one being superstitious
May 23, 2025 at 7:07 PM
math is computationally complex by design. if there's a thing AI can't do, it's compute things faster than they're computable. thinking mathematical discovery can be trivial is is a scientific mistake, if you say that you're the one being superstitious