duangsuse::Echo
举例, #ts 上有”交并集类型“ (有人认为 hs, Rust 没有子类型所以不存在集合论的,确实如此但 in-out 形变是Racket子语言里也有的,我找不到原文但TRack 是有) (我一点也不羡慕没有重载和this模块等多态技术的圆括号 😅, 模型的缺失是拿宏手动兼容 a.b.c 所弥补不了的, 就像 F# 的 |> 比不上 xx.let{}, kt 的元组 destruct 比不上 ES6 let[x,y]=P, ES6的解构又不如 Prolog 的 unify [x,1]=[2,y]...…
#FP Prolog 和 Racket 一样都有严重的语法缺陷:没有真正的等号,语法一致性也很差;也就比 #SQL 好了
或许 Lisp 的嵌套链表很”统一“,但统一并不等于简单而一致
number(X) 就是 X=num() 的意思,很多算式本该有”一个值“,而不是为了”X=1 返回 [{X:1}]“ 就放弃简化
Res 变量应该被掩盖掉,就像Go等所有现代语言都抛弃了
确实 inc1(x)=2 可能需要闭包和重载,所以我说圆括号很垃圾,因为不够”广义“的等号,和那些扭来扭去的数学希腊字或者VB,PHP一样
🥰我最爱的方向是:
- 定义式/py,rb,元编程,跨平台接口
- 关系式/模式匹配,读写转化,typing知识
- 响应式/Vue ,await和协程, 编程时所见即所得
- 跨领域/基于物理,OS,libc 等根源问题的搜索习惯
或许 Lisp 的嵌套链表很”统一“,但统一并不等于简单而一致
number(X) 就是 X=num() 的意思,很多算式本该有”一个值“,而不是为了”X=1 返回 [{X:1}]“ 就放弃简化
Res 变量应该被掩盖掉,就像Go等所有现代语言都抛弃了
struct*, char**
那样👆e(X) 就可以不用”宏“ 或 Monad 来实现隐式参数,化简3参数的 S=X+R, "2x"==2+'x' , 直接 num=[S,X,R] 就能被 repeat() 修饰了, num=["12a",X] 优于 phrase(num(X), "12","a")
(话说 hs 也真是垃圾🙉 连伪递归纯函数 都强制化了,却仍然不能求解出 x+[2,3]=[1,2,3] ?? 递归再回溯,不就是为了方便DFS吗?确实 inc1(x)=2 可能需要闭包和重载,所以我说圆括号很垃圾,因为不够”广义“的等号,和那些扭来扭去的数学希腊字或者VB,PHP一样
🥰我最爱的方向是:
- 定义式/py,rb,元编程,跨平台接口
- 关系式/模式匹配,读写转化,typing知识
- 响应式/Vue ,await和协程, 编程时所见即所得
- 跨领域/基于物理,OS,libc 等根源问题的搜索习惯
#rust #gui 🤔Yew 是 #wasm 的前端框架 https://t.me/dsuses/5232
Tauri.app #js 很流行,能够打包到600K 但看起来它只是和html调用rust的工具,或模板引擎
Dropbox,CF 已经应用 Tauri 实现高性能的网页端计算
“我还是搞不太懂技术栈对电量损耗的影响,Native 会比 Web 省电吗?Python 会比 Node 省电,但是 Python + PyGames 会比 Node + Libyue 省电吗?Dart 比 JS 省电,但是带上 Flutter 呢?
https://t.me/im_RORIRI/10799
Tauri.app #js 很流行,能够打包到600K 但看起来它只是和html调用rust的工具,或模板引擎
Dropbox,CF 已经应用 Tauri 实现高性能的网页端计算
“我还是搞不太懂技术栈对电量损耗的影响,Native 会比 Web 省电吗?Python 会比 Node 省电,但是 Python + PyGames 会比 Node + Libyue 省电吗?Dart 比 JS 省电,但是带上 Flutter 呢?
https://t.me/im_RORIRI/10799
Telegram
duangsues.is_a? SaltedFish
当然,请参考以下链接获取有关 Rust 中流行的 UI 框架的更多信息:
1. Yew - Yew 是一个现代化的 Rust 框架,用于构建基于 WebAssembly 的前端应用程序。它采用类似于 React 的组件模型和虚拟 DOM,提供强大的状态管理和事件处理功能。Yew 的官方网站提供详细的文档、示例和指南。
2. Iced - Iced 是一个简单高效的跨平台 GUI 库,专注于构建桌面应用程序。它提供易于使用的 API 和功能强大的 UI 组件,使用函数式反应式编程风格。在项目的 GitHub…
1. Yew - Yew 是一个现代化的 Rust 框架,用于构建基于 WebAssembly 的前端应用程序。它采用类似于 React 的组件模型和虚拟 DOM,提供强大的状态管理和事件处理功能。Yew 的官方网站提供详细的文档、示例和指南。
2. Iced - Iced 是一个简单高效的跨平台 GUI 库,专注于构建桌面应用程序。它提供易于使用的 API 和功能强大的 UI 组件,使用函数式反应式编程风格。在项目的 GitHub…
duangsuse::Echo
#china #news 黑龙江塌方事后,基层官僚的冷漠监视,让我想到小胡在校失踪的评论,记者发言稿都是事先过审,“提高播出质量”。 中国人唯独在「不能说」上语言技术突破 一些聪明人吃着外贸 买着自由,却放着民主法制 议法普选的现代道路不信,一边求神拜佛,盼明主,求洋人盼“通知”给自己做「主」;又去说「日本是美国的狗」这些“普世的真理” 美日的文化“输出”,都能和“肥水不流外人甜”平分秋色。谁才是剥皮吃肉文化里的那群狗狗? 就像 CREAM #recommend short #film 里说的那样,自…
#china #school 校舍豆腐渣事故
就像那些土地被火箭碎片砸,拿到200块补偿还要“开心一下”的农民
不仅各色劳动者不值钱,中产和人命也很卑微。这片土地日日祥和:每人心中的党支部都在替“大环境”摆脱冷气,向上走
😶果然,会歧视祥林嫂的社会,终究要变成这样抽象的繁华、恐怖的沉默, 因为动力的来源等于压力
#statement
在沉默中,无数次点燃文革仇智、非典、疫情、储蓄挪用、毒奶粉、地沟油、沙尘暴、隧道地铁漏水、矿难无声、校舍坍塌 、帝国法西斯主义……
财富是自由的附属品,为了捡钱弯腰的人们,往往直不起腰,便无处花钱了。
--
7.23 暑假发生了11学生死亡的违规施工案件,从停工到事发有8个月好几次检查,不是什么『自然灾害』
在这个梦之国度,灾害是按人数计算的。它们才不管你怎么死的、不思考未来自己会面临同样, 只懂用私家权力贯彻皇帝和新装,
就像欲加之罪里的秦桧,理由莫须有。 国事莫须有,社会和国民待遇,自然没有。
“民主不能当饭吃,但绿化带可以
逃生通道不能走,但铁丝网可以
大坝墙不能洗脑,但脱口秀可以
洋人洋货都辱华,西装红领可以
日是军国主义,留岛不留人可以
农民工商不劳动,但执政党养你
”
就像那些土地被火箭碎片砸,拿到200块补偿还要“开心一下”的农民
不仅各色劳动者不值钱,中产和人命也很卑微。这片土地日日祥和:每人心中的党支部都在替“大环境”摆脱冷气,向上走
😶果然,会歧视祥林嫂的社会,终究要变成这样抽象的繁华、恐怖的沉默, 因为动力的来源等于压力
#statement
在沉默中,无数次点燃文革仇智、非典、疫情、储蓄挪用、毒奶粉、地沟油、沙尘暴、隧道地铁漏水、矿难无声、校舍坍塌 、帝国法西斯主义……
财富是自由的附属品,为了捡钱弯腰的人们,往往直不起腰,便无处花钱了。
--
7.23 暑假发生了11学生死亡的违规施工案件,从停工到事发有8个月好几次检查,不是什么『自然灾害』
在这个梦之国度,灾害是按人数计算的。它们才不管你怎么死的、不思考未来自己会面临同样, 只懂用私家权力贯彻皇帝和新装,
就像欲加之罪里的秦桧,理由莫须有。 国事莫须有,社会和国民待遇,自然没有。
“民主不能当饭吃,但绿化带可以
逃生通道不能走,但铁丝网可以
大坝墙不能洗脑,但脱口秀可以
洋人洋货都辱华,西装红领可以
日是军国主义,留岛不留人可以
农民工商不劳动,但执政党养你
”
YouTube
悲伤的齐齐哈尔,道路以目的市民。|齐齐哈尔|三十四中|体育馆坍塌|黄桃罐头|每一秒都痛苦|王局拍案20230727
成为此频道的会员即可获享以下福利:
https://www.youtube.com/channel/UCBKDRq35-L8xev4O7ZqBeLg/join
7月23日下午,齐齐哈尔市第三十四中学校体育馆发生坍塌事故,11位校女排队员不幸罹难。在短短的三天时间内,三十四中的门口堆起了看不到尽头的鲜花,还有当地群众和全国网友给孩子们送来的黄桃罐头。家长们悲伤的情绪也开始集中爆发,一段事发当日医院的视频再次激起了全国网友的愤怒。
当地官员为什么不让家长见孩子?他们让家长签字的文件又是什么?为何明明没有生命体征还声称在抢救?…
https://www.youtube.com/channel/UCBKDRq35-L8xev4O7ZqBeLg/join
7月23日下午,齐齐哈尔市第三十四中学校体育馆发生坍塌事故,11位校女排队员不幸罹难。在短短的三天时间内,三十四中的门口堆起了看不到尽头的鲜花,还有当地群众和全国网友给孩子们送来的黄桃罐头。家长们悲伤的情绪也开始集中爆发,一段事发当日医院的视频再次激起了全国网友的愤怒。
当地官员为什么不让家长见孩子?他们让家长签字的文件又是什么?为何明明没有生命体征还声称在抢救?…
duangsuse::Echo
#sql DFS搜索 像素图填色 in Prolog btw. fill(_,X) 是 “从任意一点探索区域X , 一共能收集到多少X” v(P,0) : 查询颜色是0的P=[X,Y] conn([2,1], P1) : (2,1)=0 四邻里 0值格的座标们 不知为何很慢 看起来好像简短了,实际只是省掉 if 和解构的代码量 😒 有趣的是,conn(四邻) 是基于 |X-x|+|Y-y|=1 的参数方程(GL常用),而非 x+1,y+1 直接迭代,所以 dfs :- C=conn(A),dfs(C)…
#math #algorithm Gauss消元 可以用来解鸡兔同笼、化学分子式等方程组😅
(#bing 第一遍就能用了,但还是有5小时“确认” 算法,最后大体没改
(没错,”大无语事件“,数 学 家 们的代码太乱了,bing都不知道谁是正确…… 我甚至无法证明
—
无语了,你看不懂的信息能不能不要过滤掉? 广度和深度都挺重要 OK?
如果我致力于用100行描述好本质10行的一些组件流程,我也能很有信息量
但是也要去写实质上值得100行的算法和思想的, 不能因为“没功能” 就耽搁掉
不要把设计的创作者和 CS Math 毕业生混为一谈,实现功能算法和设计做法是意义不同的
ice1k 的中文博客都删了,而且看我你至少能复制到base64,fft, 缩进解析, parse(x).toString 这些罕见功能模板……
(不过有时觉得自己很像 GPT ,写的许多代码根本没有运行过,都只是看起来正确
我想锐评几个数学文档:
- wikiZH 除了注释🙉都看不懂,自然语言噪声的极限。 所以矩阵是否有要求 n==m 啊?
- wiki 伪代码的VB式循环。 A[i, k] = 0 是啥?不该用 -= 吗
- OI wiki 根本看不懂公式和 C++ 有啥联系. L7-L13 是一段查k=max() 的面条代码🤮, EPS 是浮点误差,这和消元有个?关系
- bing 一会说 n<=m 也行,一会把 A,b 分开操作,突然又用单参数, 最后才发现 A|b = 单增广矩阵,A必须是正方
(#bing 第一遍就能用了,但还是有5小时“确认” 算法,最后大体没改
# 对系数组A,进行高斯消元求 Ax '=b'
def elim(A, b):
M = np.hstack((A, b.reshape(-1, 1))) # M=(A|常数项b)
n, m = A.shape; assert n==m, "没有唯一解"
# 向下找j格最强的行,换为本行
for j in range(n):
i=np.argmax(abs(M[j:, j]))+j; assert M[i,j]!=0, "主元为零"
if i!=j: #; ij=(行ji)
M[[i,j]] = M[[j,i]]
# j归一,将下行的j格消为 0
M[j] /= M[j, j]
for i in range(j + 1, n):
M[i] -= M[i,j]* M[j]
就只添加了「逆序代入」、确认了「向下归一」化简了😅 M[i] -=m[j]*M[i,j] / M[j,j] (没错,”大无语事件“,数 学 家 们的代码太乱了,bing都不知道谁是正确…… 我甚至无法证明
逆序带入“不就是” M[:, -1]
也倒了很多苦水,包括在kt讨论组—
无语了,你看不懂的信息能不能不要过滤掉? 广度和深度都挺重要 OK?
如果我致力于用100行描述好本质10行的一些组件流程,我也能很有信息量
但是也要去写实质上值得100行的算法和思想的, 不能因为“没功能” 就耽搁掉
不要把设计的创作者和 CS Math 毕业生混为一谈,实现功能算法和设计做法是意义不同的
ice1k 的中文博客都删了,而且看我你至少能复制到base64,fft, 缩进解析, parse(x).toString 这些罕见功能模板……
(不过有时觉得自己很像 GPT ,写的许多代码根本没有运行过,都只是看起来正确
我想锐评几个数学文档:
- wikiZH 除了注释🙉都看不懂,自然语言噪声的极限。 所以矩阵是否有要求 n==m 啊?
- wiki 伪代码的VB式循环。 A[i, k] = 0 是啥?不该用 -= 吗
- OI wiki 根本看不懂公式和 C++ 有啥联系. L7-L13 是一段查k=max() 的面条代码🤮, EPS 是浮点误差,这和消元有个?关系
- bing 一会说 n<=m 也行,一会把 A,b 分开操作,突然又用单参数, 最后才发现 A|b = 单增广矩阵,A必须是正方
Telegram
duangsues.is_a? SaltedFish
我真的不想吐槽数学和某些程序员的 xywh ijnm 定义了。我眼里 nm=hw, ij=yx ,是和书写、访问顺序对应的,但是资料说 x行y格, j行j格
随地for ijkhl 的面条代码,把我整困惑了,数学家是否连Excel、物理行向量的模型都没统一好?
而且看到很多版本的,有用点乘支持b(常数)矩阵,但变量名完全不一样
def elim(arg):
n,m = arg.shape; assert n<=m, "没有唯一解"
for j in range(n):
# 找到j…
随地for ijkhl 的面条代码,把我整困惑了,数学家是否连Excel、物理行向量的模型都没统一好?
而且看到很多版本的,有用点乘支持b(常数)矩阵,但变量名完全不一样
def elim(arg):
n,m = arg.shape; assert n<=m, "没有唯一解"
for j in range(n):
# 找到j…
duangsuse::Echo
#math #algorithm Gauss消元 可以用来解鸡兔同笼、化学分子式等方程组😅 (#bing 第一遍就能用了,但还是有5小时“确认” 算法,最后大体没改 # 对系数组A,进行高斯消元求 Ax '=b' def elim(A, b): M = np.hstack((A, b.reshape(-1, 1))) # M=(A|常数项b) n, m = A.shape; assert n==m, "没有唯一解" # 向下找j格最强的行,换为本行 for j in range(n):…
#math 🥰我只能说 GPT3 的代码可读性是 math/OI wiki 的3倍以上,默认就会使用 numpy 和函数移植
#bing 就蠢一些了(被不标准做法迷惑, 1个小片段3种写法..)
那些人,连手动推导的示例都不会举,喜欢手推一些算法可视化级的复杂、无边界情况的用例,把AI的工作都给抢了
摆出没有心智模型的公式,浪费读者理解算法的时间;多废的人才会在「不知道想干嘛」的情况下列公式啊??
#py #code 鸡兔的解为: [23. 12.]
可以解析,或随机测试
#bing 就蠢一些了(被不标准做法迷惑, 1个小片段3种写法..)
那些人,连手动推导的示例都不会举,喜欢手推一些算法可视化级的复杂、无边界情况的用例,把AI的工作都给抢了
摆出没有心智模型的公式,浪费读者理解算法的时间;多废的人才会在「不知道想干嘛」的情况下列公式啊??
#py #code 鸡兔的解为: [23. 12.]
# 进行高斯消元求 Ax=b, Ax互为系数若有一项
def elim(A, b):
M = np.hstack((A, b.reshape(-1, 1))) # M=(A|常数b)
n, m = A.shape; assert n==m, "没有唯一解"
# 向下找j格最强的行,换为'j'行(即阶梯格式)
for j in range(m):
i=np.argmax(abs(M[j:, j]))+j
if i!=j: M[[i,j]] = M[[j,i]] #ij=(行ji)
if (x:=M[j,j])==0: continue
# j行的主元’x'归一,所以此后的行消x
M[j] /= x
for i in range(j+1, n):
M[i] -= M[j]* M[i,j]#x的数量
# 重新代入
x = np.zeros(m)
for j in reversed(range(m)): # x=(解m - 右:数量y*解y的和)/x的数量'1'
y = np.dot(M[j, j+1:m], x[j+1:])
x[j] = (M[j,m] - y) / M[j, j]
return x
#x + y = 35, 2x + 4y = 94
print("鸡兔的解为:", elim(
np.array([[1.]*2, [2.,4]]), np.array([35,94]) ))
M[j,j]=0: M[j,-1] 非0则无解,否则为无穷解;可以解析,或随机测试
quickCheck(elim, lp.solve, lambda n: (rand(n, n) , rand(n) ) )
# 一般都是用Sympy当Matlab的
import numpy as np
import numpy.linalg as lp, sympy as sp
x, y = symbols('x, y')
eq = [
x + y - 35,
2*x + 4*y - 94] #linear_eq_to_matrix;hstack 就是
[[ 1., 1., 35.],
[ 2., 4., 94.]]
duangsuse::Echo
#math 🥰我只能说 GPT3 的代码可读性是 math/OI wiki 的3倍以上,默认就会使用 numpy 和函数移植 #bing 就蠢一些了(被不标准做法迷惑, 1个小片段3种写法..) 那些人,连手动推导的示例都不会举,喜欢手推一些算法可视化级的复杂、无边界情况的用例,把AI的工作都给抢了 摆出没有心智模型的公式,浪费读者理解算法的时间;多废的人才会在「不知道想干嘛」的情况下列公式啊?? #py #code 鸡兔的解为: [23. 12.] # 进行高斯消元求 Ax=b, Ax互为系数 def…
#math #dalao 补充:删掉[重新带入] 可行,但不兼容无穷解;称为 高斯-约旦法 😅 熬夜看一群示例复杂、半通不通的三脚猫的代码文档,因为算法差异而困扰.. 有点生气
j行的主元’x'归一,其他的行(或其后 j+1~~n行,再回代以容许x==0) 消x
j=0, 向下找j格最强的行,换为'j'行
若需要回代(47-2*12 = 23啥的),在这就停止
j=1,重复
elim([ # [x + y - 35, 2*x + 4*y - 94]
[1 1 35]
[2 4 94]
])
这是方程组的矩阵版,xy 编号为 j。逐行i化为'关于j=i': M[i]/=M[i,j],其他行消去j: M[I] -= mi*M[I,j]#系数
即得=
[1 0 23]
[0 1 12]
示例: j=0~~m, 向下找j格最强的行,换为'j'行j行的主元’x'归一,其他的行(或其后 j+1~~n行,再回代以容许x==0) 消x
j=0, 向下找j格最强的行,换为'j'行
[2 4 94]
[1 1 35]
j行的主元’x'归一,[1 2 47]
[1 1 35]
所以其他的行消x[1 2 47]
[0 1 12] 行1 减 行j *1若需要回代(47-2*12 = 23啥的),在这就停止
j=1,重复
[1 2 47]
[0 1 12] [1 0 23] 行0 减 行j *0.5[0 1 12]
所得阶梯矩阵 M[:, -1] 即 [x=23. y=12.], 鸡兔同笼得解GitHub
Share/Gauss-Jordan-elimination/Gauss-Jordan-elimination.pdf at master · duangsuse-valid-projects/Share
🐕 duangsuse's shared files(e.g. productive software projects, documents) - duangsuse-valid-projects/Share
duangsuse::Echo
#china #school 校舍豆腐渣事故 就像那些土地被火箭碎片砸,拿到200块补偿还要“开心一下”的农民 不仅各色劳动者不值钱,中产和人命也很卑微。这片土地日日祥和:每人心中的党支部都在替“大环境”摆脱冷气,向上走 😶果然,会歧视祥林嫂的社会,终究要变成这样抽象的繁华、恐怖的沉默, 因为动力的来源等于压力 #statement 在沉默中,无数次点燃文革仇智、非典、疫情、储蓄挪用、毒奶粉、地沟油、沙尘暴、隧道地铁漏水、矿难无声、校舍坍塌 、帝国法西斯主义…… 财富是自由的附属品,为了捡钱弯腰…
#china #tw #jp #life 安倍对国中下跪磕头! 但对象是…… 地震中,被不合格的路边墙砸死的'1'名国中生少年🙉,以及日本国民
“你们被西方洗脑了”“我只是看不惯你们这些人民群众”“慎防透露政治不正确的信息,刺激当地群众”
为什么,一些鲶鱼和鸭脖的事,都变得如此富有技巧呢?
“你们被西方洗脑了”“我只是看不惯你们这些人民群众”
YouTube
為什麼在日本生活越久,對中國看法就越差,對台灣的看法就越好?生活在日本的台灣人和中國人,怎樣看待美國調查機構報告「亞裔美國人對台灣印象好,對中國印象差」國民觀念、政府行為,正在形成新的未來!小鄭在日本
#台灣人 #中國人 #小鄭在日本
為什麼在日本生活越久,對中國看法就越差,對台灣的看法就越好?生活在日本的台灣人和中國人,怎樣看待美國調查機構報告「亞裔美國人對台灣印象好,對中國印象差」國民觀念、政府行為,正在形成新的未來!小鄭在日本
商業合作 | 影片授權 | 赴日咨詢
teteforjapan@gmail.com
福山太太的頻道
https://www.youtube.com/channel/UCM5GAEHtgG3I1TlDjb7T27Q
為什麼在日本生活越久,對中國看法就越差,對台灣的看法就越好?生活在日本的台灣人和中國人,怎樣看待美國調查機構報告「亞裔美國人對台灣印象好,對中國印象差」國民觀念、政府行為,正在形成新的未來!小鄭在日本
商業合作 | 影片授權 | 赴日咨詢
teteforjapan@gmail.com
福山太太的頻道
https://www.youtube.com/channel/UCM5GAEHtgG3I1TlDjb7T27Q
#dev #algorithm #statement 「只要搜对了接口」
把问题写出来,就等于解决问题。顺便消灭所有事后、事前的坑
所谓编程语言能力,就是这样创建「伪接口」叙事的编程习惯,带来了治未病的价值观。
伪代码,不通用、不好思考
真代码,不易于溯源和穷举
我不需要「设计模式」,因为真实生活的对象之间的模式,比刻意设计术语和样板更加深广
我没有编过程,只是用数据的算式,展示算法和用法、答案和问题的本来面貌
OCR截屏, 字符画 <10行
fib 和杨辉三角、螺旋矩阵的定义 <20行
自动重构
YAML式缩进不难解析, reader 和 writer 也只是格式“正则”的附属品
强类型序列化 只是让T的元类创建
中文SQL 也“可取”
Linux内核 CRIU 能实现进程级“快照回溯”, Lua 能编写设备驱动, Docker 和 Magisk 都依赖 overlayFS
Base{16,64,32,.} 当然是64行; emoji, 也可以调整 👩🏾=👩+ '🏾
Trie,Suffix 用前缀分组优化的枚举,但在1行内就能创建; 稍微加个失败指针,变成AC,退化成KMP
频谱 的正逆实现只有5行,js 40行:
简单是可靠的先决条件,不是可靠的牺牲品。
这列出的每一个算法,多可以用5千字来解析,但它们甚至不配被称为算法。 因为没有问题的答案、不被语境束缚的思考,在物理学和计算机上都缺少根据。
因此,我的 编程无关计算机,就像天文无关望远镜
把问题写出来,就等于解决问题。顺便消灭所有事后、事前的坑
所谓编程语言能力,就是这样创建「伪接口」叙事的编程习惯,带来了治未病的价值观。
伪代码,不通用、不好思考
真代码,不易于溯源和穷举
我不需要「设计模式」,因为真实生活的对象之间的模式,比刻意设计术语和样板更加深广
我没有编过程,只是用数据的算式,展示算法和用法、答案和问题的本来面貌
OCR截屏, 字符画 <10行
fib 和杨辉三角、螺旋矩阵的定义 <20行
自动重构
map({it+1},[0]) 的py代码并不困难,包括可视化的 astexplorer.net , godbolt.orgYAML式缩进不难解析, reader 和 writer 也只是格式“正则”的附属品
强类型序列化 只是让T的元类创建
cat()读, cut(写) 所需的val-类型字典中文SQL 也“可取”
Linux内核 CRIU 能实现进程级“快照回溯”, Lua 能编写设备驱动, Docker 和 Magisk 都依赖 overlayFS
Base{16,64,32,.} 当然是64行; emoji, 也可以调整 👩🏾=👩+ '🏾
Trie,Suffix 用前缀分组优化的枚举,但在1行内就能创建; 稍微加个失败指针,变成AC,退化成KMP
频谱 的正逆实现只有5行,js 40行:
dot(x, exp(-2j*np.pi * i/N * i.reshape((N,1))) )
解方程组: 转为矩阵版 xyz 编号为 j。逐行i化为'关于j',其他行消(减)去j, 最终 解=M[j, -1] for j 简单是可靠的先决条件,不是可靠的牺牲品。
这列出的每一个算法,多可以用5千字来解析,但它们甚至不配被称为算法。 因为没有问题的答案、不被语境束缚的思考,在物理学和计算机上都缺少根据。
因此,我的 编程无关计算机,就像天文无关望远镜
duangsuse::Echo
#cs #dev #statement 我终于理解Dijkstra说的,“编程不关于计算机”。自古以来,编程不是件事务,而是思考的习惯;简明不是卖点,它是生存的条件 这些人写的都是什么跟什么?base64和base32 竟然不是一个pkg? C语言1.4k行共写了1个算法 0次复用?各种编码模式能ctrlcv出4个函数来? 拿Rust“设计模式”了一堆struct{} 然后说自己只支持base64,也没有并行优化?? base64 不是很简单的3:4字节重组算法吗? 它..算是问题吗 它..值得花几千行、400次提交,修补3年吗…
看到三四个“PL理论人”因为我写的几行“幼稚的”代码而酸爆, 我发现中国的“档化”教育下,科学、常识和社会协作果然无地自容。
如果你认为学如逆水行舟,别人进=自己退,需要不断“高端”才能有“尊严和机会”;说明档化思想已能够合情理地,控制你对价值、对技术选型,甚至是对“人”的认知
“咱们在树下守着,一定能把地心引力发现出来,别让那个牛顿牛逼坏了”;别笑,许多人做东西的动力是这样的。
假设只有「易问难解」才能有人群 让你高人一等;这必将让你拘泥于初解的意气,不信自己了解过的更优方法,害怕让体系自然得像空气
但聪慧的人,常常是靠理性的“钝感力”,避免情绪化的傲慢、获得不受人威胁的自信与热情。
“我特别喜欢和聪明人一起工作,因为最大的好处是不用考虑他们的自尊”
我讨厌的是,曾经为“做事情”熬夜学习的人,又加入这个专业领域去生产孤岛化的《高等》知识;即便他们觉得付出的精力得偿所失
仅仅是出生在台湾,就和多数将“泯然众人”的985薪水是一样的,这时谈知识的等级更像痴人说梦。 重复的奋斗、易碎的人格,往往同时产生
人类对智商最高的觉悟,应该是技术进步不会依靠智商。不然20万年前,也该有电脑和文字。
智商低可不是逃避写作的借口。 所有我学过、想过的代码,不需要迎合大众小众的潮流,也不想加私货强化“自己的价值”
而是,永远好奇“算法和结构的存在理由”
我爱旧知,但我更爱真理;我爱难算法,但我更推易组合
我会把问题解决到不记得它存在过。
如果你认为学如逆水行舟,别人进=自己退,需要不断“高端”才能有“尊严和机会”;说明档化思想已能够合情理地,控制你对价值、对技术选型,甚至是对“人”的认知
“咱们在树下守着,一定能把地心引力发现出来,别让那个牛顿牛逼坏了”;别笑,许多人做东西的动力是这样的。
假设只有「易问难解」才能有人群 让你高人一等;这必将让你拘泥于初解的意气,不信自己了解过的更优方法,害怕让体系自然得像空气
但聪慧的人,常常是靠理性的“钝感力”,避免情绪化的傲慢、获得不受人威胁的自信与热情。
“我特别喜欢和聪明人一起工作,因为最大的好处是不用考虑他们的自尊”
我讨厌的是,曾经为“做事情”熬夜学习的人,又加入这个专业领域去生产孤岛化的《高等》知识;即便他们觉得付出的精力得偿所失
仅仅是出生在台湾,就和多数将“泯然众人”的985薪水是一样的,这时谈知识的等级更像痴人说梦。 重复的奋斗、易碎的人格,往往同时产生
人类对智商最高的觉悟,应该是技术进步不会依靠智商。不然20万年前,也该有电脑和文字。
智商低可不是逃避写作的借口。 所有我学过、想过的代码,不需要迎合大众小众的潮流,也不想加私货强化“自己的价值”
而是,永远好奇“算法和结构的存在理由”
我爱旧知,但我更爱真理;我爱难算法,但我更推易组合
我会把问题解决到不记得它存在过。
Forwarded from 层叠 - The Cascading
Python 指导委员会 (Steering Council) 计划接受 PEP 703,并正在策划工作细节。
Python 指导委员会的远期计划是让 GIL 移除出 Python(而非并行保留 GIL 和 no-GIL);但在这期间,委员会也希望处理好后向兼容性问题,防止像 Python 2 到 Python 3 这样的兼容性惨案再次发生。
discuss.python.org/~
thread: /4255
#Python
Python 指导委员会的远期计划是让 GIL 移除出 Python(而非并行保留 GIL 和 no-GIL);但在这期间,委员会也希望处理好后向兼容性问题,防止像 Python 2 到 Python 3 这样的兼容性惨案再次发生。
discuss.python.org/~
thread: /4255
#Python
Discussions on Python.org
A Steering Council notice about PEP 703 (Making the Global Interpreter Lock Optional in CPython)
Posting for the whole Steering Council, on the subject of @colesbury’s PEP 703 (Making the Global Interpreter Lock Optional in CPython). Thank you, everyone, for responding to the poll on the no-GIL proposal. It’s clear that the overall sentiment is positive…
duangsuse::Echo
#science #news 🤯 BV1cP411k7aU “ 简单看了一下原文,用几种极其常见的材料(铅氧化物、硫酸铅、铜、磷)固相合成得到了常温常压下的超导材料。要是真的,倒立洗头10遍也不为过。 不过,主要作者的通讯单位是商业公司,报道的材料“LK-99”是注册商标,不排除(甚至有很大可能)是商业公司在吹牛,只为搞个大新闻 https://t.me/rynif/31199
#science 超导更新
” 只要不是主观的刻意造假、博取名利,我们都应该对创新性研究有更多的包容,因为从0到1实在是太难了。 LK99是1999年开始实验的
负面:北航发布了 LK-99 的验证论文:失败
正面:U.S. LBNL 认为超导在理论上是可行的,只是合成方法的易漏细节很多
🎉 华中科技大学首次验证合成了可以磁悬浮的LK-99晶体
好像失败了?.. #lk99 另:momo 今天的早寄晚导整合贴
https://zhuanlan.zhihu.com/p/650052523
” 只要不是主观的刻意造假、博取名利,我们都应该对创新性研究有更多的包容,因为从0到1实在是太难了。 LK99是1999年开始实验的
负面:北航发布了 LK-99 的验证论文:失败
正面:U.S. LBNL 认为超导在理论上是可行的,只是合成方法的易漏细节很多
🎉 华中科技大学首次验证合成了可以磁悬浮的LK-99晶体
好像失败了?.. #lk99 另:momo 今天的早寄晚导整合贴
https://zhuanlan.zhihu.com/p/650052523
Telegram
螺莉莉的黑板报
摘录:
人类这个物种啊,就是一个永远充满希望的物种,要不然怎么进化出今天的文明。创新性探索的确大多数都是失败的,就像我常说,我们能够炼出判断实验数据的能力,是实验室里堆积如山的样品尸体练出来的,不是照着教科书学的。照着前人探索的成熟道路走,重复造轮子就容易多了。我从来都认为,只要不是主观的刻意造假、博取名利,我们都应该对创新性研究有更多的包容,因为从0到1实在是太难了。
科学不是英雄主义,是一个个平凡的个体一次又一次实验的失败换来的。就像这个新材料命名为LK99,是人家从1999年就已经开启的课题,…
人类这个物种啊,就是一个永远充满希望的物种,要不然怎么进化出今天的文明。创新性探索的确大多数都是失败的,就像我常说,我们能够炼出判断实验数据的能力,是实验室里堆积如山的样品尸体练出来的,不是照着教科书学的。照着前人探索的成熟道路走,重复造轮子就容易多了。我从来都认为,只要不是主观的刻意造假、博取名利,我们都应该对创新性研究有更多的包容,因为从0到1实在是太难了。
科学不是英雄主义,是一个个平凡的个体一次又一次实验的失败换来的。就像这个新材料命名为LK99,是人家从1999年就已经开启的课题,…
🦄1
duangsuse::Echo
#dev #algorithm #statement 「只要搜对了接口」 把问题写出来,就等于解决问题。顺便消灭所有事后、事前的坑 所谓编程语言能力,就是这样创建「伪接口」叙事的编程习惯,带来了治未病的价值观。 伪代码,不通用、不好思考 真代码,不易于溯源和穷举 我不需要「设计模式」,因为真实生活的对象之间的模式,比刻意设计术语和样板更加深广 我没有编过程,只是用数据的算式,展示算法和用法、答案和问题的本来面貌 OCR截屏, 字符画 <10行 fib 和杨辉三角、螺旋矩阵的定义 <20行 自动重构…
#py 周刊
#ai 方便中国用户离线安装的中文 Llama2-7B
Jupternb 7 支持 Jupyter Lab 的内嵌调试器
pip install manhole, pyrasite 支持向py进程注入代码
@pyscript
pip install taipy
数据过滤节点图+mdx GUI
自动安装的免检测爬虫
#FP 最佳实践
pipx 已经支持的单文件依赖提案
asyncio 注册自定义轮询任务检查任务回调的执行耗时
#jp 《每个人的线性代数》 [pdf 共10页]直接以可视化的示例概括了 ndarray([]) , 反观一些离岸国人一边以「哇你们线代好厉害哦」来认知一种数据工具, 一边吐槽中国的 CS 为啥那么烂 那么八股文
https://github.com/kenjihiranabe/The-Art-of-Linear-Algebra
《线性代数应该这样学》的英文版 Linear Algebra Done Right 最新版(第四版)开放获取了,可以免费下载电子版 https://link.springer.com/content/pdf/10.1007/978-3-031-41026-0.pdf
https://www.3blue1brown.com/topics/linear-algebra
教什么线代,直接看3b1b 用Numpy可视化计算
怎么不问问神奇的gpt呢?
如果只是停留在把自己当计算器的程度,gpt超过100个做题家
这个「一定的数学知识」随着时代和计算机的进步,一定是越来越少的
所谓生产工作,大家都能生产才有市场啊
把能解决问题的简单概念,用原创的废话转写,得到逻辑完美的新问题和“新”工具,便拿工具兜售自己对新问题的浮夸定义;这就是我对CS的观感。
就像一些 BASIC 时代的人,在吹“咱的语言都结构化流控了” “我又懂稀罕的古佬真理了” “逻辑式和响应式真的太特殊了” ,
殊不知时代仍在向定义式、生成代码、自定语法糖,在向语言去符号化 的方向走,快到都没机会让他们用留了一手的知识 漂亮地回击“恶意质疑”,便应“不体面”地求知若鸡 🥰实在太暖心
或许,这就是叙事逻辑的不同吧。 我没get到1行就显山露水的算法,有什么好高等的;我们大可用10页树立心智模型,来让核心只有1页,因为有规律 才被称为计算机「科学」。
技巧和功能有许多,在我眼里都是家常菜。作为一个合格的“大胃王”,私房菜这种东西,过眼云烟吧。
俺代码的接口越多,烧脑的概念便越少, 可能他们做的东西间没有联系,乃至结构和程序、专业和常识间争夺C位,那就完蛋了。
你用python写,你性能好,你下班早,你吃饭香,你睡的安稳
你用c写,它性能好,它cpu早下班,它内存吃饭香,它硬盘睡的稳
你说,应该死道友还是死贫道?
#ai 方便中国用户离线安装的中文 Llama2-7B
Jupternb 7 支持 Jupyter Lab 的内嵌调试器
pip install manhole, pyrasite 支持向py进程注入代码
@pyscript
.bridge def 可以提供js侧 py.func()
<script src="https://cdn.jsdelivr.net/npm/pyscript@4.0.6/dist/pyscript.min.js"></script>
awesome htmx 项目清单pip install taipy
数据过滤节点图+mdx GUI
自动安装的免检测爬虫
from webdriver_manager.chrome import ChromeDriverManager
driver = webdriver.Chrome(ChromeDriverManager().install())
Py3.12 的 f"" 支持嵌套, 但仍不能被函数重载#FP 最佳实践
pipx 已经支持的单文件依赖提案
#!/usr/bin/env python
# Requirements:
# requests
Flask 防范 IDOR 地址穷举攻击 (但不要学B站用AV BV号..asyncio 注册自定义轮询任务检查任务回调的执行耗时
#jp 《每个人的线性代数》 [pdf 共10页]直接以可视化的示例概括了 ndarray([]) , 反观一些离岸国人一边以「哇你们线代好厉害哦」来认知一种数据工具, 一边吐槽中国的 CS 为啥那么烂 那么八股文
https://github.com/kenjihiranabe/The-Art-of-Linear-Algebra
《线性代数应该这样学》的英文版 Linear Algebra Done Right 最新版(第四版)开放获取了,可以免费下载电子版 https://link.springer.com/content/pdf/10.1007/978-3-031-41026-0.pdf
https://www.3blue1brown.com/topics/linear-algebra
教什么线代,直接看3b1b 用Numpy可视化计算
怎么不问问神奇的gpt呢?
如果只是停留在把自己当计算器的程度,gpt超过100个做题家
这个「一定的数学知识」随着时代和计算机的进步,一定是越来越少的
所谓生产工作,大家都能生产才有市场啊
把能解决问题的简单概念,用原创的废话转写,得到逻辑完美的新问题和“新”工具,便拿工具兜售自己对新问题的浮夸定义;这就是我对CS的观感。
就像一些 BASIC 时代的人,在吹“咱的语言都结构化流控了” “我又懂稀罕的古佬真理了” “逻辑式和响应式真的太特殊了” ,
殊不知时代仍在向定义式、生成代码、自定语法糖,在向语言去符号化 的方向走,快到都没机会让他们用留了一手的知识 漂亮地回击“恶意质疑”,便应“不体面”地求知若鸡 🥰实在太暖心
或许,这就是叙事逻辑的不同吧。 我没get到1行就显山露水的算法,有什么好高等的;我们大可用10页树立心智模型,来让核心只有1页,因为有规律 才被称为计算机「科学」。
技巧和功能有许多,在我眼里都是家常菜。作为一个合格的“大胃王”,私房菜这种东西,过眼云烟吧。
俺代码的接口越多,烧脑的概念便越少, 可能他们做的东西间没有联系,乃至结构和程序、专业和常识间争夺C位,那就完蛋了。
你用python写,你性能好,你下班早,你吃饭香,你睡的安稳
你用c写,它性能好,它cpu早下班,它内存吃饭香,它硬盘睡的稳
你说,应该死道友还是死贫道?
Telegram
Newlearnerの自留地
#Python潮流周刊 #Newsletter
Python 潮流周刊#13:Jupyter Notebook 7 发布了,无 GIL 提案传来大好消息!
🦄文章&教程
1、Jupyter Notebook 7 隆重发布
2、Python 中的弱引用与基础类型支持探究
3、分布式锁的介绍与 Python 实现
4、释放 PyScript 的力量:在 HTML 中运行 Python 代码
5、通过并发实现更快的文件 I/O
6、编写完美干净的 Python 代码?
7、Python 日志记录:对比最流行的…
Python 潮流周刊#13:Jupyter Notebook 7 发布了,无 GIL 提案传来大好消息!
🦄文章&教程
1、Jupyter Notebook 7 隆重发布
2、Python 中的弱引用与基础类型支持探究
3、分布式锁的介绍与 Python 实现
4、释放 PyScript 的力量:在 HTML 中运行 Python 代码
5、通过并发实现更快的文件 I/O
6、编写完美干净的 Python 代码?
7、Python 日志记录:对比最流行的…
Forwarded from Rachel 碎碎念 (Rachel 🐨)
#有意思的文章
从一个开放的 adb shell 着手入侵一台 Android 电视的过程,利用 jdwp 注入 system_server,再从 system_server 执行 ptrace 注入 init,最后通过它们启动一个 root 权限的 telnetd,作者技术力很高,写得也很精彩:
https://github.com/5ec1cff/my-notes/blob/master/pwn-tv.md
这个 repo 下的其他文章也很有意思,话题很多、涉猎很广,覆盖了从 Zygisk 到 systrace 到 OpenGL 再到 WSLg 之类的技术话题,虽然只是作者的笔记而非正经博客,所以部分文章非常简短,但还是推荐点开读读看
从一个开放的 adb shell 着手入侵一台 Android 电视的过程,利用 jdwp 注入 system_server,再从 system_server 执行 ptrace 注入 init,最后通过它们启动一个 root 权限的 telnetd,作者技术力很高,写得也很精彩:
https://github.com/5ec1cff/my-notes/blob/master/pwn-tv.md
这个 repo 下的其他文章也很有意思,话题很多、涉猎很广,覆盖了从 Zygisk 到 systrace 到 OpenGL 再到 WSLg 之类的技术话题,虽然只是作者的笔记而非正经博客,所以部分文章非常简短,但还是推荐点开读读看
GitHub
my-notes/pwn-tv.md at master · 5ec1cff/my-notes
https://5ec1cff.github.io/my-blog. Contribute to 5ec1cff/my-notes development by creating an account on GitHub.
#china #history 刘邦、项羽和王朝周期率
7:40 自古把“公有”土地给新人种,创造『终身农奴』阶级
8:50 “把中国的土地变成了之前的盐铁,房产和医疗教育捆绑销售,还有烟铁、两桶油”
10:50 大一统、大政府的王朝,空转消耗是巨大的. 唐朝从 (I) 代的300编制到 (III) 的3万,吃税收饭
14:30 靠钱、靠锦衣卫维稳权力内斗,是中华民族的传统
16:50 《岳阳楼记》背后的故事
18:30 擅长争斗的明君避免了权力内耗,也不会去顾虑军人的生命
20:30 周期律实现了传统分封制无法完成的崩溃
24:00 🐻的烂尾政策烂尾楼、新冠战芯片战,已经在周期律末期
地方房价“崩盘”对新人未必是好事, 政府会找到其他方法继续课税;比如金融、公积金挪用、国企扩张
btw. 袁腾飞,因为身在北京,已经无法再在YouTube上发分析视频了
7:40 自古把“公有”土地给新人种,创造『终身农奴』阶级
8:50 “把中国的土地变成了之前的盐铁,房产和医疗教育捆绑销售,还有烟铁、两桶油”
10:50 大一统、大政府的王朝,空转消耗是巨大的. 唐朝从 (I) 代的300编制到 (III) 的3万,吃税收饭
14:30 靠钱、靠锦衣卫维稳权力内斗,是中华民族的传统
16:50 《岳阳楼记》背后的故事
18:30 擅长争斗的明君避免了权力内耗,也不会去顾虑军人的生命
20:30 周期律实现了传统分封制无法完成的崩溃
24:00 🐻的烂尾政策烂尾楼、新冠战芯片战,已经在周期律末期
地方房价“崩盘”对新人未必是好事, 政府会找到其他方法继续课税;比如金融、公积金挪用、国企扩张
btw. 袁腾飞,因为身在北京,已经无法再在YouTube上发分析视频了
YouTube
方脸说:房地产崩盘,代表中国已经走上了王朝周期律中的衰退期!
00:00 开始
01:30 中国的王朝周期律
02:09 中央极权制的建立
06:21 中央集权带来的经济和政治变化
10:31 王朝周期律产生的原因
19:13 王朝的转折点
23:23 中国目前的现状
01:30 中国的王朝周期律
02:09 中央极权制的建立
06:21 中央集权带来的经济和政治变化
10:31 王朝周期律产生的原因
19:13 王朝的转折点
23:23 中国目前的现状
Forwarded from 橘橘橘子汁 & 🍊
【LK99,110K零电阻观测成功-哔哩哔哩】 https://b23.tv/7fA4nbn
注意不是常温,是在 110k(约-160℃)常压下,革命还需努力~
不过疑点重重了,这块有高温常压超导的样本似乎并没有显示出迈斯纳效应。
韩国人的论文里也有提到,不同样本的超导温度不一致,有可能是样品不纯导致的?
注意不是常温,是在 110k(约-160℃)常压下,革命还需努力~
不过疑点重重了,这块有高温常压超导的样本似乎并没有显示出迈斯纳效应。
韩国人的论文里也有提到,不同样本的超导温度不一致,有可能是样品不纯导致的?
Bilibili
LK99,110K零电阻观测成功_哔哩哔哩_bilibili
LK99,110K零电阻观测成功, 视频播放量 3322214、弹幕量 5468、点赞数 99319、投硬币枚数 18756、收藏人数 10350、转发人数 39795, 视频作者 科学调查局, 作者简介 东南大学教授
日本东京大学研究员,相关视频:【室温超导】死刑宣判:中美学术界联合绞杀LK-99,LK-99室温超导材料验证,LK-99室温超导悬案告破: 都是硫化亚铜惹的祸!,最新消息!第三作者金教授爆料:LK-99必定是室温超导!抗磁性为石墨5000多倍!!!,LK-99零电阻观测成功,在110k观…
日本东京大学研究员,相关视频:【室温超导】死刑宣判:中美学术界联合绞杀LK-99,LK-99室温超导材料验证,LK-99室温超导悬案告破: 都是硫化亚铜惹的祸!,最新消息!第三作者金教授爆料:LK-99必定是室温超导!抗磁性为石墨5000多倍!!!,LK-99零电阻观测成功,在110k观…
#py #tech 4 行級的 base64 ? 如果是 Chrome 可以直接用 btoa (实现于WTF基架) ,这次就用 numpy 实现吧;也比上次写明确一点(亿点点),兼容URI-safe等不同编码表
继64行版,丢了很多功能
Google WTF的支持URI是靠
但所谓4行,一定是指算法复用了「数据模型」。这个涉及二进制/列表滑窗的编码在C里可并不易写,用 'a'->'1100..' join&chunk(6) 也太慢了
指针不如内联函数,快取也是要做频率分析和perf PGO的,你千万别觉得符号比名字多就更快……
把問題複雜化是一定会「难以优化底层算法」的,说到SIMD用 CuPy.dev 最好,faster.rs simd_iter(chunks) 也不错。以前我用C生成过奇怪的图片
#py #code
如果是纯 b64+numpy AI也做得到;但是我用到了列表处理的复用,暂时不能全靠问AI
当然,我是不会自卑到和AI比做高端工具人的能力,很希望,明年我就不再手写任何代码;能自解释的AI技术赛高☺️
误打误撞发现 np,numba 支持 SIMD 的 packbits() ,所以能4行实现,但目标还是添加z85等4byte:5char 的分组编码 。在开发中
继64行版,丢了很多功能
Google WTF的支持URI是靠
.Replace('+/', '-_') 的.. 写几百行的人,真的只是因为真的视编码为奇技淫巧,才求仁得仁了 😅但所谓4行,一定是指算法复用了「数据模型」。这个涉及二进制/列表滑窗的编码在C里可并不易写,用 'a'->'1100..' join&chunk(6) 也太慢了
指针不如内联函数,快取也是要做频率分析和perf PGO的,你千万别觉得符号比名字多就更快……
把問題複雜化是一定会「难以优化底层算法」的,说到SIMD用 CuPy.dev 最好,faster.rs simd_iter(chunks) 也不错。以前我用C生成过奇怪的图片
#py #code
b= b'ABC'
rad = R64[K]; nc=int(math.log2(K))
A,B=K_AB[nc]; kEQ=A/B
nEQ=A-len(b)%A; b=b.ljust(len(b)+nEQ,b'\x00')
n=len(b)
bs = np.frombuffer(b, dtype=np.uint8)
a=np.packbits(np.fliplr(np.unpackbits(bs).reshape(n*B//A,-1) ), axis=1, bitorder='little')
print(b"".join(rad[a].reshape(-1))[:-round(nEQ / kEQ)])
如果是纯 b64+numpy AI也做得到;但是我用到了列表处理的复用,暂时不能全靠问AI
当然,我是不会自卑到和AI比做高端工具人的能力,很希望,明年我就不再手写任何代码;能自解释的AI技术赛高☺️
误打误撞发现 np,numba 支持 SIMD 的 packbits() ,所以能4行实现,但目标还是添加z85等4byte:5char 的分组编码 。在开发中
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
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 的创造者。
“你看过 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 的创造者。
vxTwitter / fixvx
💖 194 🔁 26
💖 194 🔁 26
Prophet (@welltypedwitch)
I mean... have you seen the list of authors on the Verse Calculus paper?
This is like the Manhattan Project of PL and it's happening in Fortnite and "the Metaverse" https://t.co/V2L3uYNqYg
This is like the Manhattan Project of PL and it's happening in Fortnite and "the Metaverse" https://t.co/V2L3uYNqYg
#statement #freedom
“明知道是泄洪导致,明知道异地异国的善意被抹除、被明政府码标价,但仍配合通知~ 到哪里去找这么优秀的人民!
中国的切尔诺贝利,终于来了。在面对天灾的时候总是暖心制造更严重的人祸,人们默许,并接受政府在这件事上漠视生命。
- 「莫谈国事」和「我不想关心政治」 在粉红眼中是一种政治表态
一般在文明的、非政教合一的国家,国民生下来就有不宣誓效忠、不听外行指导内行、不接受空降领导的权利
但是在红领巾、红卫兵的社会,对老舍和刘少奇这些”阶级敌人“可不会谈人权、谈中立;而面对自相矛盾的大环境,你并没有永远政治正确的机会
如果批评显得刺耳,沉默会被视为阴谋反对
如果君子都叫伪装,小人会垄断社会的善良。
- 经济发展不需要感谢谁。像朝鲜恩情四溢,却缺米却电
美国最讨厌的地方就是,他能让最讨厌他的人心甘情愿去他那里,知识和财产也过去。
美国太坏了,让我共产主义去拯救他们。你看,宏大叙事,正反说都合理了吧
许多「大一统/防疫 爱好者」喜欢站在皇帝的视角对比中国和印度、新加坡 ,但是:
1. 汉族占中国的92%,而印度最多的种族也没过半,且实现了政教独立
2. 粉红害怕把PRC与台湾、与刚搞出LK-99的韩国对比, 同为东亚卷王、发达国家,中国中产的薪水却是台湾的一半, 农民劳工(”不稳定因素“)也领着在民国非法的工资
3. 新加坡有议院、法制宪政、地方选区、反对党,而且没有 14亿热爱996和特权特供 的人矿,所以中国经济望其项背。中国足球什么水平,它的科技就是什么水平,企业靠不住单打独斗。
4. 中国是十年文革前开始执政的,不是加入WTO后才叫中国实力,更不是5000年里慈禧太后和你一国人、一家亲。
中文圈有很多国家,每个都是中华正统。不止有内战中”分裂民国的境外苏独势力“。 日韩也衍生了本土化、没被”破四旧“的唐明文化,最重要的是输出了日漫、韩娱等流行文化。
*以上正常的政”客“国家没有台北户口、洗脑墙、胡锡进、70年房产税这种为民做主的东西
- 多数民主革命是非暴力; 多数独裁者被去魅、被轮换,都是突发的社会事件
许多人认为「反贼」是要迫害中国人的正常生活, 但真正有权力让中国自由发展或机能停滞的,只有维尼 🐻一个人
他们觉得,党掌握了一切、党养活了一切,我们才被迫放弃一切,但,被歧视的农民和劳工,被退林还耕的果农、被迫坐轮椅上班的人,并不是共产党。
社会所面临的停滞,一样会传导到军人、资本家、赵家人,所以”他们“对媒体和新事物所带来的鼓舞那么害怕;即便是对跳忠字舞的人,也要按比例划出间谍和心腹,而未来,能吃到狗粮的”心腹“会越来越难当
只要接纳民主普选和议法,中国人在世界上就并不孤独,中国就不会拉美化、印度化、乃至朝鲜化;甚至能台湾化、北欧式共产化、以及美国化;这才是「反贼」的诉求
只要明白了改革开放、强国富民和大政府主旋律间的根本冲突, 支持民主,不需要太多勇气
“明知道是泄洪导致,明知道异地异国的善意被抹除、被明政府码标价,但仍配合通知~ 到哪里去找这么优秀的人民!
中国的切尔诺贝利,终于来了。在面对天灾的时候总是暖心制造更严重的人祸,人们默许,并接受政府在这件事上漠视生命。
- 「莫谈国事」和「我不想关心政治」 在粉红眼中是一种政治表态
一般在文明的、非政教合一的国家,国民生下来就有不宣誓效忠、不听外行指导内行、不接受空降领导的权利
但是在红领巾、红卫兵的社会,对老舍和刘少奇这些”阶级敌人“可不会谈人权、谈中立;而面对自相矛盾的大环境,你并没有永远政治正确的机会
如果批评显得刺耳,沉默会被视为阴谋反对
如果君子都叫伪装,小人会垄断社会的善良。
- 经济发展不需要感谢谁。像朝鲜恩情四溢,却缺米却电
美国最讨厌的地方就是,他能让最讨厌他的人心甘情愿去他那里,知识和财产也过去。
美国太坏了,让我共产主义去拯救他们。你看,宏大叙事,正反说都合理了吧
许多「大一统/防疫 爱好者」喜欢站在皇帝的视角对比中国和印度、新加坡 ,但是:
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國免簽)?
波特王好帥: 泸定桥比豆腐渣工程坚固|粉红虚空索敌中华台北运动员
“学到的唯一教训,就是学不到教训。犧牲多個城市就為了保聖上的雄安新區,家園已經被洪水淹沒 ,還要揶揄你是皇城的護城河 ,真暖心 。 ❤️”
王局拍案: 习近平的千年大计,却成了对河北人的内部殖民
“无预警” 地扣留造谣、清零、随阳、泄洪、“微服私访”、辱华出征,似乎成了新时代的代名词,如同“伟大复兴已进入「不可逆转」的阶段”
即便现在,各种民间救援队也迫于没有 “打点证” 等内宣大证,遭到了国进民退的不公正待遇和 PUA
1. 撇清责任,用媒体宣传来惩处武汉卫健委等铁饭碗
2. 丧事喜办,用歌功颂德的「英雄传」盖过受灾的纳税国民
3. 祸水西引,“逃生通道在楼里。都是美国间谍用舆论抹黑” “都是炒房者掌握了定价权” “996怪老板无良、不扶怪路人道德沦丧”
Leonard: 《面子工程vs里子工程》GDP世界第二的強國沒下水道,排水設計僅為三年一遇
LeLe: “在中国跪着赚钱不丢人,丢人的是站着饿死的。” 中國鸭脖烧烤陷入外憂內患,洋五毛來指明方向
方脸说:涿州大水,一场中共的甩锅表演,不仅仅是洪水,中国的历次灾难都是中共对你的一场大型PUA
小鄭: 因為中國的恩情,讓台灣的護照好用度世界31位(182國免簽)?
波特王好帥: 泸定桥比豆腐渣工程坚固|粉红虚空索敌中华台北运动员
“学到的唯一教训,就是学不到教训。犧牲多個城市就為了保聖上的雄安新區,家園已經被洪水淹沒 ,還要揶揄你是皇城的護城河 ,真暖心 。 ❤️”
王局拍案: 习近平的千年大计,却成了对河北人的内部殖民
YouTube
GDP世界第二的強國竟然沒下水道!排水設計僅為三年一遇,為什麼習傯親自治水還被淹?
加入本頻道會員https://www.youtube.com/channel/UC1mx_wcSHtfpLk5N_zY0TRg/join