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

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): a19a0b
Download Telegram
duangsuse::Echo
曾经也想过,如果能在类似邮电或南大的 #PLT 或编译原理、操作系统相关进修,是否能创造的更好。
#life 是否后悔没上过CS系的大学?

🦄 我只能说forif、【栏目答&括需】【回调链表】的世界观形成后,
我再也不需要用【流控】【匿名函数&闭包】【协程/yield/await/go func/续体】 这样的术语、行话了


如果没有我的世界观,如果它们作为一道填空题是0分,我就无法看到更宽广的缺口和可能性。 🏫
我不是双核CPU,不能同时运行一套修修补补的汇编之城,与一套从【直观感想】出发的交互式天国。

每个人都在维护【上游】的面子。可在我看来,虽然Vue欠v8很多,但 JQ->Vue 的代差,numpy和GPGPU的Swizzle,使v8的数百万行代码,显得十分愚蠢。

类似【回调链表A=>B=>(A+B)】这样的词典我有两三百个,我不列举它们,但它们都能在关键时刻给我【那种既视感】,而这一切是潜移默化的: 我确实不在现代的栈上工作,不然,我就不能用120行实现别人3年的运行效果。

别以为我会为代码和特技hack而骄傲—— 😋 在我的世界观中,没有 clean hack 才是应该fix的毛病。成熟是一个bug,而不是一个feature。

干练的思想、简明的实现,是理所当然的。【功能】应该像硬件和思维那样跟手,这就是我信奉的【Functional Programming】

我并非在学习CS。 我是在一个空白的沙盘上,【重新发现】每个知识点,尽管这花了不少力气,缺了不少【兼容性】,但我知道——它是恰如其分的,而软件世界不。他们不在乎多几行代码或几MB的依赖。


人的IQ是有极限的,所以我想当好一个 Human Being:请讲普通话,请写规范字。

如果没有printf和Visitor的实例,算什么理解OOP的多态?如果没有Proxy和 class(v:T): T by v{} ,算什么搞懂了继承与封装?

从一个动作的特例,就可以理解场景的本质需求,就像声明式的括需树( (A,B)=>_=>A(_)+B(_) ) 般抓住了结构和意图的榫卯。

对于 #PLT 而言,吾行之,明也。 以前我认为王垠在上海收太贵,现在想起来,他分享的远比索取的要多。

📝 对于一个普通人,我们需要的不是把【结果】和混乱的脚本和抽象捆绑销售、夹带私货的那种大佬,而王垠做到了:他是我眼中的【软件工艺师】,而不是PL人。

原来【原理】【从硬件往上数的体系】是可以被听懂的。 —— 只有极少数。阮一峰、陈皓那样为了功利应用科普的博主,也都并不多见。你能看到许多 jia.je 博客的“散装版本”,而那并不是我所说的知行合一

PL人就像全栈或ML那样,终究只是在屏幕之内编程,甚至进程之内编程。而 Human Being,知道要把精力省下来,应对隐形的代码。


答案是:我既不后悔没有北邮or各种外国语大学的经验,也不后悔在技术栈上【离群】。

LLM 已经很P9了,不需要另一个人假装自己比它们会搭样板间;系统编程已经足够难了,不需要另一个人告诉世界【我知道forif和ur->name是怎么变成goto偏移量的】。

屏幕外的那些代码,比如,如何让一个playground在能够接受的10分钟内跑起来,不报错;如何拯救夜不能寐的DX体验,这些,是许多人【从未学到】的。 我很好奇是什么让他们过的这样顺——就像,全面屏和剪贴板诞生之前,人们是怎么工作的? 终于已经显示出来了:把nav放在aside的屏幕左侧,很奇怪的吧……

洞察力、自顶向下的既视感、不限于键盘鼠标的那种交互性程序(比如lil-gui和GoldenLayout平铺式窗口管理,是否只是GUI而已)? 这依然是我以后的研究方向。

如果 Alan Kay 可以用一个车头有蓝点的2D小车让Jobs【看到未来】…… 这种【短而不凡】的代码科学 ——就当它是写给小孩子的了,依然比前沿更前沿。
duangsuse::Echo
如果没有我的世界观,如果它们作为一道填空题是0分,我就无法看到更宽广的缺口和可能性。 🏫
🤔 要发表一些 “工程派” 暴论了

诚然: #CS 专业,作为当代最为开明领域的【事后速记手】, 不会仅仅因为实现甚至【如何理解】的差异,而否认课程学习成果的有效性。

也不乏本来是 写作业/论文依据/毕设 而实现的开源产品,比如Scala世界。 所以,如果因为【科班太刻板】而否定这种一个国家只有<10个排的上号的CS大学(eg. 浙大、北邮、南大),是典型的《人不行怪路不平》

旁边实验室的师兄可能正在给Linux内核贡献代码,或者在顶级会议(OSDI/SOSP)上发表论文。 而咱们最多参加下 PyCon 的同好会和Frost之类的维护者接触,哈哈哈哈…… \(Q_Q)/


但我也要说我流派里的思想:《差生文具多》。 比如PLT里,许多基础思路,如扁平化编排(goto '}' of forif, p+sizeof subtuple)、libc与JVM的对照(动态链接器、ast_kv->stack->local2reg) ,其实并不需要一周的时间来学习

这点相信很多用上 SOTA LLM 的人通过对比教材,已经知道了:许多《什么书》写的流水帐并不怎么样,甚至不如你提问的顺序良好。

老学究不喜欢HTML排版,可是 craftinginterpreters.com 就是比他们的大部头自洽而完备。


如果仅仅是为了证明自己学成,而重复某些(计算器+类型化hacks+forif和递归递推轮子) 的套路,很快会失去CS领域相关方向的初心,适得其反,最后除了一个没有造血能力但GC和std齐全的lib外,证明不了什么,甚至不如 wy-lang.org 搞怪搞的有趣。

【开创性的工作】 并不是一个作业的积淀就能完成的,它甚至是与常规的瀑布流式学习-开发冲突的——你需要横跨许多领域数十天,只得到20行代码,但这20行的开发体验是革命性的。

牛人并非被环境塑造,就像《衡水中学的神话破灭》那样。 牛校既非必要条件,也不够充分。 MIT/BSD 这种品级可以另算,但这不太现实,而且它们都是开源项目

你可以说CS很开明,但牛人为什么不去真前沿,反而教书呢?Go、Rust、JS/TS 都不是教授和高材生的作品,反而是锦上添花更多呢?
Omarchy 的开发实践导致了可预见的安全问题
原文:https://blog.happyfellow.dev/merchants-of-insecurity/
阅读时间:2 分钟
分数:238

#bash 原汁原味开发的,连一个通知都可以导致注入🦄🦄🦄

项目方更热衷于折腾界面样式和 dotfiles 配置的迭代速度,而非操作系统的底层防护与基本安全。
通知服务通常走 D-Bus 等标准 IPC 协议,由成熟的二进制守护进程(如 dunst、mako 等)规范地解析和渲染。但一旦为了所谓的“轻量”、“极简”或“全栈 Bash”而自己动手写脚本处理管道流……

可是bash的生态位无法替代。人人都说bash -euo也不安全,但是没人能让一个简单的【操作记录】变成有意义的列表和对话框,所谓的严肃语言重写就算是AI也会写成屎

人人都说shell不好,可是shell能做的严肃语言没一个做的到
Forwarded from Hacker News 摘要
电影场景地图 – 13,312 部电影、剧集、游戏、动画和漫画
原文:https://moviescenemap.com/
分数:174
27 万字, 92k Tokens, 虽然 Fable 5/5.1 的系统提示词占比多了,但是它分词器效率也更低啊!

*比 Opus/Sonnet 4.6 分词器多 26.8% Tokens, 比 GPT-4o 分词器多 34%, 比 Gemini 多 29.9%
duangsuse::Echo
#design 编程四定律 📚 1. 数据的构造和消耗决定了数据结构。如果不从出现和调用的【概率】入手,读死书的人就不能【创造】出它众所周知的结构。 2. 优雅的程序结构直观对称于它流入流出的数据类型:同像性。这是H5和js接口成功的主要原因,甚至,也是N卡垄断AI算力、Apple用“一指禅”干掉诺基亚的技巧。 表格行有结构,一字字的序列有结构,一段段的块有结构, '(树状(组)) 的结构高于这两个词,没有什么结构更缺乏生产力。 [1 2 3] 就是结构,序列中另有元数据和小结构。序列外的“工人”…
#selected #tool 弄了个精简版妙妙词典,可以快速帮你了解现代全栈 + 编程语言特性

用Gemini2.5展开了一下主流解释

函数式:栏目答 蕊括深 控伴同 它剖_馈睿 择深_徘深 仿行_候数(Signal Holes)

面向事件:一问特_括需饵 喊得了饵 爬撕饵-串读串写 授齐易-管道配对

IO密集型:待客 偶醒刻 叩融听-回调链表 窟启 海稀_通证

通用执行层:正择_挨口 硬特匹蕊特 勘木排而-微迈细硬 码可揉 有联_应塞类型

多页面Web:落靠-locale 画架嵌入-iframe 疲架可撕-PJAX 矮架可撕-AJAX


【控伴同】 就像 (A,B)=>(runtime=>A+B),一类栏目、一类回答。规则集中每个“伙伴”都有相同接口(_=>...)
【候数】的精妙在于数据流,可以绑定json表单 user.age?.(n=>n+1) 派生新的候数

【括需饵/喊得了饵】 两个词本就是强相关。Qt不使用(ev=>{}) 括需饵,一切都是 class SLOT 导致开发繁琐

【叩融听/待客/偶醒刻】是一组破解c10k问题的 “用户态Linux”,通过 coro sched 轮询待客,实现 await fetch() 等事件注册的 “偶醒刻”,耳听多路,让【括需饵】继续响应请求