众多比特币矿场纷纷转向 AI

2024-07-08 15:17 by 王牌飞行员

过去几个月，主要比特币矿场更换了部分矿机，改用运行和训练 AI 的设备。这些公司认为，相比剧烈波动的加密货币行业，AI 训练能提供更稳定更安全的收入来源。摩根大通报告称，此举受到了股民们的欢迎，14 家比特币公司市值上涨了 22%。比特币挖矿利润丰厚，但波动性巨大，2022 年 Sam Bankman-Fried 和 Do Kwon 等人导致了市场崩溃，很多矿场因此关闭。幸存的矿场在今年重新获得了利润，但因为挖矿回报减半，而币值并没有因此出现大幅上涨，迫使矿场们寻求商业模式多元化，AI 训练成为榜单上的头号目标。AI 公司需要庞大的场地、廉价的能源和基础设施，而这些比特币矿场都有。它们向 AI 公司出租了场地，托管 GPU 和 ASIC 等 AI 训练芯片。

https://time.com/6993603/ai-bitcoin-mining-artificial-intelligence-energy-use/


#比特币

https://zhuanlan.zhihu.com/p/707493606
虽然确实是可行的但是这是什么玩意😇

#news #china #经济 😭井外势力又讲产业升级（去人矿化）了，亲自点赞
https://m.youtube.com/watch?v=JkziB5zBxlA&t=5m

国进民退：投房贷给国企培养各种二代；收编私企：给抖音出海带来厚壁障；集权创新：GDP厚此薄彼，造成产能过剩，行业百草枯
横批：龙颜大悦，狗屁不通😅
这个精英治国气量有点小啊

- 非核心科技的、优化自抄袭的，但凡能出海，那也是创新，需要被保护！
- 靠人矿加基建玩倾销，已经打不赢印度了
- 疫情几年造成GDP的停滞没有解除，这还不谈「宁德时代996事件」暴露出经济与生活幸福的不相干性
- 滴滴、阿里、新东方对我党而言，好比蒸汽机之于旧贵族的马车， 「救市提升生产力」？资本家配吗
- 我党已经失去自我纠正的权力了，而且正在进一步鸵鸟化
不可调和的矛盾😅已并入了不可逆转的伟大进程

#science aids 旧闻 http://www.bilibili.com/video/BV1EE421N7FV 艾滋病如果真被攻克，最大的意义在于人类医学又战胜了一大难题，未来一定还能战胜更多难题，给全人类更好的生活，而不是可以乱搞了那么局限性的意义。​

#您知道吗？ #讲政事 左派、右派与监管

在遥远的阴曹地府，牌坊大门的左边有一条河，叫『涧』。 经常有人被吹落水中，然而期间也有为虎作伥的野鬼，难以分辨

左边的声音，哭喊到救人一命胜造七级浮屠，若您经常听见这个，您就是西方的左派（“右派” pro-life）
右边的声音，叫喊到赌命或走都是自由 无人会苛责，若您经常听见这个，您就是西方的右派（“逍遥派” pro-choice）

假如您是铁了心要救人，却咬破嘴唇流着泪毅然决然为“地球环保”“天下苍生”先枪杀另一个人，您就是革命派（造反/保皇党卫兵 pro-party）
--
这当然只是虚构的故事，不过，无论左右翼，不仅都是自然产生的，而且还都对社会有积极作用，例如犹太、黑人、LGBT等族裔；福特、爱迪生、马斯克，他们实际上都对生产乃至体制产生了价值
就像美国卖货到非洲，并不能简单用“白皮猪剥削了第三世界酋长同志们，狂赚贸易顺差”来解读。 假如你的国家要白送几个亿，你房贷加三年，送不送？ 中国加入WTO获得了资金、选择权和技术，同样需要自食其力，选择互利共赢难道不好？

其实，政治坐标系上的Left并不比Right更“道德正确”。 life vs choice ，看起来一定是命比自由更重要，但没法经济独立的胎儿，却没有不出生的选择权。 choice 并不只是表个态，堕胎议题的左与右，其实是 life vs living.
类似生命vs自由、自由vs保守，还有“公益”vs私益、人权vs产权、劳价vs知识或资本价值、女权vs主权、普世vs权威 等老生常谈的左右之争。 谈到权益没人有对错，只是要遵守情义道德。--也就是“被共识监管。”

## 乌托邦不仅要警惕右，更要防止左？
设想中，极右翼资本会貔貅般养蛊形成终产者，通过钱和法权垄断一切弱者的权利，导致消费灭绝 --让资本主义市场自我毁灭
>你产业革命，是为了取得消费和投资时的相对优势，如果生产者饿死了、投资项目绝种了，你金库里的废纸能拿来吃吗？ 消费者都买不起，你的钱哪来的？核动力印钞机？

极左翼社会的“灭鼠运动”将病毒般传染扩散，替代一切正常的生产、规则与礼义廉耻 --让共产主义政府自我毁灭
>你革命，是为了和妻儿子女活在无需人牺牲，人权劳权产权就够公平的社会。如果权利没有拿到白纸黑字，却在内战里无穷无尽地牺牲敌人-或被牺牲，家族党友冤冤相报，这样的敌我森林里何来社会？又何谈公平？
为了权利而大义灭亲、不惜革了任何弱势者的命，正是拿起鞭子，换我“揍敌人”的舍本逐末、历史螺旋。

当然，现实社会没那么二极管，51%的人总是有改变和调和制度本身的能力，即便枪不在他们手里。

聪明的你应该看出区别了。右与左不止是市场vs政府 的权力大小分割，实际上，“终产者”这个恐怖小说里的词，却一开始就在集权左派宪法里被严密定义，只是它叫《分地委》《生产资料再分配委》--就像《动物农场》里的场委小猪拿破仑，或者本文开头的“不保皇派”。
人们总是只要神圣的权利，不要神圣的义务。想要私地受保护，却不维护异己的产权；想要公有到生产环境、销售渠道，却从不监管为自己打工的权力；讨厌资本家贪婪榨取，却像监工一般想强迫他们动起来。
电脑系统里安全最薄弱的环节，永远是人工转接。由人构成的机器一定会从变质到完整腐败。工人会怠工、公务人会踢皮球，缺乏安装“杀毒规则”的社会，就像久染艾滋病的人体。一旦GDP的消炎停药，会怎么样？

## 复杂的人民
一些人讲，人性是右；但作为群居动物，人天然有结社的欲望和均贫富的本能。 随着制度、物料、信任链的进化，世界总是在不掀桌子的时候，向左转。“🇺🇸社会自由主义”是经济右派吗？ 虽然不能和🇪🇺比，但它其实是中间派~ 从白蓝领酬劳差异、医疗白卡上便可略知一二
与数字经济学相悖，当你过得比世界观里的别人好时，你就是幸福的。 在人为制造的不幸尤其多的朝鲜与东德，许多人以「不用自己找工作」「我能免费治感冒」为幸福
放眼世界，似乎只有大家长般的左派政府能把主权国家治理(反 向 监 管,反向社保)成99%满意率的样子，因为抱怨、把他人视为负能量垃圾桶，似乎是人性里不可分割的右派份子； 但是读完本文，你至少能明白一件事：

左与右并非是敌我关系。只有拥有选择的智慧与自由，“公益”才会对每个人有意，而让产权有发言权，开放选择与淘汰，正是智慧诞生的环境。
「民主的最大意义不在于选精英上台，而在于当自称天才的蠢猪想赖在桌台上不走的时候，可以把它赶下台。」
选择的权利，能100%分到“国家投资”的清廉，正是「科学 博爱 法制 自由」与不住在中南海的“民主”。 一个能利出一孔、“不说是对你好”的权威，没有理由吝啬于以此牟私利。 https://m.youtube.com/watch?v=nRW076foOms&t=287s https://m.youtube.com/watch?v=jAyoMMJ3Ous&t=4m
公知追求的，其实并非『共产』『资本』的输赢，而是实现「文明」、消解野蛮的一种手段，为了大众的富饶。
缺乏了选择的左vs右，就像出卖不同颜色赎罪券的宗教一般，与现代政治文明是水土不服 --唯有垃圾，是不分左右滴！

微软公司要求中国员工自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.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