Hacker News
Claude Fable produced a counterexample to the Jacobian Conjecture (🔥 Score: 160+ in 2 hours) Link: https://readhacker.news/s/6YSFp Comments: https://readhacker.news/c/6YSFp
you what
* Dmitry Rybin 和 GPT 5.6 发现了Dinitz-Garg-Goemans 猜想的反例。当然，这个人是数学家，而且在对话开头传了一个文件，大概率是他过去思考的总结（“But I really cared about this problem and spent many weeks thinking about it a while ago (in both directions, proof and disproof).”）
https://x.com/DmitryRybin1/status/2079904005652893709?s=20
* Dmitry Rybin 和 GPT 5.6 发现了Dinitz-Garg-Goemans 猜想的反例。当然，这个人是数学家，而且在对话开头传了一个文件，大概率是他过去思考的总结（“But I really cared about this problem and spent many weeks thinking about it a while ago (in both directions, proof and disproof).”）
https://x.com/DmitryRybin1/status/2079904005652893709?s=20
🆒11🤯5
来自微信群的“梁文锋谈话实录”（全文）
https://www.huxiu.com/article/4877547.html
https://www.huxiu.com/article/4877547.html
✍3
&'a ::rynco::UntitledChannel
今天会飞吗
🧵 Thread • FixupX
Cosmic Penguin (@Cosmic_Penguin)
↩ (@Cosmic_Penguin)
Damn this one is even more crazier than Apollo 12 and that Soyuz-2 that got hit launching at Plesetsk several years ago - the lightning strike actually clearly hit the ground here!
https://m.weibo.cn/detail/5323939312307088
Damn this one is even more crazier than Apollo 12 and that Soyuz-2 that got hit launching at Plesetsk several years ago - the lightning strike actually clearly hit the ground here!
https://m.weibo.cn/detail/5323939312307088
⚡16🐳2
Forwarded from 小红书一瞥
Telegraph
丘成桐谈王虹、邓煜获菲尔兹奖🏆
2026年7月23日，在2026年国际数学家大会开幕式上，国际数学联盟正式公布第二十一届菲尔兹奖（Fields Medal）得主名单。中国数学家王虹、邓煜双双获奖，这也是中国数学家首次在同一届菲尔兹奖中获得两枚奖章。 “我感到非常高兴。对于中国数学界而言，这是几十年来我们一直期盼实现的愿望。”听闻喜讯后，著名数学家、菲尔兹奖首位华人得主，清华大学丘成桐数学科学中心主任、求真书院院长丘成桐，在接受澎湃新闻等媒体采访时说。 丘成桐表示，他一直期望至少有一位中国数学家能获奖，没想到这次有两位杰出的年轻数学家获…
1a3orn:
Somehow, the US Government in both 1926 and 2026 --
"We have to shut down illegal distillation of the most powerful spirits."
https://twitter.com/1a3orn/status/2080008612802695309
Somehow, the US Government in both 1926 and 2026 --
"We have to shut down illegal distillation of the most powerful spirits."
https://twitter.com/1a3orn/status/2080008612802695309
Forwarded from 茨月的吧台
是不是刚刚在台上一想到接下来全国网友都要看他发佐伯女士届不到灯子之后和枝元阳亲嘴他才露出这么似绷非绷的表情
忍不住在费城的领奖台上轻哼起来
忍不住在费城的领奖台上轻哼起来
🥰27😁8
&'a ::rynco::UntitledChannel
SpaceX Starship 第十三次发射将于北京时间 2026-07-17 06:45 (美中时间 2026-07-16 17:45) 左右进行 T-0 Abort 新窗口 北京时间 2026-07-24 06:45 (美中时间 2026-07-23 17:45)，窗口时长 90 分钟。 Scrubbed 新窗口 北京时间 2026-07-25 06:45 (美中时间 2026-07-24 17:45)，窗口时长 90 分钟。 https://fixupx.com/SpaceX/status/207…
X (formerly Twitter)
SpaceX (@SpaceX) on X
Watch Starship's thirteenth flight test https://t.co/qkYYJiX24h
&'a ::rynco::UntitledChannel
今天会飞吗
FixupX
SpaceX (@SpaceX)
Now targeting Friday, July 24 for Starship’s thirteenth flight test, due to weather.
A key objective for the flight test is to get clear imagery from the ground of Starship’s heatshield as it flies at a higher dynamic pressure during ascent, which won't…
A key objective for the flight test is to get clear imagery from the ground of Starship’s heatshield as it flies at a higher dynamic pressure during ascent, which won't…
🕊3
Forwarded from Hacker News
Why Software Factories Fail (or: harness engineering is not enough) (Score: 152+ in 9 hours)
Link: https://readhacker.news/s/6Zam5
Comments: https://readhacker.news/c/6Zam5
Link: https://readhacker.news/s/6Zam5
Comments: https://readhacker.news/c/6Zam5
GitHub
advanced-context-engineering-for-coding-agents/wsff.md at main · humanlayer/advanced-context-engineering-for-coding-agents
Contribute to humanlayer/advanced-context-engineering-for-coding-agents development by creating an account on GitHub.