惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
人人都是产品经理
人人都是产品经理
Cisco Talos Blog
Cisco Talos Blog
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
V
V2EX
博客园 - 三生石上(FineUI控件)
Martin Fowler
Martin Fowler
WordPress大学
WordPress大学
D
Docker
S
SegmentFault 最新的问题
博客园 - 聂微东
美团技术团队
Apple Machine Learning Research
Apple Machine Learning Research
月光博客
月光博客
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Last Week in AI
Last Week in AI
M
MIT News - Artificial intelligence
F
Fortinet All Blogs
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
The GitHub Blog
The GitHub Blog
GbyAI
GbyAI
L
LangChain Blog
Vercel News
Vercel News
博客园 - 叶小钗
MongoDB | Blog
MongoDB | Blog
Stack Overflow Blog
Stack Overflow Blog
H
Help Net Security
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
The Cloudflare Blog
Engineering at Meta
Engineering at Meta
T
Threat Research - Cisco Blogs
T
Threatpost
Scott Helme
Scott Helme
T
Tailwind CSS Blog
Latest news
Latest news
Stack Overflow Blog
Stack Overflow Blog
Blog — PlanetScale
Blog — PlanetScale
The Register - Security
The Register - Security
罗磊的独立博客
P
Proofpoint News Feed
腾讯CDC
S
Schneier on Security
雷峰网
雷峰网
A
About on SuperTechFans
T
Tenable Blog
F
Full Disclosure
Cyberwarzone
Cyberwarzone
博客园_首页
有赞技术团队
有赞技术团队
K
Kaspersky official blog

News Hacker | 极客洞察

WWI/WWII混凝土船试验:pykrete、ferro-cement与Habakkuk EY网络安全报告被指充满AI幻觉,评论区批审稿失守、四大降质 欧盟主权云争议:VPS化、US司法与投资缺口 Zig ELF 链接器进展:增量链接提速、LLVM 去依赖、Bun 争议 霍尔木兹危机推高集装箱运费,评论聚焦空箱回流与二阶效应 OpenRouter 融资1.13亿美元:LLM路由、费用上限与代理层争议 两神经元骑车:PID争议、逻辑门与自驾脑洞 Werner Herzog访谈:倾听术与洛杉矶 vs 纽约之争 Ookla 的 Speedtest/Downdetector 以 12 亿美元卖给 Accenture CPU/GPU 的 floor/ceil、denormals 与 IEEE 754 争议 AI道德批判者真成局外人?评论区称多数人其实不爱AI AI替代引发工作哀伤:AIRD、身份危机与怒火反弹 Voxel Space:Comanche 式 height map 地形渲染与 overdraw 优化 Godot 里的 Navier-Stokes 流体模拟教程:易懂但被追问 timestep 与守恒 Helios:英国任意地址的插电式太阳能发电估算 IXI自动对焦眼镜接近替代多焦点镜片 Vibe Coding 只出代码,不算工程 Anthropic估值反超OpenAI,Claude/Codex开发者争论升温 Openrsync:OpenBSD版rsync的安全依赖、GPL争议与AI焦虑 Pandoc 模板:Markdown 一稿多出论文、Word、多格式输出 教宗首份通谕批技术救世主义,HN争论AI治理权与Thiel末世论 蝗虫去哪了:繁殖河谷被开垦后消失 美国科研经费可随时取消:政治化与人才外流 德皇威廉二世与“平庸者”历史观:伟人、结构与20世纪 Zig 重做构建系统:编译速度与‘手搓’定位争论 丹麦养老金因治理和估值风险剔除 SpaceX rsync 3.4.3 疑因 130 个 Claude 协作提交引发回归 软盘保存:清洁、镜像与旧数据抢救 algebraic effects 争议:Bluefin、OCaml 5、Effect-ts 与 function coloring Perry 用 SWC+LLVM 直编 TypeScript,评论质疑 runtime、GC 和 AI 代码 日本石脑油短缺冲击化工供应链,Calbee 黑白包装引争议 白宫拟让政治任命官员终审科研拨款,引发科学政治化争议 Tiny-vLLM:C++/CUDA LLM 推理引擎,README 讲得像教材 PrusaSlicer开源ColorMix:多色打印对标Bambu,社区早有OrcaSlicer方案 Dickover:烦人覆盖弹窗的新叫法 Snowboard Kids 2 已100%反编译,利于移植和 Mod AI时代:人类价值不该按产出来算 MCP未死:企业控制平面与CLI/skills之争 伪托惠灵顿公爵书信:年代、署名与史实都对不上 EV 反人类设计清单:触屏化、玻璃顶、电子门把手争议 按当前天气切换的 Rothko 风格天气图 TV Explorer:免费在线 TV/IPTV 浏览器,带字幕、分享和死源扫描 Shift 免费清洁换家庭数据训练家用机器人 加州通过《Protect Our Games Act》,豁免条款引发停服争议 CodeView:浏览器里渲染超大 diff,语义 diff 才是下一步 Liquid AI 发布 8B-A1B MoE:小模型、本地部署与 Ollama 争议 SQLite + Litestream 做耐久工作流遭质疑,Temporal/DBOS 成替代方案 Mistral巴黎峰会:小模型落后,欧盟本地部署成主线 Robinhood开放AI agent炒股:散户收割、LLM不擅长生成alpha CAPTCHA仍能识别AI代理,但更依赖指纹与遥测 开源项目被滥用成钓鱼邮件入口 AI“死经济”争论:裁员吞噬消费、工作意义与政府接管 丹麦养老金因“灾难性治理”拉黑 SpaceX:Musk 控制权、指数纳入与估值争议 Bijou64:首字节可知长度的 canonical varint GTA 6 开发者组工会,游戏薪资为何低于 big tech Framework 12对比MacBook Neo:为可升级性多付60%值不值 Headway 心理治疗强制刷脸续诊:控药核验与隐私争议 古罗马高密度公寓:insulae、火灾风险与高层贫居 AI时代的专家价值:验证、经验与大学角色 退休离开 Tech:AI、生产力压力与离线生活 本地 Git remote:共享、隔离与 GitHub 误解 AI只该做琐事,别替代人情与创作 AISlop:检测 AI 生成代码坏味道的多语言 CLI 英国低价值采购系统逼企业月报“无交易” 郁金香狂热:泡沫神话与理性争议 用 LLM 写代码,也要让人比模型更累 AI会重演前端“失去的十年”吗? AI 编程提产却压缩思考,工程质量与协作承压 Cloudflare大规模AI代码审查:本地Hook、CI争议与长推理卡顿 500K AI电影“戛纳首映”被质疑只是公关噱头 8×H200实时LLM推理3k tok/s:‘标准GPU’争议与大模型扩展性 防水夹克演化:材料回潮、帽兜变迁与AI争议 意大利人与荷兰人教学时共享手势本能 Claude Code 隐藏配置:文档难找、版本快变、技巧易碎 大众汽车用 client assertion 阻断 Home Assistant 接入 Zot 支持 Claude Opus 4.8,评论聚焦 Claude Code 计费与 harness 神秘 Hy3 LLM 在 OpenRouter 霸榜:便宜、刷量与隐私争议 佛州火箭爆炸:被称N1以来最惨烈,疑似二级先炸 联网汽车监控升级:数据售卖、监管失灵与断网自保 Blue Origin New Glenn静态点火爆炸,发射台疑受重创 住宅建造为何难规模化:地段、法规、偏好与收入 十种基础云:WMO云图集、赏云社区与地域云差 据称被 Shopify 收购后,Garnix 关停并开源 Bot Company被指用Airbnb测机器人并毁坏房屋 Coalton:嵌入 Common Lisp 的静态类型 Lisp,工具链与类型建模讨论 ktx:面向 data agents 的开源可执行上下文层,自动生成语义层与业务 wiki 🚀 宿舍里做出百万美元的 nice!nano 键盘无线模块 ⚠️ 可拆电源线:便利与安全、标准化之争 🤖 Bitburner:写脚本的增量游戏,像 Factorio,3.0 改 API 加 Darknet Justine 募捐争议:旧言论、事实失实与生活方式质疑 《创:战纪》Shell history 镜头考据:其实很真实 LLM 文案、UI 与工程术语的“机器味” Bricks & Minifigs被指侵吞20万美元寄售LEGO 日本 randoseru 书包:颜值惊艳,AI文风惹议 写作不是天赋:靠迭代、编辑与清晰思考 Zig Days:LLM 话题要不要软禁 Postgres 做 durable workflows:DBOS、Temporal 与正确性争议 Google 搜索 AI化:用户、网站和 SEO 被边缘化 Anthropic Series H 融资 650 亿美元,post-money 估值 9650 亿,HN 争论能否压过 OpenAI 波士顿—百慕大:低价机票改写度假版图
Intel 8087 微码:寄存器交换、80-bit 浮点与 RISC/VLIW 对比
2026-05-31 · via News Hacker | 极客洞察

🎯 讨论背景

这篇讨论围绕 Righto.com(一个做芯片拆解和逆向分析的博客)对 Intel 8087(Intel 为 8086 配套的浮点协处理器)内部 microcode 的拆解,重点是其中一段名为 register exchange 的微操作流程。8087 使用 80-bit 浮点格式,因此既能提供更高精度,也让实现、验证和异常处理更复杂。评论区把它放进更大的架构演化里比较:早期常用 microprogram ROM(微程序 ROM)实现复杂控制,后来 RISC(精简指令集)和 VLIW(超长指令字)则尝试用更简单的指令和更快的存储层次来替代。大家还拿 IBM System/360、Apollo Guidance Computer 和 FPS AP-120B 等例子说明,性能、成本、可维护性和与主 CPU 的并行关系,都会影响这类芯片的设计取舍。

📌 讨论焦点

微指令格式与控制流设计

评论主要在追问 8087 的 microcode 设计细节,特别是为什么微指令格式里没有常见的显式控制流位。有人想知道 RNI 为什么单独成指令,以及寄存器传送后的延迟为何迫使很多槽位都像 nop。讨论的核心其实是:在这种微码引擎里,控制流到底该做成自动递增、显式跳转,还是把分支信息编码进地址。

[来源1] [来源2]

浮点精度、舍入与客户 bug 复现

一条很有意思的线索是 Intel 当年有工程师专门处理客户浮点 bug report,核心工作几乎就是复现边界案例。评论指出,很多投诉并不是程序崩了,而是同样的 fp 运算换个顺序就得到不同答案,用户对“正确结果”的期待各不相同。这里反映出的不是单纯的性能问题,而是浮点舍入、精度损失和语义约定带来的长期支持成本。

[来源1]

microcode 与 hardwired/discrete logic 的取舍

有人把问题延伸到:既然 microcode 更容易开发、测试和修 bug,那后来为什么不直接把成熟设计改成 hardwired/discrete logic 来提速。回复的观点是,这种改造通常不值得,尤其是已经稳定之后再回头修 bug 会非常痛苦。评论还提到少数例外,比如 IBM System/360 的高端机、Apollo Guidance Computer 和 NEC V33,它们在特定场景下为了性能选择了不同的实现路线。

[来源1] [来源2]

把微程序当程序跑:RISC/VLIW 视角

另一条争论是:为什么不把那 8 类简单操作直接放到正常 RAM 里执行,甚至让用户自己编写,外加一个小 cache。回应把这思路直接对应到 RISC 和 VLIW 的演化:早期机器把复杂控制塞进 ROM microprogram,是因为高速 cache 太贵,而后来才转向简单指令加更快的存储。评论还举了 FPS AP-120B(1976 年的浮点加速器)这个早期“超长指令字”式案例,但它的成本远高于 8087,而且 8087 还要和 8086 并行工作,所以让它频繁从 RAM 取微指令并不划算。

[来源1] [来源2] [来源3] [来源4]

📚 术语解释

microcode(微码/微程序): 处理器内部用来实现复杂指令的一层低级控制程序,常存放在 ROM 中。

microprogram ROM(微程序 ROM): 存放微指令的只读存储器,用来驱动 CPU 或协处理器的内部控制流程。

RISC(精简指令集): 强调简单、规则、易流水化的指令设计,减少对复杂 microcode 的依赖。

VLIW(超长指令字): 一条指令中打包多个可并行操作,由编译器或前端安排并行度。