i mean, look, I'm a functional programmer and type theory enthusiast, intuitionistic logic is my jam, and I think these things can certainly make you a better programmer
but its super weird to me to imagine that Aristotelian logic is some mental shackle
beka valentine
npub132…gwsev
2025-03-27 17:04:12 UTC
in reply to nevent1q…czcr
Author Public Key
npub132p3v5et2ujg4jpdklvxdge2qlvlzjgqatar7lpmfarx9syl0x5skgwsevPublished at
2025-03-27 17:04:12 UTCEvent JSON
{
"id": "da3062272345d10cd75c245046a8157f9df02f66f5a3e8d75980560a5aebfa20",
"pubkey": "8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9",
"created_at": 1743095052,
"kind": 1,
"tags": [
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"e",
"d2da2188d36efba2a9d52a0117be8be453ebc1c487f6e1c8f073cf69b8c430ea",
"",
"reply",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"e",
"a688eae9c863b50891c3f10da4d17d98cf197d5cf0d33fb7a6e37bd30e2191fb",
"",
"root",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://kolektiva.social/@beka_valentine/114235477348694440",
"web"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/114235477348694440",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://kolektiva.social/users/beka_valentine/statuses/114235477348694440",
"pink.momostr"
],
[
"-"
]
],
"content": "i mean, look, I'm a functional programmer and type theory enthusiast, intuitionistic logic is my jam, and I think these things can certainly make you a better programmer\n\nbut its super weird to me to imagine that Aristotelian logic is some mental shackle",
"sig": "f903f9cd977e13b6838f7f3e8d1f0c8a2a90f303f4ef85863d91e25a54591c8d87832896fbba5a253000c77c376fe6b67f2124505216149de7d768ff2ddc0706"
}