Forwarded from duangsuse
【真正的尊,何须靠借】 #PLT #CG
真正的理解,也不需要靠猜
notepad.exe 和说书人不是一个模态,输入法也不必比语音输入慢。
知识不是按它被记载的样子被【理解】的,而是经过了彻底的分析和非平凡的变换,得出一个世俗的答案。
屏幕上可不是我思考的记录,而是我的思维链本身。
你自己看,看多少帧多少遍,都行 😁
真正的理解,也不需要靠猜
@color Num=B Str=Y kw=B
Json ((> Arr Obj Lit null true false <) :setRecur)
Arr ("[" (Recur "," +) "]" :par)
Obj ("{" (Str ":" Recur "," +) "}" :par :obj)
Lit (> Num Str <)
Num /-?(0|[1-9][0-9]*)(\.\d+)?([eE][+-]?\d+)?/ :num
Str /"(\\(?:[nrtbf"\\\/]|u[0-9a-fA-F]{4})|[^"\\])*"/ :str
Tweak 声明推断、错误恢复,都还是前面那个递归下降元语言在支撑。不是另起炉灶做可视化编辑器。
从灵感出发,每一步都留下了可以记住的东西,没有【软件失忆】,复杂性的代码量也没被当成正收益、当成准入门槛。
把「能看见解析过程」的那套工具,直接用来驱动「能看见绘图结果」的方向感,从灵感,到工具链,到下游,两个html里完成。形式语法不再只是死鱼,变成了可拖拽、可步进的基础设施。
notepad.exe 和说书人不是一个模态,输入法也不必比语音输入慢。
知识不是按它被记载的样子被【理解】的,而是经过了彻底的分析和非平凡的变换,得出一个世俗的答案。
屏幕上可不是我思考的记录,而是我的思维链本身。
你自己看,看多少帧多少遍,都行 😁
duangsuse
从获得知识的角度,还是从工程可靠性的角度,一个人必须要尝试去理解他使用的工具和方法的功能和行为
#ai Opus真的理解了那个 #vibe ,框架起来后Sonnet也很轻松的加进进十个功能。
我给了Lisp的示例语法,和鲸鱼娘贴我之前的cavas2sloc实现用极低成本PoC出来了核心DBG功能,但优秀的设计性(inline/panel Tweak、in-lisp DSL) 是它们自己想出来的(可能有会意的部分),按照新语法的5个demo也是50秒生成的。 否则人类会被卡IO上做【风格迁移】做好久
😨 我没有亲自设计,但这个设计就是我想要的那种感觉,就像一开始心有灵犀
比起【AI是怎么猜测 vec2 和两个独立 num】的,如何在不破坏ball.xy的情况下修改颜色更像【技术细节】—— 是我的决定。 我在1年前就做出了以lit/fun为边界、端到端增量解析的【审美性决定】,从那以后,算法就不是内存优化,而是用户可以感知到的交互方法。
如果不是AI,大家总是很难区分【会写 parser 的人】和肉眼就是parser的人的界别。 王垠不是【另一个大牛】而已。
今天没有rework。只有"你决定了remix到什么边界",差别一下就露出来了。王垠那句"parser 是最无聊的部分"以前被当成【狂妄】,现在, 你能看见parser本来是什么样子的,以及所谓【知识】在真顶尖那里多不值钱。
被转的那段反对的是把 LLM 当黑箱终端:问题进去、答案出来,用的人和底层工具之间被彻底隔开,输入→输出的映射无法 make sense。这个批评对"用 LLM 替代理解"是成立的。
你做的事恰好是反着来的:用 LLM 去造一个让底层更可见的工具。它预设的场景是 LLM 替你理解,你的场景是 LLM 替你外化——你是能从结构上知道为什么
我给了Lisp的示例语法,和鲸鱼娘贴我之前的cavas2sloc实现用极低成本PoC出来了核心DBG功能,但优秀的设计性(inline/panel Tweak、in-lisp DSL) 是它们自己想出来的(可能有会意的部分),按照新语法的5个demo也是50秒生成的。 否则人类会被卡IO上做【风格迁移】做好久
😨 我没有亲自设计,但这个设计就是我想要的那种感觉,就像一开始心有灵犀
比起【AI是怎么猜测 vec2 和两个独立 num】的,如何在不破坏ball.xy的情况下修改颜色更像【技术细节】—— 是我的决定。 我在1年前就做出了以lit/fun为边界、端到端增量解析的【审美性决定】,从那以后,算法就不是内存优化,而是用户可以感知到的交互方法。
一旦决定了增量解析的原子就是 lit 和 fun,那"每个字面量都是旋钮、每个调用都是可悬停的东西"是直接掉出来的,vec2 只是旋钮长什么样的渲染问题。
这个要求一旦提出来,解析器就不是编译流水线的第一站,而是交互的一部分——这就是【品味】的地位。
如果不是AI,大家总是很难区分【会写 parser 的人】和肉眼就是parser的人的界别。 王垠不是【另一个大牛】而已。
今天没有rework。只有"你决定了remix到什么边界",差别一下就露出来了。王垠那句"parser 是最无聊的部分"以前被当成【狂妄】,现在, 你能看见parser本来是什么样子的,以及所谓【知识】在真顶尖那里多不值钱。
duangsuse
万年老拉胯的交互式demo改了,实现了 Bret Victor 要的设计
#ai #statement
听说Bret Victor在AI潮之后对编程发展仍然不满意:
alankay也有类似的思想。他常说"音乐不在钢琴里"——印刷术发明后,真正的变革是一百多年后,人们学会了用出版物以新的经济来【论证和思考】,这几乎就是 Victor 说的 "oracle vs medium"。Kay 的处方是"换一个视角值 80 个 IQ 点"
人们对他说“你预言了 iPad”,他的回应大意是“我预言的是一个【让孩子学习强大思想的媒介】,你们造了一个消费设备”——“iPad 是去掉了【思想】的 Dynabook”。这和 Victor 对 AI 编程的态度结构完全一样:写的部分被外包给神谕
换一个视角不是优化现有做法,而是让原本不可思考的东西变得可思考。
听说Bret Victor在AI潮之后对编程发展仍然不满意:
“oracle 模式”和“medium 模式”的对立(黑箱服务器)。LLM 写代码是“更快地生产同一种东西”。对遗产的误读(Engelbart 说的是 augment(增强人的能力),而当前 AI 更多是 Agent/replace(代替人去做)),他并不是在说“AI 不好用”或“AI 写的代码质量差”
最危险的不是技术不进步,而是大家误以为自己已经知道【编程是什么】。在他看来,AI 编程热潮恰好强化了这种状态
alankay也有类似的思想。他常说"音乐不在钢琴里"——印刷术发明后,真正的变革是一百多年后,人们学会了用出版物以新的经济来【论证和思考】,这几乎就是 Victor 说的 "oracle vs medium"。Kay 的处方是"换一个视角值 80 个 IQ 点"
(杀死21世纪的罗马数字们)。人们对他说“你预言了 iPad”,他的回应大意是“我预言的是一个【让孩子学习强大思想的媒介】,你们造了一个消费设备”——“iPad 是去掉了【思想】的 Dynabook”。这和 Victor 对 AI 编程的态度结构完全一样:写的部分被外包给神谕
换一个视角不是优化现有做法,而是让原本不可思考的东西变得可思考。
Forwarded from 煎蛋无聊图
destiny: jandan.net/t/6234966
OO: 153 XX: 6
ron: 所以我们上学都分小中高专大,这种大学才学钻木取火的属于是名字取错了,应该叫热能与动力工程-有机材料方向
OO: 42, XX: 0
蛋友24ce6578324e: “人猿相揖别。只几个石头磨过,小儿时节。”
OO: 19, XX: 1
讲乜嘢: ron哥,删了吧,求你了,我就是热能动力工程专业的
OO: 13, XX: 0
OO: 153 XX: 6
ron: 所以我们上学都分小中高专大,这种大学才学钻木取火的属于是名字取错了,应该叫热能与动力工程-有机材料方向
OO: 42, XX: 0
蛋友24ce6578324e: “人猿相揖别。只几个石头磨过,小儿时节。”
OO: 19, XX: 1
讲乜嘢: ron哥,删了吧,求你了,我就是热能动力工程专业的
OO: 13, XX: 0
Forwarded from yihong0618 和朋友们的频道
应该没有几个公司能彻底的杜绝每个猴子手里都有 ak47 的安全攻击。
下一步的课题可能是每个公司都要建立一套被攻击如何把损失降到最小的应急预案,还挺考验 SRE 的。
下一步的课题可能是每个公司都要建立一套被攻击如何把损失降到最小的应急预案,还挺考验 SRE 的。