Danny James

coding and exploring

[Suwako — e/acc @suwakopro]

我其实是比较相信Peter Thiel所说的技术大停滞的。中国人可能感受不深，因为在改开之前中国的基线足够的低，这几十年下来光靠引入外部技术就已经感受颇深了。但是实际上，在西方，原子世界基本上没有什么变化，唯一有大进步的只有计算机。国内现在也能感受到了，生化环材四大天坑的根本原因就是在这儿。这几个专业非常重要，但是技术进步太慢，没有办法产业化落地，根本容纳不了就业。

但是整个社会都像是坐在一个坏掉的火车上摇晃身体，假装他前进。大学越来越富丽堂皇，但是里面的学者越来越像是爱因斯坦所说的：
“我尊重这种人，但不能容忍这样的科学家，他们拿出一块木板来，寻找最薄的地方，然后在容易钻透的地方拼命钻许多孔。”
帽子，论文，CNS，一区，二区，科学已经不再是好奇和探索了，人们沉迷于画一个圈，划一个势力范围，当这个王国的里的国王。变成了权力的游戏。
社科，文史哲更是严重，早就堕落了，一帮人互相捧臭脚。这几年更甚，社科的研究方法没啥本质的进步，又要创新，就搞出来一堆乱七八糟的东西，反而给整个社会造成了更多的混乱和灾难。
所有人都心知肚明这些问题，但是没有人能改，这个系统已经是百万漕工衣食所系，不断的加强。大学越来越多的功能是筛选，贴一个牌子，但是教育的功能越来越差。成本越来越高，产出越来越低。
但是大学只是整个社会里面问题最小的一个，政府，法院，各种各样的部门。所有这些都是不断的自我加强，无法改革。AI就像是皇帝的新衣里面的小孩，一下子釜底抽薪，把这些系统赖以生存的地基抽走了。他们维持的假象幻灭了。但是在动荡中，不破不立，有能力的人不再怕老资历，学阀的压制，能够做出难以想象的成果，而那些滥竽充数的混子，也会被一棒子打下去。
混乱不是深渊，混乱是阶梯。

[Tomás Vendel @vendel_tomas]

Todavía lo releo cada semana.

Es, sin exagerar, uno de los artículos más valiosos que he leído sobre cómo cambiar tu vida.

[华尔街没有名字 @WallStreet0Name]

长期配置比特币资产的人看这个比特币市值分区就行了：

1.2～1.5万亿美元：正常的囤货区

1万亿美元以下：黑天鹅，恐慌买入区，不一定发生

5万亿美元：下一轮大牛市可能的区间

10万亿美元：愿景梦想（解决量子攻击和中本聪等老地址迁移信任危机后可能达到的天花板）。

[Nassim Nicholas Taleb @nntaleb]

The problem isn’t that AI is intelligent. It isn’t. The problem is that too many adults (but not all) are at once mechanistic, imitative, unimaginative, stupid, formulaic, influenceable, & gullible, arrogant beyond their skill set, & too expensive to maintain.

[kepano @kepano]

One week later, Pele is already in dozens of apps including @obsdmd 1.15 and @bot! Many improvements this week:

- Even faster rendering!
- Math resolver support: KaTeX, MathJax, Temml, etc
- Gradients in sankey diagrams
- Fewer edge crossings in diagrams with subgraphs
- Subscript, superscript and inline code in labels + text styles: kbd, underline, ins, cite and others

On a personal note, I am so grateful for all the love Pele received! I truly did not expect it.

My hope with Pele was to get a few bug reports ahead of the Obsidian release, so it's a wonderful feeling to see it adopted so quickly. I take this as a great honor and responsibility.

If you added Pele to your app or website, feel free to share it below 🌋

[Elon Musk @elonmusk]

@Yuchenj_UW I think we’re going to see a lot of stranded compute in partially complete data centers

[Danny James @codingandexp]

@labubu_trader all in！等等这个图的坐标怎么不对🐶

[cat @_catwu]

We heard your feedback that you want Claude to proactively take more off your plate! Claude Duet is a large step in this direction - it'll notice work that needs to be done, and then do it before you ask.

Join the waitlist here: https://t.co/f3PfUuXIox

[前田悠馬｜御社専用のAIツールを毎月作る顧問 @yumamaeda1210]

Anthropicが「バグが起きないことを数学的に証明するAI」を発表

従来、プログラムの安全性は「大量にテストして、バグを見つける」という方法で確認してきた。

でも、100万回テストして問題がなくても、100万1回目にバグが見つかる可能性はある。

今回Anthropicが発表したのは、Claudeを使って「特定の条件下では、どんな入力でもバグが起きない」ことを数学的に証明する技術。

これを「形式検証（Formal Verification）」という。

実際にClaudeは、
① 123種類のオープンソースライブラリを検証
② 検証中に発見したバグを自動修正
③ 239のテスト対象について、一定の条件下でクラッシュしないことを数学的に証明

しかも、何兆回ものテストでも見逃されていたバグまで発見した。

Claudeが数学的な証明を作成し、別の専用ソフト（Rocq）がその証明の正しさをチェックする。

つまり、AI自身の判断を鵜呑みにせず、数学的な裏付けを取れる。

もちろん、あらゆるバグがなくなるわけではなく、今回の証明には入力サイズや実行環境などの条件がある。

それでも、これまで専門家が膨大な時間をかけていた作業をAIで大規模に実現した意義は大きい。

[Danny James @codingandexp]

@jesselaunz 可以引导用fork的

[Xudong Han @Xudong07452910]

非常推荐读一下 OpenAI FDE 负责人 Colin Jarvis 今天发的这篇工程博客！

他们的 FDE 团队花了几个月给客户做 AI 系统，结果 Codex 变强后，直接删掉了约 90% 的定制代码。

文章用一个半导体客户的真实项目，讲清楚了 FDE 到底在做什么。

工程师直接深入客户团队，跟芯片专家一起设计 Eval、搭建 Harness，把 AI 真正用到芯片验证和调试流程里。

在这个行业，验证约占项目工作量的 70%。前 3–6 个月，几个场景都上了生产：定向测试生成节省约 48% 的时间，几周的调试被压缩到几小时。

但项目上线只是第一步。

随着 Codex 能力提升，团队把原来的定制应用逐步改造成通用 Harness 上的 Skills 和插件。Codex 本身成了交互界面，原来各场景单独写的终端界面和命令行工具全部退役。

扩展到新团队时，基本只需要换上新的连接器和 MCP，再用一个 Skill 生成新的 Eval。第一次部署花了两个月，复制到第二个团队只用了一天。

而当模型能力不够时，FDE 还要把真实业务中的失败案例和能力缺口反馈给 Research。一家电信客户做语音客服，模型一开始在关键 Eval 上只有约 60%，六个月里随着新模型迭代涨到 90% 以上，才达到上线标准。

我很喜欢作者提到的一个目标：让 FDE 不断减少别人对自己的依赖。

我觉得企业 Agent 项目里真正留得下来的，是 Eval、失败案例和沉淀成 Skill 的业务知识；为了补模型短板写的胶水代码，每次模型升级都该重新审一遍，随时准备删。

做企业 AI 落地的建议先收藏。如果你每接一个新客户都还在从头写一套，说明东西还停在定制应用这一层，没沉淀下来。

原文：https://t.co/IQt7Ssve87

[黄金周期观测（AuCycleWatch） @hcjhcj666]

【中国股市的锚就是国债收益率】（图中蓝线）

股市一旦下跌到收益率和国债收益相近，就会极具性价比，浩浩荡荡开始一次牛市
一旦到达橙色通道的上沿市场就没有增量资金了（07年15年散户太幼稚除外），开始熊市

所以如果要长线投资A股，就要在通道下沿买入，通道上沿换成国债然后等下一次下沿机会

[Danny James @codingandexp]

@derouter_net 越做越好了确实不错

[Tencent Hy @TencentHunyuan]

🚀 Hy Memory 2.0 is out — open-source model, framework, and MemHub.
Your private memory steward.
Framework handles chat, work & code memories.
#1 open-source on 4 benchmarks.
Hy-Memory-30B-A3B beats Opus 5 across major frameworks.
MemHub (CLI + Mac) syncs across 10+ AI tools.

💻➡️

🔗 SDK & MemHub: https://t.co/uP58VJanj8
🔗 Model: https://t.co/nTQbJ2q8dl #HyMemory #AgentMemory

[卡比卡比 @jakevin7]

分享一个很好用的前端提示词。
优先复用成熟库、组件源代码可控、统一设计语言、严格限制重复依赖。
再配合指定好各种库，就算 oneshot 也能出很不错的前端。
UI 风格统一使用 譬如 shadcn/ui Nova
图标统一使用 譬如 Lucide
动画统一使用 譬如 Motion
布局库 譬如 react-resizable-panels
拖拽使用 譬如 dnd-kit
状态管理使用 譬如 Zustand
......

[xilo @xilo2991]

https://t.co/loAKjljtVn

[kepano @kepano]

This is Pele, my new rendering library for diagrams and charts, compatible with the latest Mermaid syntax.

- 100-500× faster than mermaid.js
- 6× smaller bundle
- No dependencies
- Easy to theme
- Responsive to device width

In pursuit of making Obsidian insanely fast and cohesively designed, I always found the Mermaid library to be too big, too slow, and too hard to theme. Pele will be the new renderer in the next version of Obsidian, but you can start using it now.

Pele [ˈpɛlɛ] is named after the goddess of volcanoes and fire. It's open source under the MIT license. Try the playground!

[DAN KOE @thedankoe]

https://t.co/CdLm1xoOAb

[3X Long Labubu @labubu_trader]

Super bullish chart with a cup and handle shape!
Now it's at a key resistance level, let's wait for it to cool down a little bit to retest the key MAs before entering the position.

[Danny James @codingandexp]

@momoai_daily 艹最支持的一集，都想捐款了