This is not a typical example. Idris is a language that's practically maintained by one person, Edwin Brady. I gave up on Idris long time ago. Cabal is a package manager from hell.
If I get an error message like this, I immediatly pass it to AI. As a human programmer, I'm not capable of processing it.
Bartosz Milewski
npub1gl…xtqzy
2026-10-15 10:19:19 UTC
in reply to nevent1q…xmdd
Author Public Key
npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzySeen on
wss://relay.momostr.pinkPublished at
2026-10-15 10:19:19 UTCEvent JSON
{
"id": "dbbc9a6ecd4614d9532f89d78b5df813f8165dcf5b4e2e78573961483fa68404",
"pubkey": "47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53",
"created_at": 1792059559,
"kind": 1,
"tags": [
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@BartoszMilewski/117444415275383521",
"web"
],
[
"e",
"12d1747dbc0039237738c699bff5702b566f3d4dd603337372332c3c15ef311f",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/117444415275383521",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/BartoszMilewski/statuses/117444415275383521",
"pink.momostr"
],
[
"-"
]
],
"content": "This is not a typical example. Idris is a language that's practically maintained by one person, Edwin Brady. I gave up on Idris long time ago. Cabal is a package manager from hell. \n\nIf I get an error message like this, I immediatly pass it to AI. As a human programmer, I'm not capable of processing it.",
"sig": "fe74bf7bfc178ee4effb6478e51de8ffc0bab20b6bd6a0924b4a92a653e7905ac1eff7a920a8cd8ade0eda92d43092f94b7e28a11fb1a1c396e34e59281d2be5"
}