tranny demon hacker on Nostr: i mean, look, I'm a functional programmer and type theory enthusiast, intuitionistic ...
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
Published at
2025-03-27 17:04:12Event JSON
{
"id": "c6e9b4426a097ce9d584f960c71d9d7e1d179f8b16ff8738f2a0eb8362c246fe",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1743095052,
"kind": 1,
"tags": [
[
"e",
"bf6f78ff8f11a90500796870c362887b653a2a4d5de84278a6e0dcd43f5dce01",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/114235477348694440",
"activitypub"
]
],
"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": "1a559db23be6f0c1f2c4cece5e7eed1cdacda89f5a355881907ce35d37ecb279096e07970616d0a5c0123c72907fad965ad4803ef5c2689c80c0344c07a33ea3"
}
