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

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
Forwarded from DBin_K 🤯 Tingle 灵光一闪 💡 (DBin_K ∣ 人工智矿👾)
有了这样的AI工具,普通人从互联网上获取高质量信息已经变得前所未有的容易。
不夸张地说,这要是普及开来,整个社会的认知层次都能提升一大截。

from 获取信息的方式,决定了你是什么层次的人 #项栋梁 #基本常识

我认为,即使有AI辅助,人的表达和逻辑能力依然重要。

对于 LLM(大语言模型)来说,详尽精确的 Prompt(提示词)是获得高质量回复的关键。简单的说,就是你问的问题要足够“好”。

想要提问出一个“好”问题,需要想清楚自己需要什么,把笼统的问题拆分成具体的问题,把所需的背景信息等补充完整等,再用语言表达出来(这里推荐看《提问的艺术》相关书籍)。完成上述过程需要充分调动逻辑思维和语言表达能力。

这也可能是有些人用了 GPT 觉得也就那样,但有些人却如获至宝(比如我)。可能他们在逻辑和表达上还没有让 GPT 发挥出最大的功效。

#LLM #ChatGPT #随想
duangsuse::Echo
#tw #news 右派工业党王志安,在satire秀上模仿双腿残疾人 遭围攻 「优生学」上的左右之别,体现在产检和堕胎等议题,但这无关于尊重残疾人的自由意志。 王志安没有了解过“瘸子律师”的履历,就对选举造势直抒胸臆,触犯了政确 王志安完全不懂民主文化,认为选举=公众监考的高考 ,把参选人视作纯粹的工具人,认识不到「参与度」的价值。民主根本没这么浅表 不过,只因为<2s 的这个讽选的切片有意嘲讽残疾人,大概有借题发挥、上纲上线 王志安是不反共、大一统(分不清政治和文化,不尊重属民自治,狼奶没吐干净)…
#news 这几天在墙外和反贼圈引起极大风波的 王局 对他在《夜夜秀》上模仿了2秒的腿残民进党律师道歉了
他觉得,出于对残疾人的保护,“登台演唱” 什么的是可以放视频的,反正也选不上
还点明,《夜夜秀》是 satire 节目,其中用到不政确的支那一词,王局也一笑而过(当然他现在被日本高华开盒了 #security

任何民主自由,都是弱对强的自由,恃强凌弱可没人谈理由。
但同样,在强弱转换后,情绪勒索也是种让人担忧的正义
盒武器,对恶俗大明星来说只是防骚扰电话,对嘲讽过中共和法轮功的王志安和员工可是防不胜防 😅

🤔 这几天他也受到了轮媒和三立新闻的针对性攻击 ,可以说他不理解“业余民主”的普世价值、大一统、老气横秋,但说人渣还是过了

弥补了政确,理所当然就有批评执政党的自由
他认错的态度一开始不坚决。他确实是能在网上做好节目, 但真正去民主国家探访,就会发现他还是太右派,与台湾的温良恭俭让产生冲突

对大一统反贼PTSD了😂 上一个JAKE 骗百万捐款,还不道歉。 王局应该在挨民主法制铁拳前早点道歉,怪他口无遮拦+太爱面子
#china #减速主义 #news 逆天举报南京商场几何绘图为日本旗的男子
继续碰瓷儿童图书馆,往小说里找辱华、找间谍
拍爱国马屁拍到腿上了 👏😅

横向对比逆天爱国网红 vs 此视频的up主,华夏奇闻异事,人在中国,持续翻墙拍辱华影片
屡次被警察找上门,却接着阴阳怪气执政党

可谓人情世故的正反面典型了
duangsuse::Echo
#news 这几天在墙外和反贼圈引起极大风波的 王局 对他在《夜夜秀》上模仿了2秒的腿残民进党律师道歉了 他觉得,出于对残疾人的保护,“登台演唱” 什么的是可以放视频的,反正也选不上 还点明,《夜夜秀》是 satire 节目,其中用到不政确的支那一词,王局也一笑而过(当然他现在被日本高华开盒了 #security ) 任何民主自由,都是弱对强的自由,恃强凌弱可没人谈理由。 但同样,在强弱转换后,情绪勒索也是种让人担忧的正义 盒武器,对恶俗大明星来说只是防骚扰电话,对嘲讽过中共和法轮功的王志安和员工可是防不胜防…
#china #tw #statement
举报JAKE的張堯表态不相信王志安,觉得上官亂被欺骗 。 其实自2024大选后墙外反贼已经开始分裂了
经济类博主方脸、翠、小L 没有参与互骂群

大体上就是支持 中统/华统 vs 台独 的人在割席,说对方弄虚作假或人渣
再加上法轮功和民进党的操作,以及曾曝光的共产党的海外统战案例,鱼龙混杂
(法轮功在民主国家都是合法宗教公司,是党史专业户,但其宣传手段好比在野的中共, 一个有素质的媒体人应与轮媒保持界限,就像对官媒

王局不反共,对台湾台派(文昭 89 狗哥)是敌人, 认为王局的一切直抒胸臆都是宣传话术,似乎也是合理的 (所谓酱缸文化,就是这样深入骨髓)

上官亂、苗博雅 属于普通的台湾人,她们主要批评王局观选暴露出的无知、不懂政确

而对于公子沈这样的台派, 他觉得王局自视甚高 油手油脚, 王局嘲解法轮功 是破坏反贼的团结

😨我只觉得台湾让反贼的意识形态更乱了,像这次事件,能遵循普世价值的也只有上官亂、陈律师这种不涉共的台人,大部分人都是别有用心的
涉共的台人都被要为反认知战感染成绿共了

王志安和陈律师间的政确、王志安和泛绿间的言论自由 是两回事,人家联系陈律师道歉过了,而批评执政党无可厚非
甚至有人开始质疑泛绿, 让政确的人上台,遇到描述性批评就碰瓷为人身攻击,是否是想钻言论自由的空子
不要学粉红开批斗会吃人血馒头, 言多必失,滥用盒武器以后就没人敢说话了。 普世价值是否对王局背后的中老年群体要求太高了?

落井下石、阶级敌人、在政确上搞双标就是最典型的中式价值观,
这次的程序正义 vs 中国严格立法、选择执法,
这次的政确 vs 小粉红觉得辱华就出征、“只有中国人懂中国民主”
比照看这就是灰色地带,人家公司可得罪了3个反贼不敢批评的跨国结社,别把灰当白去正义开盒了

所以,一句轻飘飘的「同胞」 在任何一件小事前 都多么不堪推敲啊

台湾的美德是因为正义而反共, 不是只因反共就正义, 这就是普世价值以柔克刚的凝聚力,是“混乱分治的”西风压倒东风的张良妙计
👍1
刚刚办完房子抵押了,冲啊
#china #life #bilibili 996已经抽象到《植物大战僵尸》 《幻兽帕鲁》 都能键政的程度了

完整15条帕鲁圣经
#recommend #history https://telegra.ph/伦敦钢琴之战两种不同权利逻辑的鸡同鸭讲-01-27-2
这位钢琴家在整场争辩中的言辞,其实一直在表达一个意思:
无论你是什么身份,有什么后台,接受了什么样的任务,那是你们的事情
我就想知道我在公共场合弹个钢琴、拍个直播,到底什么地方不被本国法律允许(illegal)了。

而另一侧,秀了半天身份 "Just don't do it",录影者就是不买账,大号红领巾反思到什么“我身份没秀清楚?”“是不是你瞧不起我?是不是瞧不起我的民族、国家?”
这仨人要求删视频,但却不断在爆料更多的“隐私”: 中国某电视台员工 敏感的保密协议 “我是英国人”
既然是英国人,为啥不懂录影者的权利? 她的潜台词是很中式的: “本小姐是尊贵的本地人,我也是洋大人哦”

“怒吼哥”则以流利英文,大谈其中式律法,主张公共场合(Public Domain)下的肖像权隐私权,试图将冲突碰瓷到种族歧视、性骚扰乃至国格歧视
还不如承认直播是人家的自由,只是请求对方适当通融一下,因为之前的交流很友好。

英国警察来了以后一度也想“和稀泥”,但他做的事情都是合法的,这是他的权利(right)
即便后来因为盈利问题被车站驱逐, 这也是两件独立的权利。

中国人无法将权利和身份、好人坏人、乃至自认为的结果正义分开, 所以对政确(身份政治)的评价欲是最强的
但即便是政确,也是要先把霸凌反过来做。 身份政治中间的小九九,比中国和朝鲜、新加坡和中国 差异更大
#asm 😅 https://www.youtube.com/watch?v=aD7rOQSrXl8
#learn #PLT #recommend
编程范式,是组合程序的手法,是软件设计的哲学。 Fortran的作者Backus, C的精神领袖Dijkstra 都颠覆过现有的范式
下文不止是种浪漫或讲故事,React 也是对HTML模板范式的改良而爆火
asm:
世界上第一门编程语言,是各种机器语言的文本形式:汇编
没有嵌套结构,以至于许多bot和cli命令使用它的格式接受参数、实现功能
是自由度最高的"系统编程"语言,但机器的自由,反会奴役程序员的想象力

算法范式: asm procedural(imperative) declarative(markups)
数据范式: structured/SP OOP FP
从易解析、VM实现<50行的角度看,汇编是种标记语言。拿txt写需求够用,写业务流当然很累。

下表是这些范式的原神
算法范式: LLVM/WASM C++/Scratch SQL/YAML/PyTorch
数据范式: Rust Java/JSPy TS/React

结构式Rust有比过程式C++更准确更美的类型系统,以此区分。它与Go没有构造器和继承,不算OOP,尽管它混入了精髓(self 参数的链式调用)
从原神到远古。
procedural:
67年前,Fortran 随Backus的新ACM诞生: Can Programming Be Liberated from the "Von Neumann-style"?
F90是一门基于goto行号、支持矩阵malloc和中缀算式、前置类型的语言,这些特性都是x86未提供的。汇编新函数都要手写CDEF样板代码,而那时给游戏机编程的团队也没在乎复用的概念
F90的缩进风格类似SQL,调用风格比Ruby更混乱。PRINT(*) "hi" 是向内置函数提供默认+标准2种参数,自定义函数只能用CALL f,x 模仿。这种内外不平等在PHP,VBA也很常见,Py2to3 就为此修正

structured:
随后3年 ALGOL60.org 诞生。Dijkstra创立的这种结构化编程范式,是 Pascal,Ada 风格的老祖宗
Algol 否定了汇编式的goto,引入了struct定义,划清了四则等运算栈和调用栈。反观最初的F77语言并不能定义具名元组(ADT)
因此用它能学习算法和(同年诞生的Lisp包含的)递归

OOP:
随后2年,Simula67引入了OOP的class等概念: class就是共享构造参数的多函数,函数就是隐藏this等参数的单方法接口,对象和闭包都是代码+数据 是双指针。 闭包序列化可实现RPC和printf!宏
OOP的生硬对不习惯简洁明确DSL的人更友好,因为"method"闭包可以是getsetter、 final/abstract 确定性、 public/private 可见性..
之后以 C++(39年前),Py(32),Rb(29),Java,JS(28),C#(24) 的顺序出现几门主流语言,而 Alan Kay 以启发了Scratch的Smalltalk获图灵奖,成为了OOP届的领军人物

FP:
49年前的Scheme支持了(retAddr的)闭包 以将栈vars转为堆对象(才能作为值),且默认将函数存为(全局/原型链)变量。这比Lua协程早了十年
34年前的Haskell最终让 State,Monad IO, Effect,异步Flow 等术语“组合拳”火遍JS界。 FP界相对零碎,丘奇和图灵可谓两大师
Lisp系的圆括号SEXP直观统一了运算栈和调用栈,一切流控与数学都是函数,这启发了WASM 且等效于VPL拖拽编程/flow编程

综上,老旧的语言未必是落后的
Py,Lisp(WASM,LINQ DSL),Haskell(React) 就对现在的前后端和Excel影响很大
#ai list GPT在6点方向
https://weekly.tw93.fun/posts/163-买了麻将

https://shiki.style/guide/transformers #recommend #PLT #tool
js 界的统一动态高亮+AST抽象, 就像 tree-sitter
duangsuse::Echo
#china #tw #statement 举报JAKE的張堯表态不相信王志安,觉得上官亂被欺骗 。 其实自2024大选后墙外反贼已经开始分裂了 经济类博主方脸、翠、小L 没有参与互骂群 大体上就是支持 中统/华统 vs 台独 的人在割席,说对方弄虚作假或人渣 再加上法轮功和民进党的操作,以及曾曝光的共产党的海外统战案例,鱼龙混杂 (法轮功在民主国家都是合法宗教公司,是党史专业户,但其宣传手段好比在野的中共, 一个有素质的媒体人应与轮媒保持界限,就像对官媒 王局不反共,对台湾台派(文昭 89 狗哥)是敌人,…
#life 房地产喜事 🥰 https://www.youtube.com/watch?v=jI7qsFAnLX0
文昭
btw. 最近墙外的乱事

任何的民主自由,都涉及弱对强的关系

陈律师比王志安,是弱对强
王志安比泛绿,更是弱对强

王志安没有意识到残疾人有自主选择权,LeLe:光顾着讨好台下观众,懒得去查为什么残疾人能上台,
好像非得当上立委才叫参政,没排名就是被骗,这是典型的大陆卖惨思维
但,泛绿利用政确来给公众树敌,把批评转移注意力,这不是民主的way
#wasm #os #linux
https://telegra.ph/Linux-中-RISC-V-的-mmap-的重大问题-01-29
冷知识Q&A
> RISC-V Linux 内存页表(vm_area)适配问题在供应链的什么层级?

首先man 上写的支持sv48,但代码支持不到 且语义错误 这不符合Linus的严谨度
答:在JVM,gcc-libs 层级,影响交叉编译
glibc.malloc() 会请求 brk(<128KB)或 mmap(-1=/dev/mem)

py.mmap(*fpage, access=PROT_EXEC); fpage=fd+len+offset
mmap(vaddr+len, PROT_EXEC, MAP_PRIVATE, fd+offset); MAP_FIXED=dup2=replace

mmap还用于0copy fwrite() ,拒绝在用户态搞 IO Buffers
brk 是ELF体系下自带的内存池,暂存碎片化的小对象(4K分页后 lazy分配的)。其实 open() fd 也是个Refcount对象,因此,rm -rf 不像NT总提示文件未close()拒绝访问(还有内存不能BE READ ,坐和放宽,哈哈)

> x64 等ISA更费内存吗
确实,每个指针都占8byte,.so.text 段也会膨胀,只是整数计算和GPU无需这么高精度。(.rodata/bss 段不会,因为依然 int=i32,char=u8 , 另外这些段Addr<heap)

这不利于嵌入式,每条指令都耗电的。但SSE等特性、游戏的流畅度需要大量内存,所以32转64是种进步,更何况小白用户眼里下载 1G值1刀啊
.so段可以用 readelf -Sd; ldd 查询, Termux.dev waydro.id MSYS2.org 能够跨 glibc,bionic,msvc libc 平台, just like webVM.io 😋 #recommend

> 47bit?

2**32 /1024**3 =4GB, fat32单文件最大
2**47 /1024**4 =128TB, linux v6.6 单进程最大工作集

cat /proc/cpuinfo 可以看到CPU最大寻址范围
webVM.io 试玩Linux(su密码是 password)是查不了这种运维命令:它只实现 ext2fs(on http byterange) 和 net 的沙盒

> 寻址?
对CPU和内存分时复用(并发,容器化..统一设备格式API)是kernel的基本功。
sudo cat /proc/self/maps|grep ] 里,地址从低到高是 heap(brk) stack vsyscall(类似 fakeroot,libfuse 等AOP)
btw. sshfs,squashfs,overlayfs,snap 不是必须链接到FUSE,这只是微/宏内核之辩,类似于Android的反GPL C/S架构: system_server-AIDL-HAL.sysfs.dts
https://xiaolincoding.com/os/2_os_structure/linux_vs_windows.html#linux-的设计

线程,就是完全共享内存的多进程,使用strace 就会发现main()线程只是个进程组。免root gdb 据此实现AOP
内存段,能下载内存条~如swap分区就是时间换空间,反义词是ramdisk=rd
WinXP 启用/PAE后多进程可以突破4G内存限制。在分段寻址数组的DOS, size_t < void*
获取堆起始只需在putenv,asprintf,. 前调用 sbrk(0)。 stack可以在 gdb cat 里看 bt; 或 info proc all
tcmalloc等堆分配器不会比GC简单。它们不会线性地查找4~?KB空闲链表或建正好够大的块,从而减少难以复用的碎片。这里不是说二叉"堆"算法,但它涉及 Hash桶,BitSet,Trie,线段树,SortedSet(RBt)—反正 Doug Lea 都会!

> BIT(38)?
作者希望一直使用sv48 MMU 模式,和x86一致
不然就需要先if(mmap) 一下,看是否支持sv57,我猜的
AI: 当 mmap 的文件大小超过虚拟地址空间的大小时,RISC-V 会返回 -ENOMEM 错误,而其他架构会返回成功。可能会给 RISC-V 的软件移植带来一些灾难问题。

> mmap() 到的bytes比read()更快吗?
从编程范式来讲,read+write(另存为式) IO 反而是最FP、最全拷贝的做法,而 mremap(mount,但挂载是对象树) 更适合随处+单次修改增长
FP的性能都很差。mmap 除了对碎片(npm,pip缓存..) 慢,不适合 line/request-buffered 等IO 需求(.sock vs SHM),它可以表示任何文件格式
只有从 load即拷贝+dump(csv/ini/bytes) 统一为单YAML编辑指针,才能完全避免 malloc(手动"黏包"BUFSIZE) 和样板代码。但最前沿的,JSON的增量性序列化库 tree-sitter 都不好用。 为了0拷去用strcat,printf() 而拒绝模板字符串亏大了
说人话: Linux 内存分页器和 FAT 等文件系统间只是算法的差异。今天,睡休眠已经取代开关机,内存和磁盘何必隔着序列化?像CRIU那样进程快照如何? C对数据结构的僵化早该退场了

#暴论 OSdev一点不比各语言的stdlib人聪明。 Linux内存段本该是C对象(不止有bytes)、而进程本该是C协程(不止能exit0),你看 ps|head 就知道那是 def pipe(): yield line ,再比较下 Promise.{all,race} 与O_NONBLOCK的 epoll 呢?
async 说白了,就是拿retAddr闭包"链表"当线程栈用,手动 for(;;)getEvListeners(events.poll轮询)() 跑这些小线程,只为了更轻量(隔绝于竞态的 SIGINT等抢占式异步)
只是DOM把内核允许死循环的洞补好罢了,让parallel,SIMD被严谨的 numpy,ForkJoin(PySpark~多线下载) 取代,用 job或yield(x).then(回调自身) 而无所谓"线程" "阻塞" 🐴
DOM渲染器和linux/sched就是一类东西。如果学习WASM拒绝int指针,检查每次索引越界,userspace 内存地址完全隔离有鬼用?直接拿inode改文件内容,核内核外大和谐
反正Android,Web框架也必须做权限和apt管理,fd,cookie那就是RPC句柄嘛。SQL注入不就本来是想传bool函数来RPC,无奈PHP的operator重载力(DSL悟性)太差 只好去eval代码致RCE。 markdown 渲染杀死了评论区XSS。剩下的复杂性就是libs表现欲过剩,矫枉过正。我这就是唱Powershell 打POSIX

再比如eBPF抓包,这种程度的AOP,ruby js DevTools 玩烂了的东西,换API集 换到 globalThis=ld-linux(ver.so) 就变科技了,其实就是工具链烂 语法丑 👎
C 编译器总是做能截断struct val 的访问,做不检查接口的union{}多态,暴露不含size的list(美其名曰buffer&支持多返回),CLR和Go可没有,RESTful 则更加安全。py只靠ctypes+Rc 就干爆了strcat和各种野指针
C也没有匿名函数,所以 pthread_create(fn,必须绑定arg) 。对象和闭包都是代码+数据 是双指针。OOP就是FP,class是共享构造参数的多函数
如果我们摒弃所有术语,只从语意和用户需求,自顶向下地谈,IT和CS的技术,往往只是被不断地跨端复制 👎
btw. so文件是 Singleton Object 的缩写 \: section-segment 则是常量池和堆。 gcc -static 只会打包有符号表的.o 汇编,是做tar 不涉及ld导出表
Forwarded from 乙烷日报
#其他要闻 2024年1月29日–30日
香港法院宣布对恒大清盘
香港高等法院周一因恒大债务重组方案欠进展、资不抵债颁令恒大清盘。中国恒大、恒大汽车、恒大物业中途停牌,停牌前跌近21%、逾18%及近3%。
非洲三国退出西共体
马里、布基纳法索和尼日尔的军政府宣布退出西非国家经济共体,指责西共体“偏离创始人理想和泛非主义精神”。此前西共体曾对三国实施制裁,以迫使其恢复宪政秩序。
又一解放军官员被撤销政协职务
继中国航天科技集团董事长吴燕生等三人之后,火箭专家王小军成为最新一名被撤销全国政协委员职务的解放军官员。
陈戌源涉贪案开审
中国足球协会前主席陈戌源涉嫌受贿案开庭。陈戌源被控担任上港集团董事长和中国足协主席等职务期间受贿8103万余元人民币,他当庭认罪。
日本月球探测器恢复运作
早前因太阳能发电问题关机的日本月球探测器SLIM在太阳角度变化后成功发电,并恢复探测任务。
#linux #life #news https://t.me/linuxdotcn/7336
#bilibili 上20w+ 了 🥲
linux.cn 会开源所有文章和数据库。解散是因为 #ai 翻译质量已经能替代剩下两位字幕组成员老王、geekl

Linux的工具、技巧(Docker,ROS,Deepin wine..)或许已非常普及
加上长期只有广告收入,不打算盈利,也不想争补习班,在一个 GitHub.com 都是公开的秘密的IP段,程序员的非营利社区自然就散了
Forwarded from 青鸟的频道
搞机/系统精简/DIY 这种操作在技术圈应该是年轻时或多或少都有一些。
然后老一点不少又开始转投闭源,做起了自己年轻时的反面,例如反对侧载。

要说其实是一种掌控欲,多几个系统预装也不会怎么样,但是会给人脱离掌控的感觉。
有精力和热情时,就很热衷于这种“自主可控”。但是显然不可持续,人的精力是有限的,很多连做菜都没实现“自主可控”呢。

最终也只能作为一种爱好,当爱好消退之后,多数人还是会向现实妥协。
但是吧,虽然不想自主可控了,但是有一些技术人的各种强迫症,不愿像普通用户一样。
虽然从某种角度来看,除了自称外,并没什么区别。

然后实现了立场的转换,早年自己可以自主可控,自然不愿被管。
现在自己只是用户了,还是给自己找个舒服的环境,能管的“老板”,管理一下毒瘤。
至于这位老板的广告,隐私,收费之类的问题,就当看不见好了。

可以发现在这种立场上,反而会比普通用户更支持封闭,毕竟是自己放弃了开放后的选择。
#china #history 方脸:2054,去泰国旅游、买苹果产品又变成了一个个奢侈品, 变成炫耀的资本 😱
贫富差距,这才是真正迫害中国人的资本。 而法制社会的资本家,才能帮助中国摆脱东亚穷夫的命运

小L: 台湾像美国一样,都提出过《统一纲领》《G2》的橄榄枝, 只是因为要求民主放权,中国默认为没有听到

中国不可能接受台湾独立,台湾不可能接受共产党独裁, 那么,牺牲小我成就大我如何呢?
没人能把党和人民公务员分开,除了这高干病房
没人能把党和国家分离,除了留美的妻女和置产 🇺🇸