看来AI的理解十分博学 🦄💭
【勘木排而】中,信达雅的点破了:compilers 会查找type/slot的具体类型和重载,然后将forif与嵌套访问铺平为goto和指针加法
【微迈细硬】指出:VMs提供了GC对象树,字节码 “微迈” 兼容性,以及模块名-值替换的链接、线程间postMessage的实现。 “细硬” 则强调了代码API - 运行ABI的隔绝(硬)与反汇编器的必须(细)。 Linux 的 vm.c 即mmap也是一种VM,而且有houdini这样arm/x86的兼容技术。
【硬特匹蕊特】并非音译。解释器的本质,就是【支持变量和导入的控伴同】,拿【硬】编码的lookup (LEGB/invokevirtual),匹配AST【蕊】里的特殊情况,哪怕是线性AST(for.. switch { OP_ADD; OP_RET })
【有联_应塞类型】在OOP里,class T0{}; class A,B : T0() 时,T0就是A|B的有联类型,通过 enum tag(instanceof) 可执行不同的toString行为,这是C不支持的。应塞类型就像Go的鸭子接口 type any interface{},invokedynamic T0.toStr时塞入A|B|..的实现,避免了 java Adapter 的尴尬。
【窟启】是很类似PIN和2fa软件-OTP密码的 “临时编号”,就像洞口或端口。这个字符串是登录状态的所有凭据,用于在匿名的http之中识别客户端
【海稀_通证】被OTP密码和json签名验证使用。虽然token今天有词元(Compute Unit) 的意味,它也被用于表示跨端却不可伪造/枚举/重放的凭据。
【授齐易】非常类似一组 stdio s=input();print(s) 的闭环,比如curl的发送-阻塞接受,它处理 Content-Length 和utf8,这是和WebSocket的本质区别
【正择_挨口】的复杂性常被我们忽视(grep;cat 编程时立马见效)。PCRE的回溯常被用于 ReDOS,而 (?:num=)(\d+) 的不择取/择取parse许多人却不会。echo使用了 yes|tail -f 这样的协程、pty进程间信道、ANSI色彩和位置协议,像浏览器般复杂
duangsuse::Echo
函数式:栏目答 蕊括深 控伴同 它剖_馈睿 择深_徘深 仿行_候数
参考答案 #PLT #statement
当时我正在批判中文编程(形式语言设计)的弊病,声称《十八个文言虚词》里,“冯诺曼世界”能用的不到一半,最宝贵的 mapOf(1 to 2).into(dns.kv) 这样的高自然度都丢了。
又批判AppleScript的恐怖之处,那些该死的 to arg, of the, end if.. 把命名写长,就能让任何人看懂代码吗? 😂
但,想到之前还收集过这个。
从【第一性原理】重新翻译了一下,比如
🤔 现在想来,这才是真正的《中文编程》啊…… 未见全貌,怎么知道什么是什么。代码里写点汉字,就叫中文的话,日语也是中文方言了!
前端如是,中文如是。 《中文编程》有时比你想的 🍺🐮 。譬如今天也没人意识到,智能输入法+AIGC prompt 到底省了多少时间。
我们理解了术语吗? 学会了中文吗? 我猜并不是你眼见的那样。 【栏目答】并非“兰姆达”那样的小儿科,【偶醒刻】【串读串写】不如 “异步” “序列化” 像名词,但它把断点续传的场景与MVP,完整打包在语境中
🤨 你有可能用【严谨的术语】做到这点吗? 信息的密度不够高。英文里没有四字成语。 —— 我们做不到用四五行,就把202x年80%的技术,结合场景与数据流,写在同一张A4纸上。
这就是一种对母语的买椟还珠。——你确实没法让 lambda 或 closure (close?) 这些拼音和口号,产生【氛围感】。 到底谁更专业。 【理论】到底为何称为理论?
- lambda recursion combinator tuple_query json_python function_FnHo
- event_closure handler parser sockets
- deque async coro-utine Cookie hash_token
- Regex_echo Interpreter compiler-VM macro union_insect(vtbl OR ptr &dyn ptr)
当时我正在批判中文编程(形式语言设计)的弊病,声称《十八个文言虚词》里,“冯诺曼世界”能用的不到一半,最宝贵的 mapOf(1 to 2).into(dns.kv) 这样的高自然度都丢了。
又批判AppleScript的恐怖之处,那些该死的 to arg, of the, end if.. 把命名写长,就能让任何人看懂代码吗? 😂
但,想到之前还收集过这个。
从【第一性原理】重新翻译了一下,比如
sed/蕊括式/蕊括深;控半同/控伴同/ ,更加重视单字的表意、词的分类和_搭配_了。 仅仅是过了半年,就又有改观。🤔 现在想来,这才是真正的《中文编程》啊…… 未见全貌,怎么知道什么是什么。代码里写点汉字,就叫中文的话,日语也是中文方言了!
“前端不是简单,而是前端的学习反馈非常直接。
因为反馈非常直接,所以大部分人会认为,自己也懂一点前端,改个字体什么的好像很简单,从而产生前端技术很简单的判断。” ——知乎大V Ivony(林敏)[1]
前端如是,中文如是。 《中文编程》有时比你想的 🍺🐮 。譬如今天也没人意识到,智能输入法+AIGC prompt 到底省了多少时间。
我们理解了术语吗? 学会了中文吗? 我猜并不是你眼见的那样。 【栏目答】并非“兰姆达”那样的小儿科,【偶醒刻】【串读串写】不如 “异步” “序列化” 像名词,但它把断点续传的场景与MVP,完整打包在语境中
🤨 你有可能用【严谨的术语】做到这点吗? 信息的密度不够高。英文里没有四字成语。 —— 我们做不到用四五行,就把202x年80%的技术,结合场景与数据流,写在同一张A4纸上。
这就是一种对母语的买椟还珠。——你确实没法让 lambda 或 closure (close?) 这些拼音和口号,产生【氛围感】。 到底谁更专业。 【理论】到底为何称为理论?
都2026年了,默写红黑树、算法裁缝什么的还是免了。可是,放眼IT世界,还是有那么多不见全貌的技术栈和选型。
👎 它们本来和 【栏目答】【括需饵】一样简单,却被写成 (λ.)【词法作用闭包】【自由变量】 那样搞笑。 我宁可要一个没有问题的答案,也不需要学习【参考答案】。
💭 如果不能【用自己的语言】从0发现某种技术,就不叫掌握它,更不能叫《中文编程》。 Pythonic和Feynman都是这样的。
duangsuse::Echo
可能用【严谨的术语】做到这点吗? 信息的密度不够高。英文里没有四字成语。
🤔 至于真正的《中文编程》,我认为不应该手写。
可以基于syntax和术语dict,把各种的源码,autofix成只读的中文即可。
儿童编程(从拖放模式进阶)可能需要中文输入法,但应该局限在 <20字字符集/一个模块
代码中的 culture barrier 被高估了,而范式和交互(React, F12..) 常常被人视作理所当然,忽视了它们也是有发明者的,而且远没有达到瓶颈。
《易语言》和Moonbit、.cj 相比于各种类似预处理器和梗曲(wy-lang.org) 的设计里算是【工程能力第一】,但它们并未引入新东西,仅仅是换个平台和 top APIs
我是一门心思扫雷【最后一公里】问题,但又不想变模板包那样狭窄。 要说这一公里有什么技术含量,对C++和Scala魔法师肯定无感,但它会很吃灵感。 就像是Qt和JS Singal诞生前UX原型好像很深奥,没有可视化的算法不明觉厉那样
本来就是那样的,现在的工程界却以为稀奇,就像我看见他们的README连截图和demo都不写那样稀奇。
【兼容性】【久经测试】【项目模板从来如此】…… 是啊,他们总是对20KB源码或一个特定指针上的bytes()有这样庸俗的理解,是啊,那些写 code.golf 的人连函数名都要压成单字符,显然【不可维护】 ,以至于自己想要写什么,录个屏?都做不到
编程语言项目,居然不敢把自己的syntax和flow晒在主页,我已经开始不明白——到底在照猫画虎什么。 软件不就是像【它们有用时】那样用的吗? 如果看不到【未来】却去写抽象,不是很奇怪的工作吗?
可能,保持「开放的心态」比现况更重要。 与其说《中文编程》这种思想差,不如想办法让它们改善Dev的生活质量,这样才是 “自由软件”
🤔💭
可以基于syntax和术语dict,把各种的源码,autofix成只读的中文即可。
儿童编程(从拖放模式进阶)可能需要中文输入法,但应该局限在 <20字字符集/一个模块
代码中的 culture barrier 被高估了,而范式和交互(React, F12..) 常常被人视作理所当然,忽视了它们也是有发明者的,而且远没有达到瓶颈。
《易语言》和Moonbit、.cj 相比于各种类似预处理器和梗曲(wy-lang.org) 的设计里算是【工程能力第一】,但它们并未引入新东西,仅仅是换个平台和 top APIs
易语言:本质是 Win32 API 与 VB6/MFC 机制在 Windows 98/XP 时代的中文封装。一个要等编译的C-like的AHK而已,作者经验丰富,但也就是一般的工程师(B-player)而已
MoonBit / 仓颉: 虽然相比ReScript更加亲民,而且增加文学编程、分布式等示范,总觉得缺少Killer场景。WASM/OHOS standalone 的未来存疑,不要搞到最后才发现变成FFI和卓易通套壳
吴涛和张洪波简直是XOR型人才,如果凑一块,或许就能打了。ReScript我真没觉得有什么突破,单论理论还不如elm,而且我觉得JQ比理论派牛多了。全靠下层又怎样?开箱即用。少数人听过 AutoJS/Androlua,这就是比较均衡的,不完全易语言化
我是一门心思扫雷【最后一公里】问题,但又不想变模板包那样狭窄。 要说这一公里有什么技术含量,对C++和Scala魔法师肯定无感,但它会很吃灵感。 就像是Qt和JS Singal诞生前UX原型好像很深奥,没有可视化的算法不明觉厉那样
我偶尔会想:这些可以称为是「革新」吗? 它们的设计瓶颈能达到「预期」吗? 答案是,最成熟的Rust/Go也只是在下游产品上达到「预期」。 我的「预期」不是在安全的同时恶心人/跑不出demo 就称为「有智慧」的。 我的「预期」可能会眼高手低,但它确实比top1还高…… 😅
#PLT 对我而言只是个tag, craftinginterpreters.com 可能比那三个字有用的多。 但无论是CS+Math大佬,还是小有成绩的工程派,或是自吹自擂的 #vibe ,我都不喜欢。 认为不像 Human Being 。
uber-apk-signer 包装官方的直接3MB , 我之前写的包括测试才 20KB, 200行js注释占一半,发一张图就能传完V2签名算法; 标准库和feature要到这个程度,才能算 Human Being 。
本来就是那样的,现在的工程界却以为稀奇,就像我看见他们的README连截图和demo都不写那样稀奇。
【兼容性】【久经测试】【项目模板从来如此】…… 是啊,他们总是对20KB源码或一个特定指针上的bytes()有这样庸俗的理解,是啊,那些写 code.golf 的人连函数名都要压成单字符,显然【不可维护】 ,以至于自己想要写什么,录个屏?都做不到
编程语言项目,居然不敢把自己的syntax和flow晒在主页,我已经开始不明白——到底在照猫画虎什么。 软件不就是像【它们有用时】那样用的吗? 如果看不到【未来】却去写抽象,不是很奇怪的工作吗?
可能,保持「开放的心态」比现况更重要。 与其说《中文编程》这种思想差,不如想办法让它们改善Dev的生活质量,这样才是 “自由软件”
🤔💭
duangsuse::Echo
#selected #tool 弄了个精简版妙妙词典,可以快速帮你了解现代全栈 + 编程语言特性 用Gemini2.5展开了一下主流解释 函数式:栏目答 蕊括深 控伴同 它剖_馈睿 择深_徘深 仿行_候数(Signal Holes) 面向事件:一问特_括需饵 喊得了饵 爬撕饵-串读串写 授齐易-管道配对 IO密集型:待客 偶醒刻 叩融听-回调链表 窟启 海稀_通证 通用执行层:正择_挨口 硬特匹蕊特 勘木排而-微迈细硬 码可揉 有联_应塞类型 多页面Web:落靠-locale 画架嵌入-iframe…
Telegram
duangsuse::Echo
#fp #sb https://github.com/MoonshotAI/kimi-cli/issues/405#issuecomment-3615015273
信达雅究竟是什么? 信是目标语言的原生感,达是源语言的语义保留
《中文编程》圈有时挺魔怔的,yin 说他不开发ONE语言是因为懒,而yin(.java)没有做的下去有一部分是被各种人指点江山的原因失去了兴趣,我算是明白是哪种人了(帝球 也指点过呢)🤯
同样是FP和PLT,为啥我的翻译就是「lambda栏目答」「recursion睿括式」…
信达雅究竟是什么? 信是目标语言的原生感,达是源语言的语义保留
《中文编程》圈有时挺魔怔的,yin 说他不开发ONE语言是因为懒,而yin(.java)没有做的下去有一部分是被各种人指点江山的原因失去了兴趣,我算是明白是哪种人了(帝球 也指点过呢)🤯
同样是FP和PLT,为啥我的翻译就是「lambda栏目答」「recursion睿括式」…
#life 《中文编程》一词长期以来被民科霸占了
而实践上,拼音输入和英汉混杂的问题又让使用母语不切实际。
可是 母语=汉语 时,如果用AI编程(只定大框架),在输入上真有好处,那么,在源码阅读上,应该是同理(只是较难设计)
所谓的中文XXX,鼓吹这种东西,其实不如早年的金山输入法、汉化DOS,今天的人人字幕组好用。 就像把游戏科学政治化一样
反正他们又不听劝 ,就和那个在电线杆下观测出 🌎 🌞 用 💠轨道转圈的老人一样 《鬼畜区 李文亚:地的运动》
在2026年还能有【朝闻道】的那种感觉,李某亚也是够幸运的。 在他眼里所有官方机构都被西方思想荼毒了吧, 对于我来说,哪怕「预期」达到了,最后无人问津,自己维护到弃坑,也是可能的结局呢。 🥱
但又如何呢? 没人是天才,iq和Bellard那样的【神】也有尚未触及的领域,比如SQLite就不是他写的。而且SQLite最近还被tailscale试出个WAL并发数据破坏,更不用说Linux主线了
Bret曾说,【软件有两部分,一段安在硬盘上,一段安在头脑里】。 或许,对开发者也一样。
我收获了头脑里与心里的那部分软件,这就足够了。
而实践上,拼音输入和英汉混杂的问题又让使用母语不切实际。
可是 母语=汉语 时,如果用AI编程(只定大框架),在输入上真有好处,那么,在源码阅读上,应该是同理(只是较难设计)
所谓的中文XXX,鼓吹这种东西,其实不如早年的金山输入法、汉化DOS,今天的人人字幕组好用。 就像把游戏科学政治化一样
我感觉许多做toolchain/小玩具的,就是奔着《中文编程》《真·纯函数》这四个字,好像达成了就万事大吉一样。 根本没有认真试过【之后呢】
对我来说,就是一种人嘛。 所谓 “做到了就怎么样怎么样的”,Rust原神,Agile疯,认为TeX/Vim “原生” 就比 Docx/VSC 好的用户
就连小众赛道,都这样的浮躁。如果国人做IDE,是否会往 build/out 里注入广告呢?(Xcode Ghost 的恶劣性质,但传成 pdd root 事件那样的 “不小心翻车了”)
反正他们又不听劝 ,就和那个在电线杆下观测出 🌎 🌞 用 💠轨道转圈的老人一样 《鬼畜区 李文亚:地的运动》
在2026年还能有【朝闻道】的那种感觉,李某亚也是够幸运的。 在他眼里所有官方机构都被西方思想荼毒了吧, 对于我来说,哪怕「预期」达到了,最后无人问津,自己维护到弃坑,也是可能的结局呢。 🥱
但又如何呢? 没人是天才,iq和Bellard那样的【神】也有尚未触及的领域,比如SQLite就不是他写的。而且SQLite最近还被tailscale试出个WAL并发数据破坏,更不用说Linux主线了
Bret曾说,【软件有两部分,一段安在硬盘上,一段安在头脑里】。 或许,对开发者也一样。
我收获了头脑里与心里的那部分软件,这就足够了。
Forwarded from Hacker News 摘要
Telegraph
索尼就游戏所有权提出大胆主张
原标题:Sony makes bold claim about game ownership 这篇文章讨论了索尼(Sony)在一场法律诉讼中针对“游戏所有权”提出的主张,并分析了该言论的合理性与荒谬之处。 索尼的观点与玩家的认知 索尼声称,“任何理性的玩家都应该知道,购买游戏只是获得了游戏的使用许可(授权),而不是拥有了游戏本身”。 对此,文章作者分析了玩家的实际认知与期望: • 对软件许可的认知:普通玩家大多知道数字软件的许可机制,即花钱购买的不是物品的所有权,而是有限的使用权。如果游戏需要依靠厂商的…
duangsuse::Echo
🤔 要发表一些 “工程派” 暴论了 诚然: #CS 专业,作为当代最为开明领域的【事后速记手】, 不会仅仅因为实现甚至【如何理解】的差异,而否认课程学习成果的有效性。 也不乏本来是 写作业/论文依据/毕设 而实现的开源产品,比如Scala世界。 所以,如果因为【科班太刻板】而否定这种一个国家只有<10个排的上号的CS大学(eg. 浙大、北邮、南大),是典型的《人不行怪路不平》 旁边实验室的师兄可能正在给Linux内核贡献代码,或者在顶级会议(OSDI/SOSP)上发表论文。 而咱们最多参加下 PyCon…
#ai 试用了Fable,四段话就值 $1
但也真是神了, 感觉和大佬交流都不会有这样轻松的体验
(准确的说是感到压力,但确实奏效 😋)
https://chat.librechat.ai/share/Zj6fLZpvXkry7WkBpylj0
比起经典G2.5 专业了不少,交流起来非常省时间,但只是找开源的话,便宜模型也能做
https://chat.librechat.ai/share/MP7tuhNBzqTkBZqZsdTuy
Fable 有一种【向上交流】的感觉,非常有特色,所谓【向上社交】……
但也真是神了, 感觉和大佬交流都不会有这样轻松的体验
(准确的说是感到压力,但确实奏效 😋)
https://chat.librechat.ai/share/Zj6fLZpvXkry7WkBpylj0
比起经典G2.5 专业了不少,交流起来非常省时间,但只是找开源的话,便宜模型也能做
https://chat.librechat.ai/share/MP7tuhNBzqTkBZqZsdTuy
Fable 有一种【向上交流】的感觉,非常有特色,所谓【向上社交】……
Forwarded from Hacker News 摘要
Telegraph
正在撞击前端 Web 开发的小行星
原标题:The asteroid currently hitting front end web development 这篇文章由前端开发者 Nolan Lawson 撰写,深入探讨了 AI 对前端 Web 开发领域带来的巨大冲击。作者将 AI 的到来比作撞击地球的“小行星”,认为前端开发和相关的技术教育正面临前所未有的剧烈变革。 现状:前端教育者的退出与转型 作者注意到,许多知名的前端教育者(如 Axel Rauschmayer、Josh W. Comeau 等)正在淡出或缩减投入,而 Kent C.…
duangsuse::Echo
#ai 试用了Fable,四段话就值 $1 但也真是神了, 感觉和大佬交流都不会有这样轻松的体验 (准确的说是感到压力,但确实奏效 😋) https://chat.librechat.ai/share/Zj6fLZpvXkry7WkBpylj0 比起经典G2.5 专业了不少,交流起来非常省时间,但只是找开源的话,便宜模型也能做 https://chat.librechat.ai/share/MP7tuhNBzqTkBZqZsdTuy Fable 有一种【向上交流】的感觉,非常有特色,所谓【向上社交】……
#ai对比 闲聊级模型评价一下生产级模型
感觉再过几年就不需要想这些问题了,看起来非常接近 top 10% 的业务思维
但不清楚换个新人来prompt会变成怎么样。 挺讽刺的,我看不到有人share自己的chat
感觉再过几年就不需要想这些问题了,看起来非常接近 top 10% 的业务思维
但不清楚换个新人来prompt会变成怎么样。 挺讽刺的,我看不到有人share自己的chat
我至今没有刷到过 chat url ,是不是都觉得放LLM对话会敷衍人?
连活人都没有,优化什么产品。
Forwarded from Milkice's 生而喵喵
感觉Coding Agent大时代的一个副作用是对于个人发展更加迷茫了
以前是你可能对某些领域感兴趣,你通过学习和实践取得了一定的经验和成果,往往都具有一定的不可替代性,即别人往往也要通过学习来达到近似的成就
现在无论对什么领域感兴趣,一想到说你花了几天时间吭哧吭哧去研究踩坑,还不如人家用Fable一下午搞定,学习的动力就断崖式下跌
LLM固然能帮助我们学习新领域的内容,但是同时一方面助长了我们的惰性,即不愿学习新知识,即便真的有兴致学习往往也会因为能力和效率相较LLM都望尘莫及而失去了原有的成就感
今天上午看到wmctf停止举办的消息其实也是这一现象的一种缩影,大家已经不以在CTF解题的过程中的收获作为目标,而是单纯地比拼LLM和prompt,当整个活动变成了拼模型拼token数量的时候,一切都已索然无味
以前是你可能对某些领域感兴趣,你通过学习和实践取得了一定的经验和成果,往往都具有一定的不可替代性,即别人往往也要通过学习来达到近似的成就
现在无论对什么领域感兴趣,一想到说你花了几天时间吭哧吭哧去研究踩坑,还不如人家用Fable一下午搞定,学习的动力就断崖式下跌
LLM固然能帮助我们学习新领域的内容,但是同时一方面助长了我们的惰性,即不愿学习新知识,即便真的有兴致学习往往也会因为能力和效率相较LLM都望尘莫及而失去了原有的成就感
今天上午看到wmctf停止举办的消息其实也是这一现象的一种缩影,大家已经不以在CTF解题的过程中的收获作为目标,而是单纯地比拼LLM和prompt,当整个活动变成了拼模型拼token数量的时候,一切都已索然无味
Milkice's 生而喵喵
即便真的有兴致学习往往也会因为能力和效率相较LLM都望尘莫及而失去了原有的成就感
🤔 这不是大好事吗? 人们可以把算力和精力外包给【预制人】,这样就不会重造轮子了 #ai #statement
这样就只需要灵感、兴趣、洞察力了,至少下限抬高了。 我看Fable给出的解答,没什么难理解,只是以前的人不懂分享,贴个截图都懒得贴
现在正好治治,开源世界早就有的知识,自己独立发现一遍还要装兴奋,实际上,把 build-up 和 round-trip 的机会都给丢了。
而且现在创作者用AI真的优秀啊(参考《孙笑川学术打压民科李文亚》事件),感觉这辈子都不会无聊了 😅
这样就只需要灵感、兴趣、洞察力了,至少下限抬高了。 我看Fable给出的解答,没什么难理解,只是以前的人不懂分享,贴个截图都懒得贴
现在正好治治,开源世界早就有的知识,自己独立发现一遍还要装兴奋,实际上,把 build-up 和 round-trip 的机会都给丢了。
【好爸爸比赛】是不需要排名次的, iq和Bellard这样的大佬,也不需要排名。 就是平庸的秀才,才最依赖数字,实际上秀才是要按【代】算的,并不「神」
人生苦短,别输给Python。请问py语法高智商在哪 ?
而且现在创作者用AI真的优秀啊(参考《孙笑川学术打压民科李文亚》事件),感觉这辈子都不会无聊了 😅
dnaugsuz, [9/4/26 9:06 PM]
兴奋就一定要因为AIGC而改变吗? 如果想写网页,哪怕不是亲自试错,「完成目标」时不也一样吗
装PC又是不一样的事情了,还和钱包有关,但是网页的话,许多人上手都是alert和html,这有什么个体体验呢?
我说的是【不要重复造轮子】,以及下限抬高了,没有说新手不应该兴奋。兴奋就要以比别人牛逼为基线条件吗?
dnaugsuz, [9/4/26 9:11 PM]
而且编程中最重要的是组合已有的成品(build-up),以及好好思考怎么把工作做完整(round-trip)
不是手搓各种(类似竞赛的)样板,这点数学界已经被LLM搞符号恐惧症了。 我喷的是 reinvent 还不能把知识说明白的人,又不是真正能build-up的人
纯粹逻辑理性做出来的东西怎么能用。LibreOffice和X时代的软件好用吗?
duangsuse::Echo
当时我正在批判中文编程(形式语言设计)的弊病,声称《十八个文言虚词》里,“冯诺曼世界”能用的不到一半,最宝贵的 mapOf(1 to 2).into(dns.kv) 这样的高自然度都丢了。
结果这几天就光搁着批判了, 自己是什么德行呢 😅 #py
批了这个批那个,结果啥都没干成
考虑到80%的人即便有法学博士辅助也【看不懂】,以及【不在乎】这些内容……
🗓 我可能应该悦纳一个poll Agent 有没有Idle然后自动输入“请继续”的,这种项目,或者缅怀自己没有当站长的那个时代
开个玩笑。我应该学会与这种常态相处 ——但我没有资本像王垠或ice1k那样自命不凡,我甚至 “反对” 学阀,这也挺悲哀的。
当我意识到,《Lua设计与实现》里根本没有理解backpatch链表,而我的理解,【看起来称不上底层】时,就像上面的“信达雅中文”那样儿戏, 我是否该感到孤独?或者无聊? 或者我要请Fable来判断它们是否有前途??
我可懒得当《皇帝的新装》里的孩子,而且就我对手搓代码的爱好,也“没资格”
编程或技术/范式的风格,对我来说,甚至不是《朝闻道》。我否定我行业的、苦劳的价值。 CS+PLT 对我而言,是否只是另一种黑话、或无价值的习惯? 是 Just4fun 那样简单?
😟 即便make出可安装的工程又如何? cloudwindy 没有通过SS协议得到什么,甚至情绪价值,也只是得到一位贡献者朋友。 很感谢经常来这里投稿的密码学朋友~
就像bash三三两两的维护者,就连那些抱怨【只有我】的人,他们的情况大概比我好的多
就像iseki说的, #tg 只被我当作个人草稿箱。无论是不是在这里刷板,干扰许多人,锐评各种【大家都玩的很好】的软件?
如果以后,转向游戏开发和MOD,或许会更快乐?
但在此之前,请允许我以身入局改变软件工程的一些弊病。
Guido坚决拒绝多行 lambda是完全可理解的。实际上lambda以这个特别长的词的方法引入,本身也被吐槽
为什么不是 map({(u), x:=u+1, x}, [1,2]) 或 for u in map_on([1,2]): OK(u+1); for ev in div.on("click"): go() 呢? 虽然符号化但不难理解,因为有一致性。
但Guido根本不懂。Kotlin用的很好(只要在命名准确且一致的情况下,比如不能run also apply大杂烩),完爆他的认知
Python就算在仿照Excel上无可指摘,但lambda与组合子的 Killer feature(只要“愚笨”的使用),是他体会不到的。
@lambda f: map(f,..) def res(): 的结构完全不够用(最为小丑的 with lock: 证明了这点),[for if] 的生命力被高估了,即便是在pandas中,Kt的组合子在部分场景仍更加顺手
在 Guido 看来,控制流(循环、分支、异常)必须是中央集权的,他不明白程序只有语意和Flow而已,for break的寥寥无几的样板早该淘汰了
for的Non-local Return不能map_on?为什么要写return?而且kt可没被这个难倒,甚至还把break/cont一同干掉了,而且没有产生Guido害怕的魔法
with和async支持一点也不好看,尤其是那个在DSL上还输给infix fun的tuple返回支持。海象运算符 :=(PEP 572) 打那么久纯属自己没出过舒适区。
A,B=B,A 一行 A=(B.also {B=A}) 就解决了,KV迭代用forEach/assoc 就完美双向兼容,py和lua为它操碎了心,简直小丑到爆。 函数染色么?如果我祭出 yield await ,这些不支持Signal的语言该作何解答?
Kotlin也有UB的小问题( listOf(break, continue@wtf, return 1) is Any ),但牺牲这些换来扩展性,都不算事
碰到Closure的语法配套,Guido还可以用Zen搪塞掉,碰到 Events+async 他怎么跳?这回也是拿Obivous来搪塞吗? Closure和Event必须一起支持,否则就和Qt信号那样被React信号搞过时。
至今ES6的 async iter 不是基于Signal和go func,而py就更拉了,甚至有 timer(lambda i=i: 的反直觉bug)
--
你没有搞懂我的片段。 div.on(.. ev=>{}) 是典型的语句块注册,所以,这里的for已经完全被夺舍了,而原本的for可以缩进 for..in all([]): 模式
我没有要和py标准杠的意思,这是我的互联脚本运行时的ast补丁,也支持 for x[:int] 等现代特性。 提出,作为一种对比,很快你就会知道Guido并没能通过拒绝FP来跳过扩展性问题。
之前设计是 out=onNum(0, {(x), x+1}), 即 for x[:int] in onNum(0) @out: OK(x+1)
多块参数不可支持(for else 有两个但语义错)。 return和嵌套OK之类直接禁用好了。又不是不能用raise-catch,这是10%的情况,为什么对【理论上存在的东西】就如此病态呢? 我没有要全部用【栈上函数值】的方法实现
if-elif-else 转为 with-ifs-ifOK (默认多路避免elif); match x 为 with x in ways, @outVar: (换掉冗长的case、和js互文) 这些也是部分修改。跑题了。
批了这个批那个,结果啥都没干成
考虑到80%的人即便有法学博士辅助也【看不懂】,以及【不在乎】这些内容……
🗓 我可能应该悦纳一个poll Agent 有没有Idle然后自动输入“请继续”的,这种项目,或者缅怀自己没有当站长的那个时代
开个玩笑。我应该学会与这种常态相处 ——但我没有资本像王垠或ice1k那样自命不凡,我甚至 “反对” 学阀,这也挺悲哀的。
当我意识到,《Lua设计与实现》里根本没有理解backpatch链表,而我的理解,【看起来称不上底层】时,就像上面的“信达雅中文”那样儿戏, 我是否该感到孤独?或者无聊? 或者我要请Fable来判断它们是否有前途??
我可懒得当《皇帝的新装》里的孩子,而且就我对手搓代码的爱好,也“没资格”
编程或技术/范式的风格,对我来说,甚至不是《朝闻道》。我否定我行业的、苦劳的价值。 CS+PLT 对我而言,是否只是另一种黑话、或无价值的习惯? 是 Just4fun 那样简单?
😟 即便make出可安装的工程又如何? cloudwindy 没有通过SS协议得到什么,甚至情绪价值,也只是得到一位贡献者朋友。 很感谢经常来这里投稿的密码学朋友~
我不追求【像】内行,也不追求对【所有】编程者有效,别人眼里——可能就是像bash补全那样的鸡肋吧。
“蕊括深recursion” “栏目答Lambda” 一般画风的软件体系,恐怕,正如“偶醒刻async”一词,它既不名也不动,夹在中间。 它们不适合放在README,放在guide里又屈才。你要先否决掉你的身份,才能明白为什么要。
为了理论,你要放弃理论家的身份。偏偏我从没自称过懂理论。
就像bash三三两两的维护者,就连那些抱怨【只有我】的人,他们的情况大概比我好的多
我并非完全不在意…… 但我不会改变吧。
就像iseki说的, #tg 只被我当作个人草稿箱。无论是不是在这里刷板,干扰许多人,锐评各种【大家都玩的很好】的软件?
如果以后,转向游戏开发和MOD,或许会更快乐?
但在此之前,请允许我以身入局改变软件工程的一些弊病。