FakeDOS 2.0 是一款适用于 macOS 13 及更高版本的免费屏幕保护程序，可将空闲的 Mac 变成怀旧、像素级的模拟 1990 年代 DOS 机器。它显示 AWARD BIOS 内存计数、闪烁的 VGA 提示符和伪造的命令输出；不会读取、写入、格式化、删除或连接任何真实内容。DIR、TYPE、FORMAT、CHKDSK、MEM、BOOT 和 Landmark 等命令会生成逼真的伪造结果。用户可通过将 FakeDOS.app 拖入 /Applications 安装，然后从菜单栏启动并配置空闲时间、速度、幽灵写入器和声音。空闲期后它将全屏接管；输入 EXIT 可返回。它是由 Klaus Rössler 和 Roger Kirchhoff 制作的 4.2 MB 通用二进制文件，支持 Discord。
每日HackerNews RSS
Hacker News 用户讨论了 FakeDOS，一款闭源 Mac 菜单栏应用，它会在空闲一段时间后变成全屏伪 DOS 提示符，输入 EXIT 后返回桌面。一些评论者喜欢怀旧整蛊的趣味，并将其与 xscreensaver 的 BSOD 模块作比较，而另一些人因该应用作为闭源软件从存在 TLS 问题的网站分发而质疑其安全性。帖子中还包含关于伪 DOS format 整蛊、AUTOEXEC.BAT 技巧以及历史 DOS 格式化行为的趣闻。技术评论指出，在某些 DOS 版本中，从驱动器内部格式化它本身是可能的；用户报告了 SSL 错误，作者称已修复。总体而言，这次讨论把对复古计算怀旧的娱乐与安装一个在电脑空闲时激活、不透明应用的安全怀疑混在了一起。
Google DeepMind 使用 AlphaProof Code 这个多 LLM 智能体框架，正式验证了 Signal 协议实际编译代码（而非仅设计）的关键安全属性。人类专家与 AI 将安全目标翻译为形式化规范；Gemini Carbon 智能体生成了超过六百万行 Lean 证明；Lean 检查了大部分，人类审查了约 1% 被标记部分。这耗时四周，而非数年。这是 AI 对广泛部署的密码协议进行如此深度形式化验证的首次，也是任何方法首次在实现层面进行验证。它证明了包括入侵后安全性在内的保护。该系统通过重新引入两个真实错误并证明存在错误的版本不安全来验证。这提高了软件安全保证的标准。
Google DeepMind 宣布，AlphaProof Code 帮助对 libsignal 进行了形式化验证，生成了数百万行 Lean 证明，并在其形式化的 Signal 安全模型下未发现破坏安全的 bug。评论者强调，这并不证明总体没有 bug：它只检查被验证实现的指定安全属性，不包括内存安全、死锁、编译器/硬件行为、应用/操作系统安全，或规范本身可能的缺陷。人类指定了并审查了关键部分，而 AI 代理生成并检查了证明。讨论串还争论了通用软件是否可被验证，指出规范很难、验证在设计时纳入最容易，以及 AI 可能使形式化方法更实用。其他人讨论了 AI 在编码中的作用、Google 的策略，以及对不可验证声明的怀疑。总体而言，结果被视为令人印象深刻但有限：对一个狭窄、精心建模的安全属性提供强保证，而非绝对的软件正确性。
你看不见。点击你的舌头来视物。这些走廊里住着某种东西。它也看不见，但它听得见一切。回声太近，或太频繁，它就会来。它奔跑时会尖叫。它尖叫时，其他东西会回应。最好在电脑上玩。请戴耳机玩。每个声音都被放置在你周围：你能听到它们在哪里。电脑操作：W A S D 行走 · 鼠标环顾 · Shift 奔跑（大声） · Space 回声定位 · Esc 暂停 · F 全屏。手机/平板（横屏）：左拇指行走（推远奔跑） · 右拇指环顾 · 点击 ECHO。这款视频游戏是免费的。如果你喜欢，通过听我的音乐支持我：Windlereye — https://windlereye.com © 2026 Luis Quesada Torres
黑客新闻
新帖 | 过往 | 评论 | 提问 | 展示 | 工作 | 提交
登录
Echoloc：一款极简的回声定位恐怖电子游戏（level102.itch.io）
13 分，由 ggambetta，1天前 | 隐藏 | 过往 | 收藏 | 4条评论
帮助
ggambetta 1天前 | 下一条 [–]
由熟人制作，100%免费游玩，只需浏览器。我不记得上次玩到真正吓人的电子游戏是什么时候，如果有的话！
回复
polyterative 1天前 | 上一条 | 下一条 [–]
作者会很高兴知道 Scanner Sombre 存在
回复
p1anecrazy 1天前 | 父评论 | 下一条 [–]
Devil’s Tuning Fork 是第一个，我相信
回复
nickdothutton 1天前 | 上一条 [–]
在游戏中打破第四面墙。好主意。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
2026年全球化石CO2排放预计下降0.4%至382亿吨，部分原因是太阳能和风能扩张，部分原因是与伊朗冲突相关的油价冲击（油价下降1.9%）。包括土地利用变化在内的总CO2排放预计升至433亿吨。剩余的1.5°C碳预算为1500亿吨，按当前速率不足四年。清洁能源增长正在减少许多国家的排放，但尚不足以实现全球持续下降。各国趋势包括中国-0.9%、美国-1.3%、欧盟-1.5%、日本-1%、印度+4.4%、世界其余地区-0.7%；航空和航运各下降1%。土地利用排放预计升至51亿吨，由与厄尔尼诺相关的泥炭火灾和森林退化驱动。科学家表示，需要更快部署可再生能源、电池、电动汽车和二氧化碳移除，以便在数年内使排放达到峰值并下降。
化石二氧化碳排放预计在2026年略有下降，部分原因是伊朗战争和关税等地缘政治冲击，而非仅因清洁能源进展。然而，由于毁林等土地利用变化增加，总二氧化碳排放仍预计上升，大气二氧化碳浓度也继续稳步上升。评论者就这种下降是否可持续展开争论，指出即使排放保持平稳，大气水平仍在上升。中国大规模可再生能源建设与太阳能生产被强调为主要的减排力量，但会计准则因惩罚清洁能源生产商、奖励化石燃料出口商而受到批评。美国和欧盟显示出相似的百分比减排，但美国人均排放仍约为欧盟的两倍。电网容量和电池存储等基础设施挑战被视为更快转型的障碍。虽然有些人认为电动汽车、太阳能和电池带来的进展在经济上不可避免，但其他人强调，实现持久的排放下降需要协调的全球行动，而不仅仅是市场力量。
我们网站的安全防护触发了拦截。如果你认为这是误拦截，请发送邮件至 [email protected]。请说明你是如何访问该网页的，并附上页面底部的 Cloudflare Ray ID。如果你想询问访问我们内容的权限，请发送邮件至 [email protected]。Cloudflare Ray ID：a584be3fc8defcf2 返回《大西洋月刊》
这条帖子讨论了一篇《大西洋月刊》关于持续监控孩子和家长的文章。评论者就位置追踪、家长监督以及是否削弱独立性和信任展开辩论。一些人视其为安全网；另一些人说它使监控正常化、引发焦虑并延缓自主性。家长分享严格的屏幕和社交媒体界限并声称有益；其他人警告过度保护可能适得其反。文中指出性别差异：女性可能更依赖手机保障安全，而男性常重视自由与极简主义。评论还提出更广泛的风险，包括数据经纪商、预测性警务、人工智能使用个人数据，以及孩子在监控环境中长大。总体而言，观点不一：追踪在紧急情况下可能有帮助，但如果取代信任、沟通和独立解决问题的能力，则可能损害发展。
AI生成的代码可以加速开发，但往往会产生脆弱的大型SaaS代码库。作者认为LLM编写浅层测试、过于复杂的代码，降低开发者理解，并推进过快以致无法仔细审查。警示信号包括事故增加、事故恢复变慢、仅用户可见的错误，以及用户/开发者体验下降。虽然AI可以生成大部分代码，作者结论是高质量、有韧性的软件仍需要人类判断、监督和设计，以服务真实用户和维护者。
Hacker News 的讨论围绕一篇文章展开，该文称 AI 使用会造脆弱代码库。评论者争论 AI 生成代码是否天生脆弱，还是取决于工程纪律。批评者指出测试浅层、过度复杂、人类理解减少、变更节奏快到无法评审。支持者认为 AI 无价、加速开发，并可通过架构、测试、规范和评审改进；许多企业优先发布而非质量。有些人报告大型 AI 维护应用没有重大问题，而其他人警告长期技术债、token 成本和机构知识流失。总体而言，该帖表明 AI 改变了软件经济学和工作流，但代码质量仍取决于人类监督、激励机制和工具，而非仅靠生成本身解决。
Yana van der Meulen Rodgers认为，人工智能热潮是一个重塑湾区家庭性别分工的劳动力市场故事。“理想工作者”为人工智能牺牲一切，留出更少时间做照护工作。女性使用生成式人工智能的可能性大约低20%，主要是因为她们集中在教育、医疗和社会服务等使用人工智能较少的领域；这可能会在财务回报和家庭劳动方面加剧劣势。许多男性在不稳定的AI领域不会成功，失业或不确定性可能带来抑郁。然后他们的伴侣成为支持者，因此丈夫离开AI领域可能会增加家庭负担，而不是减轻它。
Hacker News的讨论围绕一篇Wired文章展开，文章讲述湾区女性因伴侣沉迷于AI创业与炒作而感到被忽视。评论者争论AI是否具有独特的成瘾性，还是男性工作狂与兴趣沉迷的最新表现；有人认为它会放大类似多动症的行为和逃避心理，也有人认为问题在于优先级和关系边界。一些人批评文章带有性别色彩、性别歧视或过于简化，指出AI只是当前泡沫，类似忽视也可能来自游戏、乐器或其他追求。另一些人将AI描述为充满骗子的淘金热，警告其关系成本。出现了一些实际建议：断开连接、与家人相处，并把AI视为工具而非身份。整体上，讨论串在对受影响伴侣的同情、对叙事框架的怀疑以及呼吁平衡之间交织。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私权 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
Hacker News 讨论了一个名为“Billion Watts in the Speaker”的 YouTube 视频，展示了一位评论者认为是 Photonicinduction 的创作者进行的极端高功率实验。用户们在大约五年的 hiatus 后松了一口气， relieved 他还活着，并回忆他早前的高压 stunt。帖子里将音频波形与交流市电进行比较，debate 大型扬声器能否承受家用电流，并分享功放/扬声器功率的说法。一些人推荐 Styropyro 以获取类似高功率内容；其他人 joked 扬声器变成了轨道炮。评论者还 revisit 了他过去“free energy”视频，将其归因于因英国婚姻签证问题产生的个人 distress，并 note 他的妻子出现在新视频中。总体而言，讨论融合了敬佩、安全警告、技术猜测和对一位资深 YouTube 实验者的 nostalgia。
一个 Hacker News 帖子链接到了一个使用 WASM 和 WebGPU 的《潜行者：普里皮亚季的召唤》浏览器端口。评论者就这类未经验证的链接是否安全、以及该项目是否因使用被盗资源而构成盗版展开争论。有人认为 LLM 降低了重新实现引擎和进行移植的摩擦，而另一些人则表示无论 AI 如何，非法分发资源都是非法的。还有人讨论行业是否会转向云流媒体以防止资源被盗，尽管延迟、画质和硬件成本可能限制其采用。一位评论者提出 AI 版权问题，称模型训练本身涉及未授权材料。总体来说，该帖子将对经典游戏的访问热情与对盗版、安全和未来反盗版措施的担忧交织在一起。
本文探讨 Guava 复杂的 `isWhitespace` 实现。空白不只是空格；Unicode 列出 25 个 `White_Space` 字符，且定义在不同运行时中有所不同：Java 排除某些不间断空格，Python 包含 29 个字符，JavaScript 也不同。Unicode 也会随时间变化，使稳定实现更复杂。为提高速度，Guava 使用完美哈希函数而非扫描列表：将字符乘以一个魔法常数，移位以索引 32 字符的表，然后验证表项等于输入。这避免了已知空白集合的冲突。文章追溯 Guava 从简单方法到这一优化实现的演进，并强调即使是微小函数也可能涉及细致的标准和性能权衡。
**摘要："检查空白字符有多难？"（Hacker News 讨论）**
一个 Hacker News 帖子讨论了一篇关于高效检查 Unicode 字符是否为空白字符的博客文章。要点：
- Unicode 定义了 25 个空白字符，高效识别它们出人意料地并不简单。
- 博客文章提出一种完美哈希技术（乘法、移位、小表查找），用于无分支的 O(1) 空白字符检查。
- 评论者对此方法有争论：一些人认为简单的链式 OR 条件足够，而另一些人认为完美哈希在理论上更快。
- 还有人指出 Unicode 的空白定义并不总是直观——例如，ZERO WIDTH SPACE 技术上是格式字符，不是空白字符，且分类可能在 Unicode 版本间变化（MONGOLIAN VOWEL SEPARATOR）。
- 空白字符与上下文相关；渲染可能让非空白字符看起来不可见。
- Unicode 的设计妥协（与 ASCII/Latin-1 的向后兼容）导致了这种别扭。
- JavaScript 的 `\s` 与 Unicode 的列表不同（排除 U+0085，包含 U+FEFF）。
- 历史注记：8 位微机老手影响了早期 Unicode；ISO 的竞争性 UCS 标准在厂商抵制后被放弃。
帖子混合了技术优化讨论与 Unicode 趣闻和幽默。