duangsuse::Echo pinned «《圣上，何必造反？》 #news #statement 小伊威风堂堂的戒严坚挺5hr就萎了。一个合法的闹剧后，国会几党通过闹剧似的翻墙，190:0合法地废除了这不立而法的政令。 “皇帝”造自己的反，中国有袁世凯、毛泽东、伏地魔， 其实永远没有最后一人。特权导致腐败，以权反腐反复腐败。 「从来没神仙皇帝、慈父教员万万岁；从来没救世主、它是人民的大救星」 他是想发动「喊着民主反民权」的自我政变吗？ 他为啥做必然失败的政变呢？ 大韩民国斗倒全斗焕的民风历历在目，美国与朝鲜的外在威胁又如何消除？ 他是想揭露财阀卖国的证据吗？…»
Forwarded from Solidot
HowStuffWorks 创始人自杀身亡
2024-12-05 23:38 by 火星之剑
HowStuffWorks.com 创始人、北卡州立大学 Engineering Entrepreneurs Program 项目主任 Marshall Brain 于 11 于 20 日自杀身亡，年仅 63 岁。在去世前的凌晨 4:29，他给 30 多名同事发送了最后一封电子邮件，声称自己遭到了学校管理人员最不公正、最羞辱的对待。此前大学创新和创业项目执行董事 Stephen Markham 通知工作人员他将于 2024 年 12 月 31 日退休，而 Brain 称自己实际上是被解雇，退休是委婉说法。Marshall David Brain II 于 1998 年创办了 HowStuffWorks.com，这是一个百科全书类的网站，旨在以通俗易懂的方式介绍技术主题。网站取得了巨大成功，Discovery Communications 于 2007 年以 2.5 亿美元将其收购。他后来出版了图书《The Engineering Book》，主持了国家地理频道节目《Factory Floor with Marshall Brain》，参加过 《The Oprah Winfrey Show》和《Good Morning America》。他在 2003 年发表了《Robotic Nation》一文，预测到 2050 年，自动化和机器人技术的广泛使用将引发大规模劳动力危机，多达半数的美国工作岗位可能会消失，引发大规模失业和社会动荡。
https://arstechnica.com/ai/2024/12/web-pioneer-marshall-brain-dies-suddenly-at-63-amid-ethics-battle/
#新闻
2024-12-05 23:38 by 火星之剑
HowStuffWorks.com 创始人、北卡州立大学 Engineering Entrepreneurs Program 项目主任 Marshall Brain 于 11 于 20 日自杀身亡，年仅 63 岁。在去世前的凌晨 4:29，他给 30 多名同事发送了最后一封电子邮件，声称自己遭到了学校管理人员最不公正、最羞辱的对待。此前大学创新和创业项目执行董事 Stephen Markham 通知工作人员他将于 2024 年 12 月 31 日退休，而 Brain 称自己实际上是被解雇，退休是委婉说法。Marshall David Brain II 于 1998 年创办了 HowStuffWorks.com，这是一个百科全书类的网站，旨在以通俗易懂的方式介绍技术主题。网站取得了巨大成功，Discovery Communications 于 2007 年以 2.5 亿美元将其收购。他后来出版了图书《The Engineering Book》，主持了国家地理频道节目《Factory Floor with Marshall Brain》，参加过 《The Oprah Winfrey Show》和《Good Morning America》。他在 2003 年发表了《Robotic Nation》一文，预测到 2050 年，自动化和机器人技术的广泛使用将引发大规模劳动力危机，多达半数的美国工作岗位可能会消失，引发大规模失业和社会动荡。
https://arstechnica.com/ai/2024/12/web-pioneer-marshall-brain-dies-suddenly-at-63-amid-ethics-battle/
#新闻
Forwarded from Solidot
人人影视公开了其全部字幕存档
2024-12-06 00:11 by 星际归途
因被控侵犯版权遭到关闭的人人影视字幕组通过其社交媒体账号公开了全部字幕存档。存档发布在百度网盘和夸克网盘，容量不到 20GB。人人影视称：人人影视成立之初就是想把自己翻译的字幕分享给更多爱好者，历时二十年人人影视翻译了几万集的影视字幕，本着字幕组分享的宗旨，我把全部字幕文件和对应数据库打包一起分享出来给大家。有需要的请下载保存，同时还有以前我们开发的字幕软件和源码也一起打包，还有我们没来得及开发的网站设计模板和HTML页面等等。评论区不知道让不让贴链接，我在几个主要自媒体平台的评论区都贴了链接，我们的用户名都叫：人人聊影视，大家自己找一下。 至于人人影视原来的程序其实技术太老太复杂，开源出来对普通人意义不大，这里就不提供了。现在开发APP和网站比以前更方便，有多端的统一框架，也有更好的语言环境，效率更高。
https://weibo.com/1660646684/P3s774TqO?pagetype=profilefeed
#互联网
2024-12-06 00:11 by 星际归途
因被控侵犯版权遭到关闭的人人影视字幕组通过其社交媒体账号公开了全部字幕存档。存档发布在百度网盘和夸克网盘，容量不到 20GB。人人影视称：人人影视成立之初就是想把自己翻译的字幕分享给更多爱好者，历时二十年人人影视翻译了几万集的影视字幕，本着字幕组分享的宗旨，我把全部字幕文件和对应数据库打包一起分享出来给大家。有需要的请下载保存，同时还有以前我们开发的字幕软件和源码也一起打包，还有我们没来得及开发的网站设计模板和HTML页面等等。评论区不知道让不让贴链接，我在几个主要自媒体平台的评论区都贴了链接，我们的用户名都叫：人人聊影视，大家自己找一下。 至于人人影视原来的程序其实技术太老太复杂，开源出来对普通人意义不大，这里就不提供了。现在开发APP和网站比以前更方便，有多端的统一框架，也有更好的语言环境，效率更高。
https://weibo.com/1660646684/P3s774TqO?pagetype=profilefeed
#互联网
Forwarded from Solidot
非人类动物没有发现不公平厌恶的证据
2024-12-06 20:32 by 引路人
不公平厌恶（Inequity aversion、简称 IA）指对公平的偏好和对不平等的厌恶。它是人类公平感的重要组成部分。一部分人认为不公平厌恶是动物界共有的，但另一部分人认为是人类独自演化出来的，旨在适应非亲属之间合作的选择压力。美国和欧洲的研究人员在《Proceedings of the Royal Society B: Biological Sciences》期刊上发表报告，综合分析了 23 项研究的原始数据，涉及了 18 个物种的 60430 个观察结果。结果显示，非人类动物没有发现不公平厌恶的证据。研究人员猜测，可能的解释包括实现不公平厌恶的社会比较机制所需要的计算需求较高，而彼此进行合作的非人类动物有不涉及公平的机制能分配合作成果。
https://royalsocietypublishing.org/doi/pdf/10.1098/rspb.2024.1452
#科学
2024-12-06 20:32 by 引路人
不公平厌恶（Inequity aversion、简称 IA）指对公平的偏好和对不平等的厌恶。它是人类公平感的重要组成部分。一部分人认为不公平厌恶是动物界共有的，但另一部分人认为是人类独自演化出来的，旨在适应非亲属之间合作的选择压力。美国和欧洲的研究人员在《Proceedings of the Royal Society B: Biological Sciences》期刊上发表报告，综合分析了 23 项研究的原始数据，涉及了 18 个物种的 60430 个观察结果。结果显示，非人类动物没有发现不公平厌恶的证据。研究人员猜测，可能的解释包括实现不公平厌恶的社会比较机制所需要的计算需求较高，而彼此进行合作的非人类动物有不涉及公平的机制能分配合作成果。
https://royalsocietypublishing.org/doi/pdf/10.1098/rspb.2024.1452
#科学
#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?
其实socket和tty一样，都是双管道。 文件pipe流是单管道（只有一个seekpos），但UNIX没有更好的办法建模socket
如果用文件夹监听的逻辑做，二者就统一了
文章hook了 fd.connect(), fd.accept() 以拿到4+1元组，即 {l,r}addrport 和 struct inet_sock_set_state
或许下一步是sysfs?
asphaltt.github.io
eBPF Talk: 在 bpf 里将 fd 和 sock 关联起来
对于 socket 编程，在用户态看到的只能是 fd；而在内核态，大部分时候看到的是 sock。 fd 和 sock 之间的关系，是在内核态的 syscall 里建立的；所以，在 connect 和 accept 等 syscall 里
Forwarded from Solidot
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
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人事件
惡意討薪
善意欠薪
有夠暖心
光是八孩鐵鍊女+唐山燒烤店事件不了了之，就知道這國家的法治有多糟糕
李顯龍：新加坡的華人，沒有一個中國人。
當你離開那片土地，就應該明白你要做的，不是葉落歸根，而是落地生根。
葉落歸根的，是肥料和耗材，落地生根的，是種子和希望。
與所有的華人共勉之。
正常人反串爱国主播，揭露拿税钱统战自由世界的铸币行为
每天搞媒体操控的人，站出来揭露欧美日韩台的霸权…… 真虚伪。
「品客眼里从来不会有真正的自己人 」同而不和，它是不存在跟你这个人相处久了，有了友情战友情，观点不同感情还在的情况。
>珠海殲-35人事件
惡意討薪
善意欠薪
有夠暖心
光是八孩鐵鍊女+唐山燒烤店事件不了了之，就知道這國家的法治有多糟糕
李顯龍：新加坡的華人，沒有一個中國人。
當你離開那片土地，就應該明白你要做的，不是葉落歸根，而是落地生根。
葉落歸根的，是肥料和耗材，落地生根的，是種子和希望。
與所有的華人共勉之。
Forwarded from yihong0618 和朋友们的频道 (伊)
要不是工作接触了不少印度人，我还可能认可他说的。。。
他举了两个印度外包大厂的的例子，说中国没有。。。就好比中国跟日本程序员说，我们文思海辉中软国际有着全宇宙最牛逼的程序员你们没有。。。本来想在推上反驳两句，想想算了。
https://x.com/imwsl90/status/1754037666763694402?s=46
他举了两个印度外包大厂的的例子，说中国没有。。。就好比中国跟日本程序员说，我们文思海辉中软国际有着全宇宙最牛逼的程序员你们没有。。。本来想在推上反驳两句，想想算了。
https://x.com/imwsl90/status/1754037666763694402?s=46
X (formerly Twitter)
卫斯理 (@imwsl90) on X
记得以前看到过一个”笑话”，主要是天朝程序员嘲笑印度程序员，内容大致是：找十个天朝人写同样逻辑的一段代码，每个人写的不一样；找十个印度人写同样的代码，他们写的都一样。那时候看这个笑话的评论差不多都是讲印度人不懂得变通，写代码能力弱，不如天朝人。
Forwarded from 橘橘橘子汁 & 🍊
微软新开源了一个效果巨好的 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可以但是品质不行的问题
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可以但是品质不行的问题
Forwarded from Xuanwo's Tweets (Xuanwo)
新文章：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://xuanwo.io/2024/10-a-letter-to-open-source-maintainers/
中文： https://mp.weixin.qq.com/s/66IN6F9Qpk0iRoNKnx6Wpg
xuanwo.io
A letter to open-source maintainers
Achieving Data Freedom Through Open Source and Rust
https://zhuanlan.fxzhihu.com/p/713341244 #os #dev
这个世界上真实存在着很多 10x 的天才，他们以一己之力完成了普通人 10 倍甚至百倍的贡献。比如 Linus Torvalds、Fabrice Bellard、Alan Kay 等等。需要明确的是，这里的 10x，并不是以 10x 速度完成原本的事情（在这方面任何人都不是计算机的对手），
而是有能力解决 10x 复杂度的问题、完成 10 个人也干不成的事情。
为什么穷人大多都很自卑？
>
穷人孩子的耳朵边很少听到：
“自由 艺术 快乐 幸福 享受 平等 爱“这种字眼”
从小到大听到的都是：
“平安 看得起 看不起 努力 老实 听话 笑话 忍耐 吃得苦中苦方为人上人 一分杀千人 抢着上进”
成绩永远都是跟最好的比，物质跟更差的比
这个世界上真实存在着很多 10x 的天才，他们以一己之力完成了普通人 10 倍甚至百倍的贡献。比如 Linus Torvalds、Fabrice Bellard、Alan Kay 等等。需要明确的是，这里的 10x，并不是以 10x 速度完成原本的事情（在这方面任何人都不是计算机的对手），
而是有能力解决 10x 复杂度的问题、完成 10 个人也干不成的事情。
为什么穷人大多都很自卑？
>
穷人孩子的耳朵边很少听到：
“自由 艺术 快乐 幸福 享受 平等 爱“这种字眼”
从小到大听到的都是：
“平安 看得起 看不起 努力 老实 听话 笑话 忍耐 吃得苦中苦方为人上人 一分杀千人 抢着上进”
成绩永远都是跟最好的比，物质跟更差的比
🦄1
#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.me/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.me/dsuse/19978)投资学习、分工、挑选、联合，在务实与务虚间找到坦荡与平衡。 别学晕了自己，也PUA捧杀了别人。
- 😓：其实…最正宗的工程师文化是「有头脑，更高兴」。
我想，作为预备的优秀程序员，我许下的心愿不是「知其变，守其恒」 这样空洞的天下大事
仅仅是「穷其变，知不穷」，让CS为我自己的美丑对错服务一次。
软件工艺，如果是本本主义，为人本精神服务的化简工具和范式，又何必存在？
我认真理，我不认真。——2024/11
MD 怎么越来越水了，一个允许指针字面然后 run(e)= e.Lit or eval(e) 的普通 深先改树(CS:树的后序遍历/SDT之综合属性)，故意混上点Mod意义运算写成非常冗余的实现，说成部分求值……那A=>inlined (B=>A+B)算不算呢？
想到之前的 https://t.me/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.me/dsuse/19978)投资学习、分工、挑选、联合，在务实与务虚间找到坦荡与平衡。 别学晕了自己，也PUA捧杀了别人。
- 😓：其实…最正宗的工程师文化是「有头脑，更高兴」。
我想，作为预备的优秀程序员，我许下的心愿不是「知其变，守其恒」 这样空洞的天下大事
仅仅是「穷其变，知不穷」，让CS为我自己的美丑对错服务一次。
软件工艺，如果是本本主义，为人本精神服务的化简工具和范式，又何必存在？
我认真理，我不认真。——2024/11
知乎专栏
Partial Evaluation: Staging - 梦开始的地方
我们先从一个很简单的算法，快速幂，开始看起吧： let rec quick_mod x y m = if y = 0 then 1 else if y mod 2 = 1 then (x * (quick_mod x (y - 1) m) mod m) else quick_mod ((x * x) mod m) (y / 2) m let exa…
👍2
duangsuse::Echo
#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.me/dsuse/17422 ，那个作者才配叫函数式…
#tg 频道招牌改了…… 😅 感觉有点矫情呢，不过比 #moha 的版本潮一些了 🐸😰 想他，他不折腾 #经济……
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向他致敬
知其变，守其恒，为天下式；穷其变，知不穷，得地上事。 —— 既不贪图风口，也不窝在过去“拉丁语”的辉煌上，而是黏合二者，当一个语言学人，而不是刚愎自误的好好先生。
知变守恒又穷变知新，我认真理，我不认真。
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向他致敬
知其变，守其恒，为天下式；穷其变，知不穷，得地上事。 —— 既不贪图风口，也不窝在过去“拉丁语”的辉煌上，而是黏合二者，当一个语言学人，而不是刚愎自误的好好先生。
知变守恒又穷变知新，我认真理，我不认真。
👎1
duangsuse::Echo pinned «#tg 频道招牌改了…… 😅 感觉有点矫情呢，不过比 #moha 的版本潮一些了 🐸😰 想他，他不折腾 #经济…… import this: 美而不丑、明而不暗，短而不凡、长而不乱，扁平不宽，读而后码，行之天下，勿托地上天国。 异常勿吞、难过勿过，叹一真理。效率是很重要，盲目最是低效。简明是可靠的先验，不是可靠的祭品。 知其变，守其恒，为天下式；穷其变，知不穷，得地上事。知变守恒又穷变知新，我认真理，我不认真。 breakdown分析一下，我理想的「工程师文化」： 美而不丑，不止是架构和CS的工程…»
https://www.fxzhihu.com/question/587050508/answer/47017511867 #science #history 《全盘西化》
https://www.zhihu.com/question/656282916/answer/50685156487
> 普通大众最相关的常识好了：中国传统木结构建筑随着国内大木的逐渐耗尽而难以为继，连顶级的皇室建筑体量和空间都无法增加。
1840年以后，同样还是这个大木稀少的中国，只是因为引进了欧式建筑技术，尤其是关键的红砖和桁架，一下子木头又够用了，
起了无数比古代好得多的民居、厂房和公共建筑
看看晚清那些照片，结局就是复活节岛和塔斯马尼亚人。还真是，复活节岛上连棵树都没有。动不动就人口减3/4，变成荒地，就这哪来的文明？还能退到哪里去。 #内卷学
>爱国教育，搞成“恨国”教育，我觉得反了。 蛋糕哪里都有，甚至每个时代都有，然而有的地方是只有一个人吃，其他人看。
你根本没搞清楚问题，美国的伟大就在于蛋糕人人都能分到，而不是像印度这样，少数人吃蛋糕，其他人只能吃刀叉吃盘子，直到铤而走险吃模具吃蛋鸡。
https://www.zhihu.com/question/656282916/answer/50685156487
> 普通大众最相关的常识好了：中国传统木结构建筑随着国内大木的逐渐耗尽而难以为继，连顶级的皇室建筑体量和空间都无法增加。
1840年以后，同样还是这个大木稀少的中国，只是因为引进了欧式建筑技术，尤其是关键的红砖和桁架，一下子木头又够用了，
起了无数比古代好得多的民居、厂房和公共建筑
看看晚清那些照片，结局就是复活节岛和塔斯马尼亚人。还真是，复活节岛上连棵树都没有。动不动就人口减3/4，变成荒地，就这哪来的文明？还能退到哪里去。 #内卷学
>爱国教育，搞成“恨国”教育，我觉得反了。 蛋糕哪里都有，甚至每个时代都有，然而有的地方是只有一个人吃，其他人看。
你根本没搞清楚问题，美国的伟大就在于蛋糕人人都能分到，而不是像印度这样，少数人吃蛋糕，其他人只能吃刀叉吃盘子，直到铤而走险吃模具吃蛋鸡。
FxZhihu / Fixup Zhihu
中国人很聪明，为什么现代科学却起源于西方？ - @田百顷 | FxZhihu
并没觉得中国人多聪明。 像《诗经》有些篇章不押韵，南北朝时就被注意到了。现代人都知道是古今语音变化导致的，而这点直到明朝才有少数人意识到，清朝才形成共识。 再如注音，在汉代以前，注音都是“读若XX”，也就是用同音的字来给别的字注音。佛教传入后才有了反切的注音法，用同声母同韵母的字来表示声母韵母。而朝鲜古代的谚文就把语音搞得很清楚了。 所以，别说自然科学了，古人最熟悉的音韵文字训诂都是很晚才开窍。 再如…
👍1
Forwarded from 科技圈🎗在花频道📮
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
📮投稿机器人 ☘️频道 🌸聊天
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的朋友是致命的，行业百草枯
为什么就一门心思只针对可怜之人呢？ 太阳底下，没有新鲜事。人肚子里的那几根花花肠子，有什么难懂的？
衣锦还乡，要的从来不是公平公正，不是为善去恶，不是除魔卫道。
出人头地，吃苦中苦是看不起自己，当人上人是吃别人， 出人头地，需要「同胞」人头落地！
造福乡里，应该是把真理带给这片土地上的所有人，用先进的思想教育这片土地上的人。惩治那里的恶，解决那里的不公平，给每一个人指一条光明的路走。
衣锦还乡，制造了无数的乡愿、豪绅、恶霸。
惟大盗剥削乡愿，惟乡愿工贼大盗。二千年来之政,秦政也,皆大盗也，德之贼也
- 当掠夺成为某些阶层的生活方式，一种反向淘汰压迫的新法制和一个美化掠夺的新道德，就会日渐主流——The Law
人民在有些场合下是英勇的战士，在有些场合下就成了刁民。
“升米恩、斗米仇”，这取决于什么呢？
取决于权力是在追求公平、为大众谋利益；还是在追求任性，为少数人谋私利。
为什么就一门心思只针对可怜之人呢？ 太阳底下，没有新鲜事。人肚子里的那几根花花肠子，有什么难懂的？
- 若政治没有竞争对手，权力必不受制衡，维权必无处言论，罪恶不便披露，罪行不受惩罚： 立法是作弊，司法是作案，行政是作死，权力是凶器，部下是家奴；国企只懂夺富于民，银行只剩自动欠款机——戈巴契夫
>《中国人的德行》
有缺陷的人永远会遭到嘲笑与讥讽，他们必须一辈子逆来顺受，要想心平气和地生活，除非他们对此毫无脾气，充耳不闻。
病人必须彻底习惯于别人称他为“疯子”、“呆子”、“笨蛋”等等。一个民族把生男孩视为头等大事，于是家里没有男孩就会不断地遭遇讥讽，母亲悄悄地闷死了自己的孩子、生物爹对女硕士始乱终弃又暖心寻亲，村子也不会感到奇怪，因为那是一个女孩。
谈及孝心的时候，年轻人没有发言权，他们的地位无足轻重。年轻的人，其价值，本该取决于他们可能成为什么，而不是他们现在有多匮乏。
gap year是大多数西方国家的做法，中国正与之相反，三人行，最年轻的人总是最先去承受劳苦：献完青春献终身，献完终身献子孙。
婚姻的目的，在女方家庭看来，是可以不用再抚养这个女儿了。男方家庭的目的，则是延续香火。 若不仔细追问，否则，没人会关心这些「吃饭一样的问题」。
在他们身上，我们看不到一切民族都普遍具有的，本能的好奇心；为生存而奋斗是他们唯一关注的事情，但如果他出卖别人的信任，不出钱就弄到东西，他那种欣喜若狂的感觉，就像斩杀了一条巨蟒。
罗素对中国的评价也很深入，骆驼祥子好像就是。
——此书作者明恩溥，当年老罗斯福听取他的意见少要了很多赔款然后用于国内大学和医疗，只能说是我们的恩人了
>华为可不会像美国卡你脖子。但凡给它机会它会把你直接掐死。 👏
做HW的敌人是危险的，做HW的朋友是致命的，行业百草枯
FxZhihu / Fixup Zhihu
衣锦还乡是一种什么感觉？ - @申权认真生活 | FxZhihu
一群沐猴而冠的东西，也配说什么“升米恩，斗米仇”。 开口闭口，就是“穷山恶水出刁民”，就是“可怜之人必有可恨之处”。 举了一些连根本道理都没认识透彻的例子，就觉得自己可以站在道德的高点肆意批判穷人了。 当年项羽烧毁咸阳宫，想要衣锦还乡，韩生骂他是沐猴而冠。 为什么要这么骂他？因为衣锦还乡的心态，本来就是极其卑劣的。 何谓衣锦还乡？不就是想高高在上的骑在那些乡亲父老的头上，让那些从小跟他一起长大或者看…
https://m.youtube.com/watch?v=-XkPo50blps
https://m.youtube.com/watch?v=ItR0Y-7NmvM Louise #china 何不食肉糜： 羊毛月 & #bear
这几年最常见的三条中国逻辑：
1，面对技术壁垒：你家有钱，凭什么不让我偷？
2，面对芯片商/军火商：美女不想嫁给我，所以我禁止美女嫁给我
3，面对贸易：我买你东西，你有求于我，所以我是你爸爸，我卖你东西，你有求于我，所以我是你爸爸😁
https://m.youtube.com/watch?v=ItR0Y-7NmvM Louise #china 何不食肉糜： 羊毛月 & #bear
这几年最常见的三条中国逻辑：
1，面对技术壁垒：你家有钱，凭什么不让我偷？
2，面对芯片商/军火商：美女不想嫁给我，所以我禁止美女嫁给我
3，面对贸易：我买你东西，你有求于我，所以我是你爸爸，我卖你东西，你有求于我，所以我是你爸爸😁
YouTube
羊毛月們爲什麽 不同情大學生？| 中國失業潮來臨 | 紅皇后效應
歡迎加入會員，這對頻道發展非常重要
https://www.youtube.com/channel/UC1zdy56c93qmQyp3WgsxBSA/join
☕️欢迎捐赠：
捐赠 (paypal)
https://www.paypal.com/paypalme/realsert?country.x=CA&locale.x=en_US
捐赠 (stripe)
https://donate.stripe.com/fZe4jB8QT2etcyA3cf
🔔欢迎订阅：
整活子频道：https://www.you…
https://www.youtube.com/channel/UC1zdy56c93qmQyp3WgsxBSA/join
☕️欢迎捐赠：
捐赠 (paypal)
https://www.paypal.com/paypalme/realsert?country.x=CA&locale.x=en_US
捐赠 (stripe)
https://donate.stripe.com/fZe4jB8QT2etcyA3cf
🔔欢迎订阅：
整活子频道：https://www.you…
Forwarded from DBin_K 🤯 Tingle 灵光一闪 💡 (DBin_K ∣ 人工智矿👾)