#design 事件脚本 颜色 排版
https://github.com/tc39/proposal-signals
https://joeduffyblog.com/2015/11/19/asynchronous-everything/ #csharp

https://t.me/TypeChat/56825 二维码和火星文
State of Text Rendering 2024 (Score: 150+ in 13 hours)

Link: https://behdad.org/text2024/
Comments: https://readhacker.news/c/6aXT7

https://m1.material.io/style/color.html#color-color-palette
Material Design 1 那令人惊艳的色板想必大家都不陌生，那么如果我们强行把这个色板按照 Material Design 3 进行重新编排，会变成什么样呢？

我做了个小实验，结果如图，只能说有点惨。

网址：https://sjjscl.csb.app/

😅 #china #life #news 这下被美帝国主义检测出俺们是「人矿」了

🇦🇺几十年前好心提醒了中国乳产业，三鹿抓了个典型，不知改没改，但还是有一碘碘其他问题，恐怕咱们是改不了了，毕竟消费的主权在民嘛

人均重金属超标，总不能都怪怀仁堂的仁丹吧？ https://m.youtube.com/watch?v=9lwgm33Vd8Y

>植人吃植物油，中国人是人矿，吃矿物油，很合理
>中國廚師炒菜火燒這麼大以為是廚藝精湛，原來是加了煤油
>對不起 洗車?...
幹 洗車就能乾淨嗎? 這是洗不洗車的問題嗎? 工業用油與食用油怎麼可能靠洗車???
馬的
还记得23年幼儿园阿姨在小便池用小便池水洗餐盘吗，尿壶洗干净了就能当茶壶吗？

多么悲壮的旅程

#film #china #history “小时候，不少父母会教小孩，要快乐，但自己的快乐不能建立在别人的痛苦上”

但是，当一些“国家”为了说的道理，肆无忌惮牺牲普通人的利益、让 #具体的人 吃亏时，不少旁观者称其为强大的祖国，并且认为自己能从祖国的GDP里分到一块人血馒头--甚至认为自己已靠祖国的流氓占了不少便宜

当马克思宣扬和承诺「穷人失去的只是锁链，他们得到的是整个世界的免税物资，取之不尽、工作清闲、个人尊严、……」时，应该从未想过，资本家保险箱里的蔬菜水果，是有保质期的；就像那群暴力夺权的政党，随着愣头青牺牲和被排挤、随着抢夺行为的由外及内，这不可一世的宗教信仰也会烂掉，与牛奶和茶一道被倾入河中。
可惜到最后，波士顿倾茶里“抗议殖民 拒绝黑税 契约贸易”的独立意识都没有，权利权益，怎能在涟漪般此起彼伏的「莫谈国事」里被保障呢？

几百年的历史，有时蒸汽蓬勃，几千年的资历，却可能只是跌进了循环中

并不是因为缺少记忆力，而是忘不掉太多「正确的记忆」😴
https://m.youtube.com/watch?v=wRO0tae5u5E&t=10m
https://m.youtube.com/watch?v=WFVcaWirAhM #acg
https://m.youtube.com/watch?v=zmMw0VG7U_w

#您知道吗？ #cs #dnn #wasm 计科长青树一瞥：递归下降、梯度下降 （1）

*编程的赞歌就是(组合compose)的赞歌，软工的伟大就是(复用reuse)的伟大！*
复用就是腾讯嘛！但，什么是组合？流行乐队是组合？

在《几何原本》里有这样一条公理：“整体”是由部分构造堆上去的。 无论物理的原子分子、化学的单质单剂、生物的组织系统、儿童编程的二分查找，甚至您编写的{语句}(算式) 定义表()，总少不了分治算法的影子；而与递归对应得最直观的树，除了带kwarg的视图描述树XML、文件夹管理和正则匹配的前/后缀树Trie、OIer的必修KMP图(: Trie+FailGoto)，更有梗图里常被实现为SortedSetOrMap的红黑树RBTree(: AVL) --作为按int KHash()预分组K-V查找的一种补充。

不过，今天咱调戏的不是高深的算法或数理化，而是程序员的自我修养：表达式、解释、编译、类型检查和推理。
🤓不少语法看似是ES6,Kotlin,Java20+,C++里高深莫测的新特性，其实，只是因为它们的设计混乱带来的大误会！ 软件工程界的基岩，原本很简单？

- 计算器🧮("1+1"):数据值 是不支持forif或(vars)=>函数/JSON文档的解释器，最简单的理解是 x=1; eval[+,1]。对内存的利用方式过于单一，就像🔑C语言的.o .so 只是靠LD互调用的object{static{}}，或者VB一代难加函数的"红石命令"，毫无扩展性还要另写头文件 自然被淘汰
- 解释📠("expr(1+1)"):值或行为 程序员唯一必须调用的接口。tree-walk(递归遍历算式)非解释器的专利、VM不是编译器的秘技。对x86汇编的执行也叫硬件解释，旧安卓通过转译arm汇编.so库到x86做兼容，就像IKVM对“JVM汇编”仍能再次转译到IL
- 编译 就是解释器的缓存📑：记住自顶向下遍历时的套路，直接自底向上组装值(lisp转RPN)，很像二叉树vs(堆,一种树状数组)！这除了要重新实现重复/判定/ret&&break跳转的流控，还可将RPN栈指令集优化为局部读写-按类型复用。
要求手动编译的语言均属慢速原型，会标注或推理出类型签名，从而🔑以限界实现提速和多态(重写重载、记住变量名的指针,即担保栈size恒定)。 ANTLR等“状态机”编译器的输出便是自底向上，正好颠倒于主动read()流到js栈的PEG，不过，它们其实是慢的虚拟机。

类型的本质是简洁的🔑常量「黑盒测试」，它与表达式同构，执行方法也相同！
- 类型检查 就是只解释 def f(x:T):R 里":右侧"的算式，以插入 (f T R) 这样的SQL行。x编译后是arg[0]：一个空悬指针，但T.fns却是有血有肉的"反射"常量。把每个 x:T=1 换为 x=T！
x+x 的语意为查询 (+ T T)、1+"" 查找函数签名 (+ int str)、 u.id (.id User Ret?) 便能检查误拼写和空指针
不难发现，这些都是效仿numpy重载个运算符就能实现的，并不需要学编译原理写解析器！这也是 hamcrest.org http Test库断言组合器的原理

泛型class/fn/var和赋值 的推理规则是一样的。
例如把 <TR> as([Box, T], T=>R):R 与 as(Box(1), str) 深度重合时，新建两个TypeVar(void)，它们会在 Int==T, R==str 的检查时被向上赋值，从而填充[Box,int]里的类型T、as调用里的R，并照顾到 i32->i64等转换及子类规则
同为编译期遍历，你还可以思考下 let[x0,x1]=a 如何被实现的，以及在运行期是否能模拟？

学习元编程有何好处🌝？因为可以从根源理解yield/await、纯函数、模式匹配、模板宏等“新”特性，凭什么能简化旧实践！
- 闭包和协程closure&coro 便是编译比解释好实现的两个特性。 compiler 通过{let;}的动态作用域(原型链..) 区分符号的LEGB来源(Local Enclosed外层局部 Global Builtin常量)，从而能把 (x=>y=>x+y) 化为对象值 f_y=((x,y)=>).bind(x)；Lua能查出跳转到表达式的指针，y=yield x 便能在return前，把函数的局部栈保存回 g.next/pr.then
- 模板constexpr 让闭包关于常量创建，如何？ ((x,y)=>x+y).bind(1) 就是 1+y， ((k,s)=>s[read+k]() ).bind("Int") 就是readInt，*[map(print,0~9)] 就是循环展开，这些就是预处理的价值！反射和const只是对eval(并缓存)之「二段求值」的阉割
- 副作用effects #FP bros异常抨击print这种“无法被值存储的、有非局部干扰的赋值”并推广他们的赎罪券:Monad……这却是因为他们并不懂「定义式编程」！
React signal(x=0) (1) 就是一个不纯的赋值，但，它导致的x=1却能被广播为参数、被保存和复现！🔑这还能叫“状态变更泄露难题”么？
并且，它还偷走了"FP独有的模式匹配"。对赋值副作用的录制，更是bash,vimrc类格式经久不衰的原因

说准点，这些都是 #SQL 的老大Prolog所原创并推崇的-:变量作为值,逻辑式编程！
*整体大于局部；与另一结构重合的结构，之中的值相等 --几何原本*

⏳在通读本文时，也可以参考以下实例：
coroutine=由用户run()的线程
*调用栈是数组，协程栈是回调构成的链表
诸分治排序可视化
手动babel脱糖一个async函数
知乎：分词解析vs解释
实现一个HTTP DSL
Var(signalObj)如何跨越进程和网络：句柄、登录cookie、JWT
def(): return this 是何方神圣？
在解释时缓存代码的Tk GUI
Trie们和字典输入法的实现
关于class Visitor {se(e:Add_AB), se(e:Int)} 和Eval/Dump接口的融合
实现文本流递归下降、四则运算逆波兰、 JSON.org
Prolog binop #parser
计科原神：认识WASM/LLVM IR和JIT, webVM.io

苹果新专利：不用Wi-Fi/蜂窝网络实现语音群聊

美国商标和专利局 (USPTO) 当地时间7月11日公示的最新清单显示，苹果公司获得了一项通信专利，在不借助 Wi-Fi 或者蜂窝网络的情况下，让附近使用 iPhone、AirPods 耳机等苹果设备的用户可以语音聊天。类似 Apple Watch 上的对讲机功能，可以实现即时通信，但对象是群体而非个人。这项技术将带来一种全新的通信体验，用户只需使用口袋里的 iPhone 即可选择一个或多个人进行无缝交谈。实际上，这项功能与“隔空投送”非常相似，但是用于语音对话。这项拟议技术将允许一对多连接，所有群组成员可以同时互相交谈。

—— AppleInsider

#meme 猜谜，打一国家或地区

一问生日公元前，一看入世零零后
一贯保胎罚十万，一代八孩才爱国
一摊疆域九百六，一烂房价九万九
一识姓工不姓资，一贷工资三千多
一瞅国恨美日狗，一抽白刃国人斗
一思贫穷怨犹太，一遇拆迁跪支书

一头龙芯两兆亿，一吹制程十纳米
一借城投国厉害，一还失去二十年
一心白嫖台湾归，一夸免签有印泰
一除反贼铮铁骨，一跪民主阶下奴
一年封城赞清零，一年饿肚又恨国
一餐物美价格🀄️，一病三鹿厂沟油
一问宪法共和国，一让谁选不敢说~

#news #china 😅 自己从小吃着微量元素油吃到大，还能为国洗地，支持国产，心也真是大。 地沟油的命，中南海的心
为什么牺牲的总是消费者？

https://m.youtube.com/watch?v=ok_pFYB_-jM
>鍾明軒遊遍中国大江南北，想必混裝油也吃了不少。
環球時報說少量食用礦物油對健康沒有危害，也就是說，在中國只要不是有立即性危害的食物都是OK的，難怪毒奶粉能賣那麼多年，
[中國人只要吃了不會馬上翹掉，那就沒關係了，剩下就是紅包問題]

🤔 #news https://m.youtube.com/watch?v=tDeJSC5prtg

#recommend #science #社达主义 #book 《自私的基因》 https://m.youtube.com/watch?v=iomJJVY3CvY&t=481s
https://m.youtube.com/watch?v=MJ8u8RsxQ0Y&t=673s #LGBT 与神经多样性

Dawkins这位进化论捍卫者，根本没搞清楚天择/人择原理与一神论、无神论、多神论信仰 中间的关系，
就像他认为「一切生理活动的单位是细胞、一切化学反应的基石是粒子，因此医学与化学家是一群骗子，因为心肝脾肺肾都只是一滩细胞 哪来的临床教材」

人类发展由基因决定、人文基于文化基因，这并不是说人不是自己命运的主人，也不能证明人和动物都是DNA的奴隶。这就像读完《我即我脑》，最大的感悟竟是“怎么撬开头盖骨啊？我要解放自由意志，把暗中控制了我二十多年的🧠拿掉”，那才是脑子进水，是战争、贫穷和阴谋的导火索。

科学和逻辑可以告诉你氰化物有毒，却不能给你不向仇人下毒的理由；真正的理性，绝非违背人性与良知就能获得“进化”的这种歪理。
勇敢、智慧、有尊严和荣耀，这些人性里的闪光点，在特定社会环境(#文革)中，同样会导致灾难。 这些甚至无关于科学或宗教
他们完全能自称科学，却又如同为宗教信仰圣战！

科学主张不以万物有灵去解释因果规律，从而让工作简洁明确，但这与文艺复兴后的宗教生活是不违背的；科学家的信仰自由是人权。 违背人权的激进科学，就是对的吗？

「基本上，世界其他地方的 AI 发展，其前题是去「帮助」人，而新中国政府发展和推动 AI 的目的，则是去「取代」人，两者的取向是不同的。此所以，有评论认为这世界有些团体理解中的技术革命，他们的「初心」，从根本开始就是反人类，也不是没道理的呢！
若「新技术」出了问题或甚么意外，总之就不让它被报导就是了，就像那位消失在垃圾压缩站内的清洁女工张女士一样。

这样达尔文化的智力和「新旧革命」，究竟是聪明，还是误了卿卿性命？

《科学与人性同时落入水中，该救谁？》

一个科学家所能建立最错的三观，便是把科学的理论、科学的社会制度对立起来，迫使人们失去人性以效忠『科学』，迫使人理性地“把你妈卖给妓院”，却在一切尚可亡羊补牢的决策点上，拒绝感性地反思。非要不惜一切代价，唯爱摸着石头过河。

我常听到「人权重要，还是国家主权重要？」——提问者简直不可理喻！当今世界，十岁小孩也明白，主权在民。失去人权等于没被主权保护，等于做了亡国奴😊。 如此执着于考证这种伪命题，是理性，还是蠢？
换成「理性重要，还是感情重要？」「达尔文重要，还是信仰自由重要？」又如何呢？
与优胜劣汰的社会进化论相对立，「没有宽松的文化环境，科学就不可能繁荣」。人类畏惧丛林法则、不想只让“适者”生存，所以组织成了社会；而正是因为有多元化的群体合作，科学的应用才不像一潭死水；科学真理在野蛮时代也是一样的，许多理论从来被无数古人吃透，只是因为文明人的发现和活学活用，知识才有了越来越多的意义。
如果得到了核弹，使用者却是朝鲜伊朗塔利班，理性恐怕要自产自销了。

西方还有个文化特别好：如果是有组织地杀人，死了1个也该叫屠杀(massacre)
有人看了《天气之子》，觉得为了一个人放任城市被淹，男主简直是三观不正卖国贼。
其实，别说一座白洋淀了，为了一两个人牺牲千军万马的“佳话”古已有之，例如貂蝉妲己、特洛伊战争、《拯救大兵瑞恩》。
这些说别人三观不正的人，若是扮演那国王的角色，一定会比男主更疯狂地用他人的血肉和余生捍卫自己的利益，哪怕自己付出的仅仅是钱或精力。
《皇帝的新装》里只有小孩敢指出国王是一丝不挂的小丑，但真正的小孩应该是国王和带入进国王的人。

对一个人的不公，就是对所有人的公然威胁。曾子为了诺言杀猪、战士为了社会契约赌上生命、东京人为了不自相残杀连财产都能放弃，这都是理性的决策，更是自下而上的团结。 如果说求生求财的本能是兽性，他们在这一刻并非纯粹的动物；而对于一个健康的社会，这种复杂性就是她的心跳
毕竟史上所有通往奴役之路，都是由“牺牲你一个幸福千万家”的甜言蜜语铺成。一旦开始杀了，凭什么唯独在你面前停止？
对个体而言，往往是活下去最重要，可一个种群若把「吃人」当做时不时要采取的“最后”手段，往往不等阮毒体来定居，其文化就要被更先进的文明给优胜劣汰掉了！
什么叫适得其反呢？ 😊明明是为了生存抛弃人性，却作为野兽因身躯孱弱又被淘汰。 罗马的缔造者总是觉得自己的腕力摧毁了母性的雅典，但在历史星河中，红巨星的爆发只是一瞬，那些建筑雕塑、诗歌戏剧、思想创造的璀璨却是永恒。

「中国人就是站在天台上俯视众生时，自己还以为自己是自杀的」
如果为了一城人牺牲一人可以接受，为了炼油厂的存亡牺牲一城人的健康、为了奶厂的扩张苦一下宝宝的肾脏，便更是集体主义的「大格局决策」了，毕竟受害者只少活了几个月，媒体不说他们自己还不知道，却保住几万工人领导毕生的饭碗，更捍卫了国产百年的脸面。 ——是这么算的吗？
「別人的幸福成為自己的使命」這樣的想法，成了晴女活祭的悲劇宿命。 今天牺牲一位，明天又牺牲一点；救了你眼前的电车难题，开了一个靠草菅人命来给天灾善后的先例；取一毫自天下，不为。 拔一毛利天下，为何？

「要人民为它而死的国家，自己先死一死吧」这样的民意，却成了日本文化走向世界的开端。 国不知为民，民以何卫国？ 中国人爱国产，可哪家企业爱国民？ 多么自私的集体荣誉一定要建立在弱者的牺牲上？
「人類的自私，卻要晴女一個人承擔，這不也是自私嗎？
嘿！『拯救世界』這麼偉大的事，可不是年輕人該做的事唷！」
普世价值，就是个体价值。 只有重视自己的权益，才能获得越来越多的红利，而不是变成红利本身！

#china 😊确实是公开的秘密，终于能暂时被讨论一下了 https://m.youtube.com/watch?v=eb0uTVgqK8o&t=10m
>曾经的我以为中医没有科学依据，比如上火这个概念，为什么只有中国才有。现在发现是我浅薄了。中国人上火时因为吃了煤油。
中國大肆報導台灣自日本的玄米胚芽油驗出「縮水甘油脂肪酸酯」超標
但好笑的是這個檢測項目在中國是沒有的。中國的標準就是領導看法
可以隨時改變的
就像農業殘留，提高1000倍就合格了

#learn #逻辑 https://m.youtube.com/watch?v=b7JwnodFp44

逻辑谬误，归类于5种，附有有趣的示例：
典－在交流中对名词有不同的定义，或者对形容词的范围并不理性，费时费力却鸡同鸭讲
孝－没法正面说个所以然，搬出看着更权威的救兵
蚌－证据大概都是对的，但因果逻辑上摸不着头脑
急－虽无逻辑又跑题，但您需要先攻击带有嘲讽的随从！
乐－抛开事实不谈，我只要我觉得
麻－四条腿好，两条腿坏这样的喊口号辩论。

典－在交流中对名词有不同的定义
二极管：非黑即白，忠诚不绝对就是绝对不忠诚
滥加定语：小明只有一米五，他自称是全班最能干的男生里最高的。 小刚加入后，他加了一个“真正最”。墙上印着【只生一个好政府来养老】，十年后前面加了句“公务员”。
以偏概全： 中国人访问不了yt，制度类似的俄罗斯和缅甸就更看不了yt；我关注的媒体都爱报道同性恋犯罪，因此所有的少数群体都是有难言之隐的嫌疑人
幸存者偏差：只提及对自己的说法有利的经验，不去统计或搜索反例，如某医只强调自己治好多少亿人，不统计接诊过多少什么症状的患者

孝－没法正面说个所以然，搬出看着更权威的救兵
从众心理：盎撒和犹太控制了全球的金融，B友们是这么说的。 然而，真理有时却掌握在少数人手中
以人废言：日本女优都下海、韩国人都很小、小学生都让人厌烦、不信员神的都是反动牛鬼蛇神
诉诸权威（可疑/利益相关权威）： 例如政府，不一定都是对的、或诚实的
身边统计学：诉诸轶事。吸烟有害健康，但我身边有人不吸烟反而得了肺癌

蚌－因果逻辑上摸不着头脑
赌徒谬误：我抽卡了5次，这次应该能金了。对于考试可能是这样，但随机数不是
循环自证：我爱国者打你，所以你是反贼。爱国才能打反贼，所以我肯定爱国，那你就是内奸无疑了！

急－您需要先攻击带有嘲讽的随从！
举证责任：谁主张谁举证？但你就是罪人、不爱国，快证明你是爱国的！

乐－抛开事实不谈，我只要我觉得
预设选择：套话，例如约人时直接问时间，而不先确认。在政治上，三年【自然】灾害、抗【美】援朝 便是一种洗脑
文字游戏：我们中出了一个叛徒，这种行为属于合法只是违规

麻－喊口号辩论。
诉诸自然：动物之间存在的行为、植物中存在的成分，是自然的便美好；例如同类相食、强者生存、一夫多妻、罂粟中药是自然的，便值得推广
诉诸中立：左右两个极端的折中一定是对的。 有时，折中的结果是一句废话，例如独裁和民主都有缺陷，所以追求什么都没用

#china 方脸日常评电动车 https://m.youtube.com/watch?v=NkrtJwydk1U
- 技术上参考waymo、tesla ，其实L4自动驾驶不存在绝对的隔阂，可以等等看今年八月
- 目前运营成本上有多于3:1的极大冗余人员，智障车也有绕路和空载里程太大的问题

- 网约车的成本目前是远低于robotaxi的，但这不会持续四五年

PaintsUndo 这个项目真的太厉害了，作者此前创造了 ControlNet

产品化上，似乎绘画应用终于能够有 Copilot 的用法了，如果 Undo 的这个网络能反向成 Redo，用户画一个草图就能 Copilot 自动提示接下来可能的完善方向，类似代码补全，文本补全，在绘画创作中终于有了类似的解决方案，真的非常令人激动

此前 GC 的图片都是 Diffusion，如果 steps 递增的话那个画的过程根本不是人类细化的过程，所以这个研究感觉可能能让 AI 理解人类的细化过程（目前看来还没那么简单，因为这个模型训练是直接拿的延时绘画视频，中间拟合了很多画师切图层的行为，可能不能直接达到 Copilot 建议）

另一方面，日本和国内的创作者其实抱着非常负面的态度，可以理解可能会被人用来做绘画过程的伪证，可想 AIGC 攻防已经向着网安红黑队的那个方向演进了，未来 Responsible AI 的分支肯定会壮大

#AI #AIGC
https://lllyasviel.github.io/pages/paints_undo/

#think #web #tool
https://cssgridgenerator.io/
https://crocotile3d.com/
https://fixupx.com/Oroshibu/status/1808500235263418441?t=BtGGBHj9jnN2AReHW2VTWA&s=19
三視圖？

有趣的建模工具
帅啊！
螺莉莉的黑板报:
(๑•‌ㅂ•‌)و✧
https://dataset.wav.pub/

https://brython.info/demo.html
https://github.com/Distributive-Network/PythonMonkey
#py
螺莉莉的黑板报:
https://github.com/baskerville/plato/blob/master/README.md

你们 rust 真是啥都能干……

https://www.sea-ql.org/SeaORM/

这东西好用么……求教……

https://gitlab.com/coolreader-ng/crengine-ng

有趣的引擎

https://chinese-font.netlify.app/ font
https://typst.app/universe/package/bob-draw
#svg

https://ivanceras.github.io/svgbob-editor/

#code
duangsuse:
大量复制粘贴十分抽象
list有那么难用吗
难道你没注意到近十行只变了1个参数
AIGC也没脚本化得这么严重吧

我看还是用list first!null好了，这么八股文…… 大家现在都是用get null取代预判has的

这种到处预判的风格，很像你找大佬问问题，先发「您在不在」，他只好回个在，然后你不在线……

表达式化比你想的要多哦：

>Spring如何把 @Autowired T xx; 换为 var xx=find(T.class)

var Ts = [T.class].map( applicationContext::getBean);

你在class{}里加那一堆定义，如果只引用了一次，就完全不应该引用。 到底都是要查bean的

从code smell来看，只使用了1次的变量名是无效的；如果只是为了易读新建变量，只能证明你的helper fn命名的有问题

kt已经有!! 了，还想要更多
Java 一大特色，注解属于元数据，和函数调用有重大区别

duangsuse:
那这是定义“随用随扔”变量名的理由吗
函数和变量是这么用的？
java以省略[""] 为由引入太多常量复杂度的优化了，都要所谓框架来解决

纯粹是make compiler happy，把一个schema弄成它能读懂的class，然后再强转Any来构造class而已

js里一个字典让java用就是这么麻烦，其实能用几次呢？ init完就扔了，根本不是性能瓶颈。

注解的本意，应该和py的 @decorator 一样，是接受class元数据的编译期函数才对

而不是等到运行时才去查什么field有哪些@属性 然后逐个.set()

要动态生成一个类型，来获取注入，简直无理取闹。 明明就该在编译期产生Registry.get&fillNew的样板函数

这是属于既把元编程的路封死了，还不让基于注解的注入框架提供统一的“反射”方法

其实jawa懂这个道理，但它偏偏就做得很烂，就会个@Override
duangsuse:
为了编译速度这也太幽默了，其实，jvm作为栈机 基本就是带类型签名的GNU dc计算器，不需要什么编译优化

如果递归下降一遍，校验下类型 生成个push call 就能花什么编译时间，属于是用PHP的方式搞算法了

而且javac的能力还远没有到c预处理器的程度，为了优化？ 我看是他们不在乎程序/类定义的优雅性

什么序列化啊，也没有做规范，和py能 import json,yaml,toml,marshal 能比？就一个用来RPC的ObjStream，还被业界遗忘，哈哈

汤姆猫是大专必学

虽然汤姆猫的Biz程度也就比Node http-server强半点吧

所以问题就是Result类型为何没有重载 !!， 让它看起来仿佛只是带有错误消息是null

凭什么!! 只能校验 Type? 呢？
assert也是乐观/悲观路径
Exception也是，为什么不能一起判定了？
还非得搞个ifEmpty, ifBlank.. ifNullOrBlank..
莫名其妙

duangsuse:
这不是废话吗？例如买30天大会员，肯定是30* 24*60*60秒后失效，这才是世俗意义上的电脑时间

看到py关于时间和日期/时差有3个API
我就觉得抽象

audit就是一个不懂AOP的，其实unix可以靠strace审查syscall，win32的 sysinternals.com 也有进程日志功能

与其自己搞个无人知晓的轮子，不如封装别人的，两全其美
把OS的活都包揽了，难道py是要运行在Ring0把内核驱动都带上？ 那必须支持啊

绷不住了，抽象程度直逼jawa

一开始就不该搞所谓orNull
默认 first{}!! 就够了

我在js里都是把Error视为object返回值的特例，和null是一个意思
这样就不存在什么orNull orElse的，catch表达式也免了

就是语言设计者对值体系的理解不过关，例如NaN就是numbers的null才对，而不是什么number?
这样才能用统一的方法去报错/换默认值

可悲的是一开始就没把悲伤/快乐路径当问题啊，真是异常搞心态

duangsuse:
幽默IDE
完全相信它的API有一大堆根本用不上的class
忸怩作态的软件没必要去维护

kcp是这样的，可 import ast 自 https://python-future.org 就没变过😋
py只是用:隔离一个表达式先于=执行，就实现了高贵语言们的静态检查

既可以用于静态分析，也能在运行时查看f.annotation ，完备的数据不需要反射

btw. 大佬应该会做一个DSL
Message.invoke{ id==mid }
Message.select{ id==mid }//多项

可是这种写法才是真正的SQL逻辑式

既然Msg(id=)能构造数据， Msg{id==} 就能查询
这不是很合理么 #kt

很简单，如果做得太标准，以至于移植到任何一门语言里都没必要修改的话
就没人给官方docs贡献流量了

duangsuse:
https://www.liuwj.me/posts/ktorm-introduction/
🤔 一个SQL函数.xml codegen 能被吹爆，还有人卖课是我没想到的
ES6里一句 sql${} 解决的东西，哈哈

「没想到他文化程度那么低」……

怎么会呢，语句能缓存，再怎么也比一次加载完dao好

你要是不喜欢，或者不相信语法糖有缓存，可以做成生成函数的形式
例如
updateId=f=sqlFn2{a,b-> Pair{B/b, A/a}}
f("bye",0)

所以说，如果你不相信DSL能被缓存，可以转为生成sql函数的形式啊

这不是MyBatis++ ?

https://github.com/JetBrains/Exposed/blob/main/exposed-core/src/main/kotlin/org/jetbrains/exposed/sql/Op.kt#L184

我只能说，缓存键要么是调用点或次数
要么是函数
似乎很难单独缓存DSL对象，除非对它们的构造器
幸运的是， key eq x 里x的修改能缓存，因为它是参数

https://jetbrains.github.io/Exposed/frequently-asked-questions.html#q-how-to-get-a-plain-sql-query-which-will-be-executed

https://stackoverflow.com/questions/74821893/postgresql-arrays-instead-of-extra-table-in-a-many-to-many-relationship
涨姿势了，以后 1:N用数组json N:N用join

duangsuse: #fp
要是kt能允许编译期生成一部分表达式，就没这问题了😅😅😅

可惜啊， unquote{bash(q(trim("trimedStr")))} 这当然是lisp的专利
其中q() 被生成为一个字面量，就像闭包捕获：
fun bash(s)=trim(s).let:
paste {system(it)}

并没有所谓的编译期，因为编译器能访问所有lib API


0开销不是瓶颈问题，但事关语言的脸面

明明就很有用，可被一些人理解为「并非瓶颈的东西」
然后被rustc拿来完魔法

要我说他们就是傻屌，只不过是把闭包「捕获」的实现方式，改为内联字面量(unquote)
就能轻松突破编译、运行的动静边界，根本没有引入任何新API ，没有什么循环展开和 kotlinpoet javapoet的区别

他们做成什么样了？ 正则的缓存还不如py的拿dict查😅

#recommend
#plt #cs #learn 如果从「一等公民」的角度给语言打分，从计算器开始，依次有这些类型的值：

bytenum1248(char short int long u8~u64) bytes bool
tuple union{enum Tag} rwstream(sockets/libc) 很大程度被sealed class:接口重写与json消息取代了🔑

list的len(骂你呢,C) str的iter(utf8的'🔠'不总是8bit一格哦) err和null的可选链(骂你呢,java空指针.快乐悲伤路径/非局部return)
Rc/GC(如List树或KV图 而非瞎手写指针链表); fn的bind(非全局状态,即对象变量,函数值)
Thread的asCallback(小名async函数. 能被不同CPU回调的'单线程',以允许evpoll监听,如触屏手势)
ref的onvar(响应式绑定,模式匹配let) ref的map(惰性数组和变更缓存)

fn的bindLit(字符串模板/算式内重载/变量和类型作为值-反射)
wavfile的sr(自适应微分精度) vec+计算图=tensor(numpy)

C的数组没长度，union没tag不区分子类型 (说C有sizeof的杠精退散,C就是在用汇编器都嫌烧cpu时代的封建余孽,pygo ffi/asn1可完美取代)
C++一个lambda隐转SAM class可给它装到了，难写的要死，那么简单的逻辑写成下划线能加钱似的😅
C的多维数组不支持broadcast运算，当然也没有.shape
librosa的“声音采样”只是数组而不包含采样率..
sql的惰性数组，至今仍被 http 分页切成offset limit的碎片缓存

js的input() 不能和{wtf:}绑定，只能搞.value不能load，formUI了个寂寞？ H5应该比qt gtk这些先进吧，结果Tk里都支持的Var()compose没移植过来😅
java的“序列化”因为反射的不透明，至今仍有各种坑，因此最基本的CLI也写不利索

我至今仍然很好奇，新语言/库对「值」的理解，会怎样在无知上继续刷新下线
然后用一大堆自身就缺陷不小的所谓设计模式、样板项目。。 来解决这些API自身的缺陷
——你们真的懂自己的lib在解决什么问题吗，如果没学过，比较过古今四海的同类api吗？

在我看来，没有统一标准Ok/Err类值(NaN,null,'',[]..) 的语言根本没法使用，只能写些不相干的ifelse🔑
而没有标准二段求值(类于py的type annotation) 的静态语言，所有数据绑定都无法完成，只能祈求它能导包，或只用写4个“属性”的load/save
连pip install 都没有，就更是对工具化使用造成致命打击了。 (什么？可以发布 shadowJar? python可不需要你懂这些,甚至cli直接fire(fn) 就有了)

然而无论OOP,FP,“多范式”.. 它们是绝对的主流😅😅😅 而且还有一堆人对那些boilerplate code奉之为圭臬
仿佛只要是个“图灵完全”的语言，有一些UI/http/CLI的接口能用上套上，代码有多烂？冗长如同手写汇编？时间来凑就够了嘛……AI都懒得用

#linux 应该不会告诉你，它也是libc算法的一部分：它负责“分配与回收.so对象的内存片” “在cat等待read()管道生成器时 让cpu跑其他时间片”，它还定义了“ELF对象格式”，这约定了.bss与全局构造器，允许你修改.rodata里的字面量、用LD_PRELOAD替换函数
它使用被称为fd(->inode)的cookie参数，调用“syscall”来鉴权，而
这种CLI有4类参数 env UID=header f -kw -is-flags arg 与http如出一辙！
https://t.me/danteslimbo/3349 ebpf

这些，都是pyjs背后会为你的代码做的事！ 但，你的object()强过C的dlopen()或bash alias，你的async def强过C进程，可用于N:1轮询'用户态'触屏驱动，你的http能跨越内存或系统，不需要wine和/usr/include struct就能利用..
linux 唯一比jvm强的部分，除了能解析各种usb,ip消息驱动和fs格式，就是mem上兼容用磁盘做4Kswap，以及cpu上能让while(1) 不像js那样卡死-注意！单await不等于没有并发加速。😋
os和compiler的同构有多疯狂呢？ 打开htop，你看到的其实是F12里的对象树：这包含env表的继承、killall将它们free()、新线程的数组；而对于能被多个“对象”引用的文件-如同堆内malloc，内核还使用了Rc来清理对象图..
所以，有没有感觉自己比UNIX运维乃至内核开发者高到不知哪里去了呢（笑） Linus懂个锤子异步

btw. 我说的「值」不是与ref对立的那个，而是“用于90%编程业务的必需品的心智模型”
再说，不能ref.assign/copy() 的也不叫引用