Why Nostr? What is Njump?
2024-01-23 21:22:08

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)
Author Public Key
npub1yuhfja4fdve6cemn6lchf6sphry4uzkxvgtd8ytf5sgnq60ea7yq2mtt4t