tranny demon hacker on Nostr: one of the wonderful things about modern functional programming is that it lets you ...
one of the wonderful things about modern functional programming is that it lets you reason formally about your programs. and i don't mean "reason" as in "think" or "understand", which is how some people use it. i mean honest to goodness mathematical calculations
Published at
2025-03-07 18:49:20Event JSON
{
"id": "dcadf62415a9361b3a53cf0f3eb230ce448316a5f270b2d5e41990d9d82df952",
"pubkey": "8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9",
"created_at": 1741373360,
"kind": 1,
"tags": [
[
"proxy",
"https://kolektiva.social/@beka_valentine/114122644565676598",
"web"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/114122644565676598",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://kolektiva.social/users/beka_valentine/statuses/114122644565676598",
"pink.momostr"
],
[
"-"
]
],
"content": "one of the wonderful things about modern functional programming is that it lets you reason formally about your programs. and i don't mean \"reason\" as in \"think\" or \"understand\", which is how some people use it. i mean honest to goodness mathematical calculations",
"sig": "1b8cc7344127174ef6cffbe5131880646c2bf65b5c0fddb66b0d1f915bd3869154622f60e3bdca2aa3647bf2f5d2eb789585df265632ef1b044045253cf68f71"
}
