动态语言对象常把名称到值的映射实现为哈希表,但哈希和间接访问使属性访问变慢。运行时转而使用 maps/shapes:作为属性添加而形成树状结构的不可变、稳定布局描述符。每个对象内联存储属性并引用其 map,实现快速偏移量查找。内联缓存记住最近的 map 和属性索引,将重复读取变为快速指针检查加索引加载;未命中则回退到字符串查找并更新缓存。Map 仅描述布局且与类无关,因此不同类可共享同一 shape,但这可能使分发复杂化。相关优化包括存储策略和类型冻结,后者在 shape 中记录值类型以减少守卫检查。一个小型 C++ 运行时演示了紧凑头部、内联属性和 shape 转移。总体而言,shape 用可预测布局替代灵活哈希表,使常见属性访问快得多。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 对象、属性、映射,哦天啊 ( bernsteinbear.com ) 7 分 由 ibobev 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 的 Winter 2027 批次! 申请 截止 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

实验性的 HTML-in-Canvas API 让开发者能够将可交互的 DOM 内容直接渲染到 2D canvas 或 WebGL/WebGPU 纹理中,同时保留可访问性、文本选择、浏览器集成和 SEO。它结合了 DOM 的优势——文本布局、表单、页内查找、扩展和可访问性——与 canvas 的性能。设置包括添加 `layoutsubtree`,使用 `drawElementImage`、`texElementImage2D` 或 `copyElementImageToTexture` 进行渲染,然后同步 CSS 变换。Three.js 和 PlayCanvas 等库已经支持它。演示包括 3D 书籍、折射 UI 和动画 SVG 纹理。限制包括不支持跨源 iframe 内容和主线程滚动限制。该 API 正在 Chrome 148–150 中进行源试用。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 HTML-in-Canvas API 起源试验 (chrome.com) 7 分,由 andrewstuart,1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 help chews 33 分钟前 [–] 嘿,伙计,我们在你 DOM 中的 Canvas 里放了一个 DOM。 回复 考虑申请 YC 的 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索:

启用 JavaScript 和 cookies 以继续

Hacker News 上的一篇帖子链接到 Steve 未发表的 1980 年 Byte 手稿《LISP Comes of Age》,记录了他 1980 年 8 月前往斯坦福 AAAI 会议的行程。他描述了与 Hofstadter、Vinge 和 Hogan 等人物交流,参观 Xerox PARC,探索 FORTH 和 AI 文化,甚至抓到一名在宿舍 prowler。AAAI 之后,他留了下来参加首届 LISP 会议,沉浸在该语言的文化中。这篇文章从未发表,因为编辑想要一篇技术性 LISP 文章,而不是文化哲学性文章,尽管它后来为他的教科书 AI Programming 部分提供了参考;手稿于 2018 年通过 Steve Orr 的扫描/OCR 被重新发现。HN 帖子(6 分,3 条评论)引用了更早的相关帖子和一个题为“Will Spiritual Robots Replace Humanity by 2100?”的后续会议演讲。文中还提到 YC Winter 2027 申请。

新近发现的埃尔温·薛定谔未发表手稿揭示了他对1940年代量子决定论争议的回应。与他作为决定论捍卫者的声誉相反,薛定谔认为非决定论比量子力学有更早的根源,且证据与逻辑无法证明决定论或非决定论不可能。在手稿中,他反驳了埃德蒙·惠特克的主张——即隐变量无法用光子与偏振器解释量子结果。薛定谔证明,隐变量不必只有两个可能取值;一个连续值与偏振器角度相结合,就能复现量子概率并在测量后更新。这提供了一个决定论模型,但并不断言宇宙必然是决定论的。他从未发表它,可能是因为海因里希·佩尔策已提出过类似观点。历史学家弗拉维奥·德尔·桑托认为,薛定谔在其整个职业生涯中都致力于非决定论,并将此类模型视为可能性的证明而非教条。

Hacker News 的帖子链接到一篇关于丢失的薛定谔手稿揭示量子物理新转折的文章。评论者讨论了薛定谔对惠特克光子论证的调整:允许隐藏变量取 0 到 1 之间的任意值,而不仅是两个值,就足以重建量子概率。另一位评论者强调了 S.N. 玻色 1944 年关于经典决定论与量子理论的讲座,并附有相关 PDF 和玻色档案的链接。用户称赞玻色优雅的推导,并指出他可能未得到充分认可,同时引用 Partha Ghose 关于玻色在旧量子理论与新量子理论之间的作用。页面还包括标准的 Hacker News 导航、登录链接和 YC 申请通知。

有人分享了来自他们本地维基百科的一篇文章,基于维基百科文章。探索你自己的本地维基百科:本地维基百科就是维基百科,但只限于步行半小时可达的事物。本地内容直接来自维基百科——仅包含带地理坐标的页面。如果你附近少于25个事物,它会在约6英里内取最近的25个事物。如果超过500个事物,仅包含最近的500个。你的位置保存在此浏览器中:你分享的链接不包含它。本站与真正的维基百科无关联。

Hacker News 推荐“Local Wikipedia”,一个显示步行半小时内地点维基百科文章的网站。用户称赞它有助于发现附近的历史和地标;评论建议增加距离选择、公制单位、修复图片链接,并指出缺少地理坐标。一位用户认为制作耗时过长。

本文介绍了一种采样科研方向的方法:这些方向在科学上连贯,但在认知上无法被现有学术社区触及——即“科学的异化空间”。它将论文分解为概念单元,聚类成“思想原子”,并使用连贯性模型对可行组合评分,使用可及性模型估算现有作者社区能否产生这些组合。组合按最大化连贯性、最小化可及性的标准排序。在16,068篇同行评审的LLM论文上测试,该采样器比前沿LLM基线产生更多样化的研究组合,同时在盲测的人工、LLM和实验评估中达到或超过每个想法的质量。时间验证显示,选择不到1%的候选可按35.9倍于随机概率恢复2025年组合,而对不可及性加权可将严格新组合的恢复提升至3.24倍于随机。该框架旨在扩展对社区可能忽视的连贯方向的探索,是对人类科学的补充而非仅加速。

一篇被NeurIPS接收的论文提出“Alien Sampling”,用于生成科学连贯但现有研究人员不太可能提出的机器学习研究想法。它将16,068篇LLM论文分解为273个想法原子,训练一个预测哪些想法组合相契的连贯性模型,以及一个为39,791名研究人员预测合理下一步方向的认知可用性模型。它对候选元组评分,以优先选择连贯且对任何人都认知不可用的组合。在回溯测试中,高分想法后来出现在2025年的论文中,包括一篇ICLR 2025 oral论文。与通常关注可解释性的Claude生成机器学习想法不同,Alien Sampling没有产生可解释性相关的想法。在人类评估中,Alien报告平均排名最佳,并占前五中的三项。该方法被扩展到数百万篇论文和数千万个概念,产生了25,000个可搜索提案。

OnKey 是一款面向 Apple Silicon Mac(macOS 14.2+)的免费开源歌唱训练器。它在你通过 Spotify、Apple Music 或浏览器播放歌曲时监听,播放一次后学习歌手旋律,然后显示滚动音符,并按每行对你的音高评分。它不提供、不流式传输或下载音乐;音乐由你自己的应用播放。设置需要麦克风和系统音频权限。OnKey 将录音和学习到的歌曲保存在你的 Mac 上,不保存源音乐,且无账号、分析或崩溃报告。有限的网络请求包括 Shazam、LRCLIB、iTunes、图片主机和 GitHub 更新,并在设置中提供开关。它用于你有权播放的音乐的居家练习;不要分享或发布转录的旋律,并通过应用的无音乐视频功能分享演唱。建议使用耳机。除 YouTube/仅听模式的 Shazam 命名外,它可从源码构建。发布版本已签名并公证。由 Daniel Murrell 创建;MIT 许可。

抱歉。

一个 Hacker News 帖子链接到 "Move Slow and Fix Things (2024)",并收集了关于软件质量、安全和创业激励的评论。一位评论者表示,网络安全工作受到高管优先考虑功能和短期利润的阻碍。其他人辩论 VC 创业模式:一些人将其视为"快速致富"的路径,而日常企业则为顾客逐步成长。另一位指出,销售和融资常常主导小型软件企业。一位评论者在 Paul Graham/YC 和 DHH/Basecamp 方法之间摇摆不定;回复引用 Daniel J. Bernstein 和 Colin Percival 作为其服务大多避免黑客攻击的建设者,而另一人批评 DHH 有毒。页面还包含一个 YC Winter 2027 申请提示。

想象一下 RoboGym。有一个标着“Lift”的按钮。按下它,你会看到一个重物升到空中再落回地面。移动下面的滑块,移动的重量就更多或更少。一个有用的计数器告诉你锻炼消耗了多少焦耳的能量。这不是锻炼的重点?对。Genies 正在被设计成心灵的 RoboGym。如果它们不是呢?什……

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 拿走我的辛劳,留下我的挣扎 ( kentbeck.com ) 4 分 由 KentBeck 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 TehShrike 23 分钟前 [–] 如果不能链接到 archive.is 或其他存档页面,提交这样一个没有内容的页面有什么意义 回复 考虑申请 YC 的 Winter 2027 批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Amanda Smith在宾夕法尼亚州因阿肯色州的计算机欺诈逮捕令被捕,此前一名诈骗犯使用她的社会安全号码和出生日期以其名义创建了一个CashApp账户。该诈骗犯据称诱骗一名Facebook Marketplace买家向该账户发送了1000美元。Smith表示她从未去过阿肯色州或使用过CashApp,她在监狱中度过了三晚。她现在面临未结刑事案件,必须证明自己无罪,而CashApp因她无法证明所有权而拒绝共享账户详情。

一篇 Hacker News 帖子链接到一篇 TechSpot 文章,内容是一位女性因一个她称从未开通过的 Cash App 账户面临六年监禁。该帖子有 25 个赞和四条评论。评论者对司法系统表示愤怒,预测企业和检察官将逃避追责,质疑如何防止社会安全号码被滥用,并认为检察官优先考虑定罪率而非正义。一位评论者表示,即使定罪后来被推翻,这名女性仍可能先遭受毁灭性后果。

海因莱因对普通人的品德表达信念,从邻居和镇民到护士、教师、工人与政客。尽管关于犯罪的头条层出不穷,他指出,诚实、关爱他人的人远比罪犯多,他们通过默默牺牲与诚实劳动维系社会。他认为几乎所有政客都出于善意努力维持体系运转。最终,他肯定全人类,信任其勇气、智慧与根本善良,足以生存与坚持,并最终走向地球之外。他的核心信息是:人类的善良普遍、强大且持久。

黑客新闻 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我所相信的 (awakin.org) 7 分,由 ctoth,2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 ballmerpoint 7 分钟前 [–] (1952)。 海因莱因真是个古怪的人。一方面极其进步,另一方面又极其保守,有时在一段话里就能同时体现。 回复 考虑申请 YC 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

一名联邦法官暂时阻止国土安全部在九个州开展与选举相关的实地行动,当特工针对他们知道、怀疑或应怀疑为美国公民的人时,认为因没有联邦公民身份数据库而存在高错误风险。特朗普政府的努力使用了来自可疑独立来源的4820万条记录和司法部的5060万条记录,经iLab用未知人工智能工具增强处理,然后在严格时限下人工审查。法官强调,该命令不妨碍联邦对非法投票的调查。命令适用至11月3日晚8点或投票站关闭。该裁决紧随新闻:洛杉矶县无法核实司法部标记的20,000名选民的公民身份,以及特朗普政府起诉加州。国土安全部关注加州、康涅狄格州、佐治亚州、密苏里州、内华达州、纽约州、宾夕法尼亚州、华盛顿州和威斯康星州。

一台使用了三年的华硕 Zenbook Pro 17 反复在休眠唤醒时重启,导致电池耗尽并在包内发热。原因是 MediaTek Wi-Fi 6E MT7922 适配器:在现代待机(Modern Standby)期间,其驱动错误处理低功耗转换,崩溃,使系统部分保持唤醒,触发异常电池耗电,并导致 Windows 强制唤醒失败,进而重启。解决方法是打开设备管理器,在网络适配器下找到 MediaTek 适配器,打开“属性 > 高级”,选择“节能”,并将其设置为“已禁用”。这样可防止适配器进入有问题的节能休眠,避免崩溃。目前仍无合适的驱动修复,但该临时方案已有效三周,应能帮助其他遇到相同问题的华硕/Windows 用户。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为什么我的华硕笔记本睡眠后总重启,以及如何修复 ( idiallo.com ) 11 分 由 surprisetalk 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 brokenmachine 30 分钟前 | 下一条 [–] 营销总说我们即将迎来 AGI,但在 2026 年,让一台普通笔记本可靠地睡眠仍然是一个未解难题。 回复 BobbyTables2 12 分钟前 | 上一条 [–] 该死! 40 多年笔记本计算了,睡眠仍然是个问题!!! 回复 考虑申请 YC 2027 冬季批次! 申请 开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

以色列总理本雅明·内塔尼亚胡表示,他已指示以色列安全部队推翻伊朗政权,在以色列10月27日选举前升级了言论。他声称最高领袖穆杰塔巴·哈梅内伊正在寻求核武器,但文章指出没有证据表明德黑兰已决定追求核武器,且美国情报机构对此持不同意见。内塔尼亚胡表示以色列面临生存危险,并引用特朗普总统"完成任务"的言论作为共同决心。此外,《金融时报》报道称,内塔尼亚胡本月早些时候寻求恢复对伊朗的轰炸,以色列国防军于10月10日做好准备,但特朗普推迟了在11月3日美国中期选举前重启冲突。据报道,计划中的打击将针对核设施、政府和民用目标,且比2月28日的袭击更重。

中国机器人领先企业宇树在周三上午的宣传视频中揭开了H2-X的面纱,突显了人形机器人的可怕能力,并引发了对其最终军民两用应用的疑问。H2-X的片段提醒我们,人类离《终结者》电影中的天网机器人有多近,而在活跃战区进行测试/部署正日益成为近在眼前的现实。“强大的性能,为您服务与守护,最大续航约8小时,”宇树在X上写道。宇树的视频建立在BTIG上周的说明基础上,该说明概述了“真实世界证据”,表明这些人形机器人正走向工厂车间、仓库和餐厅柜台。我们今年第一季度的看法是,这种动向已经表明这些机器人正在引起乌克兰军事指挥官的兴趣,测试可能正在进行中,或很快开始。

请启用JavaScript和cookies以继续

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 注意力缺陷/多动障碍人群的死亡率 (jamanetwork.com) 16 分 由 gumby 1小时前 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

这段文字批评受女性主义启发的虚构作品,认为浪漫小说和《Wicker》这类电影揭示了女性对男性劳动、保护与关注的隐秘渴望,同时拒绝传统互惠。它声称怪兽浪漫的流行与《Wicker》反映堕落的恋物癖和觉醒宣传,并认为女性主义者想要男性的利益却不愿接受男性领导。它还预测《Wicker》票房可能扑街。

卡莉·米恩斯是卫生部长小罗伯特·F·肯尼迪的高级顾问,也是“让美国再次健康”倡议的倡导者,他未说明原因就将离职。他称赞特朗普总统和肯尼迪,并提到在膳食指南改革、去除食品染料、GRAS改革、迷幻药改革、从食品券中移除苏打水以及政府食品采购等方面的工作。《华尔街日报》报道称,他对白宫拖延肯尼迪的食品优先事项感到沮丧,并对食品行业的影响感到失望。他的离职发生在定义超加工食品和监管学校餐食的公告被推迟之后。米恩斯表示将继续支持MAHA议程。

AIPAC宣布停止为候选人背书并直接向竞选捐款,理由是政治环境敌对,其支持已成为一种负担。它仍将通过其“联合民主项目”超级PAC进行无限额独立支出。此次转变发生在代价高昂的密歇根州参议院初选失利和成功罢免众议员托马斯·马西之后。AIPAC面临来自Track AIPAC等追踪者的日益增长的批评与审查,一些政客现在拒绝接受其资金,该组织也已向共和党倾斜。要求其依据《外国代理人登记法》进行登记的呼声也再次出现。在加沙之后美国公众对以色列支持下降之际,AIPAC将这一变化描述为战略调整。

过去几周,您可以直接从出版社购买我的新书《The Secret Life of Circuits》。但话说回来,我知道你们中有些人不想让杰夫·贝索斯挨饿,所以我高兴地宣布,它现已在亚马逊上架:在亚马逊购买。欧洲的潜在读者可以在 amazon.de、amazon.fr、amazon.pl、amazon.es、amazon.nl、amazon.se、amazon.it 和 amazon.co.uk 下单。本书也在美国和加拿大的 Barnes & Noble 及其他主要在线零售商有售。我们进行了严格测试,确认本书不含 AI 垃圾内容。趁此机会,我有一个小小请求:如果您读过《The Secret Life of Circuits》并且有亚马逊账户,请考虑留下真实评价。评价对他们的推荐算法很重要;2026 年,每位人类作者都在与数百本 AI 生成的书籍“竞争”。甚至还有 AI 标题抢注现象:当然,杰夫和我都要感谢你们的支持!

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 《电路的秘密生活》现已全面上架 ( coredump.cx ) 8 分 由 surprisetalk 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 dead_hn_theory 15 分钟前 [–] 我仍然不知道这本书的目标读者是谁。 回复 欢迎申请 YC 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

伊朗长期以来不公开讨论核武器的禁忌正在因美以战争而瓦解,议员、安全官员和评论员公开呼吁制造炸弹以进行威慑。这一转变发生在数月冲突、对核设施的打击和外交停滞之后。伊朗核基础设施严重受损,但其60%丰度浓缩铀库存部分仍下落不明,美国和以色列官员称离心机已转移至深埋地下的Pickaxe Mountain。部分伊朗人士认为炸弹可保证生存;另一些人警告这会招致更进一步的毁灭,并落入以色列的算计。伊朗仍留在《不扩散核武器条约》中,并称其计划为民用,尽管自美国退出《联合全面行动计划》以来已提高浓缩程度。华盛顿要求对浓缩能力进行有意义的削减,而伊朗已提出作为协议一部分稀释其库存。这一辩论凸显了对伊朗实际造弹能力的不确定性。

在阿拉斯加的美国参议院竞选中,现任共和党参议员丹·S·沙利文面对挑战者丹尼尔·J·沙利文 Jr.,后者是一名退休的彼得堡教师、注册共和党人,而非民主党人。特朗普总统将该挑战者攻击为被安插的虚假候选人,称民主党人将其列入选票以混淆选民,并正在考虑采取法律行动将其移除。然而,包括州最高法院在内的阿拉斯加法院裁定该挑战者可以继续参选。选举官员曾试图以误导性意图将其移除,但一名法官推翻了该决定。选票将他们区分为“Sullivan, Dan S.”(现任)和“Sullivan, Daniel J. Jr.”。该挑战者还曾是阿拉斯加独立党成员,初选中以2.47%的得票率位列第三,并有资格参加排序复选制的普选。他否认自己是被安插的候选人,称因对这位参议员不满而参选。民调显示民主党人玛丽·佩尔托拉小幅领先沙利文,尽管特朗普声称沙利文大幅领先,但姓名混淆仍可能具有重要影响。

颜色名称 查找名称,或粘贴十六进制值 GitHub ? 正在加载名称… 31,970 个由人们命名的颜色。 颜色名称是一个开放的、社区成长的、独特的、人工命名的颜色名称集合。可在 MIT 许可下免费使用,提供 npm 包或 API。 支持列表 领养一个颜色以支持我的工作。 选择你最喜欢的,打开并点击 领养此颜色 : $5 起,你的名字将永远留在上面。每个颜色只能被领养一次。 领养颜色 明白了 全部 所有名称 精选 人工挑选 简短 一两个词 已领养 由支持者 查看

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 颜色名称 ( color.pizza ) 4 分 由 akkartik 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 ploppyfenis 1 小时前 [–] 动画太多了。我本来想点击并查看一些名称,但 spacemountain 的缩放进出太烦人了,所以我改为留了这条评论。 回复 考虑申请 YC 的 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

调查记者马修·科尔在一本即将出版的书摘中指控称,贾里德·库什纳在担任白宫高级顾问期间,能够接触含有约20亿美元、来自海湾王室成员的外国秘密账户,其中包括一个与慈善机构相关的阿联酋账户,以及一笔转往以色列的资金。科尔称,荷兰情报部门看到库什纳通过被黑客攻击的iPhone登录一个阿联酋账户,并称部分资金可能使他个人受益。库什纳否认所有指控,称其为虚假,表示没有提供银行记录,他的律师也称不存在这些账户。书摘还称,海湾领导人最初考虑设立更大的秘密基金,但最终改为将资金放入部分由库什纳管理的账户;一名消息人士称,库什纳曾承诺在特朗普面前推动阿联酋利益。科尔报道称,内塔尼亚胡要求对一个以色列账户的交易进行通知。前官员据称不知晓任何授权。文章还提到此前与库什纳相关的海湾金融争议,包括他离任后沙特公共投资基金向其公司投资20亿美元。库什纳目前再次担任特朗普的特使。

启用 JavaScript 和 cookies 以继续

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 AI 算力是新的石油——需要新的市场 (economist.com) 3 分,由 ijidak 47 分钟前发布 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 Avicebron 17 分钟前 | 下一个 [–] AI 必须把我们带到我们想去的地方,然后它的算力才能与石油相提并论。 回复 BatchJob 15 分钟前 | 上一个 [–] AI 新闻是新的 IDGAF,需要新的网站。 回复 考虑申请 YC 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在卫星导航与 GPS 诞生之前很久,探险家们就已经将目光投向太空。自人类第一次仰望夜空以来,就一直为星星所着迷。数千年来,天文学家一直在追踪星星及其他天体(如行星,古希腊人称之为 planetes,即“漫游者”)的位置。他们借助星星讲故事、做预测,甚至指路。这一切都依赖于对头顶天空的精确地图——无论是心理地图还是其他形式。这张由 Florian Winkler 制作的精美地图收录了北半球夜空中的星星。它基于 Stellarium、HYG 数据库以及 W. H. Finlay 的《深空天体简洁目录》的信息构建。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 绘制北方天空 (maps.com) 6 分 由 tmseidman 34 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

作者正在构建容器运行时,并总结了 Docker 的怪异之处:容器只是受限进程而非虚拟机,依赖命名空间、cgroups 和网络隔离;镜像是通过 chroot/pivot_root 访问的文件夹。Docker 下载镜像、存储它,然后运行其中的路径。runc 用 Go 编写,其多线程运行时和缺少 fork 使系统调用密集的容器设置复杂化,需要变通方法。Docker 通常需要 root,尤其用于网络;无 root 运行时可能在用户空间重新实现网络。构建该工具让作者学到了很多。

一篇题为“Docker Is Weird”的 Hacker News 帖子(codeandcake.dev)获得了 16 个点和 6 条评论。Docker 创建者 Solomon Hykes(shykes)参与了讨论,称其为对其设计的怀旧回顾并表示愿意回答问题。评论者询问了他现在会有什么不同做法、是否预料到 Docker 的成功,以及他的最初愿景,同时有人抱怨 Docker 常被过度用作通用解决方案。其他人分享了学习资源,包括 Liz Rice 的“Containers From Scratch”演讲和 LWN 关于 Linux namespaces 的系列文章,并建议采用 rootless Podman 的 fork-exec 方式。页面还包含 Y Combinator Winter 2027 申请推广。

Anthropic 和 Theorem 使用 Claude 扩展了真实世界软件的形式化验证。Claude 为 123 个开源库中的 239 个模糊测试入口点证明了安全属性,表明在 RISC-V/Linux 上单线程静态二进制文件假设下,编译后的 RISC-V 程序不会因内存安全错误或断言失败而在任意小于 64 MB 的输入下崩溃。该工作生成了约 1.8 亿行 Rocq 证明,并发现了许多长期隐藏的错误,包括一些需要大或异常输入的错误。相同方法还支持了其他案例研究,例如证明 zlib 正确性和验证 Rust Python 解释器。作者认为,LLM 可以使形式化验证在关键任务软件之外变得实用,尽管证明依赖于规范和机器模型,因此已验证代码并不保证无 bug。他们预计验证将成为安全软件开发的标准部分。

Hacker News 讨论一篇 Anthropic 文章,称 LLMs 使形式化软件验证在更大规模上可行。其附录指出,代理生成的证明除非围绕更好的模块化抽象组织,否则可能遇到复杂度瓶颈。评论者争论 LLMs 是否能超越人类知识的“凸包”,认为它们擅长插值但弱于新颖外推。其他人将证明与专用语言中的代码相比较,并建议模块化证明技能可能泛化到编程。怀疑者质疑实际验证了什么:该方法证明模糊测试未发现崩溃,这可以建立有意义的性质,但不能证明相对于完整规范的完全正确性。评论者还提出模型与实际代码、编译器或硬件之间可能存在的差距,而一位用户表示 Claude 除非明确提示,否则很少执行形式化验证。

加利福尼亚州图莱尔县承认,在选票更换过程中,打印机供应商出错,向图莱尔市地区的7791名选民寄送了重复的邮寄选票。官员表示,供应商已承担责任并发出指导;选民被要求销毁重复选票,不要寄回或投票,因为州法律每场选举只允许一张选票。该县约有22.7万名注册选民。

Nick Desnoyer,植物生物学家兼花卉设计师,通过育种与基因工程创造新型花卉。他的新项目Paintunia将矮牵牛变为活画布:由地塞米松等小分子激活的诱导型基因产生色素,从而实现绘制图案;他计划加入青、品红与黄的色素通路。早前,他通过结合突变体与RUBY色素转基因,将拟南芥变成粉红色微玫瑰。他将花卉设计解释为雕塑形态与绘制颜色,利用已知突变、杂交、CRISPR与转基因,同时运用矮牵牛多样的色素与图案。他还探索气味与互动特性。最终,他希望建造一个由独特、奇异花卉组成的植物园,加深公众对生物学的理解与欣赏,并将Paintunia引入课堂,作为可及的艺术—科学工具。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 如何设计花朵 (asimov.press) 9 分 由 surprisetalk 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 Meleagris 15 分钟前 [–] 刚读完贝基·钱伯斯的新书《As You Wake, Break the Shell》后,偶然看到这篇很酷的文章。 回复 考虑申请YC的2027年冬季批次!申请开放至11月2日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:
联系我们 contact @ memedata.com