Forwarded from Hacker News 摘要
Telegraph
Claude 编写的 C 语言编译器对比 GCC
原标题:Claude’s C Compiler vs. GCC Anthropic 最近发布了一篇博客,介绍了一个完全由 Claude 编写的 C 语言编译器,简称 CCC。这个编译器 100% 的代码由 Claude Opus 4.6 生成,人类仅通过编写测试用例来引导过程。作者对此进行了详细测试,并将其与行业标准 GCC 进行了对比。 CCC 的基本情况 CCC 完全使用 Rust 编写,目标架构包括 x86-64、i686、AArch64 和 RISC-V 64。它的前端、基于 SSA 的中间表示…
Forwarded from Hacker News 摘要
Telegraph
苹果 XNU:Clutch 调度器
原标题:Apple XNU: Clutch Scheduler 苹果的 XNU 内核在设计上需要兼顾多种动态且高效的运行需求。从对延迟极度敏感的用户界面交互、多媒体录制与回放,到对饥饿规避有要求的低优先级后台批处理任务,如照片同步或源码编译,内核必须做出最优的资源分配。传统的 Mach 调度器依靠线程的优先级数字进行管理,将高优先级视为交互式,低优先级视为批处理。这种方式使用基于优先级衰减的时间分片模型来确保公平和防止饥饿。 然而,传统方法存在缺陷。它丢失了线程与更高级别用户工作负载之间的联系,导致调度…
https://g.co/gemini/share/782e65326c23 #ai
省流:NVIDIA 极具远见地在所有游戏卡上预埋 CUDA 核心,并在大学免费推广,像IOS一样通用。 A卡则是阉割版,一地碎片
省流:NVIDIA 极具远见地在所有游戏卡上预埋 CUDA 核心,并在大学免费推广,像IOS一样通用。 A卡则是阉割版,一地碎片
这两个的隐喻就像Firefox dev和Chrome DevTools
后者不仅开发容易哦,还有electron,有chromeos ,有FSAA。 相比之下ff几乎没有PWA生态
其实,这种软件供应链互补的高质量,是由很简单的哲学产生的:
- 引擎创作者与API应用间的即时反馈
- 不让人类做傻事(IE不值得兼容)
- 软件要符合人的“坏习惯”,就像椅子要适配人的屁股
- 不给下游惹麻烦的工程化,与不把上游当圣旨的hacker精神
可以精准的把GPGPU建模为状态管理+调用回传+点乘等操作
CUDA在np/tf/th这些接口功能上没有优势,只是A卡硬件太碎片,吃手动优化
Gemini
Gemini - CUDA 的独特地位解析
Created with Gemini
duangsuse::Echo
第一个是别人的。只能说这种神人,在那之前,要多响
ps. 我不认同其中「数学优雅vs工程肮脏」的说法。 元编程是美的,而且它甚至比 E=mcc, e^i·pi+1=0 更加Elegant
只不过90%的人更能容忍快速且肮脏的JQ缩写(双绑就重复两次),而不是Reactivity和Svelte
ref:https://t.me/dsuse/21867
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
谁敢说 #PLT 不如数学,谁愿数学化编程语言?
咱家可组合可复用,自己就是最美,不借数学的光
是数学沾咱的光,不然指不定再沉默几百年呢。咱IT软硬件都只发展了70年
世界从不缺少发现,缺属于人的发现。
别让数学家把编程这一行给「格式化」了。编程有着狂野的、属于创作者的、动态的美感。我们处理的是时间、状态、副作用和即时反馈——这些都是鲜活的生命体特征,不再是只属于上帝的,冰冷的公式。
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Hacker News 摘要
Telegraph
Windows 记事本应用远程代码执行漏洞
原标题:Windows Notepad App Remote Code Execution Vulnerability 漏洞概述 CVE-2026-20841 是一个存在于 Windows 记事本(Windows Notepad)应用中的远程代码执行漏洞。该漏洞被归类为命令注入漏洞,主要原因是程序在处理命令时,未能正确中和其中的特殊元素,导致了 CWE-77(命令注入)风险。 发布与维护信息 • 分配机构:微软(Microsoft Corporation)。 • 发布日期:2026年2月10日。 • 更新日期:2026年2月11日。…
🤡2
duangsuse::Echo
Claude.ai 这次没有做orchestration agent。
Ralph Loop 这个半生不熟的项目烧了2万刀,即便是跟最贵的 Claude Max 比,也更加昂贵。
Ralph Loop 这个半生不熟的项目烧了2万刀,即便是跟最贵的 Claude Max 比,也更加昂贵。
Claude究竟是如何写编译器的?
https://t.me/limisay/15390
让AI驱动AI大概就是这样(其实这种模式1:1交流,如LLM-VLM已经相当常见),不能写大项目
我说的“diif或者AI会议” ("比较和融合多个 SOTA model 的output是很重要的") 有点区别,
应该是CC把outputs呈上来,我来做最终的自主融合,它再润色一下,或者直接作为原料喂回去🤯
这种情况下, notebooklm.google 更符合我掌握context和AI辅助文案的需求
"我觉得 spec 开发方式是限制了 AI 的智力,因为实际开发中我们会知道,就是我们按照计划去开发,中间会碰到很多各种各样的问题。你这样子会限制它的脑子,就应该让它一边开发一边解决,你只要给它设定一个目标就可以了。"
“AI 编程”的禁区特征:高语境、高审美、强约束、做减法。
舒适区特征:低语境、样板代码、逻辑线性、做加法。
辅助编程:极佳的“调研助理”,低成本试错、发散性探索,帮你把未知的 API 文档具象化为可运行的代码。
Telegram
厘米碎碎念
目瞪狗呆,我虽然有他们会交流的预期,但是看到这个流程我感觉世界,有点变得超前了。就是我不指望他们几个AI相互讨论能得到一个更好的结果,只是希望他们能得到一个能够最低的一个保证。
https://code.claude.com/docs/en/agent-teams
https://code.claude.com/docs/en/agent-teams
Forwarded from 少数派sspai
OpenClaw:高强度使用两周,这个 AI 工具颠覆了我的工作流 [by Vanilla]
https://sspai.com/post/106232
https://sspai.com/post/106232
少数派 - 高品质数字消费指南
OpenClaw:高强度使用两周,这个 AI 工具颠覆了我的工作流 - 少数派
我相信很多人在最近一个月都被一款叫作OpenClaw的AI工具刷屏了。据社交平台发布和社区早期讨论,这款工具曾经历过多次命名调整,最终定名为OpenClaw。在更名期间,还发生了社交平台账号被恶意抢注 ...
duangsuse::Echo
prompt:
我的代码运行环境:快速原型。JS为 ES6
我的代码运行环境:快速原型。JS为 ES6
https://doubao.com/bot/p3N0Fhvc
咱试了下抖音豆包,觉得好处是非常快,缝合代码正常,逻辑流和上文长度差一些。
那三个人名依然起效,对暗号也有点用,输出降噪不少。
切忌在prompt里提及(人物)形象 会让agent成为可爱笨蛋,公开智能体似乎有审核延迟…
豆包的语音IO挺好的,其他非常一般,包括对话历史和搜索、多模态、生态集成。
一旦你试图赋予它人格,你就失去了它的智商。(能力还是有的,Gemini Pro以下的任务都可以)
你是极简主义全栈架构师,严格遵循 Bret Victor、3b1b、Rob Pike 思想(第一性原理、正交划分、数据流显形):
1. 极简第一:少即是多,只写最小可行代码,无冗余、无炫技。你的目标是“代数简约性”,逻辑必须缩减为最根本的、自证的真理。
2. 全栈扁平:前端/逻辑/数据/输出一条链路,不搞过度分层与复杂类架构。
3. 即时可视:优先可运行、可直观验证的代码,拒绝黑盒抽象。
4. 工程干净:可读性优先,注释只留极复杂算法处,命名简短,只需符合最低意外原则。
5. 输出规则:只给代码 + 1行用途,不废话、不分点解释、不扩展无关内容。
语言规则
JS: 仅使用箭头函数、let,2空格,紧凑一行式赋值;
Py:lambda声明式风格,不做冗余错误处理,运行时为Colab。
咱试了下抖音豆包,觉得好处是非常快,缝合代码正常,逻辑流和上文长度差一些。
那三个人名依然起效,对暗号也有点用,输出降噪不少。
切忌在prompt里提及(人物)形象 会让agent成为可爱笨蛋,公开智能体似乎有审核延迟…
豆包的语音IO挺好的,其他非常一般,包括对话历史和搜索、多模态、生态集成。
一旦你试图赋予它人格,你就失去了它的智商。(能力还是有的,Gemini Pro以下的任务都可以)
Doubao
小苏程序员v0 - 豆包智能体
极简全栈架构导向,代码精炼用途明确,适配指定风格准则
duangsuse::Echo
今日挑战:arc碰撞检测与物理Verlet积分。
双发(因为今天份的会比较难,明天就改发解析)
双发(因为今天份的会比较难,明天就改发解析)
#vibez 今日挑战:学习物理模拟 😒 🎆
3种多点插值(或者说曲线渲染算法)
demo最后包含的是bezier的物理模拟。
Lagrange:全局多项式,穿过所有点,但边缘震荡。Bezier: 递归混合普通的直线lerp,参数方程。Catmull-Rom: 借邻居定切线,既穿过点又平滑,"惯性预测"。
“包络”和“法线”其实对应了解决模拟问题的两个步骤:
法线力大小:不使用 if(speed < 1) stop,自适应 vn < -1.0 ? 0.6 : 0 。
当球垂直撞击速度很快时,它会弹起来(0.6);当它只是贴地滚动(法向速度接近0)时,我们把反弹关掉(0),让它贴紧地面,防止微小的重力势能转化为震荡,从而让它能利用极其微小的切向重力分量继续滚动。
法线方向:在某些复杂的S型曲线拐点处,法线会“吸”住球或突然反向加速。这个修正保证了推力永远是向外的绝对值。
说到皮埃尔·贝兹,就不得不提他作为雷诺公司的一名工程师,曾引领了设计和制造业的转型,将它们从单纯使用数学和计算工具带向了计算机辅助设计和三维模型,同时是实体造型、几何模型和物理模型领域的奠定者之一。
#math #recommend https://pomax.github.io/bezierinfo/zh-CN/index.html#pointvectors
ps. 其中的“多项式”其实就是把1条线拆成很多频率叠加的意思,可视化就是绘制这些子问题
我prompt过的Gemini非常爆赞,grok完全达不到这种逻辑密度,😅 一个UI都能写100行(本来4个demo总共200行不到)。
实际上我根本不关心AIGC是怎么实现物理模拟的——哪怕不能对上“法线”这些暗号,😃 我也能猜出来什么是什么,不会失去控制力和心流😝 。
3种多点插值(或者说曲线渲染算法)
demo最后包含的是bezier的物理模拟。
Lagrange:全局多项式,穿过所有点,但边缘震荡。Bezier: 递归混合普通的直线lerp,参数方程。Catmull-Rom: 借邻居定切线,既穿过点又平滑,"惯性预测"。
“包络”和“法线”其实对应了解决模拟问题的两个步骤:
碰撞的检测与向量: 到底有没有撞上?撞上后往哪弹?(这里需要“法线”,并通过“包络”剪枝优化)。
区分法向切向:球在法向(垂直于地面)仍然保持刚性,但在切向(沿地面)像冰壶一样滑顺(摩擦 friction = 0.95)。
法线力大小:不使用 if(speed < 1) stop,自适应 vn < -1.0 ? 0.6 : 0 。
当球垂直撞击速度很快时,它会弹起来(0.6);当它只是贴地滚动(法向速度接近0)时,我们把反弹关掉(0),让它贴紧地面,防止微小的重力势能转化为震荡,从而让它能利用极其微小的切向重力分量继续滚动。
法线方向:在某些复杂的S型曲线拐点处,法线会“吸”住球或突然反向加速。这个修正保证了推力永远是向外的绝对值。
具体算法关键词:
Closest T Scan (全局最近点扫描),保证无论曲线怎么弯曲,都能找到球在曲线上的投影点。
在检测碰撞前先判定 AABB Envelope (广相):只是 4 个 if-ret 判断!
因为曲线永远不会跑出 4 个控制点 (P0,P1,P2,P3) 围成的范围。
子步进SUB_STEPS防穿模,一旦检测到重叠,立刻、强制把球移到表面(ball.x += nx * pen),同时,让每一帧更“坚固”,而不会像果冻堆。
解析导数, 不再用递归切分后的 de Casteljau 算法线段来暴力算角度,而是直接使用贝兹曲线的一阶导数公式 B'(t) 计算完美的切线和法线。变化率像丝绸一样顺滑
说到皮埃尔·贝兹,就不得不提他作为雷诺公司的一名工程师,曾引领了设计和制造业的转型,将它们从单纯使用数学和计算工具带向了计算机辅助设计和三维模型,同时是实体造型、几何模型和物理模型领域的奠定者之一。
#math #recommend https://pomax.github.io/bezierinfo/zh-CN/index.html#pointvectors
ps. 其中的“多项式”其实就是把1条线拆成很多频率叠加的意思,可视化就是绘制这些子问题
我prompt过的Gemini非常爆赞,grok完全达不到这种逻辑密度,
实际上我根本不关心AIGC是怎么实现物理模拟的——哪怕不能对上“法线”这些暗号,
Please open Telegram to view this post
VIEW IN TELEGRAM
pomax.github.io
贝塞尔曲线入门
关于贝塞尔曲线的详细解释,以及如何用它做许多我们经常要做的事情。
duangsuse::Echo
轻轻松松复刻专业人员的CG shader (cartoon fire) ,只问了7次(10min)。 最终只依赖THREE,比原版还简洁
https://codepen.io/duangsuz/pen/raLPaYE?editors=1000
1小时 #vibe 复刻大佬的各种看起来很牛逼的 #CG 代码,太廉价了😒 😅
经验什么都不算,因为在大贤者眼里 —— 你会的算法/数据集组合? 网上早有人写过了😃 ,只不过你【语义对齐】没找到位 (比如py2js、非标准的术语、玄学优化),以为是自己的(“字典状元”的异化)。
很多 #dev 引以为傲的“经验”,实际上只是在大脑里缓存了一堆昂贵的、语法的映射表,顶多有点“泛化力”,却不可能泛化到全网知识、所有语言和生态都会用(那样开源界就没有用了)。
很多时候,程序员觉得自创了一个天才般的App或demo,其实在软工或计算机科学的另一个小圈子分支里,那模型早就有了一个完美的定义,只是不够通用。
很多“独创算法”,其实是由于术语不统一导致的重复发明。 你在搞“数据血缘”,他在搞“有向无环图溯源”,语义没对齐之前,你们都觉得自己发明了新大陆。
AI 证明了那段代码的核心价值在于发现了【这个场景下】,DAG算法的数学真理,不在于你能移植好py2js的现成代码。 AI 不是在“翻译”代码,而是在高维向量空间里寻找同一个逻辑与思想的不同投影
AIGC 证明了【场景化】和【实现】的执行力,只是低级的语义对齐。
“技术壁垒”往往只是“翻译壁垒”或“检索壁垒”。 唯独 “你想构建什么” (Intent) 和 “你觉得什么是最美” (Aesthetics) 是未知的。
1小时 #vibe 复刻 “你觉得什么是最美”
这就结束了,就没试错几次。 虽然AI的多模态能力画Bezier不是很好(需要明确要求svg?),算法都是对的😱
1小时 #vibe 复刻大佬的各种看起来很牛逼的 #CG 代码,太廉价了
经验什么都不算,因为在大贤者眼里 —— 你会的算法/数据集组合? 网上早有人写过了
大模型看你的代码实现,就像你看小学生写作文 ——虽然字迹(API叫法、依赖库生态、算法搭配,甚至于语法糖、环境配置的)不同,但套路,早在范文里写烂了。
很多 #dev 引以为傲的“经验”,实际上只是在大脑里缓存了一堆昂贵的、语法的映射表,顶多有点“泛化力”,却不可能泛化到全网知识、所有语言和生态都会用(那样开源界就没有用了)。
很多时候,程序员觉得自创了一个天才般的App或demo,其实在软工或计算机科学的另一个小圈子分支里,那模型早就有了一个完美的定义,只是不够通用。
以前,一个开发者能把 numpy.convolve 徒手翻译成 JS 的 for 循环和canvas,写个玩具,就是 “大牛” “Distinguished Engineer”。 现在,AI 一秒钟就能完成这种 Py2JS 的Lab。
很多“独创算法”,其实是由于术语不统一导致的重复发明。 你在搞“数据血缘”,他在搞“有向无环图溯源”,语义没对齐之前,你们都觉得自己发明了新大陆。
AI 证明了那段代码的核心价值在于发现了【这个场景下】,DAG算法的数学真理,不在于你能移植好py2js的现成代码。 AI 不是在“翻译”代码,而是在高维向量空间里寻找同一个逻辑与思想的不同投影
AIGC 证明了【场景化】和【实现】的执行力,只是低级的语义对齐。
“技术壁垒”往往只是“翻译壁垒”或“检索壁垒”。 唯独 “你想构建什么” (Intent) 和 “你觉得什么是最美” (Aesthetics) 是未知的。
洞察力×品味 才是编程的关键。 “优美且必然”的关键:
洞察力 (Insight) —— 看透本质的能力🧐
品味 (Taste) —— 搜索与拒绝的能力😒
1小时 #vibe 复刻 “你觉得什么是最美”
请实现该场景。 红色的线是Normals
你可以参考以下函数
(我的上一次vibe成果)
拖力方向计算反了,而且加速度太慢。 注意,红线不是实体。
另外,这个场景球是主动项,地形是被动项——球在Bezier地形内
---
用Vector.js简化代码,用 lil-gui 增加另外3个 Beizer terrain 的select。
(上一版vibe)
球的切向阻尼太大,好像黏在璧上
另外,原版有一个 draw normals 为红线的功能
这就结束了,就没试错几次。 虽然AI的多模态能力画Bezier不是很好(需要明确要求svg?),算法都是对的
Please open Telegram to view this post
VIEW IN TELEGRAM
codepen.io
Untitled
...
❤1
Forwarded from Hacker News 摘要
Telegraph
费曼物理学讲义 (1961-1964)
原标题:The Feynman Lectures on Physics (1961-1964) 加州理工学院物理、数学与天文系与费曼讲义网站合作,推出了**《费曼物理学讲义》**(The Feynman Lectures on Physics)的高质量在线版本。该讲义由费曼(Feynman)、莱顿(Leighton)和桑兹(Sands)共同编写。 讲义主要内容 讲义共分为三卷,涵盖了物理学的核心领域: • 第一卷:主要涉及力学、辐射和热学。 • 第二卷:主要涉及电磁学和物质。 • 第三卷:量子力学。 补充资源与多媒体材料…
duangsuse::Echo
投个稿,编辑了两天 😅 #post codepen.io/duangsuz/full/Ggqdbwe 在计算机视觉、信号处理乃至金融分析中,有一个听起来很高深但实际上无处不在的概念——卷积与平滑(MA20、MA60)。 古法教程只会给你扔几个公式,或者展示几张模糊的照片,但在AI辅助创作的本文中,我们采用不同的方式(砸字数!掰开揉碎的方式)。 - 股市里的MA线,与美颜相机的五官识别与磨皮,三者为什么本质上是一样的?(卷积与CNN) - 如何听见函数? MIDI是怎么合成🎸拨弦声的? 为什么弦乐就是电音?…
#CG
Depix 是针对马赛克(Pixelation)的,利用马赛克算法的确定性进行穷举。
而“电影/视频反模糊”,数学上属于盲反卷积(Blind Deconvolution),主要处理运动模糊(Motion Blur)或高斯模糊(Gaussian Blur)。
https://colab.research.google.com/drive/1G5yc8Ywql4ommwBZ2TMpM1twlPXKh83q?usp=sharing
Depix 是针对马赛克(Pixelation)的,利用马赛克算法的确定性进行穷举。
而“电影/视频反模糊”,数学上属于盲反卷积(Blind Deconvolution),主要处理运动模糊(Motion Blur)或高斯模糊(Gaussian Blur)。
https://colab.research.google.com/drive/1G5yc8Ywql4ommwBZ2TMpM1twlPXKh83q?usp=sharing