mei on Nostr: the agda workshop at #38c3 turned into a mathematics discussion that lasted well into ...
the agda workshop at #38c3 turned into a mathematics discussion that lasted well into the night. lots of fascinating stuff, though i also let myself get dragged into a discussion with someone who seems to genuinely believe that the way to solve the injustice he sees in the law would be to rewrite the penal code into lojban
Published at
2024-12-30 05:17:49Event JSON
{
"id": "ff9e8997bf12dc8157bf12490475fadd86621eaf8a6baf7bbf824c8c6dc40fb4",
"pubkey": "d9a8fc959c219f922f73c095b63347b231aabd40206db52b962f2c537b9a67e3",
"created_at": 1735535869,
"kind": 1,
"tags": [
[
"t",
"38c3"
],
[
"proxy",
"https://donotsta.re/objects/9a74fb72-e7b9-4e85-8ea1-367757d9496a",
"activitypub"
]
],
"content": "the agda workshop at #38c3 turned into a mathematics discussion that lasted well into the night. lots of fascinating stuff, though i also let myself get dragged into a discussion with someone who seems to genuinely believe that the way to solve the injustice he sees in the law would be to rewrite the penal code into lojban",
"sig": "c4c0706b9a52608167ade6a98a740f021594995ad6a7a14d6e34be8d8d85687e23de4160f56d1033a1e5968faa922c557653d700e067c4192c27b3ab0613ffc3"
}
