本文介绍了如何使用Python实现Datalog，一种比SQL更强大的关系数据库语言。Datalog是Prolog的一个子集，它不是图灵完备的，但非常擅长建模关系。文章详细解释了Datalog的基本概念，包括谓词、事实、规则和变量，并提供了一个简单的Python实现，包括Naïve Evaluation算法。通过这个实现，你可以创建和查询Datalog程序，并体验到这种简洁而强大的关系建模方式。
阅读更多
谷歌将于2025年12月停止支持Android即时应用功能。这项功能允许用户无需完整安装应用即可试用部分应用功能。由于开发者采用率低，谷歌决定放弃该功能。创建精简的即时应用版本需要大量工作，这可能是导致开发者采用率低的主要原因。虽然该功能旨在提升用户体验，但其高开发成本最终导致了它的消亡。
阅读更多
沃尔玛和Alphabet旗下的无人机公司Wing正在扩大其无人机送货合作，将服务扩展到美国五个新城市：亚特兰大、夏洛特、休斯顿、奥兰多和坦帕。顾客可以在线订购商品，并选择无人机送货上门。自2021年启动以来，沃尔玛已完成超过15万次无人机送货，Wing也已完成超过45万次住宅送货。此次合作将进一步提升送货效率和便捷性，并探索更环保的物流解决方案。
阅读更多
近期，关于AI创业公司Builder.ai的新闻甚嚣尘上，其中最引人注目的说法是其使用700名工程师伪装成AI系统。然而，本文作者通过与前员工的访谈揭露了真相：Builder.ai实际上构建了一个基于Claude等大型语言模型的代码生成器，而非所谓的“机械土耳其人”。公司的失败并非源于AI技术的伪造，而是由于内部管理混乱，例如重复构建已存在工具（Slack、Zoom等）以及严重的财务欺诈指控。这篇文章不仅纠正了之前的错误报道，也警示了科技行业中虚假信息传播的风险，以及创业公司在快速发展过程中可能面临的挑战。
阅读更多
一名安全研究员发现了一个严重的Google账户漏洞：攻击者可以通过简单的暴力破解方法获取用户的手机号。该漏洞利用了Google Looker Studio的文档所有权转移机制，攻击者无需受害者知情即可猜测手机号，成功率极高。该漏洞已修复，Google已奖励研究员5000美元。此漏洞对SIM卡换卡攻击者来说尤其危险，他们可以利用获取的手机号进行身份盗窃，窃取用户的各种账户，包括加密货币和电子邮件账户。
阅读更多
许多 Unix 工具使用 `system(3)` 函数执行外部命令，这会导致 shell 注入漏洞。文章深入探讨了这个问题，分析了 `system(3)`、`sh -c` 和各种工具（如 `watch`、`ssh`、`i3`）的行为，并演示了如何利用 shell 特殊字符绕过安全措施。作者建议避免使用 `system(3)`，并提供了一些缓解措施，例如使用 `exec --` 和恰当的引号转义，最终呼吁开发者修复这些工具中的安全缺陷。
阅读更多
一家小型公司Calm Company Fund历经两年多的诉讼纠纷，最终以对己方有利的条件胜诉。作者分享了这场诉讼中如何利用AI来对抗资金雄厚的对手的经验。文章指出，美国法律体系对被告极度不利，诉讼成本高昂，即使胜诉也很难收回费用。作者起初委托律师处理，但高昂的费用使其陷入被动。关键时刻，他开始利用AI进行法律研究，包括审查合同、理解案例法和制定行动方案，大大降低了诉讼成本，并最终以更有利的条件达成和解。文章强调，AI并非取代律师，而是帮助企业家更好地理解法律程序，提高谈判筹码，从而在法律战中获得优势。
阅读更多
本周发布的Android 16系统中，谷歌意外地没有公开Pixel设备的硬件仓库和设备树，这给自定义ROM开发者带来了巨大挑战。虽然谷歌否认了AOSP即将被放弃的传闻，但这项改变似乎是刻意为之。缺少Pixel硬件仓库，自定义ROM的更新将更加困难，安全研究也可能受影响。谷歌表示将继续致力于AOSP更新，但未来AOSP将转向一个独立于特定硬件的参考目标，这意味着Pixel设备树可能将不再提供。
阅读更多
Mistral AI发布了其首个推理模型Magistral，该模型具有透明性、多语言支持和领域专业知识等特点。Magistral分为开源版本Magistral Small（240亿参数）和企业版Magistral Medium两个版本。Magistral在AIME2024测试中表现出色，并具备极快的推理速度（比大多数竞争对手快10倍）。该模型适用于各种应用场景，包括法律研究、金融预测、软件开发和创意写作等，尤其适合需要透明度和精确度的多步骤任务。Mistral AI同时开源了Magistral Small，以促进社区发展和模型改进。
阅读更多
过去三十年，美国领取残疾金的人数激增，这与医疗进步和反歧视法案形成鲜明对比。文章深入探讨了这一现象背后的原因，从阿拉巴马州黑尔县的一个案例入手，揭示了残疾认定标准的模糊性以及医生在其中的作用。作者指出，在一些地区，残疾认定已成为一种变相的福利制度，尤其对于缺乏教育和技能的失业工人而言。文章还探讨了工厂倒闭后工人转向领取残疾金的现象，以及一个私人公司如何帮助将福利领取者转移到残疾保障体系中。最终，文章指出，美国缺乏一个应对日益增长的残疾人口和高昂费用的全面计划，残疾保障制度已成为一个昂贵的应急方案，并对社会保障体系的可持续性构成威胁。
阅读更多
Shopify宣布将在今年晚些时候在其平台上推出稳定币支付功能，这是其迄今为止最大胆的加密货币行动。这一举动标志着科技巨头们对稳定币的热情持续高涨。Shopify将与Coinbase合作，利用Coinbase的Base区块链处理支付，并与Stripe合作集成稳定币支付。此举旨在加速交易，降低跨境转账费用。预计此举将引发其他支付处理商效仿，推动稳定币支付在电商领域的广泛应用，并可能影响到美国参议院即将通过的加密资产监管法案。
阅读更多
作者花费一个月时间构建代码CAD语言原型，目标并非炫技，而是追求一种“软件舒适感”：即时加载、稳定运行、易于使用。文章重点探讨了“双向编辑”功能的原型设计挑战，即在图形界面和代码编辑器之间实现实时同步。作者面临诸多技术难题，例如代码重写、编辑器与UI同步、代码格式化等。文中也分享了学习资源和一些启发性思考，例如如何构建一个集成的语言实现和编辑器工具，以及对现有相关项目的讨论。
阅读更多
旧金山瓦伦西亚街即将试行一项新的“娱乐区”计划，允许顾客在指定酒吧和餐厅购买酒精饮料后，在午夜前携带至人行道上饮用，无需特殊许可或活动。这是旧金山首个与特定活动无关的公共饮酒区域，旨在吸引年轻人群，刺激夜生活经济，并促进疫情后的城市复苏。该计划得到了当地商家和警方的支持，并设置了相应的安全措施，例如佩戴腕带和使用指定杯子等。虽然并非所有商家都对此表示积极，但该计划的试行预计将对旧金山的城市景观和商业模式带来显著影响，并为未来其他地区的类似计划提供参考。
阅读更多
数学家Daniel Hardisky在帕斯卡三角形中发现了π的一个新公式，这引发了数学界的广泛关注。他的发现基于Nilakantha Somayaji级数的改进，将级数中的分母与毕达哥拉斯三角形的面积联系起来，并巧妙地用组合数表示。文章还介绍了其他一些将π与帕斯卡三角形和组合数联系起来的公式，展现了π在数学领域中令人惊叹的隐藏联系。
阅读更多
本文探讨了一个C++模板继承中关于拷贝构造函数的令人费解的问题。`Derived`类继承自`Base`类，`Base`类的拷贝构造函数被删除。然而，`Derived`类定义了自己的拷贝构造函数，即使该构造函数尝试拷贝`Base`类的不可拷贝对象，`std::is_copy_constructible`仍然返回true。这是因为编译器只检查是否存在非删除的拷贝构造函数，而不检查其可否实例化。作者进一步讨论了显式定义拷贝构造函数和隐式定义拷贝构造函数的区别，以及将拷贝构造函数定义移出类的影响。
阅读更多
Meta与XGS Energy达成协议，将在新墨西哥州建设150兆瓦的地热发电项目，为其数据中心提供清洁能源。这标志着Meta在利用可再生能源支持其日益增长的AI计算需求方面迈出了重要一步。XGS Energy采用新一代地热技术，可在以往难以利用地热能源的地区实现发电，有效解决了AI发展对能源的巨大需求，并降低了碳排放。此举体现了Meta对可持续发展的承诺，也为地热能源领域的创业公司注入了新的活力。
阅读更多
MUMPS，一种诞生于上世纪60年代的编程语言，最初用于管理麻省总医院的病历。其独特的集成式数据库特性使其成为美国医疗信息系统和电子病历的主导数据库，为超过78%的美国患者提供服务。MUMPS 的发展历程充满了创新和挑战，从PDP-7上的早期版本到如今的开源实现和商业产品，它见证了计算机技术的飞速发展，并持续为医疗行业提供着关键支持。
阅读更多
大型食品分销商联合自然食品公司（UNFI）遭遇网络攻击，导致其IT系统瘫痪，订单履行和配送业务受到严重干扰。此次攻击导致UNFI的部分网络被关闭，虽然公司已采取措施维持部分运营，但业务运营仍持续中断。作为北美最大的食品分销商之一，UNFI为全美和加拿大超过3万家商店供货，其中包括亚马逊旗下的全食超市，并与后者签订了长期合同。目前UNFI尚未透露攻击的具体性质及是否支付赎金，但已向执法部门报案。此次事件是近期一系列影响零售和食品供应链网络攻击的最新一起，凸显了该行业的网络安全风险。
阅读更多
苹果在2025年WWDC上发布了一系列重磅更新，旨在帮助开发者构建更智能、更精美、更具吸引力的应用程序。新一代Xcode 26集成了大型语言模型，例如ChatGPT，极大提升了代码编写效率；全新的“Foundation Models”框架允许开发者利用设备上的AI模型构建离线且保护隐私的智能应用；流畅的“Liquid Glass”设计语言为应用带来焕然一新的视觉体验。此外，苹果还推出了增强游戏开发工具、改进儿童在线保护功能以及提升App Store可访问性等一系列举措，为开发者提供了更强大的工具和资源，共同创造更美好的未来应用体验。
阅读更多
这篇论文探讨了低温半导体计算和超导电子学作为传统半导体器件替代方案的潜力。随着传统半导体在高温下面临漏电流增加和性能下降的挑战，这些新技术提供了高性能和低功耗计算的可能性。研究人员使用gem5模拟了在超导电子学和低温半导体计算相关的较高时钟频率下运行的顺序和乱序内核模型，并使用NPB、SPEC CPU2006和GAPBS等真实应用工作负载评估了这些组件的性能。结果显示了这些组件可实现的潜在加速以及缓存带宽带来的限制。
阅读更多
海滩男孩的联合创始人兼主要词曲作者Brian Wilson去世，享年82岁。他的家人宣布了这一消息。Wilson被誉为音乐巨匠，他开创了录音室作为乐器的先河，影响了几代流行音乐家。2024年初，他被诊断出患有类似痴呆症的神经认知障碍。Wilson在加州英格尔伍德出生，十几岁时与兄弟Dennis和Carl，表兄Mike Love以及高中朋友Al Jardine组建了乐队（当时名为Pendletones）。他们的第一首歌《Surfin’》由Candix唱片公司发行，该公司未经乐队成员许可将乐队更名为海滩男孩。一年后，乐队与Capitol唱片公司签约，发行了首张专辑《Surfin’ Safari》；次年，《Surfin’ U.S.A.》成为海滩男孩的第一首美国前十单曲。1964年，由于乐队繁忙的行程，Wilson经历了一次恐慌症发作，决定停止与海滩男孩一起巡演。他专注于制作，并于1965年开始制作具有里程碑意义的实验流行专辑《Pet Sounds》。尽管《Pet Sounds》在发行时被认为是商业上的失败和评论上的失败，但它在2004年被列入美国国会图书馆国家录音登记处。Wilson的个人生活和事业充满挑战，包括与心理学家Eugene Landy的复杂关系，以及与药物和酒精成瘾的斗争。然而，他的音乐遗产将继续激励着无数的音乐家和乐迷。
阅读更多
本文提出了一种大胆的设想：利用熔融石英（玻璃）作为绝缘材料建造全球海底电力传输系统。熔融石英具有极高的绝缘强度和低廉的成本，可以制造出更细、更便宜的海底电缆。为克服玻璃难以弯曲的缺点，文中建议在船上连续制造电缆并直接铺设。电缆设计为铝芯导体周围包裹熔融石英绝缘层，利用石英的表面硬化技术替代外部保护层。文中还详细论述了高压直流电缆电压的选择、制造工艺、铺设过程、应对风暴和地质运动等挑战的方案，以及经济效益分析。虽然项目面临技术挑战和高昂的研发成本，但作者相信，这种低成本的海底电缆技术具有巨大的潜力，可以彻底改变全球电力传输格局。
阅读更多
作者讲述了在一次演讲中，他谈到“真诚”的重要性，并以一位知名风投为例。这位风投在采访中多次强调自己的“透明”和“真诚”，但在作者朋友（一位女CEO）的经历中，这位风投却展现出操纵和欺骗的一面，通过散播谣言、谎报事实等手段来达到自己的目的。最终，这位风投的虚伪面目被揭露，他的名声也受到了影响。这篇文章警示我们，要警惕那些只说不做的人，要擦亮眼睛，辨别真伪。
阅读更多
作者在探索大型语言模型（LLM）上下文窗口限制的最佳实践时，发现了一种利用子代理解决问题的革命性方法。通过将任务分解给具有独立上下文窗口的子代理，避免了主上下文窗口溢出，从而提高了效率和可靠性。这种方法类似于异步编程中的状态机，使得复杂的代码生成和任务处理变得更加流畅。作者还分享了利用AI自动化“维持系统运行”（KTLO）任务的想法，并展望了未来AI在自动化软件开发中的潜力。
阅读更多
传统时间序列预测方法如ARIMA和Prophet已逐渐被新型“基石模型”所挑战。这些模型旨在将大型语言模型的强大能力应用于时间序列数据，实现单一模型跨多种数据集和领域的预测。文章对Amazon Chronos、Google TimesFM、IBM Tiny Time-Mixers和Datadog Toto等基石模型进行了基准测试，并与经典模型进行了比较。测试结果表明，在处理多变量预测任务时，基石模型表现出色，尤其在处理来自生产环境的Kubernetes pod指标时，Datadog Toto表现最佳。然而，基石模型在处理异常值和全新模式时仍存在挑战，经典模型在稳定工作负载下仍具有竞争力。最终，文章认为基石模型在处理快速变化、多变量数据流方面具有显著优势，为现代可观测性和平台工程团队提供了更灵活、可扩展的解决方案。
阅读更多
一位摄影师十年间走遍世界各地，从加拿大到日本，从欧洲到美国，追寻着摄影的意义。他经历了从对摄影技巧的迷恋到对文化与个人表达的探索，从对社交媒体点赞的追逐到对深度作品的追求。期间，他见证了数字时代信息爆炸带来的文化碎片化，以及AI技术对艺术创作的冲击。最终，他意识到，真正的价值不在于数量和关注度，而在于对作品的长期投入和对个人表达的坚持。
阅读更多
本文批判了依赖直觉和灵感的“感觉编程”方式，认为这种方式在软件开发领域已过时且危险。作者提出“半机械人编程”的概念，主张程序员应与 AI 工具协同工作，利用 AI 辅助编码、调试和构思，而人类则专注于设计、伦理和方向判断。文章指出，新一代 AI 工具并非作弊手段，而是能够提升效率的加速器，关键在于程序员如何有效地运用这些工具，将 AI 作为合作伙伴而非替代品，最终目标是构建更强大、更可靠的软件系统。
阅读更多
Anthropic公司悄然关闭了其名为“Claude Explains”的AI博客，该博客旨在通过Claude AI模型撰写博文，以结合客户对解释性内容的需求和营销目标。虽然该博客在上线一个月内获得了不错的链接数量，但由于缺乏关于AI生成内容的透明度，以及AI在写作方面能力的局限性，引发了社交媒体的负面评价。这反映了AI内容创作领域中透明度和准确性的重要性，以及在使用AI辅助创作时，人类编辑和审核的重要性。
阅读更多
作者在为NRAO编写一个小型“竞赛”程序时，用Haskell、Common Lisp和Smalltalk三种语言实现了同样的功能，以此比较不同语言的编程体验。结果发现，他对于Haskell的喜爱与其实用性无关，而是源于使用Haskell时独特的感觉——代码简洁优雅，更像是一组可组合的动作，而不是简单的算术运算。作者对比了三种语言的代码实现，并深入探讨了自身编程风格与Haskell的契合，以及对编译器依赖性的反思。虽然承认Haskell并非完美，但作者仍然享受着Haskell带来的简洁和高效，并对未来探索更有效的编程方式充满期待。
阅读更多
IBM计划在2029年推出名为“星椋鸟”的量子计算机，拥有200个逻辑量子比特，能够连续执行1亿次逻辑运算，其纠错能力远超现有量子计算机。尽管专家对其实用性存疑，认为其可能无法解决实际问题，但该项目代表了量子计算领域的重要进展，采用模块化设计，通过连接多个模块来扩展规模。IBM的路线图包括先建造更小的机器，例如今年的Loon和明年的Kookaburra，最终连接约100个模块构建星椋鸟。这标志着量子计算向实用化迈进，但技术挑战依然存在。
阅读更多