天才的受赐 #statement
大家都受赐于一个存在，于同一个世界。
每个人的【份】有不同，但奖赏会是一样的。
命运给先驱者的多，就向他们讨回的多。世界上的一切都是有保质期的，百八十年，或许以后会更长，但玩家总是会累。
有人说，贼是贼的通行证，善是善的墓志铭，而且善比恶软弱、有限。但在真正的信息世界里，这种【有限】会反过来。
一个伪神死了，他对行业的统治就结束了；一个鲁迅死了，他们对后世的统治才刚刚开始。因为一切都会落幕，包括所谓“最大的拳头” “大炮的射程”，墓志铭才是那张【永恒通行证】
为什么要因为“自己的更多”而满意呢？
一个盒子里的iPhone，从矿石开始，有几万人为之出过力。难道没有核心技术，就不该有公正的回报了？
往知识里加私货的人，不执着于elegant的工作者，还需要学习。
不是因为顶尖技术(SOTA)懂的更多，而是它们，更接近于【学习本身】 🌱
大家都受赐于一个存在，于同一个世界。
每个人的【份】有不同，但奖赏会是一样的。
命运给先驱者的多，就向他们讨回的多。世界上的一切都是有保质期的，百八十年，或许以后会更长，但玩家总是会累。
我最骄傲的时候，不是看见“为我所有的”多么领先或elegant，多么接近【原初】，而是知道别人因为它们的缘故，更接近自己的天赋
应当是这样：我的作品是一把钥匙。我的存在是一个阶梯。我的创造是一个火种。 🔥
有人说，贼是贼的通行证，善是善的墓志铭，而且善比恶软弱、有限。但在真正的信息世界里，这种【有限】会反过来。
一个伪神死了，他对行业的统治就结束了；一个鲁迅死了，他们对后世的统治才刚刚开始。因为一切都会落幕，包括所谓“最大的拳头” “大炮的射程”，墓志铭才是那张【永恒通行证】
为什么要因为“自己的更多”而满意呢？
一个盒子里的iPhone，从矿石开始，有几万人为之出过力。难道没有核心技术，就不该有公正的回报了？
如果不是下等人需要“更高智慧”的产品，本没有三六九等。工具造出来是用的，不是拜的。
智慧和信息才是最本质的体验，而物质，对于终将耗散的宇宙而言，没什么用，还会肥胖。
往知识里加私货的人，不执着于elegant的工作者，还需要学习。
不是因为顶尖技术(SOTA)懂的更多，而是它们，更接近于【学习本身】 🌱
https://huggingface.co/spaces/rednote-hilab/dots.tts
rednote-hilab.github.io/dots.tts-demo/ #tool
#ai https://deepwiki.com/rednote-hilab/dots.tts/2.2-backbone-modules:-dit-and-semantic-encoder
小红书 hi lab 开源了 20 亿参数的端到端自回归文本转语音 (TTS) 模型 dots.tts，并采用 Apache 2.0 协议公开了完整的推理与微调代码。
公开发布的权重包括基础预训练版本。避开了离散量化造成的音质损失，保留了发音细节、音色相似度与情感表现力。dots.tts 基于约 150 万小时语音数据预训练，将 48 kHz 采样率的 AudioVAE 提取的连续特征与语义编码器、骨干语言模型Qwen组合，均达到开源 SOTA 水平。
rednote-hilab.github.io/dots.tts-demo/ #tool
#ai https://deepwiki.com/rednote-hilab/dots.tts/2.2-backbone-modules:-dit-and-semantic-encoder
小红书 hi lab 开源了 20 亿参数的端到端自回归文本转语音 (TTS) 模型 dots.tts，并采用 Apache 2.0 协议公开了完整的推理与微调代码。
公开发布的权重包括基础预训练版本。避开了离散量化造成的音质损失，保留了发音细节、音色相似度与情感表现力。dots.tts 基于约 150 万小时语音数据预训练，将 48 kHz 采样率的 AudioVAE 提取的连续特征与语义编码器、骨干语言模型Qwen组合，均达到开源 SOTA 水平。
https://zhuanlan.zhihu.com/p/1888290001483182482
应用方面，SmolVLM2 提供多种演示应用：
iPhone 视频理解应用（使用 500M 模型，本地运行，等待列表：Hugging Face 空间）。
VLC 媒体播放器集成原型：Hugging Face 空间。
视频亮点生成器，适合长视频：Hugging Face 空间。
视频推理代码在 GitHub 仓库 中实现，提取最多 50 帧，无内部帧调整。在 CinePile 基准测试中，成绩为 27.14%，位于 InterVL2（2B）和 Video LlaVa（7B）之间。微调教程可在 GitHub 笔记本 中找到，支持 VideoFeedback 数据集。
应用方面，SmolVLM2 提供多种演示应用：
iPhone 视频理解应用（使用 500M 模型，本地运行，等待列表：Hugging Face 空间）。
VLC 媒体播放器集成原型：Hugging Face 空间。
视频亮点生成器，适合长视频：Hugging Face 空间。
视频推理代码在 GitHub 仓库 中实现，提取最多 50 帧，无内部帧调整。在 CinePile 基准测试中，成绩为 27.14%，位于 InterVL2（2B）和 Video LlaVa（7B）之间。微调教程可在 GitHub 笔记本 中找到，支持 VideoFeedback 数据集。
#math 😅
微积分是数学里最扭曲的体系， 就是把牛顿那一套加一个毫无意义的lim，再加一些分数不分数，规则不规则的新语法
把dy/dx f换成D(f)瞬间清爽的多，数学人定义ii=-1时可自豪了，微积分却没见他们改
什么所谓的泛函，连函数式编程、模式匹配、类型检查器都没见过，就开始元编程、写宏。现在计算机都开始纯数值怪了，一个AD 30行py都能写出来，永远落后一步
如果不是为了匹配我设计的四则链式的解方程体系，才不会管他们怎么玩“无穷位小数”，还什么不定的、定的、离散的、对偶数的、微分、导数，这都是什么跟什么…… 完全混乱，而且不如Verlet和蝶形变换(STFT)，学会就能用。
在我眼里微分是错1位自减，积分是滑动平均，本质上就是边缘检测而已，这么多新符号只是TypeError造成的误会。搞一堆平方减法除法的编译优化，没有一点根据又到处dydx，把人当数据库在用呢？
如果微积分能做到的多于错位和滑动平均，就让它们去解决振铃效应和vec嵌入调参。 看看现实世界有没有那么天真。
不过是一个差1步的【高程图】的东西，整的像次数项和“七大函数”跳出来了一样，exact 解有多了不起呢？ 我没听到什么一眼就对的几何解释，还不如我自己想出来的十进制进位借位=微分
为了这一点点B动静就浪费学生几个星期，低能到没什么了。还不如去学复数向量，它们至少能拿来做游戏。虽然也没人用复数当vec2用了，命名错位，许多人压根不把它们换着用。
好好的一个“买一送一”的ND变换设计，能够让地球仪“磁悬浮”的四元数，被数学家弄成了什么ijk魔法。 属于是做事没有牛顿强，败家很有一套！
😅
微积分是数学里最扭曲的体系， 就是把牛顿那一套加一个毫无意义的lim，再加一些分数不分数，规则不规则的新语法
把dy/dx f换成D(f)瞬间清爽的多，数学人定义ii=-1时可自豪了，微积分却没见他们改
什么所谓的泛函，连函数式编程、模式匹配、类型检查器都没见过，就开始元编程、写宏。现在计算机都开始纯数值怪了，一个AD 30行py都能写出来，永远落后一步
AD是一种计算思想，它把一个复杂的函数看作是由一系列基本运算（+,-,*,/,sin,cos等）构成的计算图。通过对每个基本运算应用链式法则，AD可以精确地、自动地计算出任何复杂函数的导数，其数值精度只受限于浮点数精度。
如果不是为了匹配我设计的四则链式的解方程体系，才不会管他们怎么玩“无穷位小数”，还什么不定的、定的、离散的、对偶数的、微分、导数，这都是什么跟什么…… 完全混乱，而且不如Verlet和蝶形变换(STFT)，学会就能用。
在我眼里微分是错1位自减，积分是滑动平均，本质上就是边缘检测而已，这么多新符号只是TypeError造成的误会。搞一堆平方减法除法的编译优化，没有一点根据又到处dydx，把人当数据库在用呢？
如果微积分能做到的多于错位和滑动平均，就让它们去解决振铃效应和vec嵌入调参。 看看现实世界有没有那么天真。
不过是一个差1步的【高程图】的东西，整的像次数项和“七大函数”跳出来了一样，exact 解有多了不起呢？ 我没听到什么一眼就对的几何解释，还不如我自己想出来的十进制进位借位=微分
为了这一点点B动静就浪费学生几个星期，低能到没什么了。还不如去学复数向量，它们至少能拿来做游戏。虽然也没人用复数当vec2用了，命名错位，许多人压根不把它们换着用。
好好的一个“买一送一”的ND变换设计，能够让地球仪“磁悬浮”的四元数，被数学家弄成了什么ijk魔法。 属于是做事没有牛顿强，败家很有一套！
😅
duangsuse::Echo
如果微积分能做到的多于错位和滑动平均，就让它们去解决振铃效应和vec嵌入调参。 看看现实世界有没有那么天真。
😅
微积分内容，都不能压缩到小六的程度，这等于理解游戏编程都困难。 积分是什么？积分没有碰撞检测（加速度）参数，而微分会被芝诺的龟卡死！你能想象吗？
那个lim的信仰啊，播放不了60fps。它是∞fps，确实高刷的很，0秒或100%视频时长里就放完了！毫无意义，解析式面对Rule30产生的x值，exact没有场景。离散世界比【连续+指数塔】还无穷，这些真理没数学半毛钱关系。
连重力阻尼都不存在的A4纸运动，然后他们会说，【不然学生算不出来】【没有基础就更无法理解高级】【带宽太大-不方便考试】。
这等于是还没出新手村，就把史莱姆当BOSS打了半个月，我不明白。说探究几何意义吧，微积分教的纯粹是文本替换和穷举（瞪眼法）。
说物理吧，它没有加速度项，默认时轴AB内直线运动。说研究非线性系统吧，根本不沾边，因为非线性的基石是二次型，不是N次型的 “形式相等即等同”。
脑力游戏学1天就该会了，赖在新手村里装神弄鬼的。有种就把Attention权重加进速度预测里。
这么低能，不能给前沿ML权重结构的简化做贡献的，还要逼我想方设法输出他们以为正确的【导速线】，不能是可解释的f(x+1)-f(x)左移求差，我真是服了，这整个领域该滚出教材，腾地方给有价值的applicable的数学 。
😅
微积分内容，都不能压缩到小六的程度，这等于理解游戏编程都困难。 积分是什么？积分没有碰撞检测（加速度）参数，而微分会被芝诺的龟卡死！你能想象吗？
那个lim的信仰啊，播放不了60fps。它是∞fps，确实高刷的很，0秒或100%视频时长里就放完了！毫无意义，解析式面对Rule30产生的x值，exact没有场景。离散世界比【连续+指数塔】还无穷，这些真理没数学半毛钱关系。
连重力阻尼都不存在的A4纸运动，然后他们会说，【不然学生算不出来】【没有基础就更无法理解高级】【带宽太大-不方便考试】。
这等于是还没出新手村，就把史莱姆当BOSS打了半个月，我不明白。说探究几何意义吧，微积分教的纯粹是文本替换和穷举（瞪眼法）。
说物理吧，它没有加速度项，默认时轴AB内直线运动。说研究非线性系统吧，根本不沾边，因为非线性的基石是二次型，不是N次型的 “形式相等即等同”。
脑力游戏学1天就该会了，赖在新手村里装神弄鬼的。有种就把Attention权重加进速度预测里。
∞fps，数学界可不会这么说。他们会假设这么放，还是1分钟的视频，然后直接搞出 nSample/∞fps=1min 的悖论。他们不明白d是一个参数(sampler)，【系统】有一个全局变量"d"，因为他们连用GOTO的编程水平都没到。
1分钟 = 0 = nWTF / ∞，荒谬！
这么低能，不能给前沿ML权重结构的简化做贡献的，还要逼我想方设法输出他们以为正确的【导速线】，不能是可解释的f(x+1)-f(x)左移求差，我真是服了，这整个领域该滚出教材，腾地方给有价值的applicable的数学 。
😅
duangsuse::Echo
往知识里加私货的人，不执着于elegant的工作者，还需要学习。
不是因为顶尖技术(SOTA)懂的更多，而是它们，更接近于【学习本身】 🌱
不是因为顶尖技术(SOTA)懂的更多，而是它们，更接近于【学习本身】 🌱
😅
什么叫无限位的小数？线性dt在Verlet面前一帧就会炸成渣，这就是数学几何和连续统的严谨！！
动动小脑瓜想想，圆周运动和直线欧拉积分兼容吗？不需要二次型来桥接？ XYZ欧拉扎的住本该磁悬浮的地球仪吗？这直觉、常识，还需要你学什么数学？
我去，一个边缘检测和模式匹配替换（穷举法）有什么好教的，还dydx呢，算个平均速度都1天教不完，以后怎么处理变速运动、法线、切线、向量面积？
你学的微积分连个【地面 y>0】【下落 g=0.98】都没有，Flappy bird 这么低龄化的应用都建模不了还大学分析，纯粹是滑动平均，这连股市的MA60都没在用！学逻辑？学习能力？你和Python import 比比学习能力？
数学的一切烂设计，真是让我想到 #Rust 自称内存安全+高性能，一切问题就自解，结果，CF因为太安全panic两次的事情了。
空白页是没有攻击面的，但还不如一个WAF白名单和模板字符串来的实在。 数学的 dt ds dx.. 就是靠静态（死板）类型税伪装安全的逻辑，一碰到新需求，拒绝服务的漏洞1秒暴雷。所谓的安全不被破，就是if进死机或数值爆炸，而且学习周期极长。
今天的数学就是这样一种智商税的存在。它们不打折，但内部绝不elegant. 我是看不懂一对处理 (A+B)*50% 的技巧，有什么好教几个月的。根本没空做测试了！
😅
什么叫无限位的小数？线性dt在Verlet面前一帧就会炸成渣，这就是数学几何和连续统的严谨！！
动动小脑瓜想想，圆周运动和直线欧拉积分兼容吗？不需要二次型来桥接？ XYZ欧拉扎的住本该磁悬浮的地球仪吗？这直觉、常识，还需要你学什么数学？
我去，一个边缘检测和模式匹配替换（穷举法）有什么好教的，还dydx呢，算个平均速度都1天教不完，以后怎么处理变速运动、法线、切线、向量面积？
你学的微积分连个【地面 y>0】【下落 g=0.98】都没有，Flappy bird 这么低龄化的应用都建模不了还大学分析，纯粹是滑动平均，这连股市的MA60都没在用！学逻辑？学习能力？你和Python import 比比学习能力？
数学的一切烂设计，真是让我想到 #Rust 自称内存安全+高性能，一切问题就自解，结果，CF因为太安全panic两次的事情了。
空白页是没有攻击面的，但还不如一个WAF白名单和模板字符串来的实在。 数学的 dt ds dx.. 就是靠静态（死板）类型税伪装安全的逻辑，一碰到新需求，拒绝服务的漏洞1秒暴雷。所谓的安全不被破，就是if进死机或数值爆炸，而且学习周期极长。
有多少人能从弧度制，自动联想到⚪️上【🏹运动】的百分比的？ (90° = π/2, 那 cosθ, arc cos θ = 什么“类型”)
Tauday.com/tau-manifesto-cn 真的只是乘除2的问题吗？？ 物理人看到的是一个【数的单位】【对称性和守恒量】的消失！
这对于做理论来说，简直是在制造思想残疾。
今天的数学就是这样一种智商税的存在。它们不打折，但内部绝不elegant. 我是看不懂一对处理 (A+B)*50% 的技巧，有什么好教几个月的。根本没空做测试了！
😅
Tau Day
No, really, pi is wrong: The Tau Manifesto
For millennia, the circle has been considered the most perfect of shapes, and the circle constant π captured the geometry of the circle in a single number. But π is wrong, and it’s time to set things right.
duangsuse::Echo
类型检查器都没见过，就开始元编程、写宏。现在计算机都开始纯数值怪了，一个AD 30行py都能写出来，永远落后一步
#py #code 微积分真是30行py就定义完了。用数学书教的那套文本替换，直接被淘汰。
怎么可能同时=0和不=0，就是有两个数同时算 😅
我的天，这还需要人教吗？ 同时是和不是，波粒二象性、同时死和活，说明体系自己有毛病啊，还整出个lim和 ♾️
我没听过哪个ML或DSPer因为发明了【两个数同时算】而命名过定理的，不这么设计数制，公式就属于精分好吗。
还有集合论的 ZFC hack，真是🤡死了。哥德尔编码（元循环解释器）不去戳穿皇帝新装，还有罗素悖论，那么简单，就能把集合论的函数模型毁了，不就是说明概括公理很丑吗？
构造-解构和递归都没有算什么严谨啊？ 就这，还指导计算机呢
都是赖在新手村装神弄鬼的，真的唐完了，i=√-1, C=2πr 多写几个字就看得出来没什么天才，就是物理世界「说的明白」的直觉。😅😅😅
他们的需求很容易被比喻： 看视频时，你需要dt=(1/60)，占有限的权重，而下载或处理mp4时，你需要【一键看完】，所以要趋于无穷快。在离散微分里，这仅仅是单位1不同，但在数学上就悖论了
https://github.com/Kuri-su/yinwang.bak/blob/master/articles/数学和编程.md
怎么可能同时=0和不=0，就是有两个数同时算 😅
我的天，这还需要人教吗？ 同时是和不是，波粒二象性、同时死和活，说明体系自己有毛病啊，还整出个lim和 ♾️
我没听过哪个ML或DSPer因为发明了【两个数同时算】而命名过定理的，不这么设计数制，公式就属于精分好吗。
还有集合论的 ZFC hack，真是🤡死了。哥德尔编码（元循环解释器）不去戳穿皇帝新装，还有罗素悖论，那么简单，就能把集合论的函数模型毁了，不就是说明概括公理很丑吗？
再多的公理堆砌，379页证明1+1=2，1行的理发师就把头给剃了，这说明世界认知的【出发点】脆弱不堪
每天 dy/dx, (a※b)(c※d) 真TM丑死我了，这ab又cd、三维ijk的有半毛钱关联性吗？留着是推理 f(x+1)-f(x) 的？自己数轴都不对（无穷微分的幻觉）。写成 D(x^2)=2x 直接发明Rust模式匹配和递归定义好吗
构造-解构和递归都没有算什么严谨啊？ 就这，还指导计算机呢
都是赖在新手村装神弄鬼的，真的唐完了，i=√-1, C=2πr 多写几个字就看得出来没什么天才，就是物理世界「说的明白」的直觉。😅😅😅
他们的需求很容易被比喻： 看视频时，你需要dt=(1/60)，占有限的权重，而下载或处理mp4时，你需要【一键看完】，所以要趋于无穷快。在离散微分里，这仅仅是单位1不同，但在数学上就悖论了
离散就是有全局变量d的连续，非线性的基石是二次型，不是正确的N阶导废话，π前也不该粘上2，1 turn(1τ)是整体事件
能把圆周率、距离平方和vec2砍成一半(τ/2, d2, sin cos) 还出了【悖论】的高数也真是【宇宙的母语】了。服了。
https://github.com/Kuri-su/yinwang.bak/blob/master/articles/数学和编程.md
duangsuse::Echo pinned «#math 😅 微积分是数学里最扭曲的体系， 就是把牛顿那一套加一个毫无意义的lim，再加一些分数不分数，规则不规则的新语法 把dy/dx f换成D(f)瞬间清爽的多，数学人定义ii=-1时可自豪了，微积分却没见他们改 什么所谓的泛函，连函数式编程、模式匹配、类型检查器都没见过，就开始元编程、写宏。现在计算机都开始纯数值怪了，一个AD 30行py都能写出来，永远落后一步 AD是一种计算思想，它把一个复杂的函数看作是由一系列基本运算（+,-,*,/,sin,cos等）构成的计算图。通过对每个基本运算…»
Forwarded from Solidot
内存成本占到了手机成本的五成以上
2026-06-15 14:07 by 树语
Nothing CEO 兼联合创始人 Carl Pei 说，如果你考虑升级手机，最佳时机是昨天。Carl Pei 称，内存短缺影响到了 Nothing 的中端手机。内存已成为智能手机最昂贵的组件，比处理器更贵，比显示屏更贵，可能占到硬件总成本的五成以上。以 Phone (4a)为例，自决定生产这款设备到它上市，内存成本翻了一番。此后又翻了一番。手机价格在上涨，明年还会继续涨。自 2 月以来，新上市手机比上一代产品贵了 100 美元。印度售价 3 万卢比以上的手机价格涨了 7000 卢比或更多。
https://www.theverge.com/gadgets/949403/nothing-carl-pei-ram-phone-prices
#移动
2026-06-15 14:07 by 树语
Nothing CEO 兼联合创始人 Carl Pei 说，如果你考虑升级手机，最佳时机是昨天。Carl Pei 称，内存短缺影响到了 Nothing 的中端手机。内存已成为智能手机最昂贵的组件，比处理器更贵，比显示屏更贵，可能占到硬件总成本的五成以上。以 Phone (4a)为例，自决定生产这款设备到它上市，内存成本翻了一番。此后又翻了一番。手机价格在上涨，明年还会继续涨。自 2 月以来，新上市手机比上一代产品贵了 100 美元。印度售价 3 万卢比以上的手机价格涨了 7000 卢比或更多。
https://www.theverge.com/gadgets/949403/nothing-carl-pei-ram-phone-prices
#移动
Forwarded from codedump的电报频道 (老C)
This media is not supported in your browser
VIEW IN TELEGRAM
#开源项目
ghostty-blackhole：一个 Ghostty 终端的着色器 (shader)，会在终端里生成一个小黑洞。黑洞会在屏幕上漂浮，并且产生类似“引力透镜”的效果，让文字看起来被扭曲。
工作时间越长不休息，这个黑洞就会逐渐变大，直到几乎遮挡屏幕，逼着你停下来。黑洞会慢慢缩小，恢复正常。
可惜只能用于Ghostty 终端。
ghostty-blackhole：一个 Ghostty 终端的着色器 (shader)，会在终端里生成一个小黑洞。黑洞会在屏幕上漂浮，并且产生类似“引力透镜”的效果，让文字看起来被扭曲。
工作时间越长不休息，这个黑洞就会逐渐变大，直到几乎遮挡屏幕，逼着你停下来。黑洞会慢慢缩小，恢复正常。
可惜只能用于Ghostty 终端。
Forwarded from 层叠 - The Cascading
Google I/O 2026：反正 2026 年的科技公司发布会就是 AI 和模型发布会罢。
- Gemini 3.5 Flash 模型发布。Google 说它很强，Simon 说它很贵 [1]。有多贵？差不多是 Gemini 3.1 Pro 那么贵。
- 所谓全模态但现在是生成视频的 Gemini Omni 模型；YouTube Shorts/YouTube Create app 上可以免费用。
- WebMCP 标准发布；开发者现可使用
- Chrome DevTools for agents 发布。
- 以及大家都知道的玩意儿：Google AI 搜索、AI 图片暗水印 C2PA、
- 喔对了，Gemini CLI 会在 6/18 停止服务；Google 建议换用 Antigravity CLI。 [2]
blog.google/~
1. https://simonwillison.net/2026/May/19/gemini-35-flash/
2. developers.googleblog.com/~
#Google
- Gemini 3.5 Flash 模型发布。Google 说它很强，Simon 说它很贵 [1]。有多贵？差不多是 Gemini 3.1 Pro 那么贵。
- 所谓全模态但现在是生成视频的 Gemini Omni 模型；YouTube Shorts/YouTube Create app 上可以免费用。
- WebMCP 标准发布；开发者现可使用
chrome://flags 的 enable-webmcp-testing 启用该特性，并使用 Inspector 插件基于网页提供的 MCP 与 LLM 进行对话和操作（需自带 Gemini API key）。- Chrome DevTools for agents 发布。
- 以及大家都知道的玩意儿：Google AI 搜索、AI 图片暗水印 C2PA、
- 喔对了，Gemini CLI 会在 6/18 停止服务；Google 建议换用 Antigravity CLI。 [2]
blog.google/~
1. https://simonwillison.net/2026/May/19/gemini-35-flash/
2. developers.googleblog.com/~
blog.google
I/O 2026
At Google I/O 2026, we shared how we’re making AI more helpful for everyone. See everything we announced.
Forwarded from 层叠 - The Cascading
GitHub 内部代码库被窃；原因是职员使用了带毒 VS Code 插件。
https://x.com/github/status/2056949168208552080
[感谢一位匿名订户提供消息。]
#GitHub
https://x.com/github/status/2056949168208552080
[感谢一位匿名订户提供消息。]
#GitHub
X (formerly Twitter)
GitHub (@github) on X
1/ We are sharing additional details regarding our investigation into unauthorized access to GitHub's internal repositories.
Yesterday we detected and contained a compromise of an employee device…
Yesterday we detected and contained a compromise of an employee device…
Forwarded from 层叠 - The Cascading
VoidZero 宣布加入 Cloudflare。
VoidZero 是 Vite 系生态系统（Vitest, Rolldown, Oxc 等）背后的运营公司。
https://voidzero.dev/posts/voidzero-cloudflare
#VoidZero #Cloudflare
VoidZero 是 Vite 系生态系统（Vitest, Rolldown, Oxc 等）背后的运营公司。
https://voidzero.dev/posts/voidzero-cloudflare
#VoidZero #Cloudflare
VoidZero
VoidZero is Joining Cloudflare
VoidZero is excited to announce that we are joining Cloudflare. Vite, Vitest, Rolldown, Oxc, and Vite+ will remain open-source and MIT-licensed. Evan and the rest of the VoidZero team will continue to lead these projects, with Cloudflare fully committed to…
Forwarded from Hacker News 摘要
Telegraph
摩托罗拉在未作说明的情况下，导致其全线 Wi-Fi 路由器实际上已变砖
原标题：Motorola effectively bricked its entire line of WiFi routers without explanation 自 2026 年 5 月中旬以来，摩托罗拉的整个 Wi-Fi 路由器产品线由于配套软件故障，实际上已变成无法使用的砖头。由于设置和维护摩托罗拉路由器必须使用名为 MotoSync+ 的移动应用程序，该程序的崩溃导致用户无法进行任何操作。 故障具体表现 根据调查和用户反馈，该应用程序在不同操作系统上表现出不同的错误： • iOS 端：应用…
Forwarded from Hacker News 摘要
Telegraph
Linear 为什么这么快？技术深度解析
原标题：How's Linear so fast? A technical breakdown 在 Linear 中更新一个问题只需几毫秒，而传统的 CRUD 应用通常需要 300 毫秒左右。这种极速体验并非源于某种单一的秘诀，而是建立在正确的基础架构之上，并通过无数细微的决策不断改良的结果。 浏览器中的数据库 大多数 Web 应用遵循点击、浏览器发送 HTTP 请求、服务器查询数据库并返回、浏览器重新渲染的循环。这会导致用户需要等待网络请求，看到加载动画或占位图。Linear 倒置了这种传统关系。它将…
Forwarded from 煎蛋无聊图
多吃薯条: jandan.net/t/6164745
OO: 96 XX: 7
简单繁琐: 想象力差的有替代品
OO: 33, XX: 2
蛋友e620111807282: 简单繁琐 还是卯榫结构的是吧
OO: 17, XX: 0
OO: 96 XX: 7
简单繁琐: 想象力差的有替代品
OO: 33, XX: 2
蛋友e620111807282: 简单繁琐 还是卯榫结构的是吧
OO: 17, XX: 0
Forwarded from Solidot 纯净版
GitHub 面临生存之战
#微软
在被微软收购八年之后，最大的代码托管平台 GitHub 正面临生存之战，它的宕机和安全问题频发，而竞争对手的压力也越来越大。过去几周，GitHub 发生了多起严重的宕机事故，因员工的 VS Code 安装了一个恶意库扩展导致 3800 个内部代码库被窃取。GitHub 现员工和前员工在接受采访时描述了公司在领导层缺乏和竞争对手压力下挣扎的困境。2025 年夏天 CEO Thomas Dohmke 离职之后，微软没有再任命新 CEO，而是让领导团队成员向 CoreAI 汇报工作，CoreAI 由前 Meta 工程主管 Jay Parikh 负责，他由 CEO Satya Nadella 亲自招揽，负责帮助公司向 AI 转型。他在公司内部并不受欢迎，正是他决定不再任命 GitHub 新 CEO。有很多 GitHub 员工跟着离职去了 Dohmke 的新创公司 Entire。GitHub 高管过去几个月也不断流失，高级副总裁 Jared Palmer、前首席营收管 Elizabeth Pemmerl 都已经离职。GitHub 现员工称公司已经名存实亡，如今的一切都归微软。
https://www.theverge.com/tech/935250/microsoft-github-struggles-notepad
#微软
在被微软收购八年之后，最大的代码托管平台 GitHub 正面临生存之战，它的宕机和安全问题频发，而竞争对手的压力也越来越大。过去几周，GitHub 发生了多起严重的宕机事故，因员工的 VS Code 安装了一个恶意库扩展导致 3800 个内部代码库被窃取。GitHub 现员工和前员工在接受采访时描述了公司在领导层缺乏和竞争对手压力下挣扎的困境。2025 年夏天 CEO Thomas Dohmke 离职之后，微软没有再任命新 CEO，而是让领导团队成员向 CoreAI 汇报工作，CoreAI 由前 Meta 工程主管 Jay Parikh 负责，他由 CEO Satya Nadella 亲自招揽，负责帮助公司向 AI 转型。他在公司内部并不受欢迎，正是他决定不再任命 GitHub 新 CEO。有很多 GitHub 员工跟着离职去了 Dohmke 的新创公司 Entire。GitHub 高管过去几个月也不断流失，高级副总裁 Jared Palmer、前首席营收管 Elizabeth Pemmerl 都已经离职。GitHub 现员工称公司已经名存实亡，如今的一切都归微软。
https://www.theverge.com/tech/935250/microsoft-github-struggles-notepad
Forwarded from OrkWard
我之前好像也没看到
抛开挖坟不谈，这里还是有很多有趣的东西可聊的。SSR 的主要目标是改善大型复杂应用的首屏性能和 SEO 而不是为 SSG 增加动态性，所谓的复杂就是业务 js 的耗时远超 renderToString 那点 cpu 开销（都不在一个数量级上），生产上 renderToString 的主要问题是阻塞线程导致客户端拿到第一个字节的时间会很靠后，这个问题已经被 renderToString 的流式版本解决了
另外值得一提的是，高端客户机上跑 js 的速度会比 server 更快，所以今天一些超大型平台都会做策略性的 SSR 而不是全量
博主反复提到这个场景，在实践中一般对应到新闻资讯之类有个头像和评论区、主体内容是静态的站点，一些老派的方式是下发静态文件（这里的静态文件可以是 React + SSG 出来的，传统 CMS + build 也工作的很好），客户端去动态渲染评论区（Astro 做这个性能也不会好很多，它的主要价值是允许在这些小区块里写 React……）
另外还有一个没什么人知道的标准 Edge Side Includes（ESI），它允许在 html 里加一些占位符，由 CDN 或者反向代理发起请求，填充这些占位符。听起来，是不是跟这里设想的东西很像？
Next.js 真是害人啊，概念是一个个地卖一个个地炒，60s 刷一次构建缓存就叫 fresh new 的 ISR 模式了。我觉得它带来的一个问题是让人觉得所有 Web 场景都可以用 React 来解决，同时又不停地用各种各样的私家方案来管理 React 的复杂性和代价。如果页面上没什么状态需要维护，为什么非要 React 呢
抛开挖坟不谈，这里还是有很多有趣的东西可聊的。SSR 的主要目标是改善大型复杂应用的首屏性能和 SEO 而不是为 SSG 增加动态性，所谓的复杂就是业务 js 的耗时远超 renderToString 那点 cpu 开销（都不在一个数量级上），生产上 renderToString 的主要问题是阻塞线程导致客户端拿到第一个字节的时间会很靠后，这个问题已经被 renderToString 的流式版本解决了
另外值得一提的是，高端客户机上跑 js 的速度会比 server 更快，所以今天一些超大型平台都会做策略性的 SSR 而不是全量
一个很简单的页面，大多数东西都是固定的，只有一个地方需要变
博主反复提到这个场景，在实践中一般对应到新闻资讯之类有个头像和评论区、主体内容是静态的站点，一些老派的方式是下发静态文件（这里的静态文件可以是 React + SSG 出来的，传统 CMS + build 也工作的很好），客户端去动态渲染评论区（Astro 做这个性能也不会好很多，它的主要价值是允许在这些小区块里写 React……）
另外还有一个没什么人知道的标准 Edge Side Includes（ESI），它允许在 html 里加一些占位符，由 CDN 或者反向代理发起请求，填充这些占位符。听起来，是不是跟这里设想的东西很像？
Next.js 真是害人啊，概念是一个个地卖一个个地炒，60s 刷一次构建缓存就叫 fresh new 的 ISR 模式了。我觉得它带来的一个问题是让人觉得所有 Web 场景都可以用 React 来解决，同时又不停地用各种各样的私家方案来管理 React 的复杂性和代价。如果页面上没什么状态需要维护，为什么非要 React 呢