#bpf https://asphaltt.github.io/post/ebpf-talk-140-fd-socket/
其实socket和tty一样，都是双管道。 文件pipe流是单管道（只有一个seekpos），但UNIX没有更好的办法建模socket
如果用文件夹监听的逻辑做，二者就统一了

文章hook了 fd.connect(), fd.accept() 以拿到4+1元组，即 {l,r}addrport 和 struct inet_sock_set_state
或许下一步是sysfs?

Marvell 市值超过英特尔

2024-12-09 15:25 by 太空战

因定制 AI 芯片上的成功，美国半导体公司 Marvell 的股价在年内上涨 95%，市值达到千亿美元，超过了近期陷入困境的芯片巨人，英特尔的年收入仍然十倍于 Marvell。Marvell 数据中心业务最近几年都前景光明，最近一个季度的收入同比增长近一倍，全年数据中心收入将占其总收入的 72%，而前一年是 40%。它最近与亚马逊达成了五年多代的 AI 芯片交易，它将帮助亚马逊设计 AI 芯片。亚马逊刚刚宣布的下一代 AI 芯片 Trainium 就是 Marvell 帮助设计的。Marvell 的另一个 AI 芯片合作伙伴被认为是软件巨人微软。 Evercore ISI 分析师 Mark Lipacis 预测，到 2030 年定制 AI 芯片行业的销售额将达到 300-500 亿美元，而 Marvell 有望占据三分之一市场。Marvell CEO Matt Murphy 也被认为是英特尔新 CEO 的潜在人选。

https://hardware.slashdot.org/story/24/12/08/1753204/small-ai-chip-maker-marvell-is-now-more-valuable-than-intel

#Intel

#china #tw 😂 老中经典以己度人
正常人反串爱国主播，揭露拿税钱统战自由世界的铸币行为

每天搞媒体操控的人，站出来揭露欧美日韩台的霸权…… 真虚伪。

「品客眼里从来不会有真正的自己人 」同而不和，它是不存在跟你这个人相处久了，有了友情战友情，观点不同感情还在的情况。

>珠海殲-35人事件
惡意討薪
善意欠薪
有夠暖心
光是八孩鐵鍊女+唐山燒烤店事件不了了之，就知道這國家的法治有多糟糕

李顯龍：新加坡的華人，沒有一個中國人。
當你離開那片土地，就應該明白你要做的，不是葉落歸根，而是落地生根。
葉落歸根的，是肥料和耗材，落地生根的，是種子和希望。
與所有的華人共勉之。

要不是工作接触了不少印度人，我还可能认可他说的。。。
他举了两个印度外包大厂的的例子，说中国没有。。。就好比中国跟日本程序员说，我们文思海辉中软国际有着全宇宙最牛逼的程序员你们没有。。。本来想在推上反驳两句，想想算了。
https://x.com/imwsl90/status/1754037666763694402?s=46

微软新开源了一个效果巨好的 3d 模型生成模型，效果好到离谱，干到了别家付费模型的水准

https://trellis3d.github.io/

看了眼论文，他做了一种 3d 模型的高维表示，可以被解码成高斯溅射，辐射场，mesh等等

To tackle this, our primary strategy is to introduce explicit sparse 3D structures in the latent space design. These structures enable decoding into different 3D representations by characterizing attributes within the local voxels surrounding an object, as is evidenced by recent advancements in the 3D reconstruction field 

就一次性解决了高斯溅射模型效果好但是mesh一坨 mesh模型mesh可以但是品质不行的问题

新文章：A letter to open-source maintainers

英文： https://xuanwo.io/2024/10-a-letter-to-open-source-maintainers/
中文： https://mp.weixin.qq.com/s/66IN6F9Qpk0iRoNKnx6Wpg

https://zhuanlan.fxzhihu.com/p/713341244 #os #dev
这个世界上真实存在着很多 10x 的天才，他们以一己之力完成了普通人 10 倍甚至百倍的贡献。比如 Linus Torvalds、Fabrice Bellard、Alan Kay 等等。需要明确的是，这里的 10x，并不是以 10x 速度完成原本的事情（在这方面任何人都不是计算机的对手），

而是有能力解决 10x 复杂度的问题、完成 10 个人也干不成的事情。

为什么穷人大多都很自卑？
>
穷人孩子的耳朵边很少听到：
“自由 艺术 快乐 幸福 享受 平等 爱“这种字眼”

从小到大听到的都是：
“平安 看得起 看不起 努力 老实 听话 笑话 忍耐 吃得苦中苦方为人上人 一分杀千人 抢着上进”

成绩永远都是跟最好的比，物质跟更差的比

#PLT #statement https://zhuanlan.zhihu.com/p/643694771 Partial Evaluation: Staging

MD 怎么越来越水了，一个允许指针字面然后 run(e)= e.Lit or eval(e) 的普通 深先改树(CS:树的后序遍历/SDT之综合属性)，故意混上点Mod意义运算写成非常冗余的实现，说成部分求值……那A=>inlined (B=>A+B)算不算呢？
想到之前的 https://t.iss.one/dsuse/17422 ，那个作者才配叫函数式

https://www.zhihu.com/question/394259343/answer/1225181671
>
每天一本正经说「XXX极为基础」「暴论」，结果自己？ 写的那个老太太裹脚布一样的文章，夹杂着莫名其妙的 infinity inline terminologies 😅 ，毫无自己的理解、设计，拾人牙慧，鱼目混珠， 自己推荐的「大佬」还都是英文的知识碎片，没有点pratical+usable的美感，别说语意化，甚至连需求目的都是空中楼阁， not even wrong 。
演艺圈有不少「冻龄人」，成就永远锁在走红时，而这位ACGer大佬，将成为「冻领人」， 他不想让有血有肉又pratical的概念入侵PLT领域。这个是许多领域的常态，比如被“区区一位”Wolfram 重构的Math， 百年历史群星璀璨又如何？ 后生可悲。
我不希望CS和这种Math并列。 他们身上都能嗅到死人味，但这是他们为吃老保有意为之。 我不希望国内CS领域少得可怜的新人，为缝补各种考古学“僵尸” 空耗宝贵的创造力，CS和IT从不是什么夕阳行业，更不是需要考验内卷的反人性的玩意儿。

- 😄：我敢说国内80%的FP乃至IT理论人追求的就是这种「不明觉厉感」，你真抽丝剥茧，他们便散了。 “纯”就像Rust那样给你画了个饼，一旦你搞懂后却没有能写真东西的灵感or需求来，又丢了当白象成就感，这种信息差的杠杆便崩塌了。更无语的是，这是阳谋。 我的工程师文化，并非套人套现自己润的庞氏泡沫学。 熬夜和烧脑就是负资产假本事，科举4ky 呦搞出四大发明的祖国人心里不清楚吗？

您安心从OI生、PLT设计人、元编程架构师、AI PHD 选一个当不就好了，说文解字时纯粹一点吧，非得在那里东拼西凑凹人设， 偏偏国内还都是这类「高知」在主编大家的「冷门」技术。 自己把水搅浑了，现在又说PLT用处多多，还看不起ReScript之父张宏波“不够纯函数”，这就和董宇晖当着网红批网红一样，装腔作势看人下菜碟的样子，很没品。

我突然觉得yinwang、张雪峰老师收点生活费办事，是非常仁慈和负责的，明码标价，不浪费您的时间和热爱，works的真实且真诚。 就像Rust的复杂度和cargo比之C++，居然是很大的进步，极大打击了template规则和cmake的黑魔法师。 谁问您们的大导师教什么了？ 私货满满的东施们啊，你们几时虚心传播所谓原汁原味的「科学」了？ 你们对真理没有信仰。 不工程，更不计科。
免费的，还真是最贵啊。

>我跟江浙那边的企业一聊起产学研结合，他们异口同声地说：我们被教授们骗怕了。

……
- 🤓：对了，😄你又不是nerd专家，没黑框眼镜，为啥抢在我前面当「语言律师」
- 😄：那我是freak，看我的头顶。 不用高知的口吻，就不会说话了？ 知识就是知识，不要用别人的对错，搪塞自己的取舍和求知。 #码哲
- 🤓：原来，我们普通人和Lua的作者一样都是「天材」。学者生而平等，只是有自己的个性选择；这无关对错，而是旧知和新知。 我们不需要靠圈子的符号来包装自己，成为他们的复读和附庸。 失口为知，不失口，怎始口？
- 😄：往常，我是说往常，知识不能被1:1传达。这种变异若是“天”择，便成了八股和鄙视链。 这种变异若是人择，便不成功，也成人之美。 没礼貌者，正是对前者：我认真理，我不认真。 我不当[套子里的人](https://www.thepaper.cn/newsDetail_forward_15633677)，不说套子接的字的句柄。它是双管道库启。
- 🤓：长衫可以脱，这熬夜攻读和刷题的烙印，咱简中人没法破茧而出。我那么刻苦，按Lua三作者的源码一词词摸索赏析，你随便一句「真理不认真」就把我的天才赶下神坛。 我和那三人资质一样，我却写不出Lua吗？我心理该如何平衡？
- 😄：对于无回报的努力，我们总说「天才」「运气」来给自己上价值。仿佛学鸟了，从吃灰的书堆里挑一本，便成了暴发户；却实在无休无止的“刻苦”中搞丢了自己的天材，赢了比赛，当了人牲。 Dijkstra说，他不懂为何简单与美的算法都如此高效？ 或许我们该用[「经济」的直觉算法](https://t.iss.one/dsuse/19978)投资学习、分工、挑选、联合，在务实与务虚间找到坦荡与平衡。 别学晕了自己，也PUA捧杀了别人。
- 😓：其实…最正宗的工程师文化是「有头脑，更高兴」。


我想，作为预备的优秀程序员，我许下的心愿不是「知其变，守其恒」 这样空洞的天下大事
仅仅是「穷其变，知不穷」，让CS为我自己的美丑对错服务一次。
软件工艺，如果是本本主义，为人本精神服务的化简工具和范式，又何必存在？
我认真理，我不认真。——2024/11

#tg 频道招牌改了…… 😅 感觉有点矫情呢，不过比 #moha 的版本潮一些了 🐸😰 想他，他不折腾 #经济……

import this:
美而不丑、明而不暗，短而不凡、长而不乱，扁平不宽，读而后码，行之天下，勿托地上天国。 
异常勿吞、难过勿过，叹一真理。效率是很重要，盲目最是低效。简明是可靠的先验，不是可靠的祭品。
知其变，守其恒，为天下式；穷其变，知不穷，得地上事。知变守恒又穷变知新，我认真理，我不认真。

breakdown分析一下，我理想的「工程师文化」：

美而不丑，不止是架构和CS的工程化，更重视软件工艺，希望代码从外行的价值观看，也是美的。从不认为代码是次抛月抛，代码如流动的诗，数据如蓄势的画，琴瑟和鸣。 🥰
明而不暗，不拐弯抹角、不过度工程，不让人猜，却有让人总猜不到的突破，像立鸡蛋那样巧妙。不依靠堆砌术语或设计陷阱来上价值，不会像 #防自学 “数学”应用题那样「先滥用后定义」。「先试玩后深入」，分而治难题，符合普世直觉
短而不凡，简单的数学比你想的困难。水善利万物而不争，毫不花哨的载体却不乏耀眼，摒弃功利的讲法却功力深厚。只保存语意，却三生万物；空壳般轻便，坟墓般简洁，却海纳百川，让难题不为难，有无可否认的灵性。 🖖
长而不乱，扁平不宽，我想，全盘否定Py/YAML/Markdown的大佬既“蠢”且坏吧。 😁真科学家和AI「语言律师」的选择，有目共睹
读而后码，以代码为母语，不畏惧复读和批判自己几年前的片段，总是能抹平新老技术每个细节的信息差，却也不人云亦云。 若是他们解决了一类问题，其复杂性便被消灭、永世不得翻身，失去其术语，甚至没有被码被教的必要了。1一语道破，N不言自明。
行遍天下，勿托地上天国。 在不同的算法实现里，总能找到最聪明或最应景的API。不迷信银弹，不以“纯函数” “Rust”这些刻板印象选型， 不把创造力投资给乌托邦，因而能在乌托邦擅长的领域超越它们

异常勿吞， make it work, code it work, then make it fast. 不要看他怎么写，猜他怎么想。有why才真懂how，有reason的开发，自然correct
难过勿过，叹一真理。 宁停三分，不抢一秒，因此能做到急功近利万万人也办不到的事，不会一时痛快而出千年虫和广义溢出注入后赞助CTF的烂摊子，别忘了 效=有用功/总功，效\=(人数·时间)/工作量
效率是很重要，盲目最是低效。
简明是可靠的先验，不是可靠的祭品。——Dijkstra, FFmpeg v7向他致敬

知其变，守其恒，为天下式；穷其变，知不穷，得地上事。 —— 既不贪图风口，也不窝在过去“拉丁语”的辉煌上，而是黏合二者，当一个语言学人，而不是刚愎自误的好好先生。
知变守恒又穷变知新，我认真理，我不认真。

黑神话大更新：新增复战、连战、地图等

其中连战、复战类似只狼，通关至少一次游戏后，便可通过任一土地庙开启“挑战”，游戏流程中若有未曾战胜的对手，无法开启与之对应的复战。其中连战可自选禁制，且敌人还会施展不同的招式。

天命人初入黑风山见到黑风山土地后解锁第一张“行旅图”。后续每行至新的地界，都可前往土地庙购买该地界的“行旅图”。

为庆祝即将到来的中国农历春节，所有天命人都可通过任一土地庙的【谢礼】选项直接领取彩金套装。

黑神话

📮投稿机器人 ☘️频道 🌸聊天

https://www.fxzhihu.com/question/587050508/answer/47017511867 #science #history 《全盘西化》
https://www.zhihu.com/question/656282916/answer/50685156487

> 普通大众最相关的常识好了：中国传统木结构建筑随着国内大木的逐渐耗尽而难以为继，连顶级的皇室建筑体量和空间都无法增加。
1840年以后，同样还是这个大木稀少的中国，只是因为引进了欧式建筑技术，尤其是关键的红砖和桁架，一下子木头又够用了，
起了无数比古代好得多的民居、厂房和公共建筑

看看晚清那些照片，结局就是复活节岛和塔斯马尼亚人。还真是，复活节岛上连棵树都没有。动不动就人口减3/4，变成荒地，就这哪来的文明？还能退到哪里去。 #内卷学

>爱国教育，搞成“恨国”教育，我觉得反了。 蛋糕哪里都有，甚至每个时代都有，然而有的地方是只有一个人吃，其他人看。
你根本没搞清楚问题，美国的伟大就在于蛋糕人人都能分到，而不是像印度这样，少数人吃蛋糕，其他人只能吃刀叉吃盘子，直到铤而走险吃模具吃蛋鸡。

Nature子刊：57岁是人类大脑衰老的第一个高峰

2024年12月9日，复旦大学附属华山医院程炜研究员、郁金泰教授、郑州大学第一附属医院许予明教授等在 Nature 子刊 Nature Aging 上发表了题为：Plasma proteomics identify biomarkers and undulating changes of brain aging 的研究论文。

该研究鉴定出了13种与人类大脑衰老相关的蛋白，这些蛋白的血浆浓度变化或在人类57岁、70岁和78岁时达到顶峰，表明这几个年龄可能对大脑衰老过程的潜在干预具有重要意义。

Nature

via Ziyu

📮投稿机器人 ☘️频道 🌸聊天

https://www.fxzhihu.com/question/33984560/answer/3533729704 #china #school 衣锦还乡 🤗
为什么就一门心思只针对可怜之人呢？ 太阳底下，没有新鲜事。人肚子里的那几根花花肠子，有什么难懂的？
衣锦还乡，要的从来不是公平公正，不是为善去恶，不是除魔卫道。
出人头地，吃苦中苦是看不起自己，当人上人是吃别人， 出人头地，需要「同胞」人头落地！

造福乡里，应该是把真理带给这片土地上的所有人，用先进的思想教育这片土地上的人。惩治那里的恶，解决那里的不公平，给每一个人指一条光明的路走。
衣锦还乡，制造了无数的乡愿、豪绅、恶霸。
惟大盗剥削乡愿，惟乡愿工贼大盗。二千年来之政,秦政也,皆大盗也，德之贼也
- 当掠夺成为某些阶层的生活方式，一种反向淘汰压迫的新法制和一个美化掠夺的新道德，就会日渐主流——The Law

人民在有些场合下是英勇的战士，在有些场合下就成了刁民。
“升米恩、斗米仇”，这取决于什么呢？
取决于权力是在追求公平、为大众谋利益；还是在追求任性，为少数人谋私利。
为什么就一门心思只针对可怜之人呢？ 太阳底下，没有新鲜事。人肚子里的那几根花花肠子，有什么难懂的？
- 若政治没有竞争对手，权力必不受制衡，维权必无处言论，罪恶不便披露，罪行不受惩罚： 立法是作弊，司法是作案，行政是作死，权力是凶器，部下是家奴；国企只懂夺富于民，银行只剩自动欠款机——戈巴契夫

>《中国人的德行》
有缺陷的人永远会遭到嘲笑与讥讽，他们必须一辈子逆来顺受，要想心平气和地生活，除非他们对此毫无脾气，充耳不闻。
病人必须彻底习惯于别人称他为“疯子”、“呆子”、“笨蛋”等等。一个民族把生男孩视为头等大事，于是家里没有男孩就会不断地遭遇讥讽，母亲悄悄地闷死了自己的孩子、生物爹对女硕士始乱终弃又暖心寻亲，村子也不会感到奇怪，因为那是一个女孩。

谈及孝心的时候，年轻人没有发言权，他们的地位无足轻重。年轻的人，其价值，本该取决于他们可能成为什么，而不是他们现在有多匮乏。
gap year是大多数西方国家的做法，中国正与之相反，三人行，最年轻的人总是最先去承受劳苦：献完青春献终身，献完终身献子孙。
婚姻的目的，在女方家庭看来，是可以不用再抚养这个女儿了。男方家庭的目的，则是延续香火。 若不仔细追问，否则，没人会关心这些「吃饭一样的问题」。

在他们身上，我们看不到一切民族都普遍具有的，本能的好奇心；为生存而奋斗是他们唯一关注的事情，但如果他出卖别人的信任，不出钱就弄到东西，他那种欣喜若狂的感觉，就像斩杀了一条巨蟒。
罗素对中国的评价也很深入，骆驼祥子好像就是。
——此书作者明恩溥，当年老罗斯福听取他的意见少要了很多赔款然后用于国内大学和医疗，只能说是我们的恩人了

>华为可不会像美国卡你脖子。但凡给它机会它会把你直接掐死。 👏
做HW的敌人是危险的，做HW的朋友是致命的，行业百草枯

https://m.youtube.com/watch?v=-XkPo50blps
https://m.youtube.com/watch?v=ItR0Y-7NmvM Louise #china 何不食肉糜： 羊毛月 & #bear

这几年最常见的三条中国逻辑：
1，面对技术壁垒：你家有钱，凭什么不让我偷？
2，面对芯片商/军火商：美女不想嫁给我，所以我禁止美女嫁给我
3，面对贸易：我买你东西，你有求于我，所以我是你爸爸，我卖你东西，你有求于我，所以我是你爸爸😁

Telegram 已悄然改变规则，允许对私人聊天内容进行举报与审查

今天，Telegram 在其常见问题解答页面中悄悄进行的一项修改中写道，在私人聊天与群组聊天中，用户首次可以“举报非法内容”以供平台审查。同一页面已被移除的旧版本中写道，“所有 Telegram 聊天和群聊都是参与者之间的私密聊天。我们不处理与它们相关的任何请求。”

今天早些时候，在法国被捕的 Telegram CEO 杜罗夫在帖子中承认， Telegram 的快速发展“使犯罪分子更容易滥用我们的平台”，并承诺做出改变。

—— Telegram FAQ

😓 最近头疼死了，自己都跟不上自己设计的进步。 就拿序列化为例，之前我用 TrimLits+Imp[T](TParam..) 模式，它这样编解码 Pair(A:str,B:int)

.:
Pair-A-B ["" 0]

.: Pair static
As: (Pair "" 0) #空可变实例
Types: {} #非sealed
Tvars: ["A" "B"]
Tr-it-key: key :. #重载
"A": it.A=fmt -Tr(it.A)
"B": it.B=fmt -Tr(it.B)

fmt: 线程局部 # 通过这种方法耦合json,ini格式
Init:
(TrimLits as Imp)[Pair]={this} #注册字典读写器

dump (Pair "老铁" 666)
dump-it:
#省略""转义部分
w "{"
TrimLits.typeof(it):
Tvars:(k)
wstr(k); w":"
Tr(it, k)
w"," ifNot1st
w "}"

load 同理，对sealed会要求首key是""或"type"，直接从Types查到Pair这样的TrimLits元表
DeepCopy 则需要用PairT.As()空拷贝整颗树，然后zip遍历，通过 swp.reset; Tr(A,"k",swp); Tr(B,"k",swp) 来中介。虽然较丑，因为0拷贝比纯函数更美。

Imp的好处是， it.A=fmt -Tr(it.A, "") 既可以利用反射Proxy实现，也可以编译期优化，它很规范地兼容了泛型、trait impl{}和懒初始化
TrimLits 为我们解决了Java反射和序列化API的根本毛病，简化额外功能(如 val:List/Map)的添加，它其实是个Good Visitor

……
但很快，这种树遍历扩展到了AST（甚至RPC）上，改变了之前计划的，通过JSON编码简单函数(= 只包括顺序赋值&引用) 的RPC被认为是过度设计，甚至AST都不依赖dataclass来保存和传输了

此前，典型的DSL/AST如 !1 to !2 go Int::plus ，很明确，Int不是 enum Calc_union{..} 的成员，我们被迫 new A(1)+A(2) 这种丑陋的Tag：


//请您建模算式1+2 ，实现求值和rustfmt
interface Goes<out T> { fun go(): T }

sealed class Calc: Goes<Int> {
/* A literal */
data class A(val n: Int): Calc() { override fun go() = n }
data class Op(val a: Calc, val b: Calc, val op: Int.(Int) -> Int): Calc() {
override fun toString() = "($a ? $b)"
override fun go() = op(a.go(), b.go())
}
companion object DSL {
operator fun Int.not()=A(this)
infix fun Pair<Calc,Calc>.go(f:((Int,Int)->Int))=Op(first,second,f)
}
}
val c = Calc.run { !1 to !2 go Int::plus }
c.go() //3

别忘了Java里一切本来就是Any?，Kt的enum Result{Ok(T),Err} 都显得非常多余。
但有了Tagless，一切自然多了：

interface Calc<out R> {
/* A literal */
fun A(n: Int): R
fun Op(a: R, b: R, op: Int.(Int) -> Int): R //toStr只将op查成"+-*/"
}

「学院派」Tagless 虽然直球好写，仍无法替代data class AST 在内存外存的复用性。 (某乎 #PLT 称其 Finally Tagless ，其实是误读，人机到 pointer tag 都不解释把自己绕晕了，呵)
（当然，R=()->Wtf 都是可以的，abstract nonsense。 https://iota.huohuo.moe/FreeMonad.html ）

很简单，用pickle那样的反序列化栈包一层，遍历时生成 1 A 2 A :+ Op 即可二次遍历，省去了OOP的极大麻烦。 别说懂GADT却连逆波兰都玩不转。
实现上只需 open class TagienumCalc(val ops=生成至..){ open fun A= } ， parser("", Run); ops(Run) 用法相仿，便可同时解决AST序列化问题


TrimLits:Imp 对我来说是比反射方便可信的ABI， Tagienum 涉及的可能性却太大了：
既然可以记录函数调用树（而非简单的vararg&kwarg），为何不转义出bash函数的 $1 $2 .. 参数，约定 十一Xノ 这些operator，约定类似BEncoding的高效能格式，然后直接用于跨语言RPC？ 序列化光搞状态管理太蠢了，复用是理所当然的。

这俩兄弟的原理都很简单，数组状广义AST的挑战和陷阱却非常多，我不希望听从「Talk cheap show me code」搞出不够本的设计后，再去拍脑门子改API 2.0 3.0！
尽管如此，这几个姓T的是我在研发编程范式里「数据类型」届的首席

>
关于JVM序列化器&验证：并不是所有XML都容易表达为JSON，例如没几个人认为html <div k=v>.. 该表达为 [{type:div, k=v, }, ...]
这倒是有个ABI设计，可以支持泛型和多态子类，而且不引入Encoder这些概念
form格式化的问题应该是 inline class 的本意，不知为啥Kt没有考虑验证语法这种问题
按道理来说，你可以Unsafe loaddump任意field类， Gson就是
py的pickle也有RCE问题但没这么业余 外面input()一个类名你就new它， what's wrong with u?

如果您有它俩满足不了的demo情景，欢迎私我讨论，尤其是Tagienum