> Your New Haskell Program Sir, Provably Correct
> ./a.out
> Segmentation fault
Caleb James DeLisle
npub105…t88up
2026-09-25 13:08:40 UTC
in reply to nevent1q…x7as
Author Public Key
npub10502c8jv0y27jwcwxcq9kd3ph2wg7pt8ycexf5w2fyzythe97w2s7t88upPublished at
2026-09-25 13:08:40 UTCEvent JSON
{
"id": "f0fa0d7d706feab43573cb65cb1d1b4da9c45be1e31c3dc421cb9aa8fa96fd2d",
"pubkey": "7d1eac1e4c7915e93b0e36005b3621ba9c8f0567263264d1ca490445df25f395",
"created_at": 1790341720,
"kind": 1,
"tags": [
[
"p",
"8d460d6a13ed3f5d251207ed323436ebebe126a43b143e25dd053cd471e0df45"
],
[
"p",
"69b21bf2eb980a6e9c8947a59b69fb55bec9f9374f3d6833d2d0029627c04695"
],
[
"p",
"7d1eac1e4c7915e93b0e36005b3621ba9c8f0567263264d1ca490445df25f395"
],
[
"p",
"ec94f9cf2de484c6822612ce5c6f083d1bd6eba8e6be7c674b2cd3ac9226c9bd"
],
[
"p",
"924f39495d0222dc0048559933164b167c6c4ff9c816bce51f6ec1a16ca5dd18"
],
[
"e",
"7bd70b784609769dffc1f675cad103ff0e22ffd39cfe66a82917f5871220a1a1",
"",
"root",
"8d460d6a13ed3f5d251207ed323436ebebe126a43b143e25dd053cd471e0df45"
],
[
"e",
"1376d39c5e42c22444370c50ab73530d4b5e95474e4dddc7de13532fd14f0cf9",
"",
"reply",
"37bc485ca9e20f37343b542f09b7e4f044ea8613b3bb67b2d52a21d29ff3df14"
],
[
"p",
"37bc485ca9e20f37343b542f09b7e4f044ea8613b3bb67b2d52a21d29ff3df14"
],
[
"proxy",
"https://pkteerium.xyz/objects/ad6f0701-eee6-41d3-ab4b-db7ee35b99fa",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://pkteerium.xyz/objects/ad6f0701-eee6-41d3-ab4b-db7ee35b99fa",
"pink.momostr"
],
[
"-"
]
],
"content": "\u003e Your New Haskell Program Sir, Provably Correct\n\n\u003e ./a.out\n\u003e Segmentation fault",
"sig": "900122bbf44c0816ae0c6f06ec0fc18cde37f772baa845d07759ea66d0eb2c2024a204e33192ced878804dcd0d4d1b81590aa7c7e785da85e5a2c0b9539c1ed8"
}