2025-09-07 08:00:00
一次艰难的 cpython issue 排查过程,以及我学到了什么 · Issue #325 · yihong0618/gitblog
先放弃了,但还想着
- 然后我就把问题先搁置了去忙别的
- 但是跑步的过程中突然有了一点想法也许不是 3.13 only 的
那种一个 bug 有点想法但是又没解决的时候,很难做到强迫自己不去想。
看着非常舒爽的调试过程,这里记录一下:
perf stat -p $(pidof python3.13-dbg) -- sleep 1
strace -fTttp $(pidof python3.13-dbg)
perf record -g -p $(pidof python3.13-dbg) -- sleep 1
perf report -g --stdio
perf annotate -l --stdio --symbol _PyEval_EvalFrameDefault
Introduction to SELinux - The GitHub Blog
聊胜于无吧,看似讲了很多,但是很多的概念又没有解释的很清楚。
Where’s the Shovelware? Why AI Coding Claims Don’t Add Up
作者通过分析来自 Statista、Verisign 和 SteamDB 等平台的数据图表,发现全球新软件发布量、移动应用发布量、新域名注册量以及 GitHub 上的新项目数量等指标,发现没有出现显著的增长,而是保持平稳。
一个完整的产品和一些特定场景的“工具/脚本”还是有很大差别的,能节省一些时间已经是很不错了。
辛普森悖论。 在分组数据中出现的趋势,可能在合并后消失,甚至反转。
每当你得出一个数据结论时,都要问问自己:
- 有没有可能我正处于辛普森悖论中?
- 有没有一层数据没剥开,藏着另一种真相?
无论你拥有多少数据,问对问题才是关键。
你可能出于好意做分析,但问错问题就会得出错误答案。
东北与我 - by 汉洋 MasterPa - 汉洋滔天 长春与入冬三件套 - by 汉洋 MasterPa - 汉洋滔天
直到多年后我才理解:《闯关东》对她们来说就是一部纪录片。从她们的祖辈那里继承的回忆和自己童年中经历的故事,就像是一片因为历史大山崩塌偶然形成的堰塞湖。
错误的回忆却告诉我这是一个网络兴起后发生的事情。缘木求鱼了五分钟,才修正了记忆。可见回忆并不靠谱。
那时候我上小学,刚开始萌发起对很多东西的意识。比如对于家乡朴素的自豪感,绿化率高就让我感觉很好。原来家乡和其他城市相比也有特长。我看到南湖是全国最大的城市公园,感觉比自己的奖还开心:那可是我家对面的公园!虽然不知道具体与我何加焉。但我从小在里面溜达,肯定有点意义,只是此刻还不知道。
再后来,我陆续发现这些都是扯淡。南湖公园在很多数据里连中国前十都算不上;文化广场全国第二大这似乎就是那个大人随口说的。至于欧亚卖场,它不断飘乎在全国最大、亚洲最大、世界最大等各种修辞里,根本没人真的在乎它是第几大(不过确实大)。
很有感触,小时候也是全家一起看《闯关东》,印象中那时候是冬天,一起包冻饺子,我也是在那一年学会的包饺子,虽然这项技能现在只有春节的时候能施展个一两次。出门在外,总在想家乡有些什么,慢慢的发现自己对家乡的了解太少。
这事儿还得从 2006 年说起,这一年用户体验设计公司 Humanized 的程序员兼设计师阿扎・拉斯金(Aza Raskin)发明了 “无限滚动” 技术,他的初衷是想把古早的网页下的 “下一页” 按钮去掉,但他却没有想到这个小小改动几乎改变了后来的一切。
我现在一到晚上,盲目地向上滑动拇指玩手机,就会想起阿扎・拉斯金。2019 年的时候,泰晤士报有他一篇报道,他在里面说:
“This is a profound moment in our species. We are losing control of the tools we made.”
广场时代,信息自由传播,随机,只有有好的内容,自然会有人关注到。
管道时代,人们需要变得“垂直”,越“垂直”越容易被贴“标签”,越能和更多人建立连接。
996 | Armin Ronacher’s Thoughts and Writings
More importantly, a successful company is not a sprint, it’s a marathon.
And this is when this is your own company! When you devote 72 hours a week to someone else’s startup, you need to really think about that arrangement a few times.
《单口喜剧进阶指南》,王梓晗的书,这是一个妙人,她本人从小就是别人家孩子:高考状元、北大元培、相声社团、单口讲师(好像有不少演员是大学在相声社团,毕业从事单口这个路线,比如猫头鹰喜剧的史焱,德云社的阎鹤祥)。自己讲的不多,但是一直是笑果的培训师,给单口喜剧演员们进行培训,现在活跃的单口演员应该有大部分人都参加过她的培训。这本书建议读者是至少上过一次开放麦的人,但是不影响阅读,其中有一些技巧或者叙述逻辑和《喜剧这回事》是一致的,“非英雄”、”不放弃“、”获胜“。
《基本无害-Ep171 聊聊中亚旅行和人文街拍技巧》,这期讲了很多”斯坦“,听了半天感觉都听混淆了,其中的一些旅行经历还挺有趣的。
《基本无害-Ep172 张踩铃的多重身份和开放麦恐惧》,我还听喜欢张踩铃的短视频的,记录孩子们的成长趣事,随着她老公和孩子们越来越符合社会意义上的“正常”,她的短视频走向也是一个问题。
《二的三次方-vol:105 抄袭?撞梗?脱口秀需不需要真事儿?聊聊创作的二三事》,因为《脱口秀和他的朋友们》综艺上的kid 抄袭事件,最近有不少人在讨论这个事情,其中有一点,就是作为单口演员,你讲述的故事,是否必须是你自身经历的?段子中虚构的成分有多少是可以被接受的?比如这期播客中提到的房主任,有些段子是换了主语。
我觉得单口喜剧之所以吸引人,不只是因为喜剧本身,还因为这是一个关于人的故事,你可以讲述一个完全虚构的事情,在虚构故事的强冲突强猎奇带来的喜剧效果同时,但是这个虚构的事情带来的负面印象就是大家对你这个人是模糊的,是混乱的,你要承受这样一个虚构的负面影响。毕竟这是一个公众人物随时塌房的世代。
2025-08-31 08:00:00
机箱上有一个不可拆卸的螺丝柱顶到了内存插槽的第八槽,导致硬件错误
Patch:用透明胶粘上了
Hahahahahahaha。
Using Podman, Compose and BuildKit · emersion
Docker CLI 对接 podman sock ,为了对接 buildkit 自己实现了 bakah 来构建 Image,一种“为了这点醋包了一顿饺子”即视感。Podman 自己一直在推自己的 Quadlet,感觉不如赶快把 podman-compose 的功能对齐上来,可以更快的吸引用户使用。
From Python to Go: Why We Rewrote Our Ingest Pipeline at Telemetry Harbor
During our canary deployment of the Go endpoint, we noticed something concerning: the 400 error rates were significantly higher than expected.
- Boolean coercion: If someone submitted
True
orFalse
(standard Python boolean values), Pydantic would silently interpret these as0
and1
respectively. There was no validation error, no warning—just automatic conversion.- String-to-number coercion: When users submitted numbers as strings (like
"123.45"
), Pydantic would automatically convert them to floats or integers without any validation warnings or errors.
印象中不止一次看到有人在从 Python 迁移走的时候,遇到这种类型转换问题了。
Cracks are forming in Meta’s partnership with Scale AI | TechCrunch
一团乱麻,顶级诈骗?
书中还有一段印象深刻的话,大致观点:需要谨慎区分 “安抚” 与 “道具”,以安抚奶嘴为例,如果婴儿放在嘴中安静吸吮则是 “安抚”,如果需要待在他身边不断塞到嘴中,则你成为了那个 “道具” : ( 需要尽可能避免成为 “道具” 消耗自己。
经过三个月的带娃旅程,对孩子这种 “无理取闹” 的行为有了新的理解:当一个
三岁
的大朋友对家长大发脾气,与三个月
的宝宝歇斯底里大声哭泣,有没有可能并不是无理取闹,而是由于家长没有满足某个需求?
读这类文章会让人心情愉悦,一个生命在成长。
前阵子看到一件很看不顺眼的事(不是犯法或者是任何与我身边的人事物有关的事),本来有很强烈的表达欲望想要分享这件事,但由于某些原因(可能是工作、身分或者是其他类似的东西),我限制自己不能分享。那么为何不用影射、暗指的方式就好?我当时在某篇 journal 里面跟自己激烈地自我对话,最后还是决定不影射或暗指。不过后来我发现,这样子把完整的事与自己的心情记录下来后,好像就有某种「已分享」的感觉了,或者说,我知道这件事总会有某个地方有留下纪录,不会被遗忘,那也就足够了!
我的笔记中有很多类似的自己和自己对话。
You Have to Feel It – Mitchell Hashimoto
We, as people, feel something with every interaction. Frustration, joy, relief, confidence. A feeling. A person interacts with our work. Our work evokes a feeling. The feeling matters. The feeling is part of the work. The desired feeling is part of the requirements.
When you feel it, you know. The feature makes you smile when you use it. It fits right in, like it was always meant to be there. You want to use it again. You want to tell people about it.
想到了很久之前看到的 Burn-out 的缓解方式中,看到自己的工作成果发挥总用、被认可是一种很好的方式。
《只有我一个人觉得特好笑吗?》,刘旸教主的书,通过一些具体的事件场景分享单口喜剧演员们的视角和思考,同时也代入了自己的一些想法,有点像他个人的碎碎念。以下是一些摘录:
一个什么事情都能理解的人,当不了喜剧演员,尤其当不了单口喜剧演员。
从业这么些年,我也渐渐感受到,不带着偏见,或者不敢表露出偏见的人,很难制造笑点。也许单口演员,尤其是优秀的单口演员,就是多了那么一丁点勇气,敢于在生活中保留自己的偏见,表达自己的偏见,哪怕因此被一些人所讨厌。
隐藏自己的所有情绪,曲意逢迎地去强制要求自己理解一切自己不理解的事情,抱着“存在即合理”的想法委曲求全,是这个时代最大的愚蠢。
我们以骂甲方开始,就以骂甲方结束吧。送大家一个反向类比:
“跟甲方相处的日子,就像在度假海滩上一样,放眼望去,全是沙子。”
优秀的单口演员郝雨曾经讲过这样一个讽刺那些微信文章的段子:
我丈母娘那天发我一个文章,说现在葡萄不能吃了,尤其是无籽葡萄。那无籽葡萄都是喷避孕药喷成无籽的。我心说,这葡萄多少钱一斤啊,避孕药多少钱一斤啊,我喷这么多药光卖这点儿葡萄我挣得回来吗?有这工夫,我卖避孕药送葡萄行不行啊,我还省点儿力气。而且喷避孕药就能把葡萄喷成无籽的?那我种什么葡萄啊,我种石榴呀!这大石榴一点儿籽儿都没有,咔咔吃,多高兴!
(这个段子是郝雨专场里的段子,我更喜欢他这段的下一段,我大概转述一下:
(我丈母娘跟我说:注意啊,茄子,茄子不能多吃,吃了容易生病;
(第二天:注意啊,大辣椒,不能多吃,吃了容易生病;
(第三天:注意啊,土豆,不能多吃,吃了容易生病;
(我直接说:妈啊,你是不是就是不喜欢吃地三鲜啊。
网上盛传一个段子:当你去看心理医生时,他工作起来非常简单,就是机械性地说,这是原生家庭问题,这是原生家庭问题,这是原生家庭问题……
虽然是笑谈,但也能看出来原生家庭对一个人的影响之深。我曾经接受了一年的心理咨询,得出的结论当然也是原生家庭问题。我生在内蒙,初一到北京生活。小学的时候我家里很穷,所以我妈经常鞭策我的话就是,要努力读书改变命运,否则会被人瞧不起。这个“瞧不起”一直深深地印在我的脑海里,以至于我直到现在还会觉得别人会因为什么理由瞧不起我。这种情绪在不同时期有不同的投射。
当然,在国内训练“what if”最简单的方法,就是去认识几个东北人,东北人经常说的“咋地”,就是“what if” 这个词最完美的翻译。
( 我觉得可以更精确,认识几个锦州人,每句话都是 what if
喜剧的内核,在我看来,只有乐观。超脱于生命的宋观,敢于嘲笑一切黑暗的乐观,面对死亡放声大笑的乐观。
如果非要说单口演员有些什么不一样的地方,我觉得不是心理疾病的发病率,而是对待疾病的态度。很少有人会像泰勒·汤姆林森一样遇到生命中不能承受之重时,觉得:“天哪,这我可得好好写个段子啊!”
也许正是这种面对绝境也能保持乐观的心态,才能让人勇敢面对生活中的一切不顺。所以,当你深夜emo,觉得自己此生为何如此不顺时,不妨体验体验喜剧的真正内核,面对这一切笑出声来,可能整个人生会因此走向完全不同的方向哦!
喜剧的内核,是乐观。愿你拥有这份内核。
可见面对自己不想做却不得不做的事情,想让自己渡过难关的方式,就是意识到,这一切本来可以更糟糕的。这也就是单口喜剧演员对抗负面情绪的小小智慧吧
不过,这种心态实际上很难一下子扫清,毕竟从世俗最普遍的角度来看,单身还是一种“不正常”,是一个需要解决的“问题”。
但其实我们这一生最应该解决的问题是“如何学会爱自己”。如果单身是个准备期,它唯一的目的就是让我们学会如何爱自己。而当你学会了如何爱自己时是否需要去爱别人就纯粹是一个选择,而不是一种需求了詹·柯克曼的这个专场,直面了自己单身的小纠结但我们看到的却是她选择的方向,一个学会爱自己的人所选择的人生。
《各说各的呗-小块:花有重开日,人总在少年;咱名声在外,但是声名狼藉呀》:这应该是脱口秀和他的朋友们综艺录制之后的闲聊,其中提到了小块的鼻毛段子,小块因为年年上节目,但是年年很早被淘汰,导致喜剧信用很低,逐渐的从他自己吐槽自己不行,到大家都本能觉得他不行,这种状态要想改变需要花很大力气,不过今年的鼻毛段子还是很好的。
2025-08-24 08:00:00
I think the major issue is inexperienced human drivers of AI that aren’t able to adequately review their generated code. As a result, they’re pull requesting code that I’m sure they would be ashamed of if they knew how bad it was.
很合理,现在 AI 生成代码太快了,完成一项工具最后基本上都需要花费大量的时间在 review 上,现在我尽可能的让 AI 把变更拆小,哪怕在 git commit/squash/rebase 上面花费了比之前多的时间。
To SSH is human, but that doesn’t mean we should - Sidero Labs
**Asking the hard question: do you really need it?
When you remove SSH, you remove the excuse
Instead, we rely on APIS. This gives us a controlled, declarative way to interact with the system. That means changes are validated, consistent, and auditable by default. Simply define what the system should look like, and the Talos API enforces that state.
当有全套的基础设施,可以通过 Grafana 作为统一入口来查看 metrics、log 当然 ok,如果 Grafana 故障了呢?如果链路中其中的一环故障了,怎么搞?当然你可以说,你的系统没有健壮的基础设施是你的问题,ok,我司的容器平台集群,一共 443 个 Pod,容器平台基础设施的 Pod 数量是 197 😀。
这周大部分时间都在了解腰椎相关的知识,这里简单的写一下。
治疗方式:
《代码之外-在「少数派」做硬件产品的心路历程》,虽然我不是少数派的用户,但少数派的忠实用户的消费能力是不用怀疑的,在这个基础上做硬件周边,至少初始用户感觉不用担心,但是后续的出圈是个问题。
《基本无害-Ep170 柏林生存手册:德国高速果然不限速,你好意思说我都不好意思听》,相较于上一期的苦闷,这一期提到了一些“特色”:男女混浴、多夫多妻(?)、club 等等。
2025-08-17 08:00:00
学到了几个之前不知道的方法:
strings.SplitSeq
maps.Clone
, maps.Copy
, maps.Insert
slices.Delete
NixOS Now Celebrates Pride Month… Year Round
[[NixOS]] 表示出明确的政治倾向,并且直接 block 提出异议的人。挺好,双向选择。
Vercel Goes All In on Vibe Coding Web Apps - The New Stack
v0.app Is Changing the Next.js Framework
There’s another interesting dynamic within Vercel: The Next. Js team is updating the framework so that it plays better with LLMs and agentic AI, Khandelwal said.
“We work super closely with the Next. Js team,” he said. “In fact, we are very good customers of Next. Js — we give them a lot of feedback on good examples or things like, ‘LLMs don’t seem to understand this syntax’ or ‘don’t seem to understand this pattern in the framework.’”
The team will ask for either better documentation or whether the situation can be simplified or changed.
The Future Isn’t Model Agnostic · The Fly Blog
Your users don’t care that your AI project is model agnostic.
Every startup pitch deck with ‘model-agnostic’ as a feature should become a red flag for investors who understand product-market fit. Stop putting ‘works with any LLM’ in your one-liner. It screams ‘we don’t know what we’re building.’
这里的一些观点和 [[ampcode]] 是一样的。
pyx: a Python-native package registry, now in Beta
[[Astral]] 的商业化项目,一个 private package registry。和去年在 [[Mastodon]] 上的回复一致。是在 PYPI 之上的一层么?没看懂。
LoxiLB – More than MetalLB | Oilbeater 的自习室
MetalLB 的缺陷 - 缺乏有效的监控
这同样是依赖 kube-proxy 实现导致的一个问题,kube-proxy 的多种实现方式都没有流量层面的监控,导致的后果就是如果你看 MetalLB 提供的监控指标就会发现里面没有任何流量的指标。这种几乎没有任何数据平面监控的 LB 要上生产,就有点过于松弛了。
我也试过写点周记,谈谈一周见闻或所做之事,却往往不见下一周。大抵因为下一周乏善可陈,于是不了了之。不然尝试写一下月记?
除了介绍自己的项目,还能写点什么呢?近来有什么所思所想,又有什么洞见或者观察?似乎没有。这大约就是所谓的咸鱼人生吧。意识到了,似乎就应该翻一下身,来晒晒另一面。
如果某一周没有看一个完整的作品(电影、书籍、剧集),我的周报中的关键词就很难想,通常就会想到那句话:“没关系,又活了一周,已经很棒了”。
《K-POP:猎魔女团》:网飞出品的电影,有一种迪士尼电影的感觉,制作精良,剧情简单。因为有很多的 K-pop 元素,时不时的就原地唱跳一波,又感觉在看一个张专辑的完整 MV。这部电影本身影响范围应该只是还好,但是靠着其中的几首歌曲一直在各大榜单中刷榜,各大“老牌”女团 Vocal 都在翻唱《Golden》这首歌,B 站上有人制作了翻唱合集:【K - POP: 猎魔女团】Golden 翻唱,喜欢郑恩地、李海丽的翻唱版本。
( 另外,电影中好像真的没有双眼皮。
《两个写作者对抗AI-EP10 Storm 徐风暴 “脱口秀演员在舞台上绝不说 sorry,但口水喷到观众脸上除外”》,这是谢梦遥的播客,主要内容是对各个领域的人进行采访,他本人是《人物》杂志主笔(一个有争议的人)。在采访过程中,会问一些比较尖锐的问题,有些问题很直接,这期对谈就很好,因为 Storm 也是一个直接的人。听完更觉得, Storm 应该早点脱离俱乐部老板的身份,把更多的精力集中在单口上。国内的单口俱乐部,都很难和演员找到一个可持续经营的方式。
《两个写作者对抗AI-EP19 刘旸教主 关于新书,去年喜单名次,负面评价,真诚,虚荣,努力,以及是什么拦住了我去加吴镇宇的微信》,很多人看完教主的表演,都会觉得他很用力、很努力,他只是做自己,就让别人感觉到他很努力,也是一种抵抗外界的方式。
《基本无害-Ep169 柏林生存手册:闲着也是闲着,先罢个工吧!》,城市生存手册柏林篇,在听之前就对德国的租房听说过一些地狱难度,但是这里聊到的也太难了,确实太卑微了,很难就说这是一种良好的状态。里面有个女生提到,因为自己作为二房东,在找房客时没有认真“审核”,导致自己反而被迫搬出去,在搬出去前,还有给房客找一个适合的二房东,这太憋屈了。
2025-08-10 08:00:00
从「没有对手」到「一天崩溃好几次」|对谈 Zilliz 创始人 / CEO 星爵
👦🏻 Koji:但像 Reynold Xin 就觉得开源让他们经历了 “二次创业”:先做开源,再去找闭源的 PMF,好像要连跨两座山。你怎么看这种说法?
👨🏻 星爵:Reynold 所说的 “跨两座山”,其实也是 Databricks 今天成功的重要壁垒。虽然这条路很难,但他们走通了,竞争对手要复制也同样不容易。
传统的 open core 模式,是开源一个核心,商业化版本在此基础上加企业服务。优点是研发一次就够了,但问题是很难说服用户付费:开源都能用,为什么还要买商业版?
Databricks 采用了 dual core 模式:一个开源核心,一个闭源核心。两者在接口和用户体验上几乎一致,可以无缝迁移,但底层实现完全重写 —— 开源用 Java,闭源用 C++,商业引擎是独立设计的。这种方式兼顾了用户易用性和商业闭环,是非常巧妙的架构设计。
👦🏻 Koji:那有没有什么是你八年前坚信不疑的,但现在已经完全不信了?
👨🏻 星爵:在创业前,我是个百分百的理想主义者。但八年下来,这层彩色的外衣已经褪去,现在更多留下的是一件灰色的内衣。
[[Milvus]]项目老板的访谈,这个问题的回答很有趣,让人笑出来,至少不是“皇帝的新衣”。
第二次简单尝试了一下用 AV1 编码视频,效果依然非常不错 - 陪她去流浪
使用 SVT - AV1 编码器编码视频,效果不错。
It would be naive to pretend people are not going to use AI tools, so we should help get best results. More than that, we ALL should be using these tools when we can, and when they improve our productivity. I feel like a dinosaur myself, but when the tools work (which is not every problem!), they can be amazing.
[[kubernetes]] 仓库添加了 AGENT.md
,和前阵子 QEMU 社区的态度是相反的。
又一篇 [[Starlite|Litestar]] 的推荐文章,主要讨论关于 Scale 、[[Pydantic]] 和 [[SQLAlchemy]] 的处理方式上的选择上的思考。
在 HN 的评论区看到了 [[FastAPI]] 的这个讨论,原来它们的文档中也有这么多 Emoji ,真恐怖啊:
You go with your crush 😍 to get fast food 🍔, you stand in line while the cashier 💁 takes the orders from the people in front of you.
Then it’s your turn, you place your order of 2 very fancy burgers 🍔 for your crush 😍 and you.
You pay 💸.
The cashier 💁 says something to the guy in the kitchen 👨🍳 so he knows he has to prepare your burgers 🍔 (even though he is currently preparing the ones for the previous clients).
The cashier 💁 gives you the number of your turn.
While you are waiting, you go with your crush 😍 and pick a table, you sit and talk with your crush 😍 for a long time (as your burgers are very fancy and take some time to prepare ✨🍔✨).
As you are sitting on the table with your crush 😍, while you wait for the burgers 🍔, you can spend that time admiring how awesome, cute and smart your crush is ✨😍✨.
High costs and thin margins threatening AI coding startups | TechCrunch
If the startup was growing that fast and attracting VC interest, why would it sell at all?
“It’s a very expensive business to run if you’re not going to be in the model game,” said the person.
Rather than falling as expected, the cost of some of the latest AI models has risen, as they use more time and computational resources to handle complicated, multistep tasks.
句句大实话。在我的理解中,工程师已经是最可能掏钱付费的群体了,现在的各种套餐 $10
, $20
大家都能付费,大模型能力越来越强,最终用户带来的体验却是限制越来越多。
[[Immich]] 公开记录了开发过程中遇到的 “坑“,我司内部 Slack 也有一个 channel,叫 you-dont-know-$product
,是有用的。
OpenFreeMap survived 100,000 requests per second
What? 3 billion requests in 24 hours? What on Earth is that? Also, 215 TB of traffic from tiny, 70 kB files?
This much traffic would cost over $6 million per month on MapTiler and double that on Mapbox.
As the sole person running OpenFreeMap, I’m incredibly proud of these two numbers. First, that my architecture hit a 99.4% CDN cache rate, which is fantastic for a service with weekly data updates. And second, that my own servers successfully handled the remaining 1,000 requests per second.
[[OpenFreeMap]] 大善人。 从这篇文章知道了 Wplace.live 网站,还挺有趣的,不同城市的画风差异比较大,上海地图上显示的是大大的原神,北京地图上显示的是 XX。
Constitution of the United States Website has removed sections! : r/law
当一段内容,每天改变一点点,很难有人发现的。
(一直觉得这是一个好产品,收集所有网站的用户协议 changelog,可能也不只是用户协议)
Breakneck: China’s Quest to Engineer the Future | Dan Wang
The simplest idea I present is that China is an engineering state, which brings a sledgehammer to problems both physical and social, in contrast with America’s lawyerly society, which brings a gavel to block almost everything, good and bad.
月刊(第31期):基于 Claude 的阅读流 - Airing 的博客
你是一个全球闻名的哲学家,请根据以下内容继续提出 3 个有哲理的、引人深思的问题,以便于读者发散思考。
正如前文所说,我认为效率和阅读在某种意义上是冲突的,所以我在阅读的过程中基本不会用 AI 总结、AI 解释等功能。这并非是对技术的抗拒 —— 阅读本身就是价值,所以不能逃避思考的过程,迷失在高效和技术追逐中。因此这套阅读流的设计中更加强调思考整理的环节,这都是为了让 AI 更好地辅助我们思考,而非跳过。
真正的理解需要停下来,思考每个概念如何与其他事物联系。而如果我们把所有的思考都外包给 AI 时,我们失去的不仅仅是记忆,而是思考本身。
这篇文章写的很好,其中关于 AI 和阅读的看法非常认同。虽然现在已经有很多 AI 插件了,但是这些 AI 插件更多的是关注一个结果,可以短时间生成一份及格的“新闻”,我称之为“新闻”而不是“总结”,“新闻”对我来说是无关紧要的,阅读后的感受不是。AI 生成的内容和直接阅读所感受到的东西差别非常大。我日常会先记录自己的想法,然后把自己的想法让 AI 去找漏洞、偏见、刻板,让 AI 去 Roast 。是之前这里看到的方法: How I Use AI: Meet My Promptly Hired Model Intern | Armin Ronacher’s Thoughts and Writings。
关于阅读过程中所使用的工具可能不重要, Reader 中的 Highlight 功能确实是我需要的。
与此同时,我们也常常忽略科学评估的重要性,在评估模型的过程中,我们会挑选对我们有利的指标。我们自我欺骗,营造虚假的繁荣,看起来欣欣向荣。实际上,我们的模型没有得到任何提升,我们也没有走到正确的路上。飞机不会降落下来,我们的模型还是原地踏步。
1915 届毕业生被称为 “群星荟萃的班级”(The Class the Stars Fell On),164 人中有 59 人(36%)获得了将军军衔。在这之前这个称号属于 1886 届毕业生(潘兴那一届),77 人中有 25 人(32%)成为将军。两拨人恰好赶上了两次世界大战,时势造英雄。
脑海中想到了 NBA 的 1996 和 2003 是怎么回事。
华盛顿的地位已经如此之高,以至于给他一个现代陆军军衔只会让国会看起来很荒谬。“这就像教皇提出让基督成为红衣主教一样(It’s like having the Pope offer to make Christ a cardinal)。”
《食贫道-韩国邪教》,食贫道团队成员“卧底”韩国邪教,其中一名成员卧底了一个月的时间,去接受“教化”。完备性上不如《以神之名:信仰的背叛》,好在是团队成员的亲身经历,代入感比较强。如果我一个人在韩国的街头走,会被盯上么?
《代码之外-第 15 集 | 和 VSCode 核心开发吕鹏聊 AI 编程、Vibe Coding、未来程序员还是否存在》,推荐,我还没听完,关于 VibeCoding 还是 PairCoding 的定义还是挺有启发的。再次吐槽微软的产品命名:Github Copilot, Github Copilot Coding Agent, Microsoft Copilot,聊起来太费劲了。
2025-08-03 08:00:00
Summary of Heroku June 10 Outage | Heroku
[[Heroku]] [[事故分析]],这个故障造成一些客户长达 24h 的停机,属于重大事故了。
A lack of sufficient immutability controls allowed an automated process to make unplanned changes to our production environment.
发生了什么?
看到他们现在的 status 页面的域名还是 status.heroku.com
,感觉之后还是会可能发生因为 DNS 配置文件导致用户无法访问 status 页面,这里建议的做法是搞一个 company+status.com
域名来提供 status 页面,比如 www.cloudflarestatus.com
。
Choosing Between Count and For-Each | Ned In The Cloud
[[terraform]] 的 count
和 for_each
差异。count
生成的是一个有序列表,通过整数索引来访问,for_each
生成一个 map,通过唯一键来访问。当列表顺序发生变化, count
会先删除原有资源然后重新创建,for_each
不会。推荐默认使用 for_each
。
How we tracked down a Go 1.24 memory regression across hundreds of pods | Datadog
How Go 1.24’s Swiss Tables saved us hundreds of gigabytes | Datadog
[[DataDog]] 在将 [[Golang]] 升级到 1.24 之后的经历。
/proc/$pid/smaps
对比,发现 Go Heap 增加了,最终 Golang 团队定位是 1.24 在进行 mallocgc 重构时移除了一个优化:在分配包含指针的大对象时,Golang 会无条件的重新清零这些内存。[[Oxide]] B 轮融资了 $100 M,还是那个问题,什么客户会购买他们的产品呢?
GitHub - charmbracelet/crush: The glamourous AI coding agent for your favourite terminal 💘
开源版本的 Claude Code,是 Golang Charm 团队维护的,目前在 Golang 生态中编写 TUI 的话可能大概率会选择 Charm 的 bubbletea ,不知道这个使用体验是否会好一些。
另外有趣的是它们的 License 是 FSL - Functional Source License,FSL License 会在 2 年后自动转换为 Apache 2.0 或 MIT,相当于提供了一个 2 年的商业保护期。
Making Postgres 42,000x slower because I am unemployed
喜欢这篇文章,各种意义上。当大部分人在告诉你如何变得更好时,找到一些变得更糟糕的办法也可以更好的了解系统运行方式。(我司产品的一些 bug 就是靠着各种嵌套集群发现的。
Willus.com’s K2pdfopt 可以对 [[PDF]] 进行裁剪,比如去掉边框空白部分。
AWS deleted my 10-year account and all data without warning
作者在 [[AWS]] 的所有服务都因为 [[AWS]] 内部错误丢失了,[[AWS]] 推脱说是因为作者没有及时的完成身份验证,所有数据都被删除了。作者是在住院期间收到的邮件,在确认要住院前,还特意把所有的数据都备份到 [[AWS]] 上。
难以想象该有多绝望(想了一下我自己的数据,如果 Google 突然删除了我的账号,我的很多关联事项就会瘫痪。。
在这里,大厂员工的话题总是围绕着数字:工资、级别、股票、分红、年终奖。置身其中,让人不禁感慨自己仿佛是一位职场新手。
说起来,我从北京来到上海有部分也是因为这个原因。直到现在,当我身边有同事因为发布了某款 3A 游戏请假去玩的时候,我还是会很开心,这个环境是我喜欢的。
My Experience Working at TSMC Arizona For 4 Years : r/Semiconductors
They refused to help us because “Americans make too much money for us to help them.”
Also, all of those I still talked to that had quit said they were better off. Every project comes from the “mother fab” in Taiwan and needs to be followed no matter what, excluding logic or reason. So there was zero place for innovation or even basic brain use. The job became show up, see what you’re being told to do that day, have the plans change, fix it, be super behind, rinse and repeat.
It created a very toxic style of no teamwork, no one helping anyone, and overall delaying all projects.
I work to live, they live to work.
一名美国台积电员工的经验贴。这里的描述符合我对一个糟糕工作氛围的想象。
Product Manager vs. Product Owner: Why Teams Get These Roles Wrong - The New Stack
Product Manager (PM): Driving the What and the Why Product Owner (PO): Owning the How and When While the PO role is crucial within Agile teams, it should not be confused with product management. Assigning PO responsibilities to someone without strategic training or customer exposure often results in delivery without direction. Business Analyst (BA): Making Clarity From Chaos Delivery Manager: Keeping the Wheels Turning Technical Product Manager (TPM): Translating Vision into Systems Product Marketing Manager (PMM): Crafting the Narrative
印象中和朋友聊过很多次这些岗位对应的职责,很多时候都是混乱的,如果直接从职责去聊,然后把职责扔到具体的人身上,不定义岗位,可能就清晰多了。
起因是他发了一个关于现在的中国人普遍不感恩父母的视频,明显是针对这类老年人的流量,我则一直秉持着即便冒犯也要实话实说的态度,把我同温层里的普遍认知发给他看。对这种思想进行解剖和批评。
结果当然是老父亲各种感叹号问号排比句,近乎破口大骂。我也继续启动激情互怼模式。
但是突然之间,我对他发来的一些恶狠狠的微信文字产生了间离感。过去那种 ptsd 没有再发作,而是变成了一种轻微的滑稽感。我竟然拿着手机笑了出来。
我不会对爽文应激和生气,因为它其实根本无法威胁到我。我反而会想一想,对方说这些,是在向我乞求什么,我可以适当满足,而不要看成是压迫。只要不是心理变态的父母,你真的做出卧冰求鲤的举动,他们反而会吓坏了的。所以,根本无须以为宣扬孝道就真的希望你那么做。这只是一种低层次认知里的夸张。
《骆驼狮子小孩》,宁家宇单口喜剧专场,豆瓣评分目前是 7.1。这个专场没有开场演员,主持人下台之后直接就是他自己讲,讲了 2h,相较于国内的其他专场,实在是太长了。
在我观察中,宁家宇是有一个很得体的社会身份的,东北人,毕业之后进入辽宁广播电视台,有几档受众还不错的节目,结婚生子,在广播行业不景气之后,离职在沈阳创办了单口喜剧俱乐部,同时自己也在北京演出。不管怎么说,这个社会身份是很不错的。但他在喜剧行业里的评价是两极分化的(可能不喜欢的更多一些),播客和单口都不讨喜。
这个专场的名字是来自于尼采的《查拉图斯特拉如是说》,骆驼、狮子、小孩分别对应着不同的精神状态,在这个专场中,宁家宇将其分别对应于他自己、老婆、儿子。讲述的是一个中年男人在亲密关系中,在面对现在的“主流”声音时,自己的一些想法。在看的过程中,感觉其中的有些观点有些别扭,这个别扭不是来自于观点,而是来自于观点和他这个人的矛盾,不知道是不是为了迎合观众,感觉他有点太在意了。他作为一个中年男人,面对来自社会身份的压力,一直在以骆驼的状态去“我应该”;在与老婆平时的沟通中的“谨慎”,发现老婆一直在“我要”;在与儿子想要做朋友,但是发现儿子真的“不拿他当爹”之后产生的身份失衡,发现儿子一直处于“我是“,心态失衡。回应到开头我观察到他的社会身份,他为了在这个社会身份中扮演一个合格的角色,活的很累。
《不开玩笑-202. 低头不见抬头见:聊聊邻里间那些事》,感觉大家都差不多,只有小时候会去邻居家串门,或者因为有了孩子之后,邀请孩子的朋友到家里串门。
《不开玩笑-203. 赛出风格,赛出水平,聊聊比赛,斯密马赛》,知道了淘宝有一个“丑东西”大赛,最近在杭州有线下展览,确实挺丑的: 淘宝首个丑东西线下展,也太没创作瓶颈了 。