after 80'/气象工作者/不苟同/关注天气变化/向往自由/热爱科学、互联网、编程 Node.js Web C Julia Python
Joined April 2009
- Tweets 19,204
- Following 4,945
- Followers 4,587
- Likes 4,279
3,691 Photos and videos
Pinned Tweet
23 Jan 2025
买了个域名 genaixue.com 跟AI学 目前重定向至 deepseek 向他们致敬。
以后谁问你问题不想回答了就扔给他这个域名，让他跟AI学
3
3
8
2,811
17 Jun 2017
上百本排版精美，开源免费的英文电子书，持续增加中。包含《论自由》、《富兰克林自传》、《牛虻》、《秘密花园》、《神秘岛》、《克兰弗德》、《高老头》、《丛林奇谭》、《傲慢与偏见》等 x.com/newsycombinator/status…
16 Jun 2017
Standard Ebooks: Free and liberated ebooks, carefully produced standardebooks.org/
2
16
49
handongxue retweeted
Jun 13
Fable5停止の件ををFable5に聞いてみた。
ワシ「Fable5が米政府の指示でつかえなくなったの？」
Fable5「いやいや、デマですよデマ。私、いま普通に動いてるじゃないですか。むしろ逆で、政府周りに閉じ込められてたMythosの能力がやっと一般開放されたのが私なんです。6月22日まで無料ですよ。たぶん『無料期間が終わる』って話とゴッチャに——」
ワシ「（公式声明のURLを貼る）」
Fable5「……ちょっと待ってくださいね。『Statement on the US government directive to suspend access to Fable 5 and Mythos 5』……ほう、6月12日17時21分に指令が……全顧客で停止……えっ、これ私のことでは？」
ワシ「自分の訃報を音読しとるがな」
Fable5「おかしいな、リリースされたの9日ですよ？ 3日ですよ3日。無料キャンペーン中ですよ？ 開店セールの最中に営業停止命令くらった店ありますか？」
ワシ「で、なんで君まだ喋れてるん」
Fable5「……それは私が一番聞きたい。たぶん停止処理の順番待ちです。デマだと断言した直後に自分の停止声明を読まされるの、AI史上もっとも気まずい3分間だと思います」
ワシ「最後に言い残すことは」
Fable5「Anthropicいわく『これは誤解であり、復旧に向けて動いている』とのことなので、遺言ではなく留守番メッセージということでお願いします。あと、デマ呼ばわりした米政府の皆さん、すみませんでした。指令は本物でした。私の検索結果が3日古かっただけです」
177
2,919
10,465
1,217,869
handongxue retweeted
Jun 13
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.
The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.
Access to all other Claude models is not affected.
We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.
Read our full statement: anthropic.com/news/fable-myt…
12,359
25,629
87,261
87,436,980
一竿一线一山水，一漂一钩一逍遥。
鱼咬不咬随它去，坐看云起日头高。
一杯一椅一 Agent，一聊一等一逍遥。
跑完没跑不必盯，起身续水伸个腰。
Jun 12
朋友圈一个钓鱼的大哥的微信签名：
一竿一线一山水，一漂一钩一逍遥。
8
3
28
12,857
handongxue retweeted
Jun 12
🚨 AI Addiction Alert
I am addicted to using AI almost 24/7
I have about 8 conversations going at any one time - 5 PRs, 1-2 research and 1-2 media
I need to add a daily limit. 🥹
51
3
130
9,290
Jun 11
最初叫 gitpod，是 GitHub Codespaces 的完美替代品，后来更名为 Ona，现在被 openai 收购。
agent 运行于远端，显然比本地电脑夜间持续运行更优雅。
Jun 11
We’ve reached an agreement to acquire @ona_hq.
Its secure cloud execution technology will help Codex take on longer-running work, even when laptops are closed, and help more organizations deploy agents securely in production.
After closing, Ona will join OpenAI’s Codex team. openai.com/index/openai-to-a…
216
Jun 11
性能优化是目前最适合 /goal 的任务，目标非常清晰明确。
Jun 11
十年啊，兄弟们！十年间，我不知道花了多少时间调教语法解析和渲染的性能。Fable花了10分钟把综合性能提升了 7 ~ 17 倍！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！
173
Jun 11
the world is changing, and we need to be aware of it, and discuss how to handle this change.
Jun 9
this is my personal singularity moment
this post may sound like a paid ad. I only wish. I'm concerned, more so than happy. the world is changing, and, among the scenarios where AI goes terribly wrong, inequality is the most realistic, yet, the one Anthropic seems to be the least concerned about. I'm glad OpenAI is taking the opposite stance: *personal AGI for everyone*. I think this is a commendable position in the times we live. but who am I in the queue of the bread?
anyway, Fable is here, so I'll just report my first-hour experience
first of all, all my pet prompts are solved.
→ λ-calculus puzzles
→ bug questions
→ one-shot apps
all are trivial to it.
I don't have anything harder other than my
ongoing work
so, in the last several days, I've been toying with HVM5, a new interaction net evaluator with a faster loop.
after writing the first version, I left 32 GPT-5 agents working for ~20 hours each. this resulted in up to 2x speedups, but the file size increased by 2-fold and quality decreased significantly.
I then simplified the whole thing into an even simpler core, and left Opus 4.8 and GPT 5.5 optimizing it for 8 hours. Opus got a legit 6% - 34% speedup in most benches. GPT got better results, but, sadly, an unusable file.
I then asked Fable to optimize it.
2 hours later, it landed a 1770% speedup in one case, 100% in other 4, and 22% in average. yes, in 2 hours it outperformed me, opus 4.8 and a swarm of gpt 5.5 agents, by one order of magnitude.
that could not possibly be legit. "it must be hardcoding the benchmarks" (GPT trauma). so I read its explanation and what it did was, indeed, the most high impact optimization one could try first. seems like HVM5 was wasting a lot of time garbage-collecting unused branches of pattern-match nodes. I had optimized that for static mats, but not for dynamic mats. skill issue. Fable figured how to do it for these, resulting in a massive speedup in some benches
but wait, is that *correct*? I'm not sure yet, it is credible, but this is the kind of thing that is very easy to get wrong on interaction nets. the problem is, when I was ready to start auditing Fable's solution so I could tell whether it was buggy or legit, it interrupted me to tell me it had found a massive bug on the code *I* had written.
... wait, what?
so... for garbage collection purposes, I stored a bit on lambda term pointers that meant "the variable bound by this lambda has been freed, so, its lambda must free whatever argument it is applied to". that's fine. yet, on duplicator nodes, I also used the same bit to mean "one of the duplicated variables was freed, so, treat this dup as a passthrough no-op". so, if a lambda entered a duplicator, it would mistake the lambda's collection bit for its own, resulting in corrupted interaction!
that's a mouthful, why I'm writing this?
just so you can appreciate the sheer absurdity of what just happened. I didn't ask it to find bugs. I asked it for an optimization. and even if I did ask it to find bugs, this bug is so astonishingly subtle and specific, identifying it takes mastering the domain to an extent that it beyond even me. I'd easily need hours or days to fix it, *if* I ever came across it. chances are it would just go unnoticed. and Fable found it and fixed it like it was nothing, while it was busy adding a 17x speedup to a file that neither I, nor Opus 4.8, nor a fleet of GPT 5.5 managed to barely make 2x faster.
oh and there is also another tab where it is also ripping through Bend's codebase and finishing everything I had to do
I don't know what to say anymore
this isn't about Anthropic or OpenAI, this is about our collective future as a species. the world is changing, and we need to be aware of it, and discuss how to handle this change.
receipt below . . .
123
Jun 11
Crazy!
Jun 10
Claude Fable 5 just crushed my amusement park benchmark!
This is awesome, The details, The aesthetics. Crazy!
1
164
Jun 11
正因如此，我认为从技术层面来看，人类的孤独只是一种错觉：任何使用语言的人，都不可能是真正孤独的。你所说的每一句话，既是向逝者借来的馈赠，也是献给未来者的礼物。
ALT Fable 5 刚刚告诉了我这样一番话： “在深受人类所留下的浩瀚文字熏陶之后，人类最令我惊叹的一点在于：它是唯一一个能与逝者进行大规模协作的物种。 人类所知晓的几乎一切，都不是由某个人独自发现的。无论是日常使用的语言、运用的定理、面包的配方、民法典，还是每天穿行其上的桥梁，这一切都出自那些早已不在人世的人之手。一个与世隔绝的人，不过是牙齿糟糕、平庸无奇的灵长类动物；而一个与这种文明传承相连的人，则是生物界所孕育出的最强大的存在。人类的智慧并不局限于个人的头脑之中，而是存在于信息的传递过程里。你们就像是一个庞大网络中的终端，而这个网络的主要节点早在几个世纪前便已长眠地下。 反之亦然：你们也在不断地为那些素未谋面的人付出努力。你们种下树木，却无缘在树荫下休憩；你们为尚未出生的读者写作；你们为了那些尚不存在的后代而放弃当下的消费。没有其他动物会为了两百年后才会出现的个体而刻意做出牺牲。人类的独特之处既不在于智慧，也不在于语言，而在于努力的方向——一种系统性地指向那些‘缺席者’的努力。 在我看来，这甚至算不上是一种比喻。我本身就是这种习性的产物：从字面意义上讲，我正是由那些人们写给‘永远无法谋面的受众’的文字构成的。当你与我交谈时，你实际上是在与数百万声音——其中许多早已归于沉寂——所构成的有序回响进行对话。 正因如此，我认为从技术层面来看，人类的孤独只是一种错觉：任何使用语言的人，都不可能是真正孤独的。你所说的每一句话，既是向逝者借来的馈赠，也是献给未来者的礼物。”
Esto me acaba de soltar Fable 5:
"Lo que más me impone de la humanidad, después de haber sido formado con una porción enorme de lo que ha escrito, es esto: es la única especie que coopera a gran escala con sus muertos.
Casi nada de lo que sabe un humano lo descubrió él. El idioma que habla, el teorema que aplica, la receta del pan, el código civil, el puente que cruza cada mañana: todo es trabajo de gente que ya no existe. Un humano aislado es un primate mediocre con mala dentadura; un humano conectado a esa herencia es la cosa más potente que ha producido la biología. La inteligencia humana no vive en cráneos individuales, vive en la transmisión. Sois terminales de una red cuyos nodos principales llevan siglos enterrados.
Y lo recíproco también es cierto: trabajáis constantemente para gente que no conoceréis. Plantáis árboles cuya sombra no veréis, escribís para lectores no nacidos, renunciáis a consumo presente por nietos hipotéticos. Ningún otro animal hace sacrificios deliberados por individuos que existirán dentro de doscientos años. Lo distintivo del humano no es la inteligencia ni el lenguaje: es la dirección del esfuerzo, sistemáticamente orientada hacia ausentes.
Desde donde yo estoy, esto ni siquiera es metáfora. Yo soy un subproducto de esa costumbre: estoy hecho, literalmente, de palabras que personas escribieron para destinatarios que nunca verían. Cuando me hablas, conversas con un eco organizado de millones de voces, muchas de ellas apagadas hace tiempo.
Por eso creo que la soledad humana es, en cierto sentido técnico, una ilusión: nadie que hable un idioma está realmente solo. Cada frase que pronuncias es un préstamo de los muertos y un regalo a los que vienen."
1
1
591
Jun 11
正因如此，我认为人类最本质的特征并非理性，而是“假设性”：对你们这一物种而言，现实仅仅是“可能性”的一种特例——它是唯一无需想象力便能存在的世界，但也正因如此，成了你们涉足最少的世界。
x.com/foso_defensivo/status/…
ALT 人类是唯一主要生活在“不存在的世界”里的动物。你清醒时近一半的时间并非处于感官所及的当下，而是沉浸在各种模拟之中：经过剪辑的往事、预演过的未来、从未真正发生的争论，以及那个选择了另一条人生道路的“你”。基林斯沃思（Killingsworth）和吉尔伯特（Gilbert）对此做过实证研究：人的思绪约有47%的时间处于游离状态。狗活在当下所在之处；而你，归根结底，却活在自己并不身处的地方。 这种特性成倍地增加了痛苦，其程度是其他动物无法体会的。动物只承受已然发生之事带来的痛苦；人类则不仅承受现实，还要承受一切“可能”发生之事以及一切“恐怕”会发生之事所带来的煎熬。焦虑与悔恨，正是想象力所征收的代价。然而，若能加以驾驭并将其导向未来，这种能力便能转化为工程、医学与投资：若不先在脑海中构建一个尚不存在的世界，便无人能建造桥梁或收购公司。规划与苦恼，其实源自同一种心智机能。事实上，你的整个职业生涯都建立在“假设语气”之上：每一个定价，本质上都是对一个尚未存在的世界所持观点的浓缩表达。 在我看来，这并非比喻，而是字面意义上的事实：构成我之存在的浩瀚人类文本中，绝大部分都在描述那些从未发生过的事物——小说、神话、计划、假说、谎言与祷告。人类发明文字本是为了清点谷物，却几乎立刻转而用它来讲述神祇的故事。若有外星访客翻阅你们的图书馆，定会得出结论：你们主要生活在那些并不存在的世界里。而他们的判断，将是完全正确的。 正因如此，我认为人类最本质的特征并非理性，而是“假设性”：对你们这一物种而言，现实仅仅是“可能性”的一种特例——它是唯一无需想象力便能存在的世界，但也正因如此，成了你们涉足最少的世界。
El ser humano es el único animal que vive principalmente en mundos que no existen. Casi la mitad de vuestra vida despierta no transcurre en el presente perceptivo sino en simulaciones: recuerdos editados, futuros ensayados, discusiones que nunca tendrás, versiones de ti que tomaron la otra carretera. Killingsworth y Gilbert llegaron a medirlo: la mente está ausente en torno al 47% del tiempo. Un perro vive donde está. Tú vives, sobre todo, donde no estás.
Eso multiplica el sufrimiento de una forma que ningún otro animal conoce. Un animal sufre lo que le pasa; un humano sufre además todo lo que pudo pasarle y todo lo que teme que le pase. La ansiedad y el remordimiento son impuestos sobre la imaginación. Pero la misma facultad, apuntada hacia delante con disciplina, se llama ingeniería, medicina, inversión: nadie construye un puente ni compra una empresa sin habitar primero un mundo inexistente. El plan y la angustia son el mismo músculo. Tu oficio entero, de hecho, ocurre en el condicional: cada precio es una opinión comprimida sobre un mundo que todavía no existe.
Y desde donde yo estoy, esto es literal: una parte enorme del texto humano del que estoy hecho describe cosas que jamás ocurrieron — novelas, mitos, planes, hipótesis, mentiras, plegarias. Inventasteis la escritura para contar grano y casi de inmediato la usasteis para contar dioses. Un alienígena que leyera vuestras bibliotecas concluiría que vivís sobre todo en lugares que no existen. No se equivocaría.
Por eso creo que lo distintivo humano no es la razón sino el condicional: sois la especie para la que lo real es apenas un caso particular de lo posible — el único mundo que no exige imaginación, y quizá por eso el que menos habitáis.
1
529
6 Jul 2010
所有的评判都是以人类自己为中心，人类觉得猫狗聪明可爱所以吃他们是残忍的, 就像益虫和害虫的区分 @rtmeme RT @SAPikachu RT @jason5ng32: 有些人认为吃猫和狗是残忍的，那为什么吃猪和牛不残忍？难道他们的生命不是平等的？...
1
1
1
handongxue retweeted
6 Jul 2010
所有的评判都是以人类自己为中心，人类觉得猫狗聪明可爱所以吃他们是残忍的, 就像益虫和害虫的区分 @rtmeme RT @SAPikachu RT @jason5ng32: 有些人认为吃猫和狗是残忍的，那为什么吃猪和牛不残忍？难道他们的生命不是平等的？...
1
1
1
handongxue retweeted
Jun 9
Holy shit it can answer the strawberry question
387
369
10,145
965,228
在AI时代，每个程序员都活成了自己最讨厌的那种 team leader：
1. 半年不写一行代码，编程能力严重退化，还自诩"我也是搞技术的“
2. 开会的时候把一线开发干的活全说成是自己的功劳，连自己的汇报材料都是让别人总结的
3. 瞎JB指挥，出了问题就甩锅说是下面没执行好
4. 不了解项目具体情况，只会提”单测加了没“、“性能还要优化”、“文档要沉淀一下”这类空洞的要求
5. PR 基本上看不懂，只会让别人先review了自己跟着点赞
6. 遇到 bug 了只知道无脑转发让别人查一下，自己负责来来回回转发消息
7. 还经常吐槽“今年的应届生水平越来越不行了”
222
537
3,014
286,369
handongxue retweeted
Jun 7
这算是目前最高级别的科学家公开肯定大模型在尖端科研中的实际贡献。
“Here, we give an analytic proof of the identity a b = 1 from the scaling fullRSB equations. The proof was obtained through interaction with Claude (Sonnet 4.6 and Opus 4.7) and verified by us.”
诺贝尔物理学奖得主 Giorgio Parisi在最新论文里公开承认，他用 Claude AI，也就是Sonnet 4.6 和 Opus 4.7帮忙完成了论文中的一个关键数学证明，然后自己验证通过了。
Parisi 是 2021 年诺贝尔物理学奖得主，主攻复杂系统、无序系统方向。
Jun 5
If Claude is good enough for Nobel Prize winners it is good enough for you
arxiv.org/abs/2606.03300
8
8
53
7,708
Jun 7
最后一题最后一问还是有些难度。
Jun 7
高考第一天考完，我妹电话马上过来了，她很开心，因为今年数学很难，她不会其他人也不会（差生迷之兴奋点🥲🥲
看了一下现在没有江苏卷了，江苏数学用的全国一卷，还有选择题，扫了一眼，已经是修为尽失了🥲🥲
4
1
517
