Pinned Tweet
推出匿名信箱😋
没法保证及时回复,但我会超努力的!😤
也可以在我个人链接处访问哦。
👇👇👇
ngl.link/kleekawaii/gas
中国的文娱实在是一言难尽。弄来弄去就那几个主题,不是古风就是仙侠,再来点模板都市爱情和革命剧。因为写来写去就这么几个是安全的,剩下啥都不敢写,艺术能力像被阉了一样的。严肃文学和散文更是没法看,不是乡村与革命,就是无病呻吟死去活来的,尤其是再搞搞什么小人物,根本没法看。这个年代有这么多苦难吗,都是中产,所以都去看奈飞去了:尿不到一个壶里面去。
1
13
679
cpp是最适合手写的语言,手写cpp简直是一种艺术品,你会把程序的一切安排得妥妥当当,就连template都看上去赏心悦目。一旦你开始手写cpp,你就再也无法接受AI写的cpp slop和vibe performance了。review手写cpp像是在脑海重建整个逻辑的秩序,而review AI写的cpp,你只会有手动重写的冲动。AI cpp是对艺术品的亵渎。
C++26 的 contracts 我听都没有听过,我只知道契约式编程的理念,但从来没有想到这个东西竟然还需要做成语法。我大致看了,定义一堆问题其实还算小,这种东西简直就是小部分在象牙塔呆久了的给大众强行喂屎。这都不是它第一次被拒绝了,还是一直在提。
好专业,我看不懂。我只会用AI所以就无脑多了,之前还给编译器缝过 SQLite 去接端到端遥测。我一般是要分发的应用接 SQLite,如果都要运维了会直接 PostgreSQL,大部分时候根本上不了集群,而且高可用其实 Cloudflare D1 就很好,小服务又直接云原生了。开发当然是 agent 自己拉 docker,我又不会。
其实说起来,我是认同 Sqlite 集群和 pgsql 是可以干的,前者甚至在规模初期更好,当然前提是细拆分,后者虽然能一个活完大部分应用的一辈子,但是一但你考虑主从副本 问题就来了,也开始集群了,超大规模的体量就更别说了 区别就是更多 sqlite vs 更多 pgsql,超大规模下 pgsql 有啥用 还不是要路由拆分…
那么 pgsql 到底有什么好呢,总结一下就是 1. 偷懒,前期按照 sqlite 拆一定是按照资源 owner 拆的 那么就会逼迫你理清楚资源依赖关系 & 哪些字段要全局。
2. 还是偷懒,pgsql 其实可以理解为内置了一个高于平均水平的多副本路由策略,即使 sqlite 可以做的很细,还能分清楚数据边界,还能整库导出,但是问题是这个系统要应用层配合设计调度,大部分人做的都不好,所以才有 sqlite 拉的想法,真正最好的非常难,所以低成本投入的偷懒方式就是用一个 pgsql 解决…
第三个点其实还是偷懒,因为 sqlite 和 pgsql 上了规模无论谁都不可能一个人完成了,所以调度器设计会很复杂,因为 sqlite 其他方面好,所以理论上这里应该也顺眼 sqlite,但是问题就是没有很多可以抄的模板,而 pgsql 有,所以这块对于场景来说 招人容易…
那么为什么理论上 sqlite 这么好,大家都在家挤 pgsql 呢,答案是我只能说推崇 sqlite 任重道远,因为这问题最开始设计的就不自信,自己单库和 pgsql 比,上限就低了,导致大家一开始就生产上 pg,后面历史就是前端并发和各种 microfront 后面大家想为啥 sqlite 不能也 micro 业务 owner 然后集群呢,所以等真正意思到的时候 pgsql 已经成很多人很多教程的默认了…
再加上刚开始用 pgsql 不用考虑业务分离边界 一个数据库里面瞎塞,后面上规模了要拆库麻烦,这是真的,但是问题是 有多少 App 活的到那个时候,大部分 App 的一辈子就是一个 pg 就够了,那么综合来看 也就只有我这种强迫症晚期会起步价就设计 sqlite 调度策略了…
大部分外部 Vibe 听 AI 默认意见的人 最省事的方案就是 pgsql…
所以说到底和业务规模,稳定性没关系,还有那些说 pgsql 独占功能的 去他妈的独占,说到底就是你业务不肯花脑子设计 想偷懒呗,只是说大部分时候偷这个了懒在当下环境看起来是合理的…
所以你们不要再吵了好不好,你就理解 一堆 sqlite ≥ 一个 pgsql 略微赢,更多 sqlite == 集群 pgsql 的业务能力就行了 无论你用谁,上年级了都吃调度,一个 pgsql 孤儿还真不见得比得过一堆 sqlite 的业务性能嘛
再说这玩意还有特殊场景,比如开发时候单文件,生产上 pgsql,这是多少人的做法,可见大部分人其实并不完全依赖死 pgsql 独占功能…
再加上就是嵌入数据库是场景,这里也就不细说了,本质上也是 sqlite 的一个用法,只是这里和我们上面聊的 sqlite vs pgsql 的用法没啥关系
反正就是 sqlite 比你想象的强大… 官方自己说的是 1TB 以内通常都健康,只不过这里还混了一条,数据的数量和每条数据的大小。实际上数据数量上到一定量级时候也会提前撑爆它的查询性能
但是问题是 就我设计过的 Micro Sqllite 来说 数据库到 几百个量级的时候 大部分库小于 256MB… 所以见仁见智吧
2
668
P1: Ciallo~(∠・ω< )⌒★
P2: ChatGPT 单推人,有怨无悔😄
P3: 我觉得我应该算男生吧?
P4: 夸我可爱的人也很可爱🥰
推出匿名信箱😋
没法保证及时回复,但我会超努力的!😤
也可以在我个人链接处访问哦。
👇👇👇
ngl.link/kleekawaii/gas
4
232
啊啊啊,我得了一种病!😱 不用 Rust 浑身难受,用了 Rust 难受一天。let, match, macro_rules!, loop, enum, trait, impl, for each, {} 带值,已经完全是它们的形状了,连自己设计 DSL 也想长成这样😭
5
36
2,463
我觉得我们的教育完全没有树立正确价值观。一是非要说谎,教育人劳动光荣,教育人鄙视功名利禄。二是教人劫富济贫,赋予绿林好汉道德上的正义。实际上如果交易正常发生的社会,有钱人的钱只要拿出去投资,就会转化成活跃的购买力,并无什么相对过剩之说,何况现在还有融资工具。均贫富是非常小农的看法
1
4
311
你看古来的帝王有几个觉得人生黄粱一梦的?都忙着求长生呢。文人总爱告诉世人,荣华富贵不过黄粱一梦;而那些真正身处荣华富贵顶端的人,却往往拼了命地不愿醒来看破红尘究竟是因为认识到了富贵的虚幻,还是因为自己无缘富贵,才需要一种超越富贵的哲学?
终于又有比较务实的 benchmark 了😹
同样都是做题,有的人定义问题,有的人只是做别人定义的问题。前者才是真正的 frontier 和开拓者。
For AGI to benefit all of humanity, it should help people with the everyday tasks that matter most to them. So we built LifeVal, a new benchmark shaped by feedback from thousands of ChatGPT users on where they most want help from a personal assistant—from finding childcare to accessing government services to managing personal finances.
Over the past year, we’ve used LifeVal to measure and improve how well our models handle these everyday tasks.
openai.com/index/lifeval/
2
8
1,153
我现在就和 minister 一样的,手底下 agents 就和 civil servants 一样不停地给我起草文案、整理工作、秘书。很多事情我根本不知道就要我决策😹,我在意的也只有信誉和曝光。而且大G老师天天防御性声明和做事,完全按照我的决策行事但又总能理解出它自己的意思,我也不知道我不知道什么。
2
338
应该给文章加一个侧边栏写评注。这样正文是一栏,llncs 那样地方便推导和叙事,不用盯紧凑的双栏,体现证成的语境;评注则不用避免主观、叙述细小的发现和探索历程与失败,零碎的知识可以选看而且贴便签一样,保留发现的语境。致谢和引用文献照旧。附页塞具体的证明,正文只放核心结论不干扰阅读,数学证明有心情看的不多,而且仓库应该全部配 Lean 与 SymPy;完整的数据与图表,应让读者知道全貌,正文没有选取的不一定说没有价值,可能只是叙事侧重;可复现性方案,知识的生产方法与原理本身肯定也是价值。
273
我觉得教育改革应该派政客去,而不是一帮教育家在那里鬼混。本来就是一个投入更多钱和资源的问题,这些教育家基本只能做些微观管理。大多数人享受不到优质的教育不是因为技术性的问题,而是不可负担。人人都知道要优质的个性化指导,但就是没这么多资源而已。也应该少谈些成果,把一帮人赶去传授知识。
220

























