duangsuse::Echo
400 subscribers
3.82K photos
103 videos
573 files
5.01K links
duangsuse技术相干订阅
这是 @duangsuse 与技术有关的发布频道
duangsuse 的另外有 throws 闲杂频道
@dsuset
转载频道 @dsusep
duangsuse 有coding,github,gitlab帐号和bilibili帐号

极小可能会有批评zf的消息 如有不适可以退出

suse的小站:https://piped.stream
ps 另有别名 popf.rip
ʕ•̀ω•́ʔ✧ 🐶🍎🏠生死🐜
(>ω<)岂因祸福避趋之 一鿕
Download Telegram
duangsuse::Echo
#tw #news 王志安和JAKE都是大一统、不反建制, 但王志安主动公开帐目🥰 btw. 捐款者是怀疑他被轮媒、民进党、在日共产党信徒 共同针对开盒,所以才百刀百刀地捐
#news 王局前妻的频道,一个对世界已心酸的人。
这名推友与王局互关
网络就是一面全身镜,路过的人不仅能看到镜前人的宽窄厚薄,更能看到他们的骨头。镜子上的恶痰、口水、指纹和亲吻,永远不会被擦掉和风化。
一面比民主还自由的镜子。
#statement
🤔💭 一直觉得王志安对台湾价值来说是个老古董了,但他的出发点绝不是对弱者的不敬,而是通过弱者反衬一些社会现象

社会现象不一定有是非曲直,但听到的人们可以借此选择自己想要的生活,就像从茹毛饮血到熟食熟水那般自然。 这种抗议的宣传,难道不是最高的民主自由吗?
duangsuse::Echo
#ai #news https://www.youtube.com/watch?v=ZEjJpXTQvgo 它的画面在很大程度上能重现物理过程。比如人在纸上画画,会留下墨迹;比如人吃一口汉堡,会有咬痕。 Miracles through might! Is OpenAI's Sora a 'pixel manipulation trick' or a 'real-world physics engine'? #learn SORA其實不知道上下楨畫面的關係,只是把時間,空間參數都放入,生成超大量可能圖…
#china #ai gpt和sd后超超加速 https://youtu.be/nJzIa3sQZbY

03:50 方脸讲述多伦多大学- Everest Hinton 辛顿教授 的故事
辛顿是 DNN backpropagation (一类训练算法) 的发明人

在当年,NLP 方向还在HMM之类的“输入法算法” 上徘徊。辛顿教授 在学院和社会上到处碰壁,被学术主流排挤了25年

「计划经济」 会如何平衡头部与长尾的物质分配呢? 追求扫地僧精神,但捧起来的就能是大师吗?

#statement
16:00 一个发微博,回车键都要别人标注出来的人
你让他去理解AI,尤其是在没有成功案例前 确实也是一件很困难的事情
当一个国家的资源,都被一群活在上个世纪的人掌握
那么资金呢,自然很难流入新兴行业
🤣
其次,让官员来投资,其目的 首先是吃回扣,其次是政绩。 宁肯用700亿投水司楼,也不会砸70亿「炼丹」

品客总是觉得中国发展不过美国,是因为美元霸权、美国到处掠夺石油
但是实际上不是
美国之所以能维持强盛,是因为我们大多数人人生中
遇到的革命性科技创新,其发生地都是在美国
从最早的微软,到后来的苹果

再到当下的OpenAI
只有富饶且自由的社会,能给这些企业提供土壤和育婴室

😋“ 除了研发不出来OPENAI,现在中共还在阻止OPENAI的进入
如果AI能引领第四次科技革命,那么天朝很有可能再次被时代抛弃 ❤️ 厉害了我的国

估计国内的团队都在期盼着SORA赶紧开源,然后自己好再次 自主研发呢
中國的AI要先花四成算力學習黨思想和正能量,再花三成算力學習敏感詞、諧音詞、西化拼音、聯想,再花兩成算力學習反問、諷刺、指桑罵槐、陰陽怪氣,最後剩下的用來運算并在字缝里歌功颂德😅


反传算法,是从输出获得最优网络参数的单次步骤
DNN,是 #ML 里最热门且准确的算法,如FC节点是由n个m层 dot(x,w加权) 构成的tensor流程图,1个激活的dot可以识别1条分割线。这简化了神经细胞的网状模型
http://playground.tensorflow.org/#activation=relu&dataset=xor&seed=0.3&networkShape=2,2
Please open Telegram to view this post
VIEW IN TELEGRAM
duangsuse::Echo
#science #好物 钢笔大小的非220v 电烙铁,万用表,夜视,彩票机 尽管对中学生物理,面包板/跳线取代了PCB蚀刻板(原理是uv胶保护铜箔)的功能,烙铁却更适合小手工。 小电器,可用石墨粉+AB胶(石墨环氧树脂2+3包邮,就是铅笔芯导电啦)5分钟固化,不知道油性502导不导,但丙酮能解502 烙铁可以提供防风打火机的高温余热,能做糖画(锡锅头,内热热压头)、木板纸皮(有数字烙画模具)、热缩膜、烫金字金边(电镀笔,廉价版uv打印)、裁塑料丝,以及松香芯焊锡(可配合吸锡线清理凸点) 烙铁+烫台头…
#statement 资本的哲学

做人要正,做事要奇(反过来就都很差)
管人要乱,管物要齐(多元化后才找好规范)
为人创造情绪价值,对物压榨剩余价值(🇺🇸给蓝领小费,但一周工资买苹果)
为社会扩选择意义,对科学榨剩余意义
听课写博也要做无痛

这就是生产力榜一的投资/创业者/银行保险业、管理层/标准化组织/政客、线下界、线上界(稍有不慎就变“假奉献针公知”..?)
行业做大 公司扩张 员工升管,小一层商投资高一层新,低创俄国也能吃准一种品类。人性化、合人性。
消耗品管到撑,各级用品不断上新,被原始积累的公信力能让黑户金牌讲师鸡腿零元购、让中产者安心刷爆信用卡、让富人把软肋交给征出の兔。

对那时的「⁠马列毛主义 」,这是它们许诺白吃免税的天堂,普世有价值,绵羊的工会也能和豺狼跨界合作、同流合污。今天的他们不理解,更无法接受:“最”英明的国企生产仍要接受众包的淘汰(此处是句号或 ?!)
“最”利己的特斯拉产业链也要白送中国!!

精明人懂GDP🎂分不好,就没人做了。⁠马列毛主义 打小就聪明,要把左边的标价砍一刀,右边的工资分润补一刀,价差先用你厂抵押;父母的房子砍一刀,年青的房子补一刀,不准写差评;高效平均才好嘛! 再来把钱换票,根治投机倒把和流通过快的问题,钱不耐花?三管齐下!
什么市场的大手乃盲目流动!把隐私分享给党,主体思想活力百岁!
唯惜革命者拿的不是蛋糕刀,砍得均贫了,穷人被驱逐入境(工 作包邮)集体农庄。 😭

知道“吃人”二字咋写了吗
其实Capitalism不是主义,反而是政客选民左右互博、左变道时该解决的权钱垄断/城市垄断问题。 你以为共产是最中幻想,资本是手段兼目的,没想到“帝资”是开诚布公的臭饼?
美国确实体验过工人穷,产能过剩,通缩失业;卖过法西斯军 隔岸观火火,珍珠港911,所以自89年后咱们国家被禁售。

活在左右上下都颠倒的罗刹国,
可惜你是矿物质😋 幸好在你在休息时是人
人矿的意义是取悦它的民主,但,幸好还剩8小时留给你个体

许多人刻板印象里的20世纪「资本主义」是和清朝同期的.. 1865奴隶解放、1881行业工会,1910清国废奴 后年民国胜利,1991“牢不可破的联盟”修正了aka“真无产不骗穷人”被马克思进化论淘汰了,
2015同婚合法 美国乱了,2022封城封货 然后中国赢了、23年初一张A4又输回去了、小禁评大维稳…… 😅

“中国里有很多时间伴随密接的国,有过秋海棠版图,有些还没废奴,都赞美中国。 其实美国里也有不买房可落户的空间伴随密接的国呀”

东欧剧变的1989、苏联薨了的1991,自由软件运动的GNU/Linux已经发布。 核心技术当然要自主盈利 (自主融合) 不能泄露呗? 我上传了,公平起见用了你也得上传(GPL)!
结合node某版本号被墙,真是只用编程,不敢随想。 https://program-think.blogspot.com/

回忆一下历史课本,你会发现让马克思看落泪的是美国,不是劳动最美的"shzy"民族企业家国,但更不像已经“拨乱反正”(或者入戏太深?)的网·屠资大佐国😋


说回写代码,编程界的「做事要奇」是啥?是软件工艺呀!
脚本精灵🤖,正。记步骤和“组件/构建”的流水账,正正正
自顶向下写函数、写组件,多把函数当参数,奇
失去功能 换性能效能,您咋不把常数函数焊电路上呢?
duangsuse::Echo
#china 404 #news 不止是 #Docker hub哦,还有npm和pip的源 建议国内用java8和vue2用一辈子🥰[呲牙]​ 一键安装+换源脚本: bash <(curl -sSL https://linuxmirrors.cn/docker.sh) 全局 proxychains 盲猜:搭建镜像平台需要申请牌照,用户上架镜像需要备案,备案审核时间一个月[doge]​ 国产开发语言刻不容缓啊,china++,china#​ 支持,反华势力太嚣张了,还有Python的包明晃晃的就叫v0.…
#statement #程序正义 《失去人性,得到一切:中国人眼中的民主价值》 https://m.youtube.com/watch?v=Xr46mS4DPZE&t=19m
https://m.youtube.com/watch?v=ew09GY8jQIs&t=9m
https://m.youtube.com/watch?v=RlNamDOYAEs

yt视频主Leonard对2023年初上映的《流浪地球2》列了组数据:
票房40.29亿 海外1000万美元;“三傻”的全球票房8000万美元

为何“全人类救世界”的文化输出,到所谓普世价值的欧美市场反而折戟沉沙?我想,这“全人类内核”就是原因:
它把最不脸谱化的群像剧,讲成了正能量特效宣传片。

《三体》《流浪地球》里大刘对民主法制成功的讽刺就只有一个:“我要当民主”。

要不惜一切“别人的”代价,要成为吃人来延续其“全人类”信仰的人,要朝小胡子一样为了大业 不惮于种族灭绝/死三个亿四千万的“一将”敬礼,因为"很多"< 一切。一切就是政确!
--谁的一切?

如果能为了稳定末日撒个小谎,便不吝随时挪用政府的公信力搞公摊调电表;如果能为了多服务几个居民,便燃尽红领巾“让领导先走”,儒家的封建秩序道德,也将完全沦丧。
马克思+秦始皇👐正是这些“集体主义死一半”之腕力的刻板印象,在洋人眼里,已输于印度的内核:
无法对你好,才说为你好。
这种圣母婊,贱得更地道。

当他们面对疫情末日强制“大局利益”时,你要知道大橘蛋糕是怎么分。
“对文明撒野,对野蛮撒币,对自己撒谎”。 大英帝国包身工的遗孀想起祖国不怕牺牲、逆流胜利的万里长轨,自豪感也油然而生!
罗翔说过,权力导致腐败。反腐的权力导致反复的腐败。 蜘蛛恼怒,写故事谴责蜘蛛蠢;勇士恼怒,揭露操弄着聚光灯的制度。正因为不似“民主们”,而丑闻百出,纠错声不停,才叫 政 客!
在A国,国旗是纳税分红象征,股东们将它做成内裤喊着fk yeah;在C国,某省人只能认它,不能扔它,甚至只能以它的生活方式被它认!请问它是谁权益的象征呢?

决定生死的精英并非上帝。他们怎么看得到镜头之外,历史的电车轨上,那“仅仅1个人”背后,藏了多少次 多少位牺牲者?自称“多数的布尔什维克派”,实际代表了哪群人的利益?
一次犯罪,污染了水流,一条恶法,污染了水源。 员神们总是张口全社会 这个人不重要、那个人没牺牲精神,伤人民小小的权益,护一件大大的功德。。一次一次,一阶一阶。。如此英雄“主义”,和献祭人牲的原始部落有何不同? 你们有智慧向后插队,没智慧停下这屠宰场的流水线?团 结 的中国人?
站在坦克前的那1位狂人,脆如苇草,但他的权利意识,在东欧共鸣成了巨浪的形态。 锅内的纯水纵使不沸腾,暴沸的客观规律,却不以历朝历代的傲慢为转移。

这不是1个人,这是人民。这是民意、是民怨的缩影。
和平鸽们拿自立自由换取饭票,尽管在他们认知外,某些光明磊落的暗角,还是有不少人在吃鸽肉的。偶尔也让鸽子吃。
哪怕是牧羊犬也知道,要把外汇钞票、换人选票、透明税票、民告官传票紧紧攥在手里,再好点,权力暴力财力知力都该有普世价值,才能让联邦的墙大永不挡在自己身前,难道他们不知道?
只是精神胜利惯了,狗洞钻多了,夜总工会 特供产主义学傻了,便以为世界没人不和自己一样,眼一睁是胜世,耳一封是天下。 被砍倒的周树人,也只好对这些底层互害的u形斧说,“脑袋上长铁拳,至少你的身体还是木质的,同志”

人悲不通,就像那些以蜘度人,觉得🇺🇸出于和黑人同样政确 能尊重的犹太人,是“只要清零了世界就能太平的群体”,是“美国的暴君”,那些新纳粹黄右。
🇪🇺也在以己度人啊!一度不听美美劝告,对🇨🇳🇷🇺缺乏警惕。被俄卡了脖子,才知道与引战国“目田贸易”,是会被卡脖子的。如果不是乌克兰够硬,东欧人恐又拥苏联车诺比的荣光了!

犹太盎撒罪大恶极,马克思、爱因斯坦 间接杀了不少人哈?科比还是因盎撒人莱特兄弟而死的呢!
为了村子牺牲亲朋好友、为了全人类牺牲美国,喊着战争=反美=和平,无错=权威=科学,欲无政府共产 先极权队先锋的,一群上下左右是非颠倒的逻辑管理大师。拨乱反正没有用,垃圾是不分左右的。

他们说自己从不侵略。是啊,皇天之下自古以来只有内战。败者,扬州三日嘉定三屠,被抹除、被兼并、被和谐;天下兴亡间匹夫有责,王朝兴灭时百姓皆苦!它们留不下印第安人那样政确得敢“递刀子”的活口啊。
它们说自己是仗义的左派。但每谈起民国与美日的“屈辱史”,落后就该挨打,仿佛中国反而是战败国,又好像被侵略反而是受害国的耻辱!
它们的眼里只有敌我和强弱,它们划分敌我的标准取决于那儿谁强谁弱:阶级、种族、性别、国籍。。而公义、平等、秩序、博爱,这些高贵的人权和人性,它们毫不掩饰对其的猜忌和鄙夷。它们害怕人民跨越阶级地团结起来:“那样统治阶级的壁垒和特权就没有了!”
哲学家们只是用自己的逻辑解释世界 ……而柬埔寨共产党负责毁灭马克思解释不了的部分

刘慈欣们认知中走马上任的“明主”,或许翻译为democracy;但这种精神上的贫穷、对现代人口经济的无知,「生存空间理论」,已经没有物质文明能形容。 这不该叫小农思维了,可以理解为小衣穴居人的部落冲突。
三体人知道要对执剑人先打分,人类不知道? 三体人知道科技就是刀枪,人类不知道? 弱小和无知不是剧情的障碍,傲慢才是。

万幸!不论智慧、自由还是穴居人唯一能琢磨透的讲理拼拳头、内卷卡脖子,都掌握在文明阵营。🇺🇳21世纪不是明君的世纪
中朝俄塔哈,《正义联盟》,随大俄的溃败,必孤木难支,终将转型;人类大同终会到来,左翼政治在短暂的休整后依然会继续进步
因为,两翼齐飞的鸟群,才不会随着某些联盟不攻自破嘛!🌝

共产要一国圣人,独裁要一群圣人,
明主要一时圣人,民主不是靠圣人。

「我们要消灭一个阶级,还是让他们死?」
「我们要消灭霸权,还是要让旧霸权死?」
「站起来了!革命!爽!」 #谈政事
#acg #history #statement 《从火影世界观,聊大一统、共产主义、历史》
https://m.youtube.com/watch?v=xt9dquGGMMo&t=647s
每当看到《火影忍者》木叶村的建设史,以及首代火影是如何强大时,总是能听到“如果柱间放下幻想,为了天下苍生剿灭六国,那些阴谋和乱斗就不存在了! 何必搞什么尾兽平衡呢”
——如果秦统一六国得到的便是和平,课本后面的「伐无道,诛暴秦」又描述了大一统下怎样的结局呢?
——如果全世界的“无财产”者联合起来,杀死并分掉有财产的蛀虫,再去建立让“无财产阶级”高于一切法律、良知、秩序的专政,这样的逻辑会铸就哪种民权民生呢?
——如果你憎恨全天下所有「不劳而获」的蛀虫,在这一刻,你脑子里面的就是资本家面对工人下班时想法了。或许轻一点? 哪怕得了一亿,若身边人得十亿,物质主义者也得不到安宁。这就是白吃乌托邦永远招来腐败浩劫的真相。

指南针,战国。造纸术,东汉。火药,东晋。印刷术,唐代。
国人引以为傲的四大发明,要么是在「诸侯争雄 百姓疾苦」的春秋,要么是在农民竟相通商 重文抑武的唐宋。 一问历史五千年,一问贡献就四件。为什么!?

中国五千年的儒学文明,天下“英雄”更替、治乱循环、尊王攘夷,不过三句:
法家的商君书一句「民弱国强,国强民弱。 有道之国,务在弱民。利出一孔,其国无敌」 https://m.youtube.com/watch?v=sutj6Lyxavg
潼关怀古一句「宫阙万间都做了土。兴,百姓苦;亡,百姓苦。」
阿房宫赋一句「后人哀之而不鉴之,亦使后人而复哀后人也。」

真正的天堂你可以罵他是地獄,而真正的地獄你卻是只能歌頌他是天堂。从成语大多数都来自于春秋,就可以明白那个时代是多么的多元包容,百家争鸣。之后只有宋最好,其它光看女人服饰越来越穆斯林,就明白社会包容度越来越低。
就四大发明。因为在宫阙万间里,那群爱国饭圈的“真主”,多数无生产力,甚至还要压榨发明人的剩余时间。这种压榨,甚至不是脱产阶级的帝王将相有意为之,只不过是外行指挥内行、缺乏竞争与法制的副作用。

如果说靠山吃山的农民是植物,商人就是会朝统治者砍价的动物,货比三家不吃亏。一个聪明的皇上,宁肯用整个国家的资源供养和维持自己腐烂的生活,也不愿意提高中产和富人的比例。 慈禧是这样,之前大部分人都是。

“你的新国家赢了又赢了,但她越来越频繁地牺牲你的利益”,这就是系统发给六国npc玩家的消息。他们解放了!但十年后呢?
当然,还是有拿回一部分权益的办法,就是以人为本:吃政治犯。
“五家为邻﹐设一邻长﹔五邻为里﹐设一里长﹔五里为党﹐设一党长,三长直属州郡;三长的职责是检查户口﹐征收税租﹐征发徭役”
“邻里”和谐的DNA,原来从战国开始就刻在中国人身体里了,难怪疫情期间栏网焊门、封城封货的坐牢体验,竟然没几人出声反抗👌
也正因为憋久了,“革命”才成了修复制度的唯一选择。 是否有“共同生产 免税消费”的目标不重要,关键是人下人被和谐久了,要过把官瘾!
那么热爱960万里的大一统,却在因户籍被差别对待、被阻止居住、被禁止进入时,无话可说,此谓识大局者得天下。虽然“藩镇割据”的美国和“民主混乱”的印度,都没有把户口和种姓写在法律上。

尽管是境外苏维埃势力干涉内政的产物,共产主义,也还是有与中国传统雷同的色彩:无产革命变地主(但只能叫书记)、农民起义当皇帝(但必须喊同志)、朝代史是螺旋上升的(但中医的精髓尘封了)、只有打爆全世界(大 丈 夫 一统天下)后才能解放自己…… 这群活菩萨
虽然他们总说,自己是得道多助的一方,革命丢掉的只是锁链,而没有抢劫者趁乱而入,但,生产力革命、颜色革命,比流血伤人革别人的命要高尚得多。毕竟,革命是会上瘾的
作为一个脱离了低级趣味的左派,我们要放弃幻想,准备从自己的思想开始闹革命!
https://m.youtube.com/watch?v=x7MzqseIuPA
#learn #kt Benny霍评论区
协程 async。自动传回调、var都打包到其class因为,比如传给sleep()后自己要return。协程对象就比()->闭包多留个switch(nthStmt){}

把sleep()外提为赋值语句,以保留和恢复调用栈而已,linux单核调度多线程,甚至你调用IO时为了鉴权,也会这么干。 cat|head 不就会await您的键盘吗? read()就会suspend 1个C语言的“有栈”协程。
之所以要async,只是想节省pthread_create,因为你要拿mainloop去poll(定期/卡http的轮询) 触摸屏事件,设备资源是独占的。这和内核驱动(/dev/WebUSB) 才能导致死机蓝屏是一个道理

如果系统,比如Web APIs吧,只提供回调而禁止while(1),哪怕只支持epoll(查看监听)/select(poll多项),就根本不存在线程一词 -就像C里你并不知道read()本质上await在pipe前“生成器”的write()
--也有人叫它yield,那是因为我们不能靠return写入“文件变量”、不能重赋值函数参数以返回多个值.. 为此jspy还发明了“async*()=>生成器”..
完美复刻UI层State(val).onvar[]的轮子呢!可惜是难用难复用的阉割版。

VSCode只加两个js线程,就能运行得很稳,这难道不是App设计的常态吗?难道那些小程序比code更“架构”?
至于免锁或基于资源.transferTo()的多线程,WebGL/numpy/MapReduce(ForkJoin) 不需要重造OS 1Dispatcher:N Continuation(该叫class CPU: ()->isFinished吧)的轮子配什么池化,就能实现前后端们无法想象的性能提升。

ES5的 yield cont=>setTimeout(cont,1s) ,由awaiter链接timeout和g.next,已经是免编译协程API的巅峰了,Promise.then 只是省得你传cont回调。 当然,timeout也可能返回cont=> 所以then要能接受async()

另:JS是视 fetch(u,{abort:Signal}) 取消任务的,我不认为app里会需要一堆 coroScope{} 这样图文不符的结构。kt在UIUX界敢能和H5相比么?为什么语言多项功能,app的功能却少的可怜!

kt的结构化并发不比Go的WaitGroup(semaphore)有用,但新词一大堆,初心全忘了,开始比java还八股了。真可笑,屠龙者终成恶龙
那些比Promise更繁琐的,是毫无语意的知识,迟早被py AI自动完成。看来科学界也不喜欢代码圈整这些无聊的class

就问 https://python-future.org/ 2to3这么聪明又简洁的lib,java人们啥时候能学会?态度问题,不是智商低 #statement

协程线程进程,都是Job
jobs的管理上,除了^Z SIGHUP再 fg bg 恢复,内核还支持swap(整个系统的)内存页到SSD,甚至用CRIU直接把进程快照为文件。 这样的快照不仅能多拍,还可通过网络传输,简直易如截屏,又像 Termux.dev / Waydro.id / webvm.io 那样神奇;然而这样超越运行期的“时间魔法”,90%的编译器根本做不到,只能用reflect或asm模板这样的残次品搪塞;同理90%的语言里“函数值”都没有相等性--所谓闭包“值捕获”却并不能自动内联JSON,所谓RPC,protobuf还不如微软的COM,pwsh.NET普适
#os 在这一点上可比 #plt 的孤岛、围城,先进太多了
https://t.me/dsuse/19341

https://kotlinlang.org/docs/coroutines-overview.html
https://github.com/youngyangyang04/TechCPP/blob/master/problems/为什么用户态和内核态的相互切换过程开销比较大.md
http://cht.sh/podman

podman run -dt -name cnt busybox /bin/sh -c 'i=0; while true; do echo $i; i=$((i + 1)); sleep 1; done'
podman container checkpoint cnt
podman container restore cnt

https://t.bilibili.com/948850441406382096
https://github.com/cunarist/rinf
https://www.visioncortex.org/vtracer/
由螃蟹驱动的位图描边转矢量工具 #tool svg

https://www.lummi.ai/
https://github.com/adobe-webplatform/shaderdsl

有趣
有趣
http://topcoat.io
搞点传统的 #css
https://github.com/Web-Media-Foundation/infrastructure/blob/master/packages/ogg-polyfill/src/OggVorbisPage.ts #js #bin

隔壁实现完了 Vorbis 的解码前端(只带解编码元信息,不带解成 PCM 的部分),八百多行

https://t.me/im_RORIRI/17034
#statement
其实也不难,只要你知道你程序依赖的领域、最小的功能是啥,解决问题必须先确定范围;知道自己在干什么、与旧案有何区别、又为何不同,才配叫工程。

比如二进制吧,像bmp那样用一个struct就能parse的东西很少,因为C拿指针掩盖了带长数组、也无常量池等规范,但继续用 u/int32_t 那样的概念也没意义,不如叫 +-1 2 4 8 吧。甚至C bitfield也应该拿bitflags换了。
凡是用不到的专业概念,比如bitsize,全部抛弃掉,这样才有机会
避开前人留的坑

除了 read(bView, ['*', [4 4,'Num2 x y']]) 这样的带长数组,struct的json化也可以基于Proxy,以实现0copy序列化、push、sort啥的

总之就是确定最小问题是什么,然后组合、复用、降低复杂度来换算法的高效能
补一句,为什么我那么在乎readXX()
首先,当然是它余缀了,Reader模式、Visitor模式需要加固定前缀是哪群大师教的?? Qt,luaY_parse 都没有这种文明
至少对 enum Op{Add(Op,Op); N(i32)} 写 visitAdd 的人绝对是py ast看多了,overloads不会用。 Java比C最主要的优势就是Type2namespace,居然有人主动添加余缀?

然后,是对编程界毫无进步的无奈。
我最初学编程时(8,9年前吧)改了一些c#小游戏,当时有 https://github.com/K0lb3/UnityPy?tab=readme-ov-file#mesh 的前身和一个闭源软件能解包素材,但只有后者能实现替换材质包的目的……

我就搞不明白,是因为特殊的加密校验方法所以不能重新打包,还是单纯开源版的人不会做。
(btw. 新版当然也是手写,没用construct那样的定义式库啦。 https://github.com/K0lb3/UnityPy/blob/main/UnityPy/files/ObjectReader.py )
难道这种需求很小众吗? 做一个reader的同时支持write应该是举手之劳吧。

但,呵呵,并不是啊! read():T write(:T) 才是新语言里通行的,它们不能向自己的参数写入,甚至向callback也不太会,也就是没法优雅地inout
往大点说,通过 fit(cellvarT) 允许多次dump()很好,但要判定isRd就显得不优雅了,不能体现“IO的方向”,不能“静态检查”-虽然实际上手写2次rw才是最易错、最无法compose的那个

就连我自己,也是从 class{fun r,w} 的组合器+React state 之类的东西开始使用no-return风格的。之前像mmap() 那样只靠设置arr[num],int typeTag; 来parse一个bin简直天方夜谭,虽然它在C/cpp里每天都在发生

简单的说,大部分C dev都知道哪几项构成了某个“数据结构”,而jspy人,并不懂,只是在玩栈转堆的抄袭,甚至连C那瑕不掩瑜的无长数组都没抄到手。
我不是在表扬C,但java取消指针时也遗漏了一些触及灵魂的东西,这令它的async API像个渣,也让Vue的诞生晚了十年。

今天的人用GC太多了,以至于离开new treedata 就无法编程
我讨厌导致这种现况的标准库/design pattern作者!
他们根本不知道用户需要什么功能。 他们只想要别人不明觉厉,这样才有人听他们说话出书

其实并非没有人用 declarative way 做格式化IO,给低内存的 xml-epull 加个参数 s.fitU8((x,onmutX)=>发事件或new并监听)
基于插入位置游标的链表修正,甚至能实现var-length结构的0copy编辑

把函数名变key、装进数组或kv,从而令「程序与所控制的数据结构直观对应」,我觉得这甚至不算FP的专利-它明明是“领域的口语”、“编程语言”、是“工程”师一词的核心价值

然而似乎FP bros也做不好这个,一大堆扭来扭去的符号功能不明,反而让无倾向的Declarative,为它们自以为高明的链表和括号站街,而动键盘的初心、致胜的精髓却被欺骗性极强标点符号埋没、被误解、被遗忘。
大概让人类编程,这个坏毛病是改不掉了吧。😊

--我不喜欢Lisp,但Friedman说的这句很对:好程序就该100%反映它所读写数据的结构。一切不执行的符号、重复的片段都是在凑字数,语言之罪,就让语言api去消灭;只有这样,作者才把精力放在正道上,大家才能用上不让人捉急的App

#statement #dev #fp
Forwarded from duangsuse
#statement 以前我喜欢搞编译器,玩元编程
但那只是沉溺在算数、跳转、字节之间,是大同小异的文字游戏
而且还会和丝毫不重视书写体验的函数式、类型体操人混淆不清

魔法对生涯是没有帮助的。 或许利于求职,但那魔法起源于八股。

现在我深刻认识到,程序员和其他人的唯一差别,就是爱用「心智模型」来对比和解决问题。「模型」能跨越语言,只和范式有关,而最高效的范式就是基于表格的OOP

编程语言的唯一价值,就是提供语意明确、博采众长的模型和API,作为软件设计生态里的导游和期刊
其他任何与问题无关的术语、故意搞特殊的框架,我们不封装不科普也会被AI替代

相信未来的编程语言与kotlin相比,能和java与C相比差异那样大。 比如说,面向逻辑关系编程
duangsuse::Echo
duangsuse: #kt #book 元编程 http://www.bilibili.com/video/BV1XH4y1w7mT https://drive.bennyhuo.com/zh-CN/talks/2018.11.17-%E4%BC%98%E9%9B%85%E5%9C%B0%E4%BD%BF%E7%94%A8%E6%95%B0%E6%8D%AE%E7%B1%BB%E5%9E%8B_final.pdf https://weread.qq.com/web/reader/f7632a00…
duangsuse:
此callback非彼回调
这个cb是编译器自动生成的class

web apis从一开始就线程无关
有什么平台和语言敢说自己的异步API比Promise经受更多用户考验?

那个是动态语言所必须的,kt有编译期,完全可以不染色
然而只有suspend fun是和正常函数完全相同的,业务上完全没有比js优秀
https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/
algebra effect https://t.me/dsuse/19174

coroutine这个词不需要存在,即便是在脚本里,最多需要await和numpy的真正并发并行计算

而且即便存在,霍老也不应该说什么magic
不过就是把return()变成值,通过callLater{delay.then(me)}构成链表,要么就简单到 Thread.asCallback

可以知道,Coroutine(而非Closure), Dispatcher/awaiter 都只是为确保函数return后能正常复活的东西,和调用栈完全一致
强调它们不同的,不是蠢就是坏

堆栈互转的玩意,说的跟迷因似的术语一大堆,严重被高估了。OOP构造函数同理
还有元编程、xml ,完全是语法太复杂导致的无效学习。你看 compose DSL需不需要拖拽设计器

coroutine是在搞特殊,因为linux的read() write()就是自己的await和yield,linux没有说协程
多线程是为了IO多路(evpull)和分块计算之类的,linux没法掩藏这些细节,但语言不掩藏就是语言愚蠢了

反倒是lua以后那么多年没有语言跟进,都在回调地狱,这是问题。

lisper 在把 @Adder(x=2) 生成为 (unquote '(+ 1 x)) 时可不会觉得是魔法
他们写 (let '([x y] ary)) 时也很清楚,这不过是一种list(str) 的循环处理
kt写inline也不会觉得很难理解

也罢,毕竟字符串模板目前还是ES6的专利,php都还在sql注入呢
所以java语法比嵌套的括号还低端吗

我是说无缝RPC其他语言脚本的这回事
sql``select ${1} 是不会注入,那为啥sql里有个 ?参数的概念呢?

PHP通过ORM和prepare语句确实不会注入,那么php跨语言调用js脚本呢?
只能用reflect.invoke那种API吧?

ES6可以随便调用任何py js rb JSON接口而无惧注入

不仅如此,js还可以靠eval('var ..') 自己注入自己,顺带实现codegen

想不想注入,都是开发者说了算😊🤓

#statement 我一开始就说了啊,讨厌magic

作者在后面的章节明明有更大体的理解,却不懂知识重构
反而把这些含语言设计者私心的API拿来讲课

两句话说明白的东西,何必浪费读者时间。后面讲Channel,sequence,flow 时读者懵是不是还要复习一遍?

最讨厌与语言、与CS术语耦合的私货了。 谈算法不离编程语言的,两句话不离语意模糊的术语的,可能是称职的程序员,但绝对没有准备好设计优秀的框架

这让我怀念 coolshell.cn 的耗子,虽然他过劳死了,但不到50不写书的工匠精神确实值得钦佩,因为知识布道者确实要这样谨慎。
要是编译原理/元编程界的多数人都这么有格局,lua zig的这些优点也不会雪藏那么多年, http连双端绑定都做不到的框架也不会活那么久

duangsuse:
#kt coroutine 和现在js async func* 的情况一样,一开始没有flow,后来加进去就是。。一言难尽

我不觉得把分页数组和Reactive混为一谈是好的
就像现在flow也需要buffered()或只留最后一项
这不太能统一化缓冲区

🌚flow模仿数组好像也说得过去,但总觉得有点像C数组或指针,是在搞混淆

flow如果和sequence{}统一就更好了,使用可调的默认bufsize而不是yield一次一个值。

这样和linux的iostream就合体了,而且也能实现vue ref()的效果,两个不耽误
太过重视调度线程是在模糊要点
duangsuse::Echo
†nahakyuu†: 看半天没看懂你要说啥 夺命十三枪: 写Kotlin都写魔怔了吗 Science Yuan: 动态类型只是允许你瞎搞 Mystery0 M: 只要一天没看到“duang语言”发布,就不用可以去看他说的是什么 duangsuse: 🌚你觉得我是缺实现语言的能力吗? 我是在找其他PL人漏掉的领域痛点。 世界上从不缺少会算法的人,尽管能用好它们的,只是极少数 例如这个吧,中文SQL 如果我那周在搞jawa,随便做个sqlMapper生成也是ok的 我四年前就在写LLVM IR生…
#life #statement 🌚终于知道为什么千里冰封、王垠会发疯了

我现在完全不认为他们是精致利己者。 软件工程界抛弃他们,B站无人在意他们,
他们又曾拒绝过哪位求知者呢? 同是沦落人,就不要装得纯粹无私了。

我在这里用触屏“为了分享感悟” “参与头脑风暴”,打的每一个字,查的每一个链接,都是浪费时间。 应该早点返乡拿电脑写点好玩的, 直到有天重演庸俗的『山顶见』。
怎么可能呢?我是说对原理出言不逊,却在应用成功后弯道超车的道理。 如果不是图你的市场大


简单来说,中文圈,尤其是崇尚存在即合理、Talk is cheap just code 的,不是崇尚艺术与美的人能待的地方。
不能容忍这种“杠精思维”的地方,当然不配被React这类批判旧规范,而诞生的新工具所尊重。


“在中国,任何超脱飞扬的思想都会砰然坠地的,现实的引力太沉重了。——剧版三体第六集 ”

我只是不明白,对既有代码提出批评和另一种道路,究竟触犯了谁的什么利益?
难道经济学的「创造性破坏论」对最激进、最多元化的IT也有效?
希望这只是中文圈,而非IT的问题。

五年前的我能写出只靠3个字CRUD数据库的SQsu,今天的我也能向自己读过的书证明,元编程、codegen、bytestruct和pyjs里操作一些dict和list一样简单。

duangsuse:
不是的,我对霍老也有批评,但他确实是先驱
管js贺师俊也叫贺老

纯粹是念着顺口,阮一峰 张鑫旭 陈皓 这种就没昵称
duangsuse:
我刚才也是写错了, 以后应该把「你们」明确为『业界』的
有歧义啊

劳动成果并不都是有价值的。 你能说“不尊重烂尾楼”是错的吗?

作为程序员,我尊重客户和需求、尊重最终用户的体验,而不是尊重丑陋的代码和规范!

* yinwang.org
* ice1000.org
* https://duangsuse.github.io/tv/%E9%BB%91%E4%BA%86/db.htm
* see breakwa11 事件 https://t.me/LetITFlyW/10224
duangsuse::Echo
#life #statement 🌚终于知道为什么千里冰封、王垠会发疯了 我现在完全不认为他们是精致利己者。 软件工程界抛弃他们,B站无人在意他们, 他们又曾拒绝过哪位求知者呢? 同是沦落人,就不要装得纯粹无私了。 我在这里用触屏“为了分享感悟” “参与头脑风暴”,打的每一个字,查的每一个链接,都是浪费时间。 应该早点返乡拿电脑写点好玩的, 直到有天重演庸俗的『山顶见』。 怎么可能呢?我是说对原理出言不逊,却在应用成功后弯道超车的道理。 如果不是图你的市场大 简单来说,中文圈,尤其是崇尚存在即合理、Talk…
有人可能觉得,我这么杠是想显得自己很牛逼,或者多管闲事 #plt #statement

但如果我为了be nice,放弃对烂代码、生搬硬套的术语、八股文和样板代码的态度
对魔法师、“生产环境就必须复杂”的观念做个好好先生,只是帮魔法们去科普而不化简重构的话……
新生程序员怎么发挥他们的创想

凭什么老程序员提出的概念、技术、样板代码,能成为技术栈选型上的错误、带偏最初的设想?
其实,今天的前端dom-url参数转JSON-后端sql或kv
有那么难理解吗,但是要学的仍然一大堆。比如cookie,handle,也就是fd=open(File) 这类RPC对象号吧,这居然能成为一种知识点么? 只要视野放的足够广,许多50行说不明白的“新技术”,都只不过是旧思想糅杂了奇技淫巧 。

我不喜欢这样,这撕裂显然是利好libs API维护者,但对用户们毫无意义。是可以统一、省略,专心为业务服务的复杂性。


我曾被 @程序员鱼皮 和 @drakeet(当然是怪我 #reveng 他的app了) 两个技术人拉黑
都是因为说了类似「后生可畏,有些人的100行代码比七八百行更管用」,今天也一样。

这就是客观存在的事实。比如 VanJs.org 用300行实现reactive,许多人还跟在miniVue后面买课还学不会呢。
用更好理解的: 《算法 in C++》 是否符合我上面说的100行代码(而不是“1万小时定律”)原理呢?
更别说 https://github.com/duangsuse-valid-projects/tkgui 的拿数据打脸了,这在元编程(比各种算法更加通用) 里,简直就是常识。

这并不是nice与否,而是对谁nice

我倾向于对未来nice,因为那才能进步。
并非不择手段,但我下决心要前进
Forwarded from duangsuse
🌚 刚才想了想,确实无关于ktx的Encoder APIs #oop #statement

我只是有点感叹,学那么久JVM/C# 的“安全的”托管代码,业界最终还是没解决var binding的问题。

有大牛说,计算机科学里最大的两个problem是命名和缓存失效(React里的memo, poll轮询和Svelte里的push就是典型的缓存刷新范式),深以为然

实际上,C的 堆/栈/指针 范式的问题,也从未被OOP消灭过,就连data class也只局限于语法糖,而没有俯视“数据类型”这个整体

fun2class即 栈-堆 的绑定(协程、CLI、RPC解析的最优解)? 不存在
class2KV即 堆-RPC形式如txt(0拷贝和序列化的基石) ?要配环境

许多人痛斥C的 int* 和Rc对象树,却对JS的 new Signal.State(0) 疯狂打星
所有人并不知道,如果把 heap/ref 值真正统一建模,gradle minify, js tree-shrink 只是对文档树进行GC

C里用mmap设置下list[len],obj.type 就能“读写”的数据, 因为只顾自己的一亩三分地,许多人根本认识不到: Reader/Writer 的本质只是把流的i32,i64 从栈复制到堆上,再回到栈上,即 this.x=read(); ..

其实,“程序结构与数据结构直观对应”有多重要?
从你编译程序开始,到任何数据..或代码被跨端复制- 甚至仅从JS复制到XML/html,都存在这类的样板代码。
然后,便有一堆良莠不齐的框架跳出来帮你“提高写码效率”,顺带兜售自己造成的一大堆问题和“知识点”。

他们甚至不知道,堆/栈/指针值、单线CPU多异步任务,这就是50年前困扰C的问题。

但能杀灭这些问题的算法呢?“解释器”的降级版,DSL,能设计好的人都很少
编译器学生,例如ANTLR的吧,沉迷于用状态机重造x86调用栈的轮子
函数式er 并不重视程序的语意、实际应用需求,只是痴迷于链表、深拷贝、abstract nonsense,和从Prolog偷来的模式匹配。

发展了70年,除却类型冗余不统一,就连IO都做不好。
man, what can I say?😔
duangsuse::Echo
https://t.me/hyi0618/3476?comment=1182 突然想吐槽一句🌝 我要是尊重业界这群自以为专业,动辄几十k代码堆砌出「劳动成果」的魔法师 尊重这些搞笑的过度工程、这些空有篇幅,而无功能点的大class 谁去尊重那些不断被强制更新,软件体积耗电量不断翻倍,功能却越来越卡、慢的用户? 谁去为新程序员踩的坑熬的夜买单? 谁去为谦卑的Pythonic、和WebAPIs的正确道路添砖加瓦? > 你会买百公里耗油100升,甚至1000升的汽车吗?在软件行业,业界一直这么做。 > …
#statement os #design
程序员为了教条规范放弃常识,就是最大的形式主义。

幸亏我学了元编程,不必被那些文字游戏所蒙蔽,可以有自己的心智模型。
只要穷举了「设计模式」们的Reason,就能跳过所有空洞的抽象,稍加设计,代码结构才能直观反映用户的视角。
如果,我没有遇见Prolog(https://tomstu.art/hello-declarative-world)和numpy、没有对C ABI和lisp的认识、不会写解释器和DSL,不能将协程/Reactive/OOP等“新框架”与C语言的旧需求对比着看,我肯定要被业界不沾边的教条主义牵着走。

“优雅的程序与它读写的数据,在结构上直观对应——Daniel Friedman”
从前后端到终端,从红黑树到递归和DP.. 有哪种代码不需要拆分业务逻辑、计算各色的数据?无非是晦涩或明确、重复或简洁、充满机翻感或编程如写诗。

富有语意的代码,“免费”的序列化与各种绑定..注入..的魔法,在lisp的时代就已经初具雏形。
别忘了对象树与GC、靠lambda隐藏部分参数的这个概念,就是他们的首创。 Javaer设计了那么多模式,很少有Visitor,ProxyDelegate 这样能跨语言保持一致的东西;然而60年前的函数式操作符,所有主流语言里竟然都是一个样!
部分程序员弄出来的私货,终究是暂时的闪烁,只有纯粹为语意服务的 functionals ,才能成为永久的光明。

React之流的各类“榜一”,对前人的工作有尊重吗?不幸地,沉溺于重造webkit等上游的轮子的他们,不屑于接受软件工艺的点化。

幸亏我遇到了先贤们的示例代码和优雅范式,他们对技术「自顶向下」的reasoning,才是真正与读者的平等交流,让大家能「早点休息」
而不是把对方视为copycat或翻译AI。
可怕的不是草台班子,而是你依赖的草台班子,抄袭魔改了另一堆草台班子……

如果一个人话都说不利索,讲概念难以简明扼要、一语中的,凭什么他靠写“新语言”的代码就能突破? 封问题,一定是消而不灭,照猫画虎尔,搞出更多让人头疼的坑。所以要兜售“永续学习论”“知识价值”咯..
其实,就是库的设计者一代不如一代。说是你不聪明不正经,那是在逃避编程语言的天职。

C诞生50年了,它所能实现的预处理期计算、单函数读写结构、栈参数和this变量的同构、
os级协程、将bytes重解释为"Proxy对象"如结构体的变量绑定,依然是后继寥寥, 更别说ndarray、正反函数、跨语言调用对象的这类常理化接口了,在编程界基本不存在!

Can programming be liberated from C-like OOP style? 😒 How long will it take?
https://tonsky.me/blog/centering/ #css ...
duangsuse::Echo
#kt #元编程 嗯。。我有个点子,有没有懂ktx序列化的人批判一下😊 基于Visitor实现json/toml.. 的读写,data class 只提供零参构造和 KVlit.see(instance,"field",jsonVisiter)接口 数据类的KVlit,就是给dict支持了个拆箱赋值,结合零构造和field Visitor自然而然就实现了序列化 设计CLI解析器时想出来的,就挺像xmlpull const N=Double data Num2(x:N,y:N) interface KVlit…
https://tech.codelc.com/docs/thinking/quotes.html #statement

除非明确地使其沉默,错误永远不应该默默地溜走。——import this
malloc()不该沉默,因为内存可能满了,write()不该沉默,因为磁盘随时能被拔出;在java里,它们都需要一大堆 throws以及catch,复制粘贴的那种。
未定义行为,并不代表操作系统、编译器和框架不会替你善后。问题只是需要时怎么改

代码胜于雄辩。——林纳斯•托瓦兹
什么语言的代码?老冯的x86?
编程语言是我的母语。我的表述比C的结构体和流水账更“结构化”。
最深奥的代码,是写出来前就能在头脑里运行的那种。

世界上只有两类编程语言:人们都抱怨的语言和从来没有人使用的语言。——大牛
世界上只有两类编程语言:发明解决方法以为编程游戏助兴的玩具语言,和抄袭玩具以获取红利的java等语言

😊此外还有我没法反驳的
好的代码自己本身就是最好的文档。
修复 bug 很容易,但是定位 bug 却很困难。

用代码行数来衡量编程的进度,就如同用航空器零件的重量来衡量航空飞机的制造进度一样。

假如让最初90%的代码消耗90%的开发时间,剩下10%的代码会需要另外 90%的除错时间。

世界上有两个设计软件的方法,一种简洁大方,明确没堆砌出缺陷,一种冗长繁琐,连缺陷都难以明确。
https://t.me/dsuse/19830 #statement #book 「只给🔑不给🔒#china
😒莫名其妙把《kt元编程》看到 Compose, AtomFU 的部分了,占二成篇幅

不得不说,牢霍 这两张写得是最珍贵,但是最烂的。

@Composeable 上来就是说内部有啥结构啥流程和flag,报菜名
连期待编译出什么代码都没得

如果您是后端,不懂Compose在哪调用,为什么有 $changed 这些优化呢?不好意思,牢霍只负责教codegen,这个框架被设计来解决什么,比无魔法的Anko优越在哪,他是一点不关心。
纯流水账 ,基本只对同样要学八股的人有用。。

我在想, 自顶向下地编程和写文,是我用的唯一方法;它的好处是,一切代码都是有reasoning的,不服可以重写、重新选型,不是强加给你来死记硬背的

但是,迄今为止我阅读全部的中文资料,除了王银那种废话为主的低密度冷科普,没有这种「自顶向下」的作者。

为什么从根源认知一类问题, 从而区分本质与私货、明白为什么要这么写,对各种大牛就那么难呢?!
https://ray-eldath.me/programming/three-important-ideas/ #statement #PLT
Ray: 我的一位朋友如此评论这些文章:他说真正理解抽象的唯一方式是通过抽象本身,而不是通过并不准确的类比。
「为了充分地("有用处"地)学习这些抽象,你必须去学数学,而不是通过一些糊里糊涂的文章,它们除了类比还是类比」
Dr: 要找到 “哪些代码遵循此抽象” 并不是必须的。像 Monad 这样的概念是非常抽象和通用的:它是一个描述了一套广泛的编程模式、数据结构、库和 API 的概念,其强大之处在于它们,是对如何设计和使用这种抽象的指导原则
成为高效的程序员并不需要理解全部的联系。其他人自然会强烈反对 :-)

Ray: "可仅仅知道 JavaScript 里的 Promise 本质上是 Monad,而 Functor “又是一个盒子” 并不能帮助你成为更好地程序员,而在你自己的库中使用这些词语只会让你的下游觉得不舒服"

...概念是非常抽象和通用的
等等,
逻辑学告诉我,抽象是通用的反面,就像社会是丛林的反面: 您的知识若是通用的,它一定能与各应用领域紧密联系,学生如何觉得它抽象!

人们就是讨厌空谈,所以设计各种简洁而通用的API;人民就是讨厌丛林,所以组织出了社会。 现在竟有人觉得存在通用抽象和丛林社会?? 这就像是说javadoc等机翻的玩意,比各种demo, test甚至产品更能展示项目的价值!
“靠代码行数来衡量软件功能的进度,就像是凭零件重量来衡量飞机制造的进度——Gates
靠知识点的难度衡量价值,同理。😅

我看这种观念者,确实是够抽象。 “类比”的本质是抽象,而「学习」只是用自己领域的思维,去「组合」「代换」出别人说的那种东西,带给你工具和知识图谱上的价值。
大家来到世上都是白痴,没有谁拥有无法被代换给别人的知识「原子」。写文爱用「未定义就使用的概念」,想设计新的抽象,却不谈理由?那就是 lier
无论我们用什么领域的「原子」组合出了CS的知识点,那都是潜在的价值,为空洞的术语绑定了新的语意,更摒弃了其中被“凭空捏造”的哲学。让IT人说话,天塌不下来!

难者,不会也。作者已死,凭什么说的道你就是「高等抽象」,大家能跟上的就是"糊里糊涂"的抽象? Einstein, Feynman 说物理的最前沿应该教高中生搞懂,难道你们的方法论比爱翁还科学?
人们给车设计的引擎,能达到原理极限的98%,那么 #CS 对IT的指导,除了让空指针反复造成十亿美元bug,就是让功能不变的软件,随着更新越来越臃肿和慢? 这算什么CS

Monad很图论,很优雅啊! 但它能从 x+1==2 得出x=1吗? does it run backwards?
数学的精度是无限的、数学的等号是有交换律的。 #Haskell 里有模式匹配,但有"Var(x)作为值"吗?
只要变量是值,模式匹配、类型推理、响应式,甚至函数的编译,就真是小孩都会写的栏大街了。让 let(['x','y'],a) 生成 x=a[0],y=a[1] 谁不会啊 也配叫语言特性
FP们连正反函数如 show-out(1, "1"); show(res, "1"); res==1 都没建模,无精度int、向量、矩阵和微分都不如numpy sympy,也好意思谈数学性? 起码把Fortran的矩阵搞明白再说吧

https://arendjr.nl/blog/2024/07/post-architecture-premature-abstraction-is-the-root-of-all-evil/#:~:text=achieved%20through%20a%20much%20simpler%20function
费曼家有一套《大英百科全书》,父亲常让费曼坐在他的膝上,给他念里边的章节。

有一次念到恐龙,书里说,“恐龙的身高有 25 英尺, 头有 6 英尺宽。” 父亲停顿了念书, 对费曼说,
“唔,让我们想一下这是什么意思。这也就是说,要是恐龙站在门前的院子里,那么它的身高足以使它的脑袋凑着咱们这两层楼的窗户,可它的脑袋却伸不进窗户,因为它比窗户还宽呢!”

就是这样, 他总是把所教的概念变成可触可摸, 有实际意义的东西。

“个体的经历,不过是一个庞大的(形式主义)系统下极其表面化的闪烁而已”

可那个闪烁对某一天的用户来说就是一切。 自然原理,亘古不变。如果只是发现他们就能改变世界? 工业革命可以提早数百年。
人一思考,上帝就发笑。 你们的抽象,永远概括不了现实的领域、具体的人所提供独有的组合与可能性。

知其变,守其恒,为天下式?
穷其变,悟不穷,以明我志!
不能为每个人产生普世价值,是理论的悲哀。
#linux #design #statement
最近在设计OSon(一个基于JSON的类lisp计算图语言) 的一种强类型根rootfs 标准,打算用cbor(json zip),flatbuf 作为sysfs和etc的标准编码,它们的标准很简洁, cbor甚至只用0b111(7)种情况编码了可变结构
https://cstriker1407.info/blog/cbor-simple-note/
https://flatbuffers.dev/flatbuffers_internals.html#:~:text=scalar%20data%20is%20stored%20with%20a%20variable

这对JS是有用的,因为要搞 await uu.com.google 即 //com/google //$http//google ,也要想办法修改各种语言作为shell,像 coreutil.cat(/txt/a) 什么的
//$http/info/cstriker1407/blog/cbor-simple-note/ 上面的链接看起来就会更跨平台
幸运的是,http和本地文件类型(MIME Content&file magics) 普遍被程序员尊重 👍,让网络和本地路径、音视频等格式的API统一化不太难,我只添加environ.T_PATH='array' /sys/T/*.flat,ALL.py 两个和一些util就能完成

不过我要吐槽一下UNIX的多用户和权限: 这根本就是废物,就像 ls -l 里跟在mug(drwx--- root root) 后的硬链接数一样。
就连UNIX自己的 /lib 也不用硬链模式,也包括 /sbin 不是su, /usr 不是user..
实际上,硬链接只是 protected Rc<inode> nlink; 而已,对任何UNIX外的文件系统都无用,是实现细节!然而tar;cpio 都包含了类似的变量,真不知道照着文件管理器画瓢为啥那么难

绝大部分情况下,UNIX是“双用户模式”:PID1(root)+UID 1k(wheel) ,最多加个普通用户做后台服务 😄
UNIX的“先知们” 则是幻想着youtube集群该调用 useradd 去创建数据库用户,或是让http跟着unix的属主属组鉴权…… 然而,它只留下了 chmod +x

http ftp 没人这么玩,甚至http都被 {code:,msg:} 篡了。Windows的公共/本地视频文件夹 被xdg抄过来了,但只有前面一半,所以Linux的安全只是区分root么?

$ id 会显示用户和组——基本上gid==uid,就像进程组和多线程,用 strace echo 你会发现调用的是 exit_group(0) ——所以设计exit是干什么?
syscall 这些东西倒无所谓(libc,msvc 都被Python.NET淘汰了),groups 我是要用docker容器名换掉了。 实际上,即便如此,组的权限也没有用处
HOME/视频 现在分为 ./my.v/ ./.prot.v/; 除了 .{local/bin,etc} 等隐藏文件外都是public

这样UNIX的用户/组和权限就都有意义了: 用户=app, 组=依赖的服务。 对于uid<1000 的容器可以自动支持setcap httpd 什么的
/a pwd路径
/blk/a pwd字节(均覆盖无扩展名情况)
///google 网络路径,基于HTTP类型和编码
//$http/com/google 完整URI

./{my,prot}.[agevzmM]/
用户,小组的 a音频 g图像 e文档 v视频 z下载和压缩 m项目 M设计和3D 。自动带有.前缀
//{sys用以支持引导和PATH里的CLI/API/UI, dev编程虚拟设备(系统级ffmpeg支持),v服务(根目录叠加层sndo),etc配置,UID/家目录}/ 运行时五项堆叠

整个内核只隔离两个地址空间: app+Chrome等解释器 在受管, Apache等可信ELF+WASMbpf等解释器+驱动+调度/分配器 在Ring0
整个系统只使用四个权限: //USER/*/.{*,prot.*} 是711和771 其他不含//sys/bin,lib64是777,反正也会被容器随便覆盖掉。
"可执行权"其实已经被setcap位细分好了,SUID这些trick被用于决定是否可信
- 任何对sys,dev,etc的读写总是允许的,只是有不可见项且限制于shell,要用 sndo -U 应用到用户
- v,HOME照常鉴权,只是照上表弱化UNIX的文件本位

大家都知道,对于OS这样历史悠久的app,ancestors' evil 真的不可修复,也有些人吐槽mp4编码容器设计得很烂,webp压缩率很好,但小白只知道mp4和png

不过,假定有JetBrains或荷兰人那样的技术,实现 kt=javaAPI, java->kt; py3=2, py2to3 的前后兼容虽然麻烦,但也是可能的 😅

//$http/ 被设计为实现URI的另一种字面,不与URL冲突(href=//example.org/ 总是带点),可以借助浏览器和编译器插件实现
不过 /txt/a ./HOME //sys 这是与旧格式混淆的,但它们仍然比(ls -a 只添加俩 . ..)优雅。URL似乎不需要./

很少人知道 overlayfs(Dockers) 的功能甚至是Linux自带的:
https://github.com/openthos/printer-analysis/blob/master/移植/PRoot一种用户态chroot实现简介.md