不过有一说一，试管婴儿应该是 CPS 变换

#CPS

今天在网吧看到一个妹妹很可爱，走近一看竟然在写代码，我大喜过望，想和她一起写，就坐了过去，妹妹人也特别好，一直和我在聊天，讨论各种语言的特点。然后她突然要和我一起写代码，我才发现这个妹妹写的都是Rust、Haskell、Lisp这种高端语言，我看着我的C++冷汗直冒，一直不敢新建项目。妹妹看到我的窘迫很温柔地问我是不是写的C，没关系的，语法简单但是上限也不低，写C的程序员都很懂计算机系统和结构。我一听更不敢说话了，妹妹看我没说话又说没事没事，写Java也没什么的，毕竟做大型项目能力不俗。见我还没反应，她的表情突然有点尴尬地笑了笑问我，该不会是写Python的吧，虽然语言一般但是生态很好，一起做做数据分析也没什么。我只好告诉她我写的是C++，她的脸色唰一下就变了：“我说你怎么不敢说话，原来是写C++的。”她看了我的代码之后，眼神中的鄙视更深了一层。“写C++，还用C with Class，别的语言一个都没用过？C++码农真下头！滚，别坐我旁边，看着都恶心！”

via std::ranges::shuffle(recv);

^1笑点解析

#linux rootfs容器化的潮流下，$ mount 跟不上时代了
apt-get; systemd 做梦也没想到有人把挂载当cp 和pm2用 😅，效仿 apk, Magisk 了，直接放弃文件读写

（其实就是OS提供给 read,write,readdir 函数的 hook ，archlinux 一直是如此做 PKGBUILD ，玩得这么花 不就是为了免 systemctl start 免分渠道发包呗
天下苦OS碎片化久矣

^2 #plt #learn
CPS变换=ES6无栈协程=自动传回调
OS调度器=有栈C语言协程=单核多任务 免回调

#haskell Cont等Monad能够和do管道链配合，实现异步、伪随机等其他语言里稀松平常的「纯函数」特技
'入'演算里，CPS变换必须不直接求值，改接受回调k ，这样它们就能跨线程组装返回值. 用人话翻译下：

(x): k=>x(k)  # 常量或sleep(1s) (k),read 等基元
(x=>A): k=>k (x=>A)
A(Arg): k=>A (K=>K(Arg))(k) #大K用来求值参数，小k回调

第二行就很抽象，「拿到流水线需要的东西」就是CPS，那么调用栈-返回也是CPS了， 但那是编程的基础课
他的本意，应该是指CPS 就像 fetch(://fn/args).then(ret=> 可以实现RPC。 kt 的 withContext(Dispatcher.IO) 和 "use server" 就是这个意思，可惜这术语也说了，用处却列不清楚

第三行的定义，按 Reactjs,Rx 都是CPS框架，只是不止能"return" 一次。 这个和指针关系不大，比如swap(a,b)是宏能定义的语法糖

^3
玩梗是很有新意，但希望各位订户记住： “高尚的是人，不是职业”

聪明的是人，不是编程语言；解决问题的是范式，不是语法规范

^4
推荐云风的Unity 3D教程。 u3d和GL使用左手y-up座标系，而不是数学的z-up
这利于2.5D横版游戏的开发
但z是“近大远小”的，和DOM翻转y理由一样。另外 cv2 是使用 bmp[y,x] 坐标，好奇怪的语法？

支付宝变更为无实际控制人

2023-12-31 23:07 by 最后一个阿特兰蒂斯人

央行官网信息公示，同意支付宝变更为无实际控制人。蚂蚁集团表示，集团主要股东投票权结构调整方案于 2023 年 1 月对外公告，目前已履行完相关程序，并完成交割。该调整不会对相关公司的日常经营产生影响。根据 2023 年 1 月蚂蚁集团公告，集团主要股东投票权发生变化：由“马云及其一致行动人共同行使股份表决权”，调整为“包括蚂蚁集团管理层、员工代表和创始人马云在内的 10 名自然人分别独立行使股份表决权”。本次调整完成后，不再存在任何直接或间接股东单一或共同控制蚂蚁集团的情形，马云不再是蚂蚁集团的实际控制人。这进而导致马云不再是支付宝（中国）的实际控制人，只是这一变更需要支付机构的监管机关批复。

https://finance.caixin.com/2023-12-31/102151777.html

#商业

#china Leonard: 细猪的童年经历，为什么是一等洋人二等官，三等少民四等汉

方脸：细猪反腐中展示的 赵家人 能量
厅局级，全盛时期年收入8个小目标，盘下上市公司给儿子练手
女科长，大胆收割太子奶企业，吸毒+潜规则下属

横批：闭关锁国、国进民退、退耕还林、批林尊孔……
和任何一个朝代一样，总是用能导致更大腐败的锦衣卫，去捡漏腐名远扬的赵家人。 人民只是个名义，想当父母官想做主 奴才是真心

民主并不是由谁做主子，而是消灭官法和民粹的特权

小翠：穷台政策vs「三光政策」 🙇🏾

#history #music #recommend 黑白版米老鼠进入公共领域
https://m.youtube.com/watch?v=kla7zHQYs1o

Steamboat Willie bgm:
美国民谣
https://chiptune.app/?play=Famicompo%2Fmini10%2FCover%2F049_turkey.nsf

#news #jp 昨天的地震 、中日侵略史、经济合作vs仇恨教育
https://youtu.be/xpgleFGUOPA?t=359 🥰

https://db-engines.com/en/blog_post/106 PostgreSQL is the database management system that gained more popularity in our DB-Engines Ranking within the last year than any of the other 417 monitored systems.
We thus declare PostgreSQL as the DBMS of the Year 2023.

Blender 诞生三十周年

2024-01-02 20:37 by 爱的左边

30 年前，荷兰程序员 Ton Roosendaal 使用假期重写了动画工作室 NeoGeo 内部使用的 3D 软件。1994 年 1 月 2 日，Blender 发布了首个版本。30 年后 Blender 已经是最成功的开源 3D 图形设计软件。Blender 最初是作为共享软件发布的，在 NeoGeo 被收购以及后来创办的 Not a Number Technologies（NaN）公司破产之后，Roosendaal 成立了非盈利的 Blender 基金会，筹集资金将 Blender 作为开源项目继续开发和维护。

https://mstdn.social/@tonroosendaal/111685759571586019
https://en.wikipedia.org/wiki/Blender_(software)

#开源

荷兰限制向中国出口深紫外光刻机

2024-01-02 21:42 by 人猿泰山之米甸探险

澎湃报道，应美国政府要求，荷兰光刻机巨头阿斯麦（ASML）取消了两款深紫外（DUV）光刻机出口中国。ASML 目前最先进的光刻机是极紫外 (EUV) 光刻机，台积电和三星等公司使用 EUV 制造 7 纳米或更先进芯片。但中芯国际去年量产了华为的 7 纳米芯片麒麟 9000S，使用的就是 DUV 光刻机。美国显然在进一步限制中国获取 DUV 光刻机。中国外交部发言人汪文斌在新闻发布会上表示，中方一贯反对美国泛化国家安全概念，以各种借口胁迫其他国家搞对华科技封锁。

https://www.thepaper.cn/newsDetail_forward_25872797


#商业

Pascal 作者 Niklaus Wirth 去世，享年 89 岁

2024-01-04 11:45 by 空中城堡

Pascal、Euler 和 Oberon 等语言的作者和合作者 Niklaus Wirth 于 2024 年 1 月 1 日去世，享年 89 岁。Niklaus Wirth 于 1934 年 2 月 15 日出生于瑞士，先后任教于斯坦福、苏黎世大学、苏黎世联邦理工学院，曾在施乐帕洛阿尔托研究中心进修两年。他是 Algol W 、Modula、Pascal、 Modula-2、Oberon 等语言的主设计师 ，是 Euler 语言的发明者之一。1984 年他因在编程语言上的贡献而获图灵奖。他亦是Lilith电脑和Oberon系统的设计和执行队伍的重要成员。他的文章《Program Development by Stepwise Refinement》视为软件工程中的经典之作。他写的书名《Algorithms + Data Structures = Programs（算法+数据结构=程序）》是计算机科学的名句。

https://developers.slashdot.org/story/24/01/04/0126247/niklaus-wirth-inventor-of-pascal-dies-at-89
https://zh.wikipedia.org/wiki/%E5%B0%BC%E5%85%8B%E5%8A%B3%E6%96%AF%C2%B7%E7%BB%B4%E5%B0%94%E7%89%B9

#程序

@ProgrammerHumor Rust

#china #history #recommend 方脸 ：中国高层未来只有3种选择
纳粹化（鹅爹化 站狼化）， 虽然一定打不过台湾，最后全党像慈禧一样被迫轮替， 但至少，两三年内红二代的权力不会受影响
文革化（粮票化）， 虽然能平粉红的民愤，但红二代全完蛋了，元老就只有细猪一人获利，伟大领袖梦寐以求的「亲自指挥 定于一尊」 #nCov19
民主化，这需要高层有蒋经国那样高的悟性，而且团结一致 😅虽然今天他们「为独裁感冒，对自由过敏」，但最后能救秦刚的也只有人权和法制

赵紫阳：「要藏富于民」
鲶鱼公子、血槽姐已经实现一半了…… 「藏富」 🥰

方脸认为，作为以经济为立国资本的后改革开放中国， 过去稳定的红色江山已很难不被拳民裹挟
由总加速师下油门，到底是向哪个方向开呢？
投资空壳、进出口凋敝、消费降级
只能祝大家不被动荡牵扯到？

但与此同时，对岸的🇹🇼 台湾人把自己的国家调教得很好。 毕竟无论香蔡英文如何被黑，都不可能和细🐷 一样当2024款毛腊肉的

#design #plt 看 Svelte runes 有感。谈一些个人梗

《献给sets变量集和cat-cut等价性的悼词》

一个基于JSON调用图的跨语言虚拟机，所支持的函数逆运算，似乎让 Eqs(cat=toStr,cut=parseInt).flip.oncat("10", *2) 取代序列化的荣誉结束了。以后只是 await "10".as(Eqs($=>nbase$(10)), B=>B*2)

Eqs.pipe([catcut链]) 不只是输在前缀重复上。担当上新的IO范式，对于异步的「链式文件另存为」 "".as(open("inplace"), txt=>) 单靠双函数的pipe也是略显突兀的，
所谓消除语法噪声，可不是咸加糖淡加盐。任何的简化，背后若无心智模型，都将像Svelte5那样180度死转弯。 async的传染性绝对是问题、协程对forkjoin的掩盖很丑陋，而混淆长短任务会造成另一种问题

让函数支持inout()参数，作为“响应式”的新信号，竟灭杀了这两对可爱的、尚待扩充的、也是从死灰中立起一年的新词，就如 div(wOP({tap:n(x=>x+1)})) 对事件监听器们做的那样，简直动摇了框架之本

曾经，第一次把 from/into 换成更明确的 load/dump 或cat/cut。这种重命名带来的是归类上的改变，意味着「文件格式」不再与数据耦合，它们自己就能构成管道

base[64].cat("") 编码cut解码看起来多直观，但和 base(64).neg() 比起来却又太孤单。 我们曾以为，Eqs,file rw, 变量sets 是三种不同的模型，可如今「另存为」让文件格式能作为值， OSON调用图的「反函数」也让Eqs有了普通到不普通的人生

cat-cut 在各方面的一致性都很好，在有标准DLC.acty模型前，将插件cat进某事件、从程序里cut掉，是和JQ一样普世易懂的调用链。但链式终究不是定义式、组合结构的对手， 因为无this作用域而产生的它们，早该淘汰了。

说到底，文件的导入导出，本就只该实现write()，不需要有两个函数。 把{k:v}.sets换成.Eqs 也是出于一致性，
唯一不满的是 sets(()=>timers, 1..sRate) 相对 inout(t=>, 1..s) 牵涉的概念更小，更DOM。 但从整体来看，「共参数-藏参数函数,共读写参数」 可以概况整个Java,JS 界的设计模式

少量使用inout参数效果是拔群的：左值不再是易越界的「指针」引用，而是能把await、回调、流统一在一起的新酒， 很好地学习了JS Promise模型，用C-like和逻辑式编程摆了FP useEffect一道

等蕴含了可变量的「Eqs等价性」出师，回头看 Svelte runes 大概更像 ruins 吧

已记不起，是何时允许把 it.let{},map,find,forEach 都写成 it.as(x=>) as(An=>name) 而不区分let,lets
取代了only,if "仅有"的at, filterNotNull 又何时取代了 filterMap和when{} 判断

但不同往日，我正把「编程范式」与语法、与RPC方法 一道设计，让它们一同成长

这并不是复制OOP,FP, Lisp 或 Prolog ，但确实是在各取所长：
OOP对字典的叠加和配置力
Prolog对响应式和SQL的理解
Monad对列表与错误处理的简洁性、FP对方法和多态的全局函数化,对list的变量化
Lisp的简洁易移植,对DSL如JSON的组合与递归, 它与宏相等的闭包

很难想象，这么多算法与编程观、语法符号、命名文字的碰撞，与那些XX至上、一切皆XX的语言比较后，会产生怎样的差异呢？

#china #history Mao 😋
柴静谈高耀洁：对历史说真话。94岁的高耀洁在万里之外异国的深夜写下纪念李文亮的诗。
小L(小K) ： 2023十大民主推动事件

郑： 🇹🇼选举对东亚3国的影响

现在Eqs 也删了…… 好了，现在新术语都断代了 😓哭笑不得
和之前删掉 onclick "监听器" 的灵感不同， Eqv.js 是作为曾经框架名的抽象， 虽然晦涩..但像React那样代数 装逼不是？ 它也被新支持的「反函数」给杀了..

如何给一个js字典添加「响应性」，之前用过 obj.ref.x, it.x, sets.x, Eqs.x 这4种方案
没有想过用Proxy，那玩意是做DSL的，重载'.'号而已

ref是最合群的，但既不简洁也不直白。 it缺少赋值语意，考虑到此API不常用，简洁是次要的
sets 融合了 watchEffect, 或者说 sets((A,B)=>A+B) (A,B) 是一个完美的嵌入，可惜不能写 sets.base64(inp) （看看effect和memo的各种坑和linter，幸好我没脑子一热就开工）

那么用 inout((A,B)=>), inout(0).as(x=>监听), obj.Out.x(0) 一致了不少，且对应了 roAge, rwStrm 这些前缀缩写

虽然真不知道限制参数可变性有啥用…… 「共赋值参数」么， 这个模型把之前的Eqs双转换打败了。
它优美地解释了反函数被赋值事件执行，这是cat-cut 简写所没有组合力：即便要写from,into两函数，实质上也只有1个方向 .Out

Promise真的是业界标杆的渐进式抽象啊…… 那些什么Future,Task,Rx 都烂爆了。 希望inout也是这样准确的名字

btw. Vue主最近批判的 React doc 易错示例， 听说Rea家觉得宿主语言不够FRP... 但 miniKanren.org 可是能把JS做成Prolog, LP的样子呢

这我就要谈一点暴论了： Lisp 对函数式也是一个皮毛。看它繁琐的 let-in 和对 '+' 的内化就知道，是连写调用图、加函数重载 都很困难的树状VB链表控 ，拼简单它还拼不过py
至于 Immutable和Memo ，在 #FP 里是正义，但扯上范畴论就是牵强附会了，甚至连 "1".as(Out($=>nbase$(16)), A=>A+"0")==16 这种反箭头都描述不了，因为一切只在表面上禁止'='，并没有变量-变量的逻辑联系，甚至 变量-计算的模块化都是渣， 能把 curry compose的调用链当"特性"，这作用域策略有多废啊？

看到那些会对我的工作造成困扰的"Feature" 和理论，我可不会随他们复述， 只需要对比个同类项 优劣自在人心

附：Vue为啥没$: 看完这个我对框架PL知识的匮乏有认识了.. #statement
C 里 array 没size
numpy 里采样没 sampleRate
Svelte 里 $(0) 不能返回，就像C++的栈分配
React 有了hook和effect各种样板冗余，diff还是很慢
CSS 的弹性动画速率xy轴翻转，居然能起in-out 3个名字，过渡不支持JS属性
Haskell 到处用fmap这个CPS -相当于then()，又自带懒yield，错误处理和(.all)异步却是烂的

WebComponent 没有js对象-UI DOM 绑定
Linux乃至UNIX, 主流OS的线程不能等返回值，但read() 却能挂起等待
这些框架的“值类型” 为什么那么 valueless ，为了性能？ 为什么这些设计错误被堂而皇之地沿袭.. 这也叫函数式吗

#learn #dalao async https://lutaonan.com/blog/my-coding-road/
#go #os https://accidentallyquadratic.tumblr.com/post/113405561337/debian-sbuild

异步，就是在此Thread之外完成res=sleep()等耗时任务。不在一个调栈上，它的retAddr就必须转回调参数；因要建多个Task监听res —如FJP式并行，调用者就该用 event queue "epoll"而非 while(!res.ok)
C线程就是内核调度的协程，即「有栈协程」或虚拟线程，好在没await传染性
OS内核使用分时「抢占式调度」，协程则主动休眠并pass出自己的回调，是单核并发 无「上文切换」开销

TS使用的async 是从yield协程co()得来的平等协程，它在yield Promise的位置，传入状态机即续体NEXT
假若 yield(x) 的续体没被写死为 self.value=x,next=NEXT ，异步可直接传入回调NEXT
co-routine 和closure 都是靠栈转堆 “把编译器当OS内核用”。经典模式 while()yield 就取代了class Iterator{}，这类似Linux cat .txt|less 毕竟文件流有时相当于SIG{HUP,CONT}
续体的局部变量+语句指针堆上分配，不占调用栈。语句走完后，触发then(retAddr)

占1线程应该 当队列 当CPU cycle。Go和Kt支持waitGroup,select "epoll" 也就是Promise.all,race 了，它们都给了协程作用域即错误边界
^FJP: ForkJoin, MapReduce
^如果 int waitpid() 能发扬fork()的魔术 返回JSON的话，多线程或许都会晚些到来呢？

JSDOM的并发撤销很保守，“用不到=不用学”，而某些新语言和Rx移动端的很狂野，好像《我会自己上线程池》是智子加锁的API一样
所以JSPy简直后端界良心

一个各大 logo SVG 的收集站

via 潮流周刊第 160 期

#tool #newsletter

#jp #news https://www.youtube.com/watch?v=dahxmbAdDic

👍 好的中国记者、公开透明的日本东电 ，对比各种锤爆民营教育、游戏经济的国内……

现代科学文明好，清朝红色宗教坏 ！