4 ms·
Cartographer: Tool for String Diagrammatic Reasoning
- jacobolus 7y agoThis is a terrible choice of name for something with no relation to maps.
- seanmcdirmid 7y agoThis is actually a really good go at augmented reasoning. The tool doesn’t do any theorem prover, it just keeps track of your rewrite rules and allows you to apply them on explicit command. Are there any other tools that work like this?
- lidHanteyk 7y agoThis is sufficient for theorem-proving work. Compare and contrast Metamath, which also requires users to define their own syntax and rewrite rules, and cannot do proof search. Nonetheless, this minimal functionality is enough.
- seanmcdirmid 7y agoTo me, theorem proving is automated reasoning, whereas here the system focuses on making human directed reasoning more efficient. The line is a fine one, I guess.
- Taniwha 7y agoNope, not using something called "cartographer" that includes a map that doesn't even have New Zealand on it
- dddbbb 7y agoThey use the map emoji (️), the display is implementation dependent. New Zealand appears for me on my Mac, though I have to zoom a lot to see it.
- 7777fps 7y agoVery few appear to include New Zealand: https://emojipedia.org/world-map/ https://emojipedia.org/world-map/
- JNRowe 7y agoFor others, like me, looking for a rabbit hole to crawl in to: https://www.nzherald.co.nz/travel/news/article.cfm?c_id=7&objectid=12043611 https://www.nzherald.co.nz/travel/news/article.cfm?c_id=7&ob... and the referenced https://reddit.com/r/MapsWithoutNZ/ https://reddit.com/r/MapsWithoutNZ/
- Taniwha 7y agoYes "Maps without NZ" is a thing, and why I originally posted
- AdmiralAsshat 7y agoWasn't Cartographer the name of an old ETL tool?