微软公司要求中国员工自9月起使用iPhone验证身份，以登录办公电脑或手机。该措施旨在确保所有员工使用微软Authenticator和Identity Pass应用。由于Google Play在中国不可用，微软将阻止Android设备访问其公司资源。使用Android设备的员工将获得一部iPhone 15。
微软在受到多次国家支持的黑客攻击后，一直在全球范围内加强安全性。微软曾表示，将更快解决云漏洞，使黑客更难窃取凭证，并对员工采取多因素的身份验证。
根据微软的描述，适用于Android的Authenticator使用Google的Firebase Cloud Messaging系统和Google Play Services。由于这两项服务在中国都不可用，因此应用通知存在一些限制。
（彭博社）

Z-Library 管理员在法官批准引渡后逃离软禁

2024-07-09 13:39 by 圣天秤星

2022 年 11 月 4 日，美国开始查封 Z-Library 相关域名。与此同时，应美国的要求阿根廷逮捕了两名俄罗斯国籍的 Z-Library 管理员：Anton Napolsky 和 Valeriia Ermakova。他们是来阿根廷度假之后在机场被捕的。2023 年 1 月法官批准对他们实施软禁。两人聘请了律师否认了所有不当行为。法官批准了美国的引渡请求，两人随后向最高法院提起了上诉，寻求政治难民身份，如果成功的话就意味着不能被引渡到美国。但在听证会期间辩护律师报告无法联系到两人，他们逃离了软禁。法官已经发出了国际逮捕令，但时间已过去数周，两位 Z-Library 管理员可能身处世界任何地方，未必还在阿根廷。

https://torrentfreak.com/z-library-admins-escape-house-arrest-after-judge-approves-u-s-extradition-240708/


#盗版

央视最狂的一次

消息来源🔍

破防了……
https://x.com/hjc4869/status/1810943302256279925

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

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

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

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

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