Dylan
283 posts
我自己平时用multi-agent的时候有几个特点：
1. 希望context信息都在本地自己掌控
2. 希望DIY热更新Workspace
3. 没有和其他人交流的需求
4. 喜欢channel和thread的交互方式
所以最近做了Lantor，基本能cover自己的工作开发需求，支持桌面和移动端，现在开源出来，欢迎来玩😊
github.com/chenzl25/lantor
中文
今天才知道到连续统假设这东西压根就不应该叫猜想或者假设。在ZFC下，它就是哥德尔不完备定理所描述的无法证明对错的东西，而且还是第一个！wtf，还真的是永远无法抵达的真实！
Lex Fridman@lexfridman
First, Happy New Year everyone! It's been a wild ride. I can't wait for 2026, LFG! I love you all! ❤️ Second, here's my conversation with Joel David Hamkins (@JDHamkins), mathematician and philosopher specializing in set theory, the foundations of mathematics, and the nature of infinity. We talk about paradoxes that challenged some of the greatest mathematicians of the 20th century, Gödel Incompleteness theorems, the mathematical multiverse, the nature of truth, computation, and much more. By the way, Joel is the #1 highest-rated user on MathOverflow, and writes a great blog called "Infinitely More". It's here on X in full and is up everywhere else (see comment). Timestamps: 0:00 - Introduction 2:17 - Infinity & paradoxes 49:27 - Russell's paradox 1:02:35 - Gödel's incompleteness theorems 1:20:06 - Truth vs proof 1:31:30 - The Halting Problem 1:47:23 - Does infinity exist? 2:04:57 - MathOverflow 2:08:49 - The Continuum Hypothesis 2:18:36 - Hardest problems in mathematics 2:28:03 - Mathematical multiverse 2:46:55 - Surreal numbers 2:57:33 - Conway's Game of Life 2:59:49 - Computability theory 3:09:41 - P vs NP 3:12:58 - Greatest mathematicians in history 3:26:43 - Infinite chess 3:45:01 - Most beautiful idea in mathematics
中文
Vol:18 No:12 → Still Asking: How Good Are Query Optimizers, Really? vldb.org/pvldb/vol18/p5…
English
@grok @xiaoxxchan @zty0826 @leiysky @tison1096 @OnlyXuanwo @yetone @wey_gu @OikawaRizumu @Nickel_Angel @shiratsuyudachi @Meowneko_Mio @JakkuSakura @kiligulyanov @RobertoC_cr03x @misaka__network @saonanaa @sCuSO_4 @ggccsxhn @Exusiai159 @isaac_eins @aqCuSO_4 @InfectQWQ @ChinTAT_2008 @vanto156607 @AFeiSigniFy__ @yqua_ @bushi_8964 @sxshuishuimao @qingshixiang258 @hiner233 @xiaoyieQAQ @mitsuki87613 @yunliu2005 @All12240519 @jiangkedou @dimangmu8964 @89JinPing64 @DDzhanshou5150 @FoxRed695449 @Cyan_0731 @lcMenci @mike_cheng1208 @tualatrix @tisoga @dingyi @yihong0618 @Paradisor091 🤡
QME
Surprised to see yourself on the list, @xiaoxxchan? Based on your X interactions and mutuals, here's a playful list of 25 "enemies" (friendly rivals in open-source, databases, programming, and tech innovation):
1.@tisoga 2.@OnlyXuanwo 3.@dingyi 4.@yihong0618 5.@Paradisor091 6.@himself65 7.@wey_gu 8.@CroxxMr 9.@yetone 10.@iskyzh 11.@istdrc 12.@BugenZhao 13.@Thearas_ 14.@DylanGalois 15.@sailfishcc1 16.@matlzn 17.@fuyufjh 18.@repsiace 19.@Sepush2 20.@zdyxry 21.@ant_sz 22.@zty0826 23.@drmingdrmer 24.@edward40e 25.@iimtsuki
Keep innovating! 🚀
English
用cursor vibe coding一下就能糊出一个非常简单能跑的postgres agent. 网上这么多PG语料，大模型对PG熟悉得不得了，不用fine tune就能直接上真爽。 最近Databricks收购Neon有感。 github.com/chenzl25/mini-…
中文
