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

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): a19a0b
Download Telegram
duangsuse::Echo
#post #life #ai锐评 https://chat.librechat.ai/share/2lI34gdgXmllNERfSfFAw #school 曾经也想过,如果能在类似邮电或南大的 #PLT 或编译原理、操作系统相关进修,是否能创造的更好。 但现在认为,即便是科班又如何呢。还是只有MIT、BSD那样的学院派能干点活,然而,他们缺乏灵感。Vue是从室内设计,拉窗帘的人搞出来的,在此之前,PLT人做了什么?“更像A的B”?“IDE支持为零的语法糖”? JQ的时代只有css的语法糖没有Tk…
也可以算作对《Java 有 value type 吗?》 的一个解答。

ps. 不赞同 @灵剑​ 的 id A==id B 区分论,这正好是yin指出的:把语义和实现细节混为一谈。 除非你要自己写个内存池或@lru_cache——然而那样hash也比id(mem)有意义。

如果可以任凭语法或API来扭曲一个心智模型,Project Valhalla 不就是 🤡 了么?

ps. 赢王居然换AI CSS排版了,可喜可贺。万年不变的.md式文集居然加主页和分类UI了…… 读过130篇我居然没感觉 #PLT

搞的我跟民科似的,呵呵。 🥱但如果不隔离自己的“代码世界观”,作为工程师的那个我,应该在实现的泥潭 or 照猫画虎的高效中满足于黑话吧。 我不需要用PoW证明自己懂了,我【确实讨厌】复杂性。

但我只允许【范式级创新】。
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%