2ro

13 ms·

31.
Ask HN: Can cryptocurrencies be reliably taxed if everyone adopts them?
2 points by 2ro 2y ago|4 comments
32.
by 2ro 2y ago
Cyc apparently addresses this issue with what are termed "microtheories" - in one theory something can be so, and in a different theory it can be not so: https://cyc.com/archives/glossary/microtheory&#x2F
33.
by 2ro 2y ago
Cyc apparently addresses this issue with what are termed "microtheories" - in one theory something can be so, and in a different theory it can be not so: https://cyc.com/archives/glossary/microtheory&#x2F
34.
by 2ro 2y ago
Cyc apparently addresses this issue with what are termed "microtheories" - in one theory something can be so, and in a different theory it can be not so: https://cyc.com/archives/glossary/microtheory&#x2F
35.
by 2ro 2y ago
if anyone is interested: https://2ro.co/post/768337188815536128 (EZ - a language for constraint logic programming)
36.
Is anyone playing with the combination of generative AI and OpenCyc?(2ro.co)
101 points by 2ro 2y ago|71 comments
37.
by 2ro 2y ago
Copilot is great at taking precise pseudocode, in this case a declarative constraint logic language I invented, and translating it from there - just explain your formal rules first: <teach it your language here> .. I'm giving you
38.
Ask HN: Combine URL shortener and service to compress text and store it in URL?
1 points by 2ro 2y ago|0 comments
39.
by 2ro 2y ago
In SICP (Structure and Interpretation of Computer Programs) an early distinction is made between "declarative" and "imperative" ways of knowing. If you teach the declarative aspect in mathematics you are teaching what I