People don't understand Napoleon's insane IQ. Napoleon once spotted a shipment of boots missing in an army of 500,000 troops. Napoleon once recalled 2 cannons missing from formation of 500 of them. Napoleon would read for 12 hours straight on the most abstruse subjects. Napoleon had a custom library designed to take with him on campaign. Napoleon would dictate and read letters while taking baths. Napoleon would kick his counselors awake when they started falling asleep at 2 in the morning. You are very likely not operating at Napoleon's level. When you study the greats of history you really realize the true level of genius that these people operate at.

this is so fun Below: an LLM loop is hooked into the Lisp REPL, and the LLM adds functions to the REPL as needed. These functions persist across application restarts. Instead of the entire read_file + edit_file + bash compile loop, it's now just prompt functionality in the application as it runs.

Un pequeño acróbata de los bosques japoneses. La ardilla voladora enana japonesa utiliza una membrana entre sus patas para planear de árbol en árbol, recorriendo grandes distancias sin tocar el suelo. Sus enormes ojos le permiten desenvolverse en la oscuridad.

I have plenty of worries, but the coolest thing by far about the LLM era for PL research has been the ease with which we can now make tools that are actually usable. Used to have no time for really nice VSCode plugins and whatnot, but that stuff is perfect for Claude Code

突然意识到一个非常细思极恐的事情，就是语言的边界就是思想的边界。 比如举个例子，英语当中并没有像“孝顺”这个词一样高频、浓缩并且明确带有道德评价的词。在英文语境当中常常表达的就只有love and care，而中文里的“孝顺”是用“孝”和“顺”组成，它把爱、照顾、服从、责任、牺牲全部都浓缩成一个词。 也就是说一个人可以很爱父母，愿意照顾自己的父母，但是如果他没有听父母的安排，没有听父母所说的话，就会被道德评价为不孝或者是逆子。 再比如“早恋”这个词，英文当中并没有早恋对应的词，可能有first love或者puppy love，但是都是一种非常可爱的、稚嫩的、青春的感觉。但是“早恋”核心修辞语是“早”，也就说已经默认存在了一个正确的恋爱时间表。 在某个年龄之前产生亲密这件事情首先就被定义成为了发生的太早，所以可以看到中英文语境下对于一件事情采取了完全不一样的命名视角。 为什么需要专门创造一个带有时间违规意味的词去命名青少年那种美好的、稚嫩的亲密关系？也很少说早有情、早梦想、早独立、早竞争。 一个十四岁的孩子拼命的上学、学习，大家可能会说这孩子有上进心。那十四岁开始思考未来会说成熟，如果十四岁开始喜欢上了另一个人就突然出现一种专门的词叫早恋，这就意味着一套语言系统背后藏着一个关于制度性的时间表。 什么时候应该学习？什么年龄段可以恋爱？什么年龄可以结婚？什么年龄应该生孩子？我用语言帮你定义，如果你太早就叫早恋，你太晚你又变成了剩女。你会发现两个看似相反的词，它的本质的、底层的逻辑是完全一致的，就是社会在替我们规定人生的正确时钟是什么。 同样的中文当中也有一个非常容易混淆的词，我经常在小学语文生字听写、词语听写的时候我经常会混淆。但是如果看英文当中的rights and power，这完全就是形态和语义上都是高度分离的。 rights的意思就是我有什么正当的理由和主张，而power的意思就是我有没有能力影响、控制、决定别人。一个人可能有power却没有rights，也有可以有right或是缺乏power。 两个概念一旦被分的非常清楚，很多的社会关系就会变得非常的清晰，及其具备逻辑性。比如你就会意识到你的父母拥有照顾和教育孩子的权利，但这不等于拥有支配孩子的权利。 老板拥有组织、管理的权利，但并不拥有侵犯员工人格边界的权利。多数人拥有社会影响力也不意味着多数人的偏好自动就变成了少数人必须服从的正当性。 所以对我来说学习一门新的语言最大的意义就是你突然会获得第二套看待世界的视角和方式，你会意识到居然还可以给世界这么分类，新的思考方式，新的逻辑。 站到自己熟悉的语言之外去看看那些自己从小到大从未怀疑过的词，然后意识到原来我以为的有些东西常识，有些只是我熟悉的语言替我设定好的默认出厂设置

很多人只记得华为被美国制裁，可能早就忘了当年还有一个轰动全网的“251事件”。 李洪元，在华为干了12年。 2018年1月离职时，他和公司谈妥了30多万元补偿。 钱到账后，华为方面报案，认为这笔钱涉嫌敲诈勒索。 然后，他被抓了。 这一关，就是251天。 幸运的是，李洪元当年留了个心眼，把和HR谈离职补偿的两个多小时录音完整保存了下来。 后来案件两次被退回补充侦查，最后检察院以“犯罪事实不清、证据不足”作出不起诉决定。 人出来以后，国家赔了他10万多元，还发函要求为他消除影响、恢复名誉。 在一家公司干了12年，一笔谈好的离职补偿，最后演变成刑事案件，人被关了251天，案件两次退回补充侦查，最终连起诉条件都没有达到。 华为后来公开回应，强调公司“有权利，也有义务”对涉嫌违法的行为向司法机关举报，并表示支持李洪元通过法律途径维权，包括起诉华为。 这件事过去这么多年，我现在想起来，还是觉得后背发凉。 职场里有些东西，真的别嫌麻烦。 谈钱、谈离职、谈补偿，聊天记录、录音、转账凭证，能留的一定要留。 李洪元当年那段录音，最后真的救了他。 也正是因为这件事，我对华为的好感就无了。 一家公司再大、技术再强，和一个干了12年的老员工走到这一步，也很难再让人心生好感。