Jakob on Nostr: Around once a year I try to install Lean for one hour, it doesn't work and then I ...
Around once a year I try to install Lean for one hour, it doesn't work and then I give up. Already looking forward to next year 🥲
Published at
2026-01-17 07:26:45 UTCEvent JSON
{
"id": "71b739e62c26b9c074a1abede2058ac2d82f3d4036cc8554e6e08d88ffff5057",
"pubkey": "eaea88d91f76773d93fe0f189b5f5f62f9647c2f72d92783fae135e7738e6cb9",
"created_at": 1768634805,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jdw/statuses/115909250586561061",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Around once a year I try to install Lean for one hour, it doesn't work and then I give up. Already looking forward to next year 🥲",
"sig": "7b54891b2cb2bdc45eb5cb99b33d98a1d0274f1f7a2b555dc254c43df000ec3ad943fe59f5fcd850c05144f34041e9bc884aa17b5acb6249a84c37c399e1b559"
}
