## 微软系统阅读小组:总结 从2021年3月开始,一位微软工程师发起了一个阅读小组,最初专注于数据库内部原理,源于其在Azure Cosmos DB上的工作。小组最初以研究论文的非正式讨论开始,很快扩展到数据库之外,例如内存管理和共识协议等主题自然涌现。 2024年,形式演变为有引导的阅读系列,利用诸如“红皮书”之类的资源来加深理解并建立在之前的讨论之上。到2025年,范围显著扩大,导致更名为“微软系统阅读小组”。2026年的重点是“数据中心基础”,探索云计算的基础设施。 在运营小组中获得的关键经验教训包括:优先考虑一致性而非频率,允许范围有机发展,并拥抱协作学习环境,组织者不必成为专家。拥有联合组织者对于保持动力至关重要。该小组促进了微软内部的宝贵联系,带来了专业的见解和丰富的对话。最终,作者鼓励其他人启动类似的团体,强调简单开始和迭代改进。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在微软运营系统阅读小组五年 (armaansood.com) 5 分,来自 Foe 1小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 Foe 1小时前 [–] 大家好,我已经在微软组织系统阅读小组五年了。我记录了一些经验,关于哪些有效(哪些无效)。如果有人成功地在他们的公司维持了一个工程阅读小组,或者你们有什么喜欢的系统论文可以添加到我们的列表中,我很乐意听取!回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 字体识别模型:学习历程 出于对字体的个人兴趣和学习人工智能模型训练的愿望,一位软件工程师构建了“Lens”字体识别模型。现有的在线工具通常依赖于专有字体或需要手动选择字形——Lens旨在无需手动输入,从图像中识别最接近的*开源*字体。 该项目不仅仅是训练一个PyTorch文件,还需要构建一个完整的“模型”流程,包括图像处理(裁剪、清理)和输出映射。关键的学习包括专注于相关输入(图像中最大的文字块)以及认识到数据收集和清理占据了90%的工作量。 诸如分离CPU/GPU任务和从小型训练开始(每个字体5张图像)等优化被证明至关重要。虽然训练面临云端上传挑战和漫长的迭代周期,但最终的模型表现出准确和快速的性能(2-3秒)。代码已在GitHub上公开可用,但尽管性能优于现有解决方案,分发仍然是一个挑战。该工程师计划继续改进Lens,并探索其在排版和设计中的进一步应用。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 从头开始训练字体识别模型的经验 (mixfont.com) 5 分,justswim 1小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助 Terretta 12分钟前 [–] 有启发性,并且你的时间得到了有价值的仓库作为回报。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 美国-伊朗冲突中海湾动态的变化 美国/以色列与伊朗之间近期不断升级的紧张局势,正在显现出海湾国家复杂且不断演变的回应。在伊朗袭击美国基地和区域基础设施后,沙特阿拉伯已允许美国使用法赫德国王空军基地——比现有设施更靠近潜在目标——并与特朗普政府密切协调。阿联酋表示准备好迎接旷日持久的冲突,预计战争可持续长达九个月。 然而,并未出现统一的海湾国家回应。虽然沙特阿拉伯和阿联酋似乎越来越支持威慑伊朗,以应对直接袭击,但阿曼则倡导缓和,并质疑美国行动的合法性。人们越来越担心美国是否有能力充分保卫其盟友,特别是补充拦截导弹的能力。 伊朗的袭击正在挑战长期存在的区域规范,海湾国家面临两难境地:在防御措施、回应美国要求和避免完全卷入美国-以色列冲突之间取得平衡。沙特阿拉伯的目标是“穿针引线”——建立威慑的同时寻求外交解决方案——同时承认需要一个冲突后的安全框架。 这种情况凸显了海湾内部日益加剧的分歧,一些国家优先采取对伊朗的强硬立场,而另一些国家则强调调解和地区稳定。

DoorDash 页面加载失败,请稍后再试。 错误详情 客户端IP:47.245.80.60 Ray ID:9e071d9fc9950cd4

DoorDash推出了“Tasks”新功能,允许Dashers为商家完成店内小任务——本质上是将检查产品陈列或确认价格等任务正式化。 Hacker News上的公告引发了关于零工经济本质的讨论。一些评论员认为这进一步模糊了就业和不稳定、缺乏福利的劳动之间的界限,将灵活性视为对不稳定的积极宣传。另一些人指出,这项工作类似于现有的商店员工职责或神秘购物,并推测DoorDash可能会从这些任务中收集有价值的数据。有人分享了一个链接,提到Waymo之前曾支付给DoorDash司机以进行类似店内数据收集。 核心要点是,DoorDash正在将其服务扩展到交付之外,可能会开辟新的收入来源,同时也引发了对零工经济不断演变的质疑。

## NixOS:献给确定性的一封情书 作者对NixOS的喜爱并非源于其Linux发行版特性,而是源于Nix包管理器的强大功能——一种**确定性和可重复的软件包管理**系统。与随着时间推移积累不可预测“状态”的典型操作系统不同,NixOS允许从声明式代码构建整个系统,从而实现轻松的重建、修改和回滚。 这种声明式方法是关键:所有配置,从桌面设置到按键映射,都定义在一个地方,消除了碎片化的设置过程。NixOS提供卓越的稳定性,更新可预测,并最大限度地减少系统漂移。 除了个人使用,Nix在现代开发中表现出色,尤其是在LLM编码代理方面。它允许隔离的环境,从而可以试验特定的工具版本,*而不会*污染基础系统——对于快速发展的工具来说,这是一项至关重要的优势。 这也扩展到部署,为Docker提供了一种更具确定性的替代方案。 最终,作者重视NixOS的一致性以及它提供的安心感——一个稳定、可配置的系统,能够“不碍事”,并允许专注于创作和实验。 它代表着一种软件系统的愿景,这些系统是声明式的、可重现的,并且在跨平台之间可靠地保持一致。

## NixOS:爱恨交织 这次Hacker News讨论围绕着独特的Linux发行版NixOS及其包管理器Nix。用户称赞NixOS的**确定性构建**——软件包会被缓存,无需为CI重新构建,以及**易于复现的开发环境**。其核心吸引力在于其“近乎柏拉图式”的完全系统声明和回滚能力的理想。 然而,学习曲线陡峭。许多人觉得编写Nix表达式令人沮丧,而最近关于“flakes”的指导又增加了困惑。尽管如此,用户建议即使不完全采用系统,也可以利用Nix进行软件包管理(`nix-env`)。 讨论还涉及处理具有自身更新机制的软件(Discord、Jetbrains Toolbox)——通常需要使用Homebrew与Nix结合等解决方法。对磁盘空间使用量的担忧被承认,但被认为是对于高级用户来说值得的权衡。最终,共识是NixOS具有两极分化的特点:人们要么完全拥抱它,要么很快放弃它,但对于那些坚持使用它的人来说,它提供了无与伦比的控制和可重复性。

民主党内部日益增长的不满情绪威胁到参议院少数党领袖查克·舒默的领导地位。在去年一次有争议的政府拨款投票后,一个被称为“斗争俱乐部”的民主党派系——包括沃伦和史密斯参议员——正在积极策划在年中选举后取代他。 核心问题在于人们认为舒默偏袒中间派候选人,压制了进步力量,阻碍了筹款工作。与舒默结盟的参议院多数政治行动委员会的资金明显落后于共和党 counterpart,引发了人们对民主党在2026年竞争能力的不安。 虽然舒默目前似乎拥有足够的支持来抵御直接挑战,但不安情绪普遍存在。甚至例行人员会议也成为了表达不满的场所,一些人呼吁舒默在2028年宣布退休。据报道,舒默首选的继任者是布赖恩·沙茨参议员,但他正在等待舒默先做出行动。尽管目前幸免于一场潜在的叛乱,但舒默面临着越来越大的压力,以及一个日益渴望新领导层的政党。

## .NET MAUI 的 Avalonia:首个预览版发布 .NET MAUI 的 Avalonia 后端首个预览版现已发布,使开发者能够将 .NET MAUI 应用程序部署到 Linux 和 WebAssembly 等平台。 这扩展了 Avalonia 的跨平台能力,并提供了原生和绘制 UI 之间的选择——允许应用程序与宿主操作系统融合*或*在所有平台上保持一致的外观和感觉。 入门很简单:在现有的 .NET MAUI 项目中添加一个 NuGet 包和一个目标框架。 团队专注于与 .NET MAUI 控制的对等性,从而为所有用户带来了 Avalonia 12 的新导航 API。 广泛的测试包括移植 MauiPlanets、AlohaAI 和 MyConference 等应用程序,展示了成功的功能互操作性,且代码更改最少。 WebView、GraphicsView 和 SkiaSharp 等关键组件也受支持。 未来的开发包括基于 Avalonia 的 Maui.Essentials 定制实现以及与 WinUI 的互操作性。 此预览版旨在赋予开发者更大的控制权和灵活性,以构建真正跨平台的 .NET 应用程序。

## MAUI 在 Linux & Wayland 上的挑战 最近一篇 Hacker News 帖子讨论了 .NET MAUI 框架即将发布在 Linux 上的情况。虽然受到欢迎,但一位评论员指出 Linux GUI 工具包支持的一个常见问题:通常感觉不完整。 核心挑战在于 Wayland,Linux 的显示服务器协议,它提供了多种渲染窗口的方式(顶级窗口、弹出窗口、图层、子表面等)。在高层工具包中支持 *所有* 这些方法很复杂,而且很少完全实现。 另一位评论员讽刺地指出,微软倾向于为 Linux 开发新的框架,而较旧的 Windows 技术(如 WinForms)仍然存在。这场讨论突出了实现全面的跨平台 GUI 支持的困难和细微之处,尤其是在使用 Wayland 的 Linux 上。

快速、易用,专为今天的学生设计——没有高昂的价格。Zero ZGC4 结合了熟悉的设计和现代性能,并内置编程工具,帮助学生在课堂上保持自信,为考试做好准备。专为日常学校使用设计。快速发货。无需订阅。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Zero ZGC4:一款更好的学校及更高阶的图形计算器 (zerocalculators.com) 4 分,by uticus 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 代码并非消亡,而是在进化 尽管有相反的说法,代码并非正在消亡——它正被人工智能改造。利用自然语言通过人工智能生成代码的“氛围编程”的兴起,感觉是革命性的,它允许快速迭代和原型设计。然而,这种便捷性创造了一种精确性的假象;建立在模糊基础上的复杂系统*最终*会崩溃,正如协作编辑器失败等现实世界案例所证明的。 关键不是放弃代码,而是改进**抽象**——创建越来越精确的层来管理复杂性。人类擅长这种信息压缩,而AGI将放大这种能力,解决我们最具挑战性的抽象问题。 代码本身的价值不仅仅在于它产生的软件,还在于其内在的质量和清晰度。 正如语法正确的写作仍然至关重要一样,即使有了先进的人工智能,编写良好的代码也将至关重要。 AGI不会消除对良好代码的需求;它将*使*我们能够编写*更好*的代码,专注于优雅的解决方案和强大的系统。 现在否定编码就像否定印刷术的发明中的讲故事——一种为强大新时代做准备的基本技能。

## 代码并非正在消亡,只是面临成长阵痛 最近的 Hacker News 讨论强调,围绕“无代码”和 AI 驱动开发的炒作并非取代传统编码,而是制造了新的问题。用户观察到一种循环:快速修复的 AI 解决方案导致软件架构不良,最终需要昂贵且令人困惑的重写——被称为“理解债务”。 核心问题是缺乏理解;工程师越来越多地依赖 AI 代理,却不掌握其底层逻辑,从而阻碍了他们调试或维护系统能力。 例子包括最近由 AI(Kiro)导致 AWS 中断,以及随后对 AI 生成代码进行手动审查的需求,具有讽刺意味的是,这*减慢*了开发速度。 讨论表明,虽然 AI 工具功能强大,但它们并不能消除对熟练工程师的需求,这些工程师理解基本的编码原理,并能够解释技术决策。

## 代码之外:在变化的世界中寻找价值 雅各布,一位软件顾问,反思了随着人工智能快速发展而日益增长的过时感。他认为,这种焦虑并非源于对工作保障的担忧,而是源于与*我们所做的事情*相关的身份认同的丧失——我们对自己是谁讲述的故事。我们围绕劳动建立自尊,但这是一个脆弱的基础。 他强调了“温暖”的重要性——真诚的联结和同理心——作为机器无法复制的根本人性。虽然资本主义优先考虑自动化和效率,但真正的价值在于人际关系、存在感和理解他人。临终的遗憾集中在失去的联结上,而不是失去的生产力。 最终,我们的价值不是由我们的技能或职业决定的,而是由我们与周围人的关系决定的——从“我-它”的交易式互动转变为有意义的“我-你”的联结。他鼓励读者审视他们的身份是否完全与工作联系在一起,并培养存在感和真诚的联结,因为这些才是真正让我们不可替代的品质。

一篇 Hacker News 的讨论围绕着文章“你不是你的工作”(jry.io) 中提出的观点。核心思想是人们很少意识到自己的身份并非完全由工作定义,通常只有在失业或职业倦怠后才会理解。 评论者们争论工作在多大程度上塑造了身份,有人指出工作占据了清醒时间的大部分,并影响着生活的许多方面。另一些人则同意文章的前提,认为那些重视时间并避免工作场所负面情绪的人很容易理解这一点。 一个关键的反驳观点认为,仅仅*说*你不是你的工作是不够的;真正地将身份与工作分离需要完全脱离工作。许多人认为工作只是为了资助个人满足感的一种手段,而不是自我实现的途径,并且相信来自工业时代的社会教条强化了将自我价值与就业挂钩的观念。

Manyana是一个新项目,展示了基于无冲突复制数据类型(CRDT)的版本控制未来。与容易出现复杂、不透明冲突的传统系统不同,Manyana确保合并*总是*成功,通过用信息性标记标出重叠的更改来解决冲突——清晰地显示*什么*更改以及*谁*做的。 这种方法提供了几个优势:永久行顺序、非阻塞冲突解决,以及编织到文件结构中的统一历史记录,无需复杂的共同祖先计算。值得注意的是,可以在不丢失历史上下文的情况下实现变基。 目前,Manyana是一个470行的Python演示,专注于单个文件,证明CRDTs可以克服用户体验挑战并提供卓越的版本控制体验。虽然诸如cherry-picking之类的功能尚未实现,但该项目的设计,详述于其README中,为下一代、功能齐全的版本控制系统提供了一个蓝图,并以公共领域许可证发布。

Bram Cohen 提出了一种新的版本控制方案,其灵感来源于他早期的 Codeville 项目(2000 年代初)。两种系统都使用“编织”(weave)来存储和合并——这一概念源自较早的版本控制系统,如 SCCS。 这种方法与无冲突复制数据类型 (CRDT) 相似,但 Cohen 的工作比 CRDT 早了近十年。虽然“编织”旨在实现比 Git 等系统更清晰的合并和更少的冲突,但由于创建全面的测试用例的难度,证明其明确的优势一直具有挑战性。 一位评论员指出 Cohen 持续致力于解决版本控制的复杂性,并探索该领域的创新解决方案。这场讨论凸显了长期以来改进现有版本控制方法论的努力。

“粉红代码”(Code Pink),一个左翼非营利组织,最近携带少量医疗物资飞往古巴,声称是为了绕过美国的“封锁”。然而,有报道称,这次由梅迪亚·本杰明带头、她本人头等舱旅行而支持者们经济舱旅行的行动,是更广泛努力的一部分,旨在对抗美国在加勒比地区的对外政策,并支持古巴共产主义政权。 据称该组织由尼维尔·罗伊·辛格姆网络资助和支持,该网络与中国共产党有关联,提供财政支持和后勤保障。辛格姆居住在中国,曾资助许多反对美国利益的极左非营利组织。 批评人士认为,这项活动旨在扰乱古巴政治可能在特朗普政府下发生的转变,这可能会威胁中国通过委内瑞拉等盟友获取资源的渠道。这种情况引发了人们对外国势力渗透美国非营利部门以及外部驱动激进化激进组织的可能性问题的担忧。

## Wayland 开发:开发者们的沮丧 Linux 从旧的 X11 窗口系统迁移到 Wayland 是为了追求更现代的架构、更好的安全性和更高的性能。虽然 Wayland 提供了更流畅的用户体验并且正日益成为标准,但为它开发应用程序却被证明极具挑战性。 作者详细描述了一段令人沮丧的经历,将 Wayland 的复杂性与 raylib 等库,甚至旧的 X11/Win32 API 的相对简单进行了对比。Wayland 的核心设计——一种异步、面向对象的协议,严重依赖回调——创造了复杂且曲折的控制流,即使是打开窗口或处理输入等基本任务也需要大量的样板代码。 主要问题包括碎片化的扩展支持、从 XML 文件生成的 API 代码以及缺乏标准化的功能(例如桌面状态检索)。即使是剪贴板访问、屏幕共享和热插拔设备等看似简单的功能也需要大量的变通方法。作者认为 Wayland 优先考虑了架构的纯粹性而非开发者易用性,导致即使是经验丰富的程序员也难以构建哪怕是中等复杂度的应用程序。尽管被认为是“未来”,但 Wayland 的开发体验感觉是倒退了一步。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我讨厌:编程 Wayland 应用程序 (p4m.dev) 12 分,dwdz 发表于 56 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 jmclnx 发表于 4 分钟前 [–] 我可以说我讨厌所有 GUI 编程! 幸运的是,我的专业编程都处理后端,所以我避免了 GUI :) 所以我理解你的痛苦。 我听说 Wayland 编程比 X11 更难,但我从未做过任何一个,所以不知道这是否属实。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

彭博社 需要帮助?请联系我们 我们检测到您的计算机网络存在异常活动 要继续,请点击下面的框来确认您不是机器人。 为什么会发生这种情况? 请确保您的浏览器支持 JavaScript 和 cookies,并且没有阻止它们加载。 有关更多信息,您可以查看我们的服务条款 和 Cookie 政策。 需要帮助? 如对本消息有疑问,请联系 我们的支持团队并提供以下参考编号。 阻止参考编号:757445a6-2608-11f1-8005-f7294347756f 通过彭博社订阅,随时掌握最重要的全球市场新闻。 立即订阅

Atlassian解雇了一名工程师,原因是她回复了联合创始人迈克·坎农-布鲁克斯在公司范围内的Slack消息。坎农-布鲁克斯当时从他的NBA球队总部加入了一场裁员公告电话会议,并据报道“斥责”了抱怨裁员的员工。 该工程师的回应,讽刺地提及了他的地点和行为——“大家好,我正在从我的NBA球队总部拨号,准备对那些我刚刚摧毁职业生涯的人大喊大叫”,被Atlassian认定为“充满敌意”和“人身攻击”。 此事引发了网络辩论,一些人认为Atlassian有权因其评论解雇她,而另一些人则认为解雇是对对 perceived 权力失衡的讽刺批评的过度反应。一些评论员还质疑了事件的描述方式,指出Atlassian将评论描述为称呼首席执行官为“有钱的混蛋”,而原文的措辞更为微妙。这起事件引发了人们对可接受的工作场所沟通和员工权利的质疑。

## 中东紧张局势与市场不确定性 – 摘要 学院证券的彼得·奇尔预计本周将充满波动(“疯狂星期一”),原因是霍尔木兹海峡周围的矛盾消息。虽然美国正在采取措施确保安全通行——包括可能对抗伊朗的能力并鼓励国际合作——但伊朗仍然抵制谈判,并据报道以收费提供“安全通行”。 几个因素导致了不确定性:潜在的美国军事行动(包括关于夺取哈尔格岛的争论)、美国政策的变化(取消对伊朗/俄罗斯石油的制裁、暂停《琼斯法案》)以及全球经济衰退风险的上升。尽管采取了这些旨在降低能源价格的措施,但美国并非不受全球经济困扰,财富 500 强公司的 40% 收入来自海外。 尽管油价上涨,收益率仍在飙升,引发了对消费者韧性的担忧。虽然私募信贷出人意料地表现良好,但经济放缓和供应链中断的风险依然存在。作者认为,市场可能很快会忽视积极消息,担心为时已晚,无法避免经济后果。 总体而言,前景谨慎悲观,未来几天事态发展可能带来重大收益 *和* 进一步的问题。

## Monus 与堆:总结 本文探讨了一种有用的代数结构,称为“monus”(支持部分减法的幺半群),以及它在基于堆的算法中的应用。作者利用 monus 来优化用于排序和图搜索等任务的堆,尤其是在处理具有幺半群属性的权重(如路径代价)时。 核心思想是将堆权重表示为*差异*而不是绝对值。这是由 monus 结构实现的,其中顺序由“介于”两个值之间的值的存在性定义(x ≤ y 如果 y = x•z)。这种基于差异的表示允许高效的更新——修改所有权重成为根节点操作——并简化了堆属性的强制执行。 作者使用 Haskell 实现这一点,定义了一个 `Monus` 类并配对堆。他们通过引入一个将有序键与表示其位置的偏移量组合的 `Key` monus 来解决稳定性问题(确保以原始顺序处理效果),从而确保即使在键冲突时也能保持一致的顺序。 最后,本文回顾了之前关于“Phases”应用变换器的工作,展示了这种 monus 驱动的堆如何使用任意有序键有效地实现它,从而提供了一种高性能且可组合的解决方案。作者强调了“存储差异”作为一种有价值的技术,在适用时具有更广泛的实用性。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Monuses 和 Heaps (doisinkidney.com) 31 分,aebtebeten 3 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 jaen 14 分钟前 [–] 很棒的技巧集合。抽象地表示差异似乎能使许多问题更容易/更通用。更多奇怪的东西,参见例如正则表达式导数、差分数据流。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

iBook Clamshell 由苹果电脑公司从1999年9月到2001年5月生产,有五种颜色和多种配置。由于其独特的设计和可靠的硬件组件,最初的iBook至今仍有许多爱好者——我也是其中之一。我于2006年用德语(我的母语)创建了这个网站。当我注意到许多来自英语国家的访问者时,我添加了英文内容——当然,其中存在错误和不足。尽管如此,你在这里仍然可以找到关于Clamshell iBook最全面的信息,以及许多保持你的iBook正常运行的技巧和窍门。

Hacker News 的讨论围绕着网站 ibook-clamshell.com,引发了人们对苹果初代 iBook 笔记本电脑的怀旧之情。用户们回忆起标志性的“翻盖”设计——被戏称为“芭比的电动马桶盖”——以及它的吸引力。 一位评论员注意到网站的 Cookie 横幅上有一条独特的“请重新考虑”信息,而另一位则分享了在旧 iBook 上运行 Debian 的经验,发现它在流媒体音乐方面出奇地高效。一种普遍的情绪是遗憾苹果没有在新 MacBook 上采用更鲜艳的颜色,而是选择了更保守的色调。 最后,话题延伸到了名为“Clam”的 Unix shell,与笔记本电脑无关,但让人想起了早期的操作系统,如 Coherent OS。该帖子突显了人们对 iBook 设计的喜爱以及对苹果过去设计选择的怀念之情。

前总统特朗普宣布,由于与民主党就国土安全部(DHS)的资金纠纷导致部分政府停摆,ICE(移民及海关执法局)特工将于周一開始协助机场安检局(TSA)。特朗普声称,民主党正在将“强硬罪犯”置于国家安全之上,通过阻止此前达成的资金协议。 此举发生在上议院未能通过DHS资金法案之后,导致TSA特工无薪工作并面临困境——据报道,一些人依靠食品银行。由于人手短缺,人们担心机场可能关闭,甚至埃隆·马斯克也提出向TSA工作人员提供财政援助。 特朗普表示,ICE特工将专注于安全,并可能逮捕无证移民,特别是来自索马里的移民。他预计民主党无论ICE表现如何都会对其进行批评,但他坚称在汤姆·霍曼的领导下,他们会做得“非常出色”。目前局势仍然僵持,民主党正在寻求改变移民执法政策。

量子信息具有一个独特的性质:它无法在不被干扰的情况下被复制——就像你描述一个梦时,梦本身会改变一样。这种限制最初由 Bennett 及其合作者观察到,并成为量子密码学的基石。 由于任何试图拦截量子消息的行为都会改变它,窃听行为是可以被检测到的,从而在理论上提供无法破解的安全性。这促成了 1984 年 BB84 协议的开发,该协议允许使用单个光子进行安全的密钥交换。 量子密码学最初被忽视,但在 1994 年,Peter Shor 证明了量子计算机能够破解传统的互联网加密技术,这使其变得紧迫。Bennett 甚至在 1989 年在 IBM 制造了一台量子密码学原型机。进一步的研究揭示了量子隐形传态——通过纠缠传输量子态。 Bennett 的开创性工作,将量子力学视为一种工具而非问题,继续影响着 IBM 当前的量子计算和通信工作,巩固了其在现代信息安全中的基石地位。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 IBM 科学家重写了信息规则,刚刚荣获图灵奖 (ibm.com) 10 分,来自 rbanffy 3 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助 AtlasBarfed 18 分钟前 [–] 所以提出这个想法和方法的人在奖项中是次要的吗?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

苹果公司正在故意限制 Safari 在 iOS 和 iPadOS 上的功能,阻碍了渐进式 Web 应用 (PWA) 的全部潜力,并优先考虑 App Store 的销售。这些数据,将 Android 上的 Chrome 与 Mobile Safari 进行比较,揭示了显著的功能差异。 虽然两种浏览器都支持离线支持和地理定位等核心 Web 技术,但 Safari 缺乏 Chrome 上可用的关键 PWA 功能——包括协议处理、文件处理、后台同步、蓝牙、NFC 等。Safari 上的几个功能被标记为有限或不支持(“⚠”),例如 AR/VR、通知和画中画。 本质上,苹果公司不允许开放 Web 在其平台上充分发展,创建了一个将用户推向原生应用和 App Store 生态系统的封闭花园。这同时影响了开发者和用户,限制了对更丰富、更通用的 Web 体验的访问。

一个 Hacker News 的讨论集中在苹果的 Mobile Safari 和渐进式 Web 应用 (PWA) 的限制上。原始帖子列出了 Mobile Safari 不支持的 Web 功能,包括振动、后台同步和蓝牙访问。 一些用户对这些限制表示沮丧,而另一些人*支持*苹果的做法。他们认为,其中许多功能存在安全风险,尤其是在智能手机上,并且不是良好 Web 体验所必需的。一些评论员认为,这些功能通常是由 Google Chrome 推动的,以获得竞争优势。 普遍的观点是,原生应用程序比试图复制应用程序功能的 PWA 更好,并且希望用户对运动数据和推送通知等权限有更大的控制权。这场讨论反映了 Web 功能与用户安全/隐私之间的争论。

## 信用市场预警信号可能预示股市下跌 投资者经常关注标普500指数,但债券市场——特别是信用利差——更能可靠地指示潜在的市场问题。目前,信用违约互换(CDX)利差,作为衡量信用风险的指标,已达到九个月高点,而标普500指数仍接近其峰值。历史上,这种组合**始终**伴随着熊市。 信用利差反映了风险公司债券和安全国债之间的收益率差异。利差扩大预示着经济压力、更紧的信贷条件以及公司盈利可能下降——最终影响股票估值。目前的上涨不在于利差*有多高*,而在于它们*移动的方向*。 虽然一些人认为利差是从历史低位开始扩大的,但这忽略了历史先例。过去出现这种信号的情况都预示着重大的下跌(2008年、2015年、2022年)。即将发布的数据和季度末机构再平衡可能会加剧市场反应,但信用市场传达的核心信息很明确:风险正在增加,投资者应保持谨慎。忽视这一警告可能会代价高昂。

## 实验服的意外历史 科学家形象——白大褂、眼镜和实验室设备——在儿童画作中出奇地一致,尽管细节有所变化,例如烧杯被火箭取代。然而,白大褂与科学的联系是相对较近的现象,出现在20世纪。它的起源不在实验室,而在于维多利亚时代的 хирургия 和时尚。 最初,科学家穿着受阿尔伯特亲王风格影响的深色 frock coats,实用且能掩盖污渍。然而,外科医生面临着更脏乱的现实。厚重、吸水的 frock coats 会被血液和消毒液浸透。随着卫生运动的兴起,强调清洁,像冰淇淋销售这样的职业开始采用白色制服来表示卫生。 外科医生开始采用白色作为卫生的象征,最初受到嘲笑,但后来患者反而*主动寻找*他们。白大褂的实用性——可洗涤性和经济性——与昂贵、定制的 frock coats 形成鲜明对比。虽然早期的实验室有时更喜欢深色外套来突出灰尘或污渍,但实验室与医学的日益紧密联系巩固了白大褂作为标准。 今天,尽管防护材料不断创新,白大褂仍然是科学权威的有力象征,突显了简单的服装如何定义一个职业的公众形象,甚至影响科学家对自身的认知。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为什么实验服变成了白色 (asimov.press) 11 分,来自 mailyk 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

吱嘎声 - 吱吱作响的 MacBook 盖子 将你的 MacBook 变成吱吱作响的门。每次打开或关闭盖子都会触发令人满意的吱嘎声。 适用于 macOS 需要 macOS 13.0 或更高版本 · Apple Silicon 免费和开源 📐 盖子角度传感器 以 60fps 读取内置的 AppleHID 盖子传感器,以检测最轻微的移动。 🎵 可变音高播放 播放速度映射到盖子的速度——缓慢的吱嘎声和快速的咔哒声听起来完全不同。 🔊 7 种合成声音 闹鬼的门吱嘎声、猫叫声、外星人耳语、鲸鱼歌声、风声效果等等。全部实时生成。 🖥️ 菜单栏应用 没有 Dock 图标,没有窗口。只有一个小的菜单栏图标,用于切换、调整音量和选择声音。 ⚡ 轻量级 小于 1 MB。近乎零 CPU 使用率。使用 Swift 和 AVAudioEngine 原生构建。 🔓 开源 MIT 许可。经 Apple 签名和公证。没有跟踪,没有遥测,没有废话。 作者:Ron Reiter · 源代码在 GitHub 上

一款名为“Crack”的新应用,在Hacker News上被重点介绍,它模拟MacBook在打开或关闭时发出吱吱作响的声音。这款应用因其趣味性和异想天开的特性而受到关注。 然而,讨论很快转向了这个想法的起源。几位评论员指出,这个概念最初是由设计工程师Sam Henri Gold探索的,他之前曾利用MacBook的盖子角度传感器创建过类似的项目。Gold的作品在他的网站上详细介绍,并被*The Verge*报道,是“Crack”的灵感来源。 人们也对该应用缺乏HTTPS安全措施表示担忧。该帖子链接到Gold的原始项目,供有兴趣了解更多相关技术的人参考。

调试RTL设计通常比设计本身更具挑战性。这段经历涉及追踪图形渲染流水线中一个微妙的像素丢失错误,最初怀疑是帧缓冲内的内存排序问题。尽管进行了广泛的调查——改变写入优先级和缓存路径——但该错误仍然存在,与最初的假设相悖。 突破来自于一个感知网表(netlist)的追踪工具(“conetrace”),它能够跟踪失败的像素穿过流水线的每个阶段,在错误到达帧缓冲*之前*揭示了错误。这表明问题不是单一的灾难性故障,而是系统范围内累积的一系列微小的不准确性。 具体来说,纹理映射过程中的精度损失、透视校正和细节层次(LOD)计算中的轻微差异,以及一个不正确的混合计算(使用扩展的与抖动减去的目的颜色)结合在一起,产生了可见的错误。每个问题本身都很小,但共同作用在特定渲染场景中产生了一个明显的错误。解决方案包括保留更宽的累加器、纠正计算并实现正确的混合方法,最终证明了有针对性的追踪工具在复杂RTL调试中的强大作用。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 使用现代RTL工具构建FPGA 3dfx Voodoo (noquiche.fyi) 9 分,由 fayalalebrun 1小时前发布 | 隐藏 | 过去的 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

任天堂最近推出的35美元“说话花”,这款来自《超级马里奥兄弟惊奇》的桌面玩具,引发了争论。这款低科技设备——一个带有时钟和温度计的塑料花——每小时会发出几次随机短语,有意避免使用人工智能、互联网连接以及除了新奇之外的任何实用功能。 一些评论员称赞它为在充斥着数据收集技术的世界中,一种令人耳目一新的“反智能设备”,欣赏它古怪的魅力和个性。另一些人则认为,有限的短语和持续的打断很快就会让人感到恼火,认为它是一个昂贵的镇纸。 这款花卉的吸引力在于其刻意的简单性和不可预测性。它被设计成一个角色,而不是一个工具,它奇怪的宣言——比如“海洋尝起来像眼泪”——要么令人喜爱,要么令人发狂,这取决于用户。最终,任天堂再次创造了一种独特且具有争议性的产品,仅仅通过“与众不同”就能引起轰动,证明了他们擅长用非常规的想法取得成功。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 任天堂的非人工智能、非游戏玩具 (tapestry.news) 8 分,来自 zygon 28 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 伊朗冲突升级:摘要 美国/以色列与伊朗之间的紧张局势急剧升级,进入第四周,后果日益严重。 在特朗普发出最后通牒,要求伊朗开放霍尔木兹海峡,否则将袭击伊朗发电厂的48小时后,伊朗威胁要对区域基础设施造成“不可逆转的破坏”,并对使用该海峡的船只征收200万美元的过境费(不包括“敌对”国家)。 这引发了以牙还牙的打击,包括以色列南部前所未有的破坏以及伊朗对核设施的袭击。 虽然美国据称正在准备外交脱离方案,但伊朗坚持认为由于美国过去的欺骗,谈判是不可能的。 美国的“先升级后缓和”战略旨在削弱伊朗在霍尔木兹海峡周围的防御工事,并接受临时的价格上涨——可能长达“50天的价格上涨”,以寻求长期解决方案,防止伊朗获得核武器。 区域溢出效应正在加剧,伊拉克发生袭击事件,也门胡塞武装对红海的威胁增加,黎巴嫩的活动也更加频繁。 沙特阿拉伯已驱逐伊朗外交官。 尽管埃及、卡塔尔和英国促成了间接谈判,但伊朗要求停火、对未来袭击的保证以及赔偿,这使得缓和努力复杂化。 冲突的走向表明,一场潜在的长期且毁灭性的对抗正在发生。

这似乎是PDF文件的一部分,包含了一些对象引用和数据流。它本身并没有可读的中文内容。 (This appears to be a part of a PDF file, containing object references and data streams. It does not contain readable Chinese content itself.)

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 能否将编程从冯·诺依曼风格中解放出来? (1977) [pdf] (worrydream.com) 8 分,by tosh 2 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助 dtagames 29 分钟前 [–] 这是约翰·巴克斯的开创性著作,它引入了函数式编程风格的概念。 我在 IBM 当大型机开发人员时见过约翰。 虽然他没有活到人工智能代理的出现,但我认为他现在会更努力地推动函数式风格,在人工智能辅助编程时代。 虽然最初比命令式或面向对象代码更难编写,但函数式编程在实践中更可靠,并且“解放我们”于其他风格的问题,正如他在论文中试图解释的那样。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

一项持续43年的研究,追踪了超过13万名参与者,表明适量摄入咖啡因可能与降低患痴呆症的风险相关。研究人员发现,每天规律饮用两到三杯含咖啡因的咖啡或茶的人,患病风险比很少摄入咖啡因的人降低了18%。 这些咖啡因消费者也表现出更好的认知功能和更少的记忆问题。然而,该研究强调这并非“奇迹疗法”——这只是一种观察性关联,而非因果关系的证明。潜在益处可能源于咖啡因对血流、炎症和大脑信号的影响。 虽然其他生活方式因素也可能起作用,但这项研究的长期持续时间和庞大的数据集提供了令人信服的证据,表明持续、适量的咖啡因摄入可能有助于维持认知健康,随着年龄增长。它表明咖啡因可能在长期支持大脑功能方面发挥微小但可能重要的作用。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 咖啡瘾实际上可能对你的大脑有益 (theregister.com) 14 分,Bender 1小时前 | 隐藏 | 过去 | 收藏 | 2 评论 帮助 cebert 59分钟前 | 下一个 [–] 原始来源:https://jamanetwork.com/journals/jama/article-abstract/28447... 回复 rf15 10分钟前 | 上一个 [–] 是这样吗?这和教育/等领域的人们出于文化原因喝更多咖啡,同时也更多地使用大脑有关吗?这会不会是真正的原因?因为我看不出我工作场所里的那些咖啡僵尸们今天已经没用且具有攻击性(在他们喝咖啡之前)如何能长期坚持下去。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

许多技术提案失败并非由于逻辑缺陷,而是因为它们侧重于“说服”而非“劝说”。说服诉诸理性,针对具有严密逻辑的“普遍受众”——就像数学证明。然而,劝说则关注*特定*受众的需求、担忧和动机,并询问“这会促使他们行动吗?” 工程师通常被训练为优先考虑说服——构建最佳、最合乎逻辑的解决方案。但这忽略了人为因素。决策受到过去失败、截止日期甚至个人自豪感等因素的影响。如果一项卓越的架构威胁到某人的奖金或需要重新学习他们构建的系统,它就不会被采用。 有效的决策者理解这一点。他们专注于建立信任,有效地安排提案时间,并构建与现有优先级相符的解决方案。这不是操纵,而是认识到人们不仅仅是逻辑处理器。 权威可以强制*遵守*,但劝说可以培养*承诺*——这是停滞项目和成功实施之间的关键区别。“正确”仅仅是第一步;真正推动事情前进需要理解和解决起作用的人为因素。

一篇名为“说服不等同于使信服”的 Hacker News 帖子正在引发关于其真实性和实用性的争论。作者 alainrk 区分了“使信服”(诉诸逻辑)和“说服”(诉诸情感),但评论者对此表示怀疑。 一位用户 getnormality 认为该帖子迎合了一种“洞察力色情”的趋势——人为地分割通常可以互换使用的概念。他们指出,在现实对话中应用这种区分会显得别扭。 由于帖子直接链接到 Hacker News 以分享,引发了更多怀疑,另一位用户 Avicebron 怀疑作者试图人为地夸大影响力。 许多评论者认为该帖子主要由人工智能撰写,并要求提供生成该帖子的提示词。 这场讨论凸显了人们对人工智能生成内容及其对在线讨论的影响的担忧。

离线媒体、档案和数据节点——一个免费开源的离线服务器,安装在任何电脑上。下载你想要的内容,无需互联网即可工作——永久有效。类似产品价格昂贵,NOMAD项目是免费的。 离线知识 维基百科、指南、医学参考 本地AI 完全离线运行LLM 离线地图 无需蜂窝网络即可导航 教育 可离线访问可汗学院及课程

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Project Nomad – 永远不会离线的知识 (projectnomad.us) 18 分,jensgk 1小时前 | 隐藏 | 过去 | 收藏 | 3 评论 帮助 WillAdams 12分钟前 | 下一个 [–] 缺少提及(或配置)在树莓派上的安装机会 --- 这将是一个经济实惠的选择,可以断电,但准备好放入EMI屏蔽/法拉第笼中。回复 myself248 13分钟前 | 上一个 | 下一个 [–] 参见:https://internet-in-a-box.org/ https://wrolpi.org/ 回复 tsss 29分钟前 | 上一个 [–] 我期待着我童年的游戏,结果很失望。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:
联系我们 contact @ memedata.com