ftxbro
- Karma
- 3,708
- Created
- January 22, 2023 (3y ago)
- Submissions
- 0
- Substack Is Leaning into Politics (on.substack.com)
- Muntzing (en.wikipedia.org)
- Bekenstein Bound (en.wikipedia.org)
- Noam Brown of Libratus/Pluribus/Cicero Fame Has Moved from FacebookAI to OpenAI (noambrown.github.io)
- Mathematical Universe Hypothesis (en.wikipedia.org)
- Pigeonhole Principle (en.wikipedia.org)
- Normal Number (en.wikipedia.org)
- Ringwoodite (en.wikipedia.org)
- Heavy Press Program (en.wikipedia.org)
- Rondel Dagger (en.wikipedia.org)
- Are we in an AI overhang? (2020) (lesswrong.com)
- Egregore (en.wikipedia.org)
-
Apparently it's a very important concept in compiler or driver design or implementation. I never heard it before. It's written in bright red as a warning on page 5 of…
-
How would programming languages be different, if they were designed for LLMs to use instead of for humans? What tradeoffs could be made?
- AI to Assist Mathematical Reasoning: A Workshop (terrytao.wordpress.com)