Michael Norrish
@michaeln.mastodon.sdf.org.ap.brid.gy
Associate Professor at the Australian National University’s School of Computing.
Lead developer of the HOL theorem-proving system.
🌉 bridged from ⁂ https://mastodon.sdf.org/@michaeln, follow @ap.brid.gy to interact
Lead developer of the HOL theorem-proving system.
🌉 bridged from ⁂ https://mastodon.sdf.org/@michaeln, follow @ap.brid.gy to interact
Testing bgstats summary of the year. #boardgames
December 14, 2025 at 10:13 PM
Testing bgstats summary of the year. #boardgames
Reposted by Michael Norrish
Americans: "Oh no, we couldn't _possibly_ replace Andrew Jackson with Harriet Tubman on the $20; what kind of precedent would it set if we just started changing the picture on our money?"
Australians:
Australians:
November 26, 2024 at 8:13 PM
Americans: "Oh no, we couldn't _possibly_ replace Andrew Jackson with Harriet Tubman on the $20; what kind of precedent would it set if we just started changing the picture on our money?"
Australians:
Australians: