【LK99，110K零电阻观测成功-哔哩哔哩】 https://b23.tv/7fA4nbn

注意不是常温，是在 110k（约-160℃）常压下，革命还需努力～

不过疑点重重了，这块有高温常压超导的样本似乎并没有显示出迈斯纳效应。

韩国人的论文里也有提到，不同样本的超导温度不一致，有可能是样品不纯导致的？

Epic 招安了一大群 PL 大神搞 Verse。

“你看过 Verse Calculus 的作者名单吗？我的意思是，这就是编程语言界的曼哈顿计划，但是它发生在堡垒之夜和元宇宙里😱”

https://vxtwitter.com/welltypedwitch/status/1687062555993288704

作者简介 by ChatGPT:
Lennart Augustsson: Haskell 编程语言贡献者，Bluespec 原作者。
Joachim Breitner: Haskell 编程语言贡献者。
Koen Claessen: Haskell 的 QuickCheck 库贡献者。
Ranjit Jhala: 软件验证领域的研究者，以 Liquid Haskell 库而闻名。
Simon Peyton Jones: Glasgow Haskell Compiler (GHC) 的共同创始人，Haskell 编程语言的贡献者。
Olin Shivers: Scheme 编程语言的贡献者，SRFI 库的开发人员。
Guy Steele: Scheme 编程语言的合著者，Gerald Sussman 的学生和合作者，Java 编程语言的贡献者。
Tim Sweeney: Epic Games 的创始人，Unreal Engine 的创造者。

#statement #freedom
“明知道是泄洪导致，明知道异地异国的善意被抹除、被明政府码标价，但仍配合通知~ 到哪里去找这么优秀的人民！
中国的切尔诺贝利，终于来了。在面对天灾的时候总是暖心制造更严重的人祸，人们默许，并接受政府在这件事上漠视生命。


- 「莫谈国事」和「我不想关心政治」 在粉红眼中是一种政治表态
一般在文明的、非政教合一的国家，国民生下来就有不宣誓效忠、不听外行指导内行、不接受空降领导的权利

但是在红领巾、红卫兵的社会，对老舍和刘少奇这些”阶级敌人“可不会谈人权、谈中立；而面对自相矛盾的大环境，你并没有永远政治正确的机会

如果批评显得刺耳，沉默会被视为阴谋反对
如果君子都叫伪装，小人会垄断社会的善良。

- 经济发展不需要感谢谁。像朝鲜恩情四溢，却缺米却电

美国最讨厌的地方就是，他能让最讨厌他的人心甘情愿去他那里，知识和财产也过去。
美国太坏了，让我共产主义去拯救他们。你看，宏大叙事，正反说都合理了吧

许多「大一统/防疫 爱好者」喜欢站在皇帝的视角对比中国和印度、新加坡 ，但是：
1. 汉族占中国的92%，而印度最多的种族也没过半，且实现了政教独立
2. 粉红害怕把PRC与台湾、与刚搞出LK-99的韩国对比， 同为东亚卷王、发达国家，中国中产的薪水却是台湾的一半， 农民劳工（”不稳定因素“）也领着在民国非法的工资

3. 新加坡有议院、法制宪政、地方选区、反对党，而且没有 14亿热爱996和特权特供 的人矿，所以中国经济望其项背。中国足球什么水平，它的科技就是什么水平，企业靠不住单打独斗。

4. 中国是十年文革前开始执政的，不是加入WTO后才叫中国实力，更不是5000年里慈禧太后和你一国人、一家亲。

中文圈有很多国家，每个都是中华正统。不止有内战中”分裂民国的境外苏独势力“。 日韩也衍生了本土化、没被”破四旧“的唐明文化，最重要的是输出了日漫、韩娱等流行文化。

*以上正常的政”客“国家没有台北户口、洗脑墙、胡锡进、70年房产税这种为民做主的东西

- 多数民主革命是非暴力； 多数独裁者被去魅、被轮换，都是突发的社会事件

许多人认为「反贼」是要迫害中国人的正常生活， 但真正有权力让中国自由发展或机能停滞的，只有维尼 🐻一个人

他们觉得，党掌握了一切、党养活了一切，我们才被迫放弃一切，但，被歧视的农民和劳工，被退林还耕的果农、被迫坐轮椅上班的人，并不是共产党。
社会所面临的停滞，一样会传导到军人、资本家、赵家人，所以”他们“对媒体和新事物所带来的鼓舞那么害怕；即便是对跳忠字舞的人，也要按比例划出间谍和心腹，而未来，能吃到狗粮的”心腹“会越来越难当

只要接纳民主普选和议法，中国人在世界上就并不孤独，中国就不会拉美化、印度化、乃至朝鲜化；甚至能台湾化、北欧式共产化、以及美国化；这才是「反贼」的诉求

只要明白了改革开放、强国富民和大政府主旋律间的根本冲突， 支持民主，不需要太多勇气

#china #news 最近国内都有点不太平。除了经济通缩，“女排塌房”，北京雄安的新“护城河”，涿州市区淹水的这个月，以及灾后赔偿重建，让人不由得想起郑州和温州动车事故的后续

“无预警” 地扣留造谣、清零、随阳、泄洪、“微服私访”、辱华出征，似乎成了新时代的代名词，如同“伟大复兴已进入「不可逆转」的阶段”

即便现在，各种民间救援队也迫于没有 “打点证” 等内宣大证，遭到了国进民退的不公正待遇和 PUA
1. 撇清责任，用媒体宣传来惩处武汉卫健委等铁饭碗
2. 丧事喜办，用歌功颂德的「英雄传」盖过受灾的纳税国民
3. 祸水西引，“逃生通道在楼里。都是美国间谍用舆论抹黑” “都是炒房者掌握了定价权” “996怪老板无良、不扶怪路人道德沦丧”

Leonard: 《面子工程vs里子工程》GDP世界第二的強國沒下水道，排水設計僅為三年一遇
LeLe: “在中国跪着赚钱不丢人，丢人的是站着饿死的。” 中國鸭脖烧烤陷入外憂內患，洋五毛來指明方向
方脸说：涿州大水，一场中共的甩锅表演，不仅仅是洪水，中国的历次灾难都是中共对你的一场大型PUA
小鄭: 因為中國的恩情，讓台灣的護照好用度世界31位(182國免簽)？

波特王好帥: 泸定桥比豆腐渣工程坚固|粉红虚空索敌中华台北运动员
“学到的唯一教训，就是学不到教训。犧牲多個城市就為了保聖上的雄安新區，家園已經被洪水淹沒 ，還要揶揄你是皇城的護城河 ，真暖心 。 ❤️”
王局拍案: 习近平的千年大计，却成了对河北人的内部殖民

配图：方脸
官媒本想说民间团体「不用给国家添乱」，反而暴露了暖心主旋律都是能被摆拍的。
老胡本来想给市委「涿州护城河」言论洗，结果反而暴露了北京不需要河北人牺牲，也不需要纳税给河北人赔款，只是怪雄安建在了洪涝多发区。
团团只想辟谣卢沟桥冲毁，反被发现花纳税钱建的现代桥梁，竟不如历史遗迹抗洪？

牺牲13万人去捧一个雄安鬼城， ”泄洪提前2小时通知“，拒绝无证救援队，又说只遇难11人 ，这剧情和武汉爆发肺炎时、一夜清零变随阳时一样反智

涿州市民，那些车贷房贷没还完的，干了一辈子只有一间泡水楼的，现在联系不上民间救援，在屋顶吃不下晚饭的，家人失联的， 因为太想得救被抖音”自发屏蔽“的，信号被维稳者掐断的， 又该有什么后续？？ 🙉

反正湖南村镇和恒大依然在暴雷，台北队辱华出征还在无限反转，热搜 花花完洗澡”白到发光“， 村民依然在等一个违宪的毁坝「红头文件」，灾难和反思就排到后面呗？

#news 不信谣，不反思，要不然：
“ 民主不能当饭吃，但绿化带可以
逃生通道不能走，但铁丝网可以
大坝墙不能洗脑，但脱口秀可以
湾湾也不能邦交，会让中國外交部長消失？

无巧不成书啊，键政人所谓经济的「大洪水」竟参加物理提前批， 而面对堪比98年洪水(4千死)的灾难，全国又果然是疫情般，甚至灾民也一片祥和
甚至13w市民流离失所的同时，小粉红农管们还在看熊猫洗澡、出征台体女队员、意淫着河北北戴河的“人民泳池”里，那头两百斤的老猪婆如何如何雄才伟略，心系韭州，为“红十字”坏基层操碎了无限连任的心；殊不知，它正策划怎么把河北人的灾害复制贴到台湾国民，把天然蓄洪池 白洋淀 里画的那个圈扩到太平洋哩！

人矿所忍受的不公，多是他们应得的，古有「前事不忘，后事之师」，今有「前灾速忘，后事之始」。

塑造他们的思想，是嫉妒所有非盈利结社的。它怕”蚂蚁“、怕”村超“，曾经它还用「卫兵」「盖世太保」禁止任何自发结社，带来了十三年的颜色恐怖，斗天斗地斗乡民
即便民营创造了60%的GDP 和一半税收，因为没受过自己的恩准，它还是时刻要靠罚款、靠莫须有来坐稳这”人民江山“，真是没救了！

它的食物是「罐装劳动力」。被锡墙围着的人矿，才会自觉把自己上交的血汗、把社会的苦难、烂尾楼、豆腐渣校舍，都视为它的功德和惠民，
为此替他作恶，至无可挽回后，却发现层层加码的“通知”上，其实没一个人落款；只有纳税钱在一次次『大炼钢铁』里萧条凌乱。
有人信，才会让它千秋万代！
雄安鬼城，真可谓”把鬼变成人“的新时代楷模呢！ (btw. #tw 把鬼變成家人呢？

#china 泄洪区接下来的一个月又会怎么样呢？救灾的人力物力已经处于无政府状态了😅
https://m.youtube.com/watch?v=H-doSOvjiFU&t=7m

“地震把日本民族训得更团结和有牺牲精神。灾难把Z国变得更自私和幸灾乐祸
因为淋过雨，所以要撕烂别人的伞​”

#ts #csharp 😱C++化，来临力 https://zhuanlan.zhihu.com/p/648312212

#py langchain 支持了 pipe

# fib.only{%2==0}.firsts{<40_00000}.Sum 
sum(fib() | where(lambda x: x % 2 == 0) | take_while(lambda x: x < 4000000))

比如(我的天啊， Javaer 怎么入侵 Python 了！我以为AIGC潮能打醒它们的，没想到恰恰相反？ 😱
os.environ['OPENAI_API_KEY'] = ''

from langchain.prompts import (
ChatPromptTemplate,
HumanMessagePromptTemplate,
)
from langchain.schema import (
HumanMessage, output_parser as OutP
)
from langchain.chains import LLMChain

prompt = ChatPromptTemplate.from_messages([
HumanMessagePromptTemplate.from_template("Show me the HEX code of color {color_name}")
])

(prompt|ChatOpenAI()|StrOutputParser() ).invoke({"color_name": "RED"})

另外，基于代码解释器， model.bind(fns )|JsonOutputFunctionsParser 可以让AI调用一段描述文档，并获取返回值

#life 实在是太暖心 👀
无数家庭被洪水一分为二、天人永隔时，官媒却在安排另一群小学生，在歌唱「祖国一刻也不能分割」……

那些空降的”香港警察“ 用即将被冲走的家人当软肋，逼走守卫堤坝的”钉子户“时，当无疏散、无责任的救灾也陷入无政府状态时，唱起「无论我们走到哪里」

党妈善意封杀救援队的无序直播和「恶意捐款」时，共青团用人民日报2年前的图， 向灾民倾诉着金将军解放军的恩情时，又唱到「都流出一首赞歌」

干了一辈子才买得起房和车的人，知道洪水一个月后才开始消退时，却唱到「我歌唱每一座高山，我歌唱每一条河」

等到站着和跪着的受害者被毁尸灭迹，那些中国跪族便“携手”纨绔子弟，开始 “我国什么时候闹过泄洪？健康码是什么谣言？都是局部积水， 0失踪、0死亡 ”；无论死的冤不冤，都只是茶余饭后的数字

如果是党的江山叠嶂、铜墙铁壁，河北个体的牺牲呀，不值得同情
文昭

向苏丹紧急追加三亿人道主义
『坟头蹦迪』这个词从未得到如这般正确而系统性的诠释🥰 就好像三鹿集团在一位刚咽气的婴儿旁开直播带货，化妆费还是体面碍国的家长贷款来的；真的恶心坏了

#cg #tool #ai InvokeAI 是 sd-webui 的用户友好升级版

https://comfyanonymous.github.io/ComfyUI_examples/ 支持节点图
https://t.me/dsuse/18072

#py 周刊

#learn visualize 交互式py学习
conda install -c conda-forge lpython 在使用dict时比 numba.njit 编译快一倍 . cython3 最近更新就不提了
numpy-pandas, cupy-cuDF
pip install jupyter-ai 可以用 %%ai chatgpt -f math,html,. 免费访问AI，避免复制粘贴了
match case: 已经可替代 elif

from rich import inspect: py版的 devtools
textual.binding UI: 手动实现命令行 ChatGPT
命令行 MSPaint

#web #ml 支持向量列的数据库
asyncio 用线程池优化文件读取
Mpire: A Python package for easier and faster multiprocessing https://github.com/sybrenjansen/mpire
#rust py异步流读取 JSON

py的元编程FFI:
jupyterSQL 教程
java from jpype import startJVM, shutdownJVM, java
startJVM(convertStrings=False)
java.lang.System.out.println("hello world")
java.util.Random().nextInt(10)

js import pythonmonkey as js; js.eval("console.log")('hello, world')

#ce CPython如何编译源代码

Reddit 抗议基本结束

2023-08-07 23:02 by 卡叠什战役

Reddit 最大的三个 subreddit—— r/aww、r/pics 和 r/videos 停止了抗议。根据 Reddark 的统计，订阅量超过百万和千万的 subreddit 基本上都开放了，只有一小部分仍然有限制。这次抗议始于 6 月 12 日，针对 Reddit 为 API 访问设定了远超合理的价格，迫使第三方客户端关闭。持续一个多月的抗议让很多人疲惫，热情减弱，注意力也转移到了其它事情上。抗议成功了没有？当然没有。Reddit 制定的新 API 定价已经生效，部分第三方客户端关闭，只有少数应用和工具得到豁免。类似 Twitter/X 的用户，只有少数人退出，但绝大部分人还是留在那里。Reddit 的大部分用户还是留在了 Reddit，只有少部分选择了去中心化联邦应用如 Lemmy。

https://tech.slashdot.org/story/23/08/05/1819210/are-the-reddit-protests-over
https://reddark.untone.uk/

#互联网

插播 绝大部分关于 《拼多多被提名网络安全奖项 Pwnie Awards 2023 年度“最差厂商奖”》 的新闻已被投诉下架或屏蔽

只能说某市确实太喜欢保自己亲爹了🤣

#tech 花了一周的这件事让我体验了眼高手低，我对自己「开悟后」的代码段有股莫名的自信，忽视了Eq等一打框架仍需简化的现况 😓 ##1

其实呢，对“最后一块补满N,结果去尾”的操作 chunk(N,each,fillFn) 整零不分，对base32的公式滥用if，z85的特殊读写逻辑被压行， Eqv(a=>b, b=>a) 的设计喧宾夺主

在数据流算法上，我没整理好类型和次序，却搞一堆共享变量的“高阶函数”

当时我就觉得，这js虽短虽强，但极其晦涩(比如j=join 这种以前我深恶痛绝的无类型)，问题不少，只是临时没精力继续； 后来竟记得它很优雅

“免费的最贵”。字面短的、符号化的算式，往往意味着样板代码，真的只是堆脚本时省事，想逃避心智模型的复用。

短只是思维通顺的副作用，不是复杂度的解药。

但，创作一种种新方法真的很难。“守恒的解法”考验设计者永恒的积淀。 且不说不同的人对“定义式编程”的理解偏差可能比Vue和Elm 还大， 往往就是一些简单的思考会卡你六七天 🤪

对未知的恐惧，在失去新鲜感后拔地而出，从0到1是与知识与资本都无关的。

你也可以一直当一个“练习生”，做些不涉模型的重命名创作，
但我见过CS人“重新定义XXX” 真的太多了。我懒得加入这种边解题边造坑的狂欢。

我追求的就是绝对的真理(因此上图的代码，我权当没写过)，这样我对代码的评价两极分化；但我是真不相信 ffmpeg; pandoc; numpy 这样的神级抽象，没有让一切开箱即用、取代一切的潜力。
我最看重的是“思维益生元”式的语言接口、是高于问题与语法的存在，不是何时做都雷同的解谜游戏
--
#1 “三不解”。不解决问题，换掉改掉耍戏精的框架；不关心解法，只问相似问题，问到心智模型一眼见底；不解析代码，只用通用API表达思路
不学习问答和代码，那我干什么？写我爱写的东西。

“编程是什么？”，无论新建对象还是函数，编程者都有 How < What < Why 三种等级
How 只关心眼下的脚本或算法，即便它的API一句话就能说清，或者干脆是照猫画虎， 好比画匠
What 清楚一个领域的惯用法，能总结出样板框架，对新知罕见知保持好奇， 会是个好老师
Why 只关心造成问题的问题，对奇技淫巧的潮流轮回、对数据与代码的“跨端复制”视若无睹

到能够问出WHY的地步，代码已经从身外之技，化作写字念书的母语，只会因创作与设计而产生，好比漫画家

#life 没救了。嘲讽囤积者干什么？这不，不屯那就是哄抢了

体验了一把文革式的有党国无政府状态☺️，谁不要脸，谁能吃饭
不冷不热的知识：大灭绝来了食物链上层第一个死。把“适者生存”偷换成“强者生存”的私货也配社会达尔文？

让刚刚被挖坝弃子的人遵守道德是不可能的， 只是崇拜灾难和混乱，单知道压力型社会，就真的没救了。
“出事前就是知性未改。就算移民到海外了、留学了几年洗礼，没用，洗不干净的，骨子里有人上人的主旋律在。”