We also discuss the role of AI in science, including AI safety.
「我们也讨论了 AI 在科学中的角色,包括 AI 安全」——这句话出现在一篇关于「AI 自主做科研」的论文中,是整篇文章最具讽刺意味的一句话。Sakana AI 用 AI 自动生成了一篇讨论 AI 安全的论文,并让它通过了人类评审。我们还没弄清楚如何防止 AI 在科学出版物中作弊,AI 就已经在帮我们思考如何防止 AI 在科学中作弊了。这个自指性令人眩晕。
We also discuss the role of AI in science, including AI safety.
「我们也讨论了 AI 在科学中的角色,包括 AI 安全」——这句话出现在一篇关于「AI 自主做科研」的论文中,是整篇文章最具讽刺意味的一句话。Sakana AI 用 AI 自动生成了一篇讨论 AI 安全的论文,并让它通过了人类评审。我们还没弄清楚如何防止 AI 在科学出版物中作弊,AI 就已经在帮我们思考如何防止 AI 在科学中作弊了。这个自指性令人眩晕。
The autological word "eggcorn" is itself an eggcorn, derived from acorn.
That said, you couldn't know what you didn't know, but now you know.
Opening "xterm" in "iSH" is like starting a new virtual terminal from a virtual terminal you are already in ("iSH").
as you may have guessed, things get even more complicated when you start running pseudo terminals inside pseudo terminals, à la screen(1) or ssh(1).
In fact categories can themselves be viewed as type theories of a certain kind
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge.
Thus the recursive logo of PyPy is a snake swallowing itself since the RPython is translated by a Python interpreter.
PyPy was conceived to be an implementation of Python written in a programming language that is similar to Python.
Starting the Game is a game about a non-experienced gamer who is trying to download, crack and play a game.
Meta gaming at its finest.
Make It Indie! is an indie game about making an indie game.
’ve had Paula Rizzo’s book, Listful Thinking: Using Lists to be More Productive, Highly Successful and Less Stressed, on my to-read list (see what I did there?)
a documentary is a meta movie, no question about it