We also discuss the role of AI in science, including AI safety.
「我们也讨论了 AI 在科学中的角色，包括 AI 安全」——这句话出现在一篇关于「AI 自主做科研」的论文中，是整篇文章最具讽刺意味的一句话。Sakana AI 用 AI 自动生成了一篇讨论 AI 安全的论文，并让它通过了人类评审。我们还没弄清楚如何防止 AI 在科学出版物中作弊，AI 就已经在帮我们思考如何防止 AI 在科学中作弊了。这个自指性令人眩晕。
23 Matching Annotations
- Apr 2026
-
huggingface.co huggingface.co
-
-
sakana.ai sakana.ai
-
AIサイエンティストは、アイデアの創出から実験、分析、論文執筆、そして査読に至るまでの科学的研究サイクル全体をAIが自律的に遂行する仕組みです。この仕組みの定量的評価も含めた結果を、共同研究者とともにNature誌の論文として公開しています。
AI Scientist 研究——一个让 AI 自动化完整科研周期的系统——被 Nature 正式发表了。令人震惊的是：一篇关于「AI 能否替代科学家」的论文，本身就是通过「AI 辅助科研」的过程产生的，并通过了人类同行评审。这个自指性质让 Nature 的认可变成了一个双重背书：既是对内容的认可，也是对方法论的认可。Sakana 将这个成果作为 Marlin 的技术背书，是极为聪明的品牌叙事策略。
-
-
metr.org metr.org
-
By late next year, the rate of model releases and the number of new evals required could be such that even keeping ourselves informed will be a challenge without effective AI assistance.
METR 承认：仅仅「保持对 AI 动态的了解」，本身就即将超出人类能力的极限——不依赖 AI 就无法跟上 AI 的发展速度。这是一个深刻的自指悖论：AI 安全评估机构需要用 AI 来评估 AI 的安全性，因为 AI 的发展速度已经超出了人类组织的处理带宽。「用 AI 理解 AI」不再是选项，而是生存必需。
-
- Feb 2025
-
anthology.lib.virginia.edu anthology.lib.virginia.edu
-
the complete life, of Bartleby nothing of that sort can be done. I believe that no materials exist for a full and satisfactory biography of this man. It is an irreparable loss to literature.
The frame category introduced in the first sentence is of scriveners--the speakers knowsn many--who might have complete bios (but he won't bother us with them). The narrator will focus on the one whose bio is lost.
-
- Jan 2024
-
en.wikipedia.org en.wikipedia.org
-
en.wikipedia.org en.wikipedia.org
-
The autological word "eggcorn" is itself an eggcorn, derived from acorn.
-
- Dec 2021
-
-
In § 3, I explain that to have a life of its own, a card index must be provid-ed with self-referential closure.
In order to become a free-standing tool, the card index needed to have self-referential closure.
This may have been one of the necessary steps for the early ideas behind computers. In addition to the idea of a clockwork universe, the index card may have been a step towards early efforts at creating the modern computer.
-
- Apr 2021
-
english.stackexchange.com english.stackexchange.com
-
That said, you couldn't know what you didn't know, but now you know.
-
-
linusakesson.net linusakesson.net
-
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).
-
- Mar 2021
-
en.wikipedia.org en.wikipedia.org
-
In fact categories can themselves be viewed as type theories of a certain kind
-
-
en.wikipedia.org en.wikipedia.org
-
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge.
-
-
en.wikipedia.org en.wikipedia.orgPyPy2
-
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.
-
-
store.steampowered.com store.steampowered.com
-
Starting the Game is a game about a non-experienced gamer who is trying to download, crack and play a game.
-
-
store.steampowered.com store.steampowered.com
-
Meta gaming at its finest.
-
Make It Indie! is an indie game about making an indie game.
-
- Feb 2021
-
www.forbes.com www.forbes.com
-
’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?)
-
-
en.wikipedia.org en.wikipedia.org
-
en.wikipedia.org en.wikipedia.org
-
english.stackexchange.com english.stackexchange.com
-
a documentary is a meta movie, no question about it
-
- Sep 2017
-
Local file Local file
-
IfwefocusonhowpeopleenactthemselvesassubjectsofpowerthroughtheInternet,itinvolvesinvestigatinghowpeopleuselanguagetodescribethemselvesandtheirrelationstoothersandhowlanguagesummonsthemasspeakingbeings.Toputitdifferently,itinvolvesinvestigatinghowpeopledothingswithwordsandwordswiththingstoenactthemselves.ItalsomeansaddressinghowpeopleunderstandthemselvesassubjectsofpowerwhenactingthroughtheInternet.
-
- Jan 2017
-
aeon.co aeon.co
-
The ‘structuralist’ strand of literary theory tends to deploy close – sometimes microscopic – readings of a text to see how it functions, almost like a closed system. This is broadly known as a ‘formal’ mode of literary interpretation, in contrast to more historical or contextual ways of reading.
-