https://vedgie.net/writing/darwin_machines.md
目前的大模型是不是解决了系统一的思维方式,通过大量已有信息构建了一个可以快速响应的“经验网络”。如果需要像人脑一样具有批判性的思维,只需要再加一个前额叶,可以实现系统二的思维方式,就可以让回答更有效
目前的大模型是不是解决了系统一的思维方式,通过大量已有信息构建了一个可以快速响应的“经验网络”。如果需要像人脑一样具有批判性的思维,只需要再加一个前额叶,可以实现系统二的思维方式,就可以让回答更有效
https://dl.acm.org/doi/10.1145/3485513 python3.13使用的jit技术
Proceedings of the ACM on Programming Languages
Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode | Proceedings of the ACM on Programming…
Fast compilation is important when compilation occurs at runtime, such as query compilers
in modern database systems and WebAssembly virtual machines in modern browsers. We
present copy-and-patch, an extremely fast compilation technique that also ...
in modern database systems and WebAssembly virtual machines in modern browsers. We
present copy-and-patch, an extremely fast compilation technique that also ...
uucloud
快到世界线分叉的节点了
去年放弃了做大语言模型AI infra,选了一个轻松的工作。一年过去了,现在总的来说就是很后悔,虽然闲暇时间多了非常多,打了比过去所有时间都多的游戏,但是工作来说,还是应该选具有挑战性,有成长性的,同事和团队比公司更重要。就不说放弃的AI公司offer期权已经涨了2.5倍了,他们做的东西现在看起来也都非常有趣,成长的也非常快,反观我在当前公司一年基本没有太多成长。
https://arxiv.org/abs/2310.09423
现在这个时间点,quic(udp + quic + http3)在高速网络(600Mbps以上)中比起http2(tcp+tls+http2)性能更差,这篇论文的测试结论是客户端侧的性能瓶颈,在客户端的比较中quic会消耗更多的cpu但是得到更低的吞吐量。
原因主要是:
1. 更多系统调用:同样大小的文件,相比于tcp,quic在端侧会产生更多接收数据包的系统调用(1G文件,http2 15k次,quic 231k次)。首先是网卡卸载技术(NIC)在tcp中很成熟,但是对于quic,由于udp GSO/GRO这些接收卸载技术限制要求有相同长度的数据包,quic又是多路复用的,所以这些udp GSO/GRO卸载技术对于quic效率低下。 其次聚合udp包可能会导致拥塞丢包和公平性问题。最后quic有很多变体,nic硬件实现很复杂。文章里也实验了开启GSO/GRO的情况,确实没什么优化。综上目前的quic实现基本都没用nic技术,这导致了quic的内核开销很大。
2. user space的处理非常多,ACK更慢:内核开销大,有很多比如copy_user_enhanced_fast_string的调用,user space的消耗也不小,并且ACK生成目前chromium是在use space实现的,而http2 ACK是内核处理,有很多优化(比如tcp delayed ACK和接收卸载),ACK生成更高效和稀疏。
现在这个时间点,quic(udp + quic + http3)在高速网络(600Mbps以上)中比起http2(tcp+tls+http2)性能更差,这篇论文的测试结论是客户端侧的性能瓶颈,在客户端的比较中quic会消耗更多的cpu但是得到更低的吞吐量。
原因主要是:
1. 更多系统调用:同样大小的文件,相比于tcp,quic在端侧会产生更多接收数据包的系统调用(1G文件,http2 15k次,quic 231k次)。首先是网卡卸载技术(NIC)在tcp中很成熟,但是对于quic,由于udp GSO/GRO这些接收卸载技术限制要求有相同长度的数据包,quic又是多路复用的,所以这些udp GSO/GRO卸载技术对于quic效率低下。 其次聚合udp包可能会导致拥塞丢包和公平性问题。最后quic有很多变体,nic硬件实现很复杂。文章里也实验了开启GSO/GRO的情况,确实没什么优化。综上目前的quic实现基本都没用nic技术,这导致了quic的内核开销很大。
2. user space的处理非常多,ACK更慢:内核开销大,有很多比如copy_user_enhanced_fast_string的调用,user space的消耗也不小,并且ACK生成目前chromium是在use space实现的,而http2 ACK是内核处理,有很多优化(比如tcp delayed ACK和接收卸载),ACK生成更高效和稀疏。
arXiv.org
QUIC is not Quick Enough over Fast Internet
QUIC is expected to be a game-changer in improving web application performance. In this paper, we conduct a systematic examination of QUIC's performance over high-speed networks. We find that over...
https://seismic-explorer.concord.org/
地震地图,标识出了1980年后大于5.2级的地震(共10万多次)
看起来大陆内陆还是比较安全的,1980年以来没有6级以上的地震
地震地图,标识出了1980年后大于5.2级的地震(共10万多次)
看起来大陆内陆还是比较安全的,1980年以来没有6级以上的地震
“比如说以美国为代表,你们应该看到Ray Dalio关于债务危机的那本书,里面有个利率曲线,二战前我们的利率就是0,到80年代利率达到顶峰,2008年次贷危机到疫情期间利率再次达到0。利率的低点到底是什么意思?为什么在过去的百年历史里,利率的低点总是战争的起点?是有原因的,因为利率的本质实际上就是贫富差距,利率越低的时候,贫富差距越大的,利率越高的时候,贫富差距越小的。”
https://mp.weixin.qq.com/s/L8hEWoDYsWC_1K-CqTGvvg
https://mp.weixin.qq.com/s/L8hEWoDYsWC_1K-CqTGvvg
Forwarded from 飛蛾書庫
Telegraph
说说《西游记》里的那些老百姓
今天讲讲离现实世界远一点的题目,《西游记》。 01 今天主要说说《西游记》里头的老百姓。 要说书中的老百姓,给人最强烈的一个感觉就是隐忍。好像不管环境如何恶劣,他们都能见惯不惊。 比如说在比丘国,国王要拿一千一百一十一个小孩的心做药引子,勒令父母们在家门口挂鹅笼,将孩子养在里面,等到时候剖心。他们也就老老实实把孩子挂在门口,而且连哭都不敢,因为“那些父母惧怕王法,俱不敢啼哭”。而这个时候比丘国里又是什么气象呢?唐僧他们一眼望去,只觉得“说不尽繁华气概”。“酒楼歌馆语声喧,彩铺茶房高挂帘。万户千门生意好,…
uucloud
说说《西游记》里的那些老百姓
生活就是一个缓慢受锤的过程,有的人接受了一切,于是步入了中年,而有的人还总想梗着脖子。我既不想步入中年,也不想梗脖子,但是我的脑子总是会不断的构造新的愿景然后推理,迫使我没有办法成为一个快乐的傻逼
“People who think they are Special and Chosen are dangerous and bad for the world.”
那些认为自己特别且被选中的人对世界来说是危险且有害的。
https://contraptions.venkateshrao.com/p/discworld-rules
那些认为自己特别且被选中的人对世界来说是危险且有害的。
https://contraptions.venkateshrao.com/p/discworld-rules
Venkateshrao
Discworld Rules
And LOTR is brain-rot for technologists
https://simonwillison.net/2025/Mar/2/hallucinations-in-code/
"LLM生成的代码通常看起来很完美:变量命名恰当、注释令人信服、类型标注清晰且结构合理。这可能会让你产生一种虚假的安全感,就像 ChatGPT 给出的语法正确且充满自信的回答可能会诱使你跳过事实核查或忽略保持怀疑态度一样。"
利好测试驱动开发
"LLM生成的代码通常看起来很完美:变量命名恰当、注释令人信服、类型标注清晰且结构合理。这可能会让你产生一种虚假的安全感,就像 ChatGPT 给出的语法正确且充满自信的回答可能会诱使你跳过事实核查或忽略保持怀疑态度一样。"
利好测试驱动开发
Simon Willison’s Weblog
Hallucinations in code are the least dangerous form of LLM mistakes
A surprisingly common complaint I see from developers who have tried using LLMs for code is that they encountered a hallucination—usually the LLM inventing a method or even a full …
发现一个很有意思的网站,战争研究所,有一些军事分析和冲突研究信息,比如有每周的china-taiwan周报 https://www.understandingwar.org/backgrounder/china-taiwan-weekly-update-march-21-2025
http://nathanmarz.com/blog/suffering-oriented-programming.html
“First make it possible. Then make it beautiful. Then make it fast.”
“First make it possible. Then make it beautiful. Then make it fast.”
Nathanmarz
Suffering-oriented programming - thoughts from the red planet - thoughts from the red planet
Someone asked me an interesting question the other day: "How did you justify taking such a hu...