It's definitely very valuable, but for what AI model? How does any of that lead to AGI, or even just a good coding agent?

https://news.ycombinator.com/item?id=47134407

Thanks for writing it up!

List of examples: https://gwern.net/turing-complete

It was probably unintentional, yeah, I don't recall any mentions of early printf being overloaded to do stuff, nor is it clear why you would do that since you're using it in a much more convenient Turing-complete language already (C).

The solution here seems to be to impose some constraint or requirement which means that literal copying is impossible (remember, copyright governs copies, it doesn't govern ideas or algorithms - that would be 'patents', which essentially no open source software has) or where any 'copying' from vaguely remembered pretraining code is on such an abstract indirect level that it is 'transformative' and thus safe.

For example, the Anthropic Rust C compiler could hardly have copied GCC or any of the many C compilers it surely trained on, because then it wouldn't have spat out reasonably idiomatic and natural looking Rust in a differently organized codebase.

Good news for Rust and Lean, I guess, as it seems like everyone these days is looking for an excuse to rewrite everything into those for either speed or safety or both.

I would have to consider carefully if I thought I was a high-enough quality candidate that it would be interpreted as a countersignal rather than a signal.

If I, gwern, specifically, were to apply, I might; because I know I am widely read on HN and I've talked with any number of YC partners etc, and they all know I take care in writing, and so me not capitalizing is a deliberate message rather than laziness or incompetence. They may or may not appreciate the message, but they won't infer the usual things, at least.

If I were anyone else and my application just one of thousands in the flood? You'd better believe I'd capitalize and spellcheck my YC application: https://gwern.net/blog/2023/good-writing