成品软件的美妙

2023-12-27 17:38 by 你的名字

80 年代流行的字处理软件 WordStar 4.0 至今仍然能可靠运行。乔治·R·R·马丁用它写《冰与火之歌》，他曾对此评论说，它能完成他想要字处理软件完成的所有工作，它不会做其它任何事情。他不需要帮助，不需要软件帮你将小写字母自动变成大写字母。马丁说，如果要输入大写字母他会自己输入。WordStar 4.0 代表了所谓的成品软件（finished software）概念——这种软件你能永久性使用，没有任何不必要的改变。而今天的软件通常会持续更新，很多时候升级是一种倒退，降低可用性，降低稳定性，引入了新 bug。即使软件通过升级确实改进了，但也是会引入学习曲线。在使用熟悉的旧版本时你的效率更高，但新版本改了 UI 将最常用的按钮移动到了另一侧的一个隐蔽菜单下。在变化成为常态的世界里，成品软件是一股新鲜空气。它提醒我们可靠性、连贯性和用户满意度在软件开发领域是能共存的。当你渴求最新更新时，记住最好的软件常常是不变的软件。

https://tech.slashdot.org/story/23/12/26/103207/the-beauty-of-finished-software


#软件

研究者称，iOS 上微信及支付宝可通过 Apple 批准的 HotspotHelper 能力追踪用户位置。

- HotspotHelper 能力 (entitlement) 使 App 可以获取附近 Wi-Fi 网络的 SSID/BSSID，不需要用户交互。App 需要 Apple 批准才可使用此 entitlement。
- 由于许多 Wi-Fi 热点的位置不会改变，配合数据库，附近的 Wi-Fi 热点列表可以用来定位设备。
- Apple 宣称此 entitlement 只可能用于热点连接类辅助工具，而不能用于 Wi-Fi 定位 [1]。
- 微信和支付宝都被 Apple 批准使用此 entitlement。虽然微信确实有适合此 entitlement 的「微信连 Wi-Fi」功能，但文章作者认为这些 App 可能会滥用此权力。

wingu.se/~
seealso: HackerNews:38720656

1. developer.apple.com/~

linksrc: https://t.me/chicaomei/4280

#Apple #Privacy

#china #life
文昭：社区网格员，如何帮你上门送温暖 🥰
沈：梵蒂冈的小粉红发视频辱华。仅仅因为对独裁感冒、对自由过敏，就在公共场合做没有教养、乱摆谱的中国人刻板行为

经济衰退背景下，中共会越来越倾向于把一切剥夺与分配在维稳上， 这会让民生进一步失去自我修复的机会
与西方经济逢躺平就做大片做「奶头乐」、法律与咨询业兴旺不同。外卖和网约车是中国当下的主流， 而游戏却即将被细猪锤爆 —要重工业超英赶美啊。不能低估官老爷们的智障程度

那么，官-吏体制下更优惠的「枫桥经验 临时工」，网格员 就是一个热门职业了

非原子的正常社会里，社区、宗教、兴趣组织 总是能承担起“治理”的工作， 但是在D的法槌下，世风日下，路见不平 封门越货 ， 人民就不敢团结起来力

中国作为负福利高税收的shzy国， 市民就是有义务养活这些盯防你的Mate的。
当然，这些财政支出都不透明，可能是挪用社保医保，乃至村镇银行的钱，
所以，如果想退到自己的消费税、原料税、国货颜料税、工资税，就去帮D放哨吧！ 不要忘记独裁者指明的「枫桥经验」风向哦

不过有一说一，试管婴儿应该是 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国的影响