Anne C. A. Baanen, number plumber on Nostr: enough of this automation game (Factorio), let's play some more of the automation ...
enough of this automation game (Factorio), let's play some more of the automation game (Lean/Mathlib)
Published at
2024-01-23 21:22:08Event JSON
{
"id": "5bea1afd84838ade5c864b5eccf3517138f69e637c1abf382580a34e5c498807",
"pubkey": "272e9976a96b33ac6773d7f174ea01b8c95e0ac66216d39169a4113069f9ef88",
"created_at": 1706044928,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.vierkantor.com/users/Vierkantor/statuses/111807360432404587",
"activitypub"
]
],
"content": "enough of this automation game (Factorio), let's play some more of the automation game (Lean/Mathlib)",
"sig": "95b201ab4681bb99d0daef988909e24a2bed084996f02d25bb5b34ed44449fdcb6bd7e8d6ef0f468b0814002d8d875d4f5c4ca4db4ed682df98e6b2ce7c239df"
}
