原标题：Hidden Messages in Emojis and Hacking the US Treasury 这篇文章题为《隐藏在表情符号中的消息与黑客袭击美国财政部》。作者Nick Agliano探讨了一起与美国财政部系统被黑有关的事件。事件发生在2025年12月30日，美国财政部在新年庆祝活动前夕，向立法者发出了系统被攻击的通知。该通知指出，一个“由中国国家支持的持续性威胁（APT）演员”突破了其系统，这些系统显然存储了敏感的机密数据。 黑客使用的攻击手段是SQL注入，这是网络安全领域一个久负…

原标题：Coq-of-rust: Formal verification tool for Rust coq-of-rust是一个为Rust编程语言提供形式化验证工具的项目，该工具旨在检查程序的100%执行案例，从而确保应用程序无漏洞。尽管Rust的类型系统可以预防许多错误，包括内存错误，但代码仍然可能存在其他漏洞，例如意外的panic或错误实现的业务规则。coq-of-rust提供了一种名为“形式验证”的方法，即通过数学证明来确保代码的无误，确保即使是面对国家级的活动者时，代码中也不存在漏洞。 这个项…

原标题：Block YouTube ads on AppleTV by decrypting and stripping ads from Profobuf 这篇文章讲述了如何通过在 Apple TV 和 iPhone 上拦截和解密 YouTube 广告来建立一个网络路由器。作者利用中间人代理技术来解密 HTTPS 流量，从而分析 Google 使用的 Protocol Buffer 数据，识别出 YouTube 广告信息。 作者首先强调了阻止广告和追踪的必要性，提到网络流量中有高达 40% 的部分被广…

原标题：Past and Present Futures of User Interface Design 这篇文章标题为《用户界面设计的过去与现在》，探讨了用户界面设计的发展历程和未来可能的方向。 文章开头回顾了1968年道格拉斯·恩戈尔巴特（Douglas Engelbart）展示的oN-Line System（NLS），该系统实现了许多计算机的首次，包括视频会议、协作文本编辑、嵌入图形、复制粘贴以及超文本，所有这些功能都可以通过鼠标和键盘访问。这次演示被称为“所有演示之母”。 最近，阿梅莉亚·瓦滕伯格（Amelia…

原标题：Rhombus Language Rhombus是一种通用编程语言，易于使用并且具有独特的可定制性。它采用简单的语法，适合日常任务。例如，定义一个矩形类并计算其面积的示例展示了如何使用Rhombus进行编程。 Rhombus基于Racket构建，这意味着它能够即时编译成机器代码，受益于成熟的工具链和包管理系统，且拥有多种实用的库可供使用。那么，为什么要开发一种新语言呢？可以参考Rhombus的目标说明。 目前Rhombus已准备好供早期使用者下载。文档中包含快速入门指南。Rhombus仍在不断完…

原标题：Show HN: Cascii – A portable ASCII diagram builder written in vanilla JavaScript Cascii 是一个基于网页的 ASCII 和 Unicode 图表构建工具，使用原生 JavaScript 编写。它没有任何服务器、网页打包、库的依赖，且无需使用标记和样式表。用户可以通过直接在浏览器中打开 cascii.html 文件来开始构建图表。Cascii 还可以在 cascii.app 网站上使用，用户可以获得图表的短链接、创建账户等。…

原标题：Extracting DNA from the air – DNA evidence of human occupancy in indoor premises 在这篇发表在《科学报告》上的文章中，研究人员探索了从空气和尘埃中提取人类DNA的可能性，并讨论了其在犯罪调查中的应用。研究表明，人类不断向周围环境中脱落脱氧核糖核酸（DNA），这些DNA可能悬浮在空气中或沉积在室内尘埃中。 研究收集了来自三种不同室内环境（办公室、会议室和实验室）的样本，这些环境具有不同的人员占用和清洁习惯。通过分析这些…

原标题：Wired is dropping paywalls for FOIA-based reporting. Others should follow 《连线》杂志最近宣布将停止对以《信息自由法》获得的公共记录为基础的报道设置付费墙。这一决定旨在解决公众无法访问重要新闻的问题，尤其是在特朗普政府初期，许多重要的调查报道受到付费墙的阻碍。公共记录之所以被称为公共记录，是因为它们应当对所有人开放，尤其是在当前政府网站和记录逐渐消失的情况下，能够及时获取这些公共文件显得尤为重要。 尽管有人可能认为放弃收费…

原标题：Google announces agreement to acquire Wiz 谷歌今日宣布达成收购Wiz的协议，交易金额为320亿美元，采用全现金方式，交易需满足常规的关闭条件，包括监管审批。Wiz是一家总部位于纽约的领先云安全平台，交易完成后，Wiz将加入谷歌云。此次收购代表了谷歌云在人工智能时代加速提升云安全和多云应用能力的投资。 Wiz提供一种易于使用的安全平台，能够与主要云服务和代码环境连接，帮助组织预防网络安全事件。无论是初创企业、大型企业还是政府机构，均可利用Wiz保护其在云中…

原标题：The Model Is the Product 这篇文章讨论了人工智能（AI）发展中的一个重要趋势：模型本身成为产品。作者认为，随着AI技术的演进，模型的价值逐渐超越了应用层，成为更高层次的产品。 文章首先提到，目前的AI研发和市场发展都指向了一个方向：模型的功能正在逐渐独立，尤其是在训练和推理成本大幅降低的背景下，这使得模型提供者必须向价值链的上游移动。虽然现有模型如GPT-4.5展示了更强大的能力，但其计算成本呈几何级数增长，导致大规模部署变得困难。 接下来的分析强调了意见驱动的训练方法超…

原标题：Two new PebbleOS watches 网页内容介绍： Eric Migicovsky在2025年3月18日发布了两款全新的智能手表，均运行开源的PebbleOS，并兼容成千上万的Pebble应用程序。 1. Core 2 Duo • 具有超清晰的黑白显示屏，采用聚碳酸酯框架。 • 售价：149美元，预计在7月开始发货。 • 主要特点： • 1.26英寸黑白电子纸显示屏 • 支持10000多个Pebble应用和表盘 • 防水设计，目标IPX8 • 具备麦克风、步数和睡眠监测功能 • 电…

原标题：Apple restricts Pebble from being awesome with iPhones 在这篇文章中，Eric Migicovsky讨论了苹果对Pebble智能手表的种种限制，尤其是与iPhone的兼容性问题。他指出，在过去的八年里，开发适用于iPhone的优秀智能手表体验变得更加困难。尽管Pebble团队将努力开发一个良好的iOS应用程序，但由于苹果的限制，Pebble的功能无法与Apple Watch媲美。 文中列举了一些苹果对第三方智能手表（即非Apple Watch）限制的主要问题，包括：…

原标题：Google to buy Wiz for $32B 谷歌的母公司Alphabet于2025年3月18日宣布，将以约320亿美元收购网络安全初创公司Wiz，这是该公司有史以来最大的一笔交易，旨在增强其在云计算领域的竞争力，特别是与亚马逊和微软的竞争。此交易将帮助谷歌获取快速增长的网络安全解决方案，以低风险解决企业的关键安全问题。 收购价格高于Alphabet去年提出的230亿美元的报价，而Wiz在去年5月的私人融资轮中估值为120亿美元。由于担心谷歌在人工智能领域的重金投入与中国低成本竞争者De…

原标题：The Dark Crystal: Age of Resistance Is a Stone-Cold Masterpiece 《黑水晶：抵抗的时代》被认为是一个冷静绝美的杰作。文章作者Germain Lussier对这部由吉姆·汉森公司制作的前传系列进行了重温，表达了对它的深深赞美。 这部2019年在Netflix上首播的10集前传系列，是1982年电影《黑水晶》的续集，尽管电影初时并未大受欢迎，但随着时间推移逐渐积累了大量粉丝。制作团队包括多个显然是超级粉丝的成员，结合原作的传说，创造出了比…

原标题：Amazon to kill off local Alexa processing, all voice requests shipped to cloud 亚马逊计划于2025年3月28日停止对Echo设备的本地Alexa处理功能，所有语音请求将转至云端处理。尽管亚马逊尚未正式宣布这一变化，但已经向用户发送电子邮件，确认将取消“不要发送语音录音”选项。根据邮件的内容，启用该选项的用户将自动失去此功能。 该决定是因为亚马逊希望利用其云计算的强大处理能力来支持Alexa的新一代生成AI功能。仅支持…

原标题：FTC Removes Posts Critical of Amazon, Microsoft, and AI Companies 美国联邦贸易委员会（FTC）在2025年3月18日删除了包括对亚马逊、微软以及人工智能公司持批评态度的博客文章，这些内容是在拜登政府期间发布的，涉及重要的消费保护信息及与隐私相关的诉讼案例。这次移除的内容包括了超过300篇博客，涉及到前主席莉娜·汗针对这些公司的重要隐私诉讼的信息。 文章还提到，福布斯政治专栏作家马凯娜·凯利撰写了有关网络如何塑造政治现实的政治实验室…

原标题：Show HN: I made a tool to port tweets to Bluesky mantaining their original date BlueMigrate 是一款工具，可以轻松地将你的推文迁移到 Bluesky，同时保留它们的原始日期。用户只需几次点击即可完成迁移，让你的推特内容无缝进入新的平台。网站提供了关于工具的介绍、博客、定价和账户管理等内容。 在 BlueMigrate 上，你还可以查看一些精选的 Bluesky 个人资料，了解该平台上其他用户的表现。如果你希…

原标题：US appeals court rules AI generated art cannot be copyrighted 美国华盛顿特区的一家联邦上诉法院于2025年3月18日裁定，未经过人类输入的人工智能生成的艺术作品不能在美国法律下获得版权保护。该法院支持美国版权局的决定，认为由Stephen Thaler的人工智能系统“DABUS”创造的图像无资格获得版权保护，只有具有人类作者的作品才能获得版权。 此次裁决是美国官员在应对快速发展的生成式人工智能行业的版权问题时所做的最新尝试。版权局也拒…

原标题：Building AI agents to query your databases 本文探讨了如何构建人工智能代理，以便有效查询电子表格和数据库。随着人工智能代理的演进，处理结构化数据的能力成为了一项变革性技术。尽管大型语言模型（LLMs）在理解自然语言方面表现出色，但在处理以非结构化文本形式呈现的数据时，它们在定量分析上存在困难。为此，Dust开发了名为“查询表”（Query Tables）的强大功能，允许代理对结构化数据执行SQL查询，从而提供精确的分析答案。 文章详细回顾了Dust团队在…