@yetaga.in
There's a whole subthread of us on the Tabs discord hollerin' about the puzzles and sharing our solve times
May 7, 2023 at 1:21 AM
There's a whole subthread of us on the Tabs discord hollerin' about the puzzles and sharing our solve times
Actually I was joking but Lamport has a paper on it: https://lamport.azurewebsites.net/pubs/buridan.pdf?from=https://research.microsoft.com/users/lamport/pubs/buridan.pdf&type=path
May 5, 2023 at 12:51 PM
Actually I was joking but Lamport has a paper on it: https://lamport.azurewebsites.net/pubs/buridan.pdf?from=https://research.microsoft.com/users/lamport/pubs/buridan.pdf&type=path
But what about https://en.m.wikipedia.org/wiki/Buridan%27s_ass?
Buridan's ass - Wikipedia
en.m.wikipedia.org
May 5, 2023 at 12:33 PM
But what about https://en.m.wikipedia.org/wiki/Buridan%27s_ass?