Hacker GitHub

← All repos

semitrivial/IONs

View on GitHub ↗ ★ 12 Python

Library of Intuitive Ordinal Notations (IONs)

12 mentions on Hacker News by 2 people: 1 story, 11 comments · first 2020-02-18 · latest 2024-10-20

Mentions per year 12 mentions · busiest year 2020 (5)
20082026
  1. …code, with no end---even if you had access to strong AGIs, they could never "finish" the exercise. https://github.com/semitrivial/IONs
  2. …mechanical knowing agent" https://philpapers.org/archive/ALEMTI-2.pdf "Intuitive Ordinal Notations" https://github.com/semitrivial/IONs
  3. …knowing agent" https://philpapers.org/archive/ALEMTI-2.pdf "Intuitive Ordinal Notations": https://github.com/semitrivial/IONs https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... ) The other side of the question is "What are…
  4. …the process. I've done this up to level omega^omega at my Library of Intuitive Ordinal Notations: https://github.com/semitrivial/ions/
    comment by xamuel · 2023-03-04 · in Writing the Most Boring Quine
  5. …knowing agent" https://philpapers.org/archive/ALEMTI-2.pdf "Intuitive Ordinal Notations": https://github.com/semitrivial/IONs https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... (In case it's not clear the connection is that…
    comment by carapace · 2023-01-17 · in The Next Button
  6. …Process" a similar technique for human consciousness Also "Intuitive Ordinal Notations" https://github.com/semitrivial/IONs https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
    comment by carapace · 2022-12-05 · in Discuss HN: Software Careers Post ChatGPT+
  7. …such that for every computer program p, if all the things p outputs are IONs, then p is an ION. See https://github.com/semitrivial/IONs for some ION examples in python. Definition 2: Inductively associate an ordinal |p| with every ION p as…
  8. …a library of examples in Python, currently going up to a notation for the ordinal omega^omega: https://github.com/semitrivial/IONs
  9. …://raw.githubusercontent.com/semitrivial/ions/master/sr... (For the context behind that program, see: https://github.com/semitrivial/IONs )
  10. …on the nature of strong AI and more specifically on computer programs that write computer programs: https://github.com/semitrivial/ions
  11. …programs, that write programs, that write programs ...), the following repo might be interesting: https://github.com/semitrivial/ions