duangsuse::Echo
717 subscribers
4.25K photos
130 videos
583 files
6.47K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
Forwarded from 螺莉莉的黑板报
php 还是有点爽的,你们精致 node 的程序就很难做到像人家 php 一样,插件、主题往目录里面一拖,主题自己就从后台蹦出来了,还可以点点点,选选选……

你们 node 这边还要跟 esm cjs 搏斗,人家 php 直接 include 进来拼拼接接就好了(

虚假的脚本语言 vs 真正的脚本语言

(看看今天谁上钩
#plt #bing #talk 不会思考它没学过的资料..
我想写类于Java 类型系统的类型检查器,请提供类型的数据模型
>很好地提示了TypeVariable,Method 等反射接口
请举几个函数式例子, 说明 check(def) 如何证明调用是有效的
> "g(x, x) = x * 2"; // 是无效
利用 Haskell data 编写类型的数据模型
>很长地细化了反射接口

请了解js的 PEG 和递归下降技术, 解释 num,str 的嵌套列表 和csv的PEG文法
>很成功举出可运行的示例+test
>可示例只观感上正确 ,且使用了PEG不支持的leftRec

既然有了解析器,借鉴lisp标准做一个 js 调用器,能实现对 (fun filterMap(xs f) ) 的定义,要支持 fun when let = 几函数
>听不懂

为什么你不太熟悉实现这些,但很会写 snake,tetris 这种js游戏代码呢?
>我利用我的内部知识和一些在线资源来拼凑出一个可运行的结果

在经济上, 程序员的工资完全取决于其工作的难度吗? 如果AI让难度变低,对编程界会有什么影响呢?一些人觉得AI掌握了他们在小圈子里独有的技术, 从而让这种技术廉价化了,你能举几个回应吗

>AI 可以帮助程序员提高效率、创造力和协作能力,让他们更容易解决复杂的问题,但可能会取代一些低层次或重复性的编程工作,导致一些程序员失业或降低收入
程序员需要不断地学习新的技术和知识,AI是要帮助他们更好地使用和发展他们的技术

有解析库支持在定义 parse 的同时对应地支持toString 吗? 基于递归下降算法如何让 list 文法同时支持parse和toStr (stringify,dumps) 呢
>没有,ANTLR有吗? 不知道咋做
几个支持unparse 的库: csv , xml2dict, pyast
传统的: https://pegjs.org/online ,jison


https://www.compart.com/en/unicode/plane
理论上来说,既然能解析一种文法, 就一定可以把生成的数据还原回来
>正确,还原的字符串可能和原始的字符串有一些细微的差别,比如空格,换行,注释

这种正反函数的概念,对 HTML 数据绑定也有效, 意思是能被 render() 就能被爬取, 你能举出例子吗
>不懂,但有人答过js怎么做数据绑定
你能解释 parse-unparse 和 mmap() 的区别吗,假设mmap能够映射AST
>那就不需要parse了,但我也不熟悉。 mmap() vs read(buf) chunked
js Blob DataView 的封装

Tree-sitter is a parser generator tool and an incremental parsing library. It can build a concrete syntax tree for a source file and efficiently update the syntax tree as the source file is edited
https://github.com/tree-sitter/node-tree-sitter

我有 1, (1), (1 20) 这样的递归模式要用 Perl 正则匹配
> (\d+|\((?R)+\)) 和 (?<R>\d+|\((?&R)(?:\s+(?&R))*\))
$ pcretest 能校验配对,但很脏

#rust #dontknow 离谱的循环
let c = loop {
if Q() {
break "answer";
} else {
break None;
}
};

fn first(:Iter):Option = for x in list {break Some(x);}
else default {None}

so for, while, while let 该咋办?😒易放难收
#py
for x in []: pass
else: return "没有"
duangsuse::Echo
#china http://www.yinwang.org/blog-cn/2022/09/12/lockdown-unconstitutional “《防疫法》如果规定了可以这样剥夺或限制公民的人身自由,那么《防疫法》就是违宪,属于无效的法律,公民不需要遵守它。懂得法律的人都明白这个道理
#china #statement 当今知其不义而为之的人,会认为和平示威的是弱者,弱者是必输无疑的; 确实,遍藉中国的兴亡史,但凡治民者不是「大恶龙斗倒小恶龙」,也就是暂坐稳了奴隶大位、捧出了青天“做主”,国民就要为之百姓点灯,大喊万岁了

但只要放眼世界,就会发现民主转型大多不能靠叛乱,而是从尊重普世价值,从大众的坚定共识里来的。
——既然示威必输无疑,为何要教人民举报和避讳敢说真话的人?

中国人在发展下所受蒙蔽很深,而这种军权的专制合法性、互害博弈的“有国家无社会”观念,正是马列和“忠教”隐晦且巧妙的洗脑和PUA,

这种官民二元论和房地产一样,完美实现了底层互害 高层互夸,一如夺工农之声而叙人民之事的苏联。
烂尾楼终于破了,而酷爱“我们 一切”的在野独裁者、中国的忠教,何时会破!

在政治上,没有一颗稻草是能压死一整队骆驼的。报出丑事不丢人,爆出丑事才丢人

这种谎言让我想到 “土地国有制就是好,民营资本家把地兼并都抢跑”
“大兴土木就是好,资本美国败得跑”
“分裂就会乱,成王败寇最统一!”

什么地方会每天都是输与赢、忠与跑?
如同阿富汗女性对塔利班的评价,“现在汽车炸弹少了,有治安了,毕竟放炸弹的人们上台了”
duangsuse::Echo
#china #statement 当今知其不义而为之的人,会认为和平示威的是弱者,弱者是必输无疑的; 确实,遍藉中国的兴亡史,但凡治民者不是「大恶龙斗倒小恶龙」,也就是暂坐稳了奴隶大位、捧出了青天“做主”,国民就要为之百姓点灯,大喊万岁了 但只要放眼世界,就会发现民主转型大多不能靠叛乱,而是从尊重普世价值,从大众的坚定共识里来的。 ——既然示威必输无疑,为何要教人民举报和避讳敢说真话的人? 中国人在发展下所受蒙蔽很深,而这种军权的专制合法性、互害博弈的“有国家无社会”观念,正是马列和“忠教”隐晦且巧妙的洗脑和PUA,…
未来的国人,需要一种不可剥夺与挑拨的自信,而不是“终于有人要抢我鸡蛋”的碰瓷和自卑

https://m.youtube.com/watch?v=phnUvaGz0VA&t=10m “太阳底下无新事,中国和从前的韩台并不特殊”

不要去阻止和嘲讽爬上屋顶捅破天窗的人,因为他们冒着危险争取来的阳光,一样会照到你身上。 ​

我们通过户口房、烂尾楼、衣食住行、恶意讨薪交了那么多“智商”税,
不是要玩疯控、铁链女、烧烤摊,玩鞋带,捆着鼠同鸭讲的

阶级僵化带来的问题,远高于一次银行危机;几万和几百万的距离,并不能让你远离雾霾和地沟油

存款,是可以再挣的,破产法是可以共议普选的,但加班费、国民健保、放心奶、诗和免签与选票,却都是钱买不来的

如果还停留在 “治民的人太少, 不够集权出民主” “管的太松,外资才敢跑” 或“只要能分国营钱一切都会好” ,便是逻辑分裂(或是在拍秦清穿越剧),不可治了!
#py #plt 少见的元编程接口

RedBaron("some_value = 42").dumps()
unity csharp-like yt #dalao
Forwarded from Solidot
当数千阿根廷 Firefox 用户遭遇浏览器崩溃

2023-06-25 13:19:00 by 大臣号遇难者

本周一 Mozilla 开发者检测到大量 Linux 用户的浏览器崩溃事件。受影响的主要是阿根廷用户,他们运行的是一个基于 Debian 10 的发行版 Huayra v5,发生崩溃时用户都是在 Google 上搜索图像。所有 Firefox 版本都受到影响。这可能暗示了问题不在于 Firefox 而是 Google 这边。Mozilla 开发者在分析后发现,崩溃都是发生在堆栈探测(stack probing)期间。JIT 在接触保留下一个 JavaScript 调用变量的区域时发生了溢出。而 Google 的代码被发现在单一帧中分配了 2 万个变量。这可能是机器生成代码发生异常。所以在使用 ChatGPT 写代码时还是要三思而后行。但之所以发生崩溃是 Linux 内核的旧 bug 与 Google JavaScript 代码综合的结果。Linux kernel 4.20 修复了该 bug,而 Huayra v5 基于的 Debian 10 使用的是 4.19。

https://bugzilla.mozilla.org/show_bug.cgi?id=1839139
https://fosstodon.org/@gabrielesvelto/110592904713090347

#Firefox
duangsuse::Echo
#py #dalao https://pythoncat.top/posts/2023-06-24-weekly 含 #WASM PyScript 等2个 visualizer pandas Tutor https://www.youtube.com/@TechWithNikola #embed PikaPy #recommend 500LoC #algorithm
#py https://benhoyt.com/writings/python-api-design/#Naming

☺️看起来,新语言对py和kt 都有很好的简化效果;就是不知道是否易读
use urllib.request

at:
mgr HTTPPasswordMgrWithDefaultRealm():
add_password(NO,"httpbin.org", "USER"to"PASS")
http mgr.lets(HTTPBasicAuthHandler).lets(build_opener)

at URL="https://httpbin.org/basic-auth/usr/pwd"
http.open(URL): say(status)

Request(URL): add_header("Authorization" to "Basic ".b + Eqv.Base[64].cat("$user:$pass"b) )
.lets(urlopen)

use! django.core.files images File
use images

-when as
User'username displayName'(:Str, active=$Y)
Use(name:Str, displayName:Str, active:Bool)


还有 Go、Rust 为什么不支持三元运算符
2005年py 是没有 X if C else Y 的,被写成bash式 C and X or Y
绝句不想为了简洁而容许流控表达式: fun wtf()=listOf(break, return Unit)
所以选择 at user=d["USER"] or: return ,没有else ?:

X.may{C}or Y , X.takeIf{C} ?: Y
C.way{X}:Y, C去路(X、Y) 这是最常规的

要知道py,rust还有 for else 和 for a[-1] in a: ..
绝句和py模仿的:
elif-没有
三段式for- (0~N by step).let:[i]
foreach- 对Seq,异步都是 let
forelse- 请用inline func 替代goto好吗?