alco ⊢ ꙮ

7.7K posts

alco ⊢ ꙮ banner
alco ⊢ ꙮ

alco ⊢ ꙮ

@qualiascript

the false vacuum has yet to decay.

∞Cat شامل ہوئے Ocak 2025
418 فالونگ1K فالوورز
پن کیا گیا ٹویٹ
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
when Kanye said "i keep it 300 like the romans", it was actually a reference to the roman numeral CCC, which stands for cartesian closed categories, whose internal logic is simply typed lambda calculus. casual listeners largely missed this
English
14
92
1.4K
39.3K
Violet
Violet@VioletFlame23·
@qualiascript @ablata_at_alba @ShadowyZephyr If you're seriously entertaining scenarios about the mass imprisonment of any particular group, that says more about you than it does about society, regardless of the contrived hypothetical justifications you can come up with for it
English
2
0
1
51
Laurel Weaver
Laurel Weaver@thewreathwright·
@qualiascript @ablata_at_alba @ShadowyZephyr It’s such a small group that you could also just only imprison the people trying to do murder in fact, you could do that far easier, with far less opposition, while making yourself far fewer enemies
English
1
0
2
29
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@VioletFlame23 @ablata_at_alba @ShadowyZephyr the Hobbesean substratum behind the Rousseauian liberal project never fully goes away, and it can always be reawakened. the Overton Window would massively shift in case of an asymmetrical conflict emerging
English
1
0
1
74
Violet
Violet@VioletFlame23·
@qualiascript @ablata_at_alba @ShadowyZephyr I once saw a Neo-Nazi bragging about how he got an early GPT model to agree that killing all Jews would be justified, by creating a contrived scenario where every Jew on Earth was imminently and murderously hostile to everyone else You're basically doing the same thing here
English
1
0
2
101
Violet
Violet@VioletFlame23·
@qualiascript @ablata_at_alba @ShadowyZephyr If you think sending an entire demographic group to prison on the basis of identity alone would ever be justified, then it's hard to believe you're much of a supporter
English
1
0
2
85
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@ablata_at_alba @ShadowyZephyr i am, in fact, currently a supporter. but i am sure i don't "go far enough" with my support in some way or another, and as such i would be a target for your deranged terrorist fantasies. and at that point, basic game theory kicks in. so back. the. fuck. off.
English
2
0
1
104
sulfurous possession
sulfurous possession@ablata_at_alba·
@qualiascript @ShadowyZephyr and clearly, this is all hypothetical and you're currently a supporter. charming anyway, I'd rather be dead than raped in prison, and I'd rather die energetically, so y'know
English
1
0
1
86
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@ablata_at_alba @ShadowyZephyr i do not think you understand the parameters at play here. your side is 1% of the population at most, and if it is a radicalized population that seeks to start the murders, we can simply imprison every single one of you. and if you try to resist by force, well, you do the math
English
2
0
2
97
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@ablata_at_alba @ShadowyZephyr if a critical mass of trans people thought like this, id have to choice but to support revoking all trans rights and start the state sanctioned crackdowns
English
2
0
2
135
sulfurous possession
sulfurous possession@ablata_at_alba·
@ShadowyZephyr gonna be honest, things are bad enough that I'm fully willing to suspend my belief in the latter until we achieve the former however, for YIMBY reasons, we must protect our developers
English
2
0
6
284
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
changed my mind again! nominal sets are close to what i want, and there might be a way to make them work, but it's a lot nicer to work with my own construction with a bit more structure. i can use it to more easily build a type theory, which is the real goal here
alco ⊢ ꙮ@qualiascript

so it turns out what i was trying to construct is called nominal sets, which are sheaves of the Schanuel topos bad news: there's nothing new under the sun good news: i was trying to construct this for my PL project, which now is for sure doable, with solid math foundations

English
1
0
9
788
Henry Kozachkov
Henry Kozachkov@hkozachkov·
@qualiascript well that all depends on a detailed exegesis of the politics of your favorite category theorists
English
1
0
12
128
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
hello 150 new followers i got by accidentally algo baiting with politics, hope you enjoy category theory!
English
4
0
30
568
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@wylfcen you just never realize all the cool and unique ways people can misread things
English
0
0
12
106
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@sweepy_twt @grindafrathjis i didn't even mention being a "conservative" btw, i mentioned being right-leaning. you are the one who put the word "conservative" in the discussion surely even if being a conservative inherently meant being less trait open, the argument does not hold to the entire right-wing!
English
0
0
5
101
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@sweepy_twt @grindafrathjis is building a border wall, leaving the WHO and starting a war with Iran "maintaining existing conditions and institutions"? and yet, a Conservative president did all of these actions. almost like political labels are in flux and do not cleanly correspond to their specific labels
English
3
0
5
182
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@sweepy_twt @grindafrathjis > conflating lowercase c conservative with uppercase C Conservative, when the distinction is literally made in the screenshot you shared do goyim really
English
1
0
7
114
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@sweepy_twt @grindafrathjis oh is that so? i think you'd find there's a quite rich and interesting body of genetics, political philosophy and cultural anthropology that i suspect you would not be all that open towards!
English
1
0
9
125
Sweepy
Sweepy@sweepy_twt·
@grindafrathjis @qualiascript its the cornerstone of being right wing that you aren’t that. i mean it’s literally defined by it. hope that helps
English
3
0
0
148
alco ⊢ ꙮ
alco ⊢ ꙮ@qualiascript·
@FuckedUpYogis the difference is there's no actual discourse because like 95% of people agree with me and find it funny and/or relatable
English
0
0
28
204