How Pluto got its 'heart' | University of Arizona News (news.arizona.edu)
该网站内容介绍了冥王星心形的起源，解释了新视野号探测器如何拍摄到冥王星心形区域的图像，并提供了有关冥王星地质和大气层的背景信息。该网站还包括新视野号任务团队成员的评论和引述。
Senior Backend Engineer at Chariot | Y Combinator (www.ycombinator.com)
该网站上的职位招聘是高级后端工程师, 专注于服务器端应用程序的开发和维护。要求具备计算机科学或相关领域的学士学位，至少三年后端开发经验，精通 Python、Java 或 Go 编程语言，以及对大型分布式系统、数据结构和算法的深入理解。还需要出色的解决问题和沟通能力，以及对学习和适应新技术充满热情。
弗拉姆红河节原子化组织 (thentrythis.org)
这个网站上有一篇博文，介绍了 2023 年 11 月 17 日在英国康沃尔郡雷德鲁斯举行的 Flamm 音乐节上组织原子乐队的信息，其中包括日期、时间、演出阵容和购票链接。
通用汽车有轨电车阴谋 (en.wikipedia.org)
通用汽车有轨电车阴谋指的是美国通用汽车公司计划通过收购和拆除有轨电车系统来推动汽车和公共汽车销售的说法。有轨电车阴谋理论认为，通用汽车公司通过成立全国城市公共汽车和电车公司（NCPTA）来达到这个目的。NCPTA随后收购了众多有轨电车系统，并用公共汽车取代了有轨电车服务。通用汽车否认了这一阴谋，但有证据表明，该公司确实采取了一些措施来削弱有轨电车行业。
程序合成 - 维基百科 (en.wikipedia.org)
程序合成是指构建一个可证明满足给定高级形式规范的程序的任务。与程序验证不同，程序是要被构建而不是给定的；然而，这两个领域都利用了形式化证明技术，并且都包含了不同程度自动化的途径。与自动编程技术相比，程序合成中的规范通常是非算法的陈述，用适当的逻辑演算表示。程序合成的主要应用是减轻程序员编写满足规范的正确、高效代码的负担。然而，程序合成也适用于超级优化和循环不变量的推断。
Introducing OpenAI Japan (openai.com)
该网站宣布 OpenAI 在日本推出人工智能研究和开发中心。该中心将专注于开发人工智能技术，以应对日本的独特挑战和机遇，例如老龄化人口和自然灾害。中心的研究重点包括人工智能安全、人工智能伦理和社会影响，以及自然语言处理和计算机视觉。
“过度注重美学”导致挪威木桥坍塌 (www.dezeen.com)
2022年8月，挪威一座使用了10年的大型木桥Tretten Bridge坍塌，官方报告批评了该桥梁的设计和施工。挪威安全调查局（NSIA）的报告指出，该桥梁的规划、设计、检查和批准过程中缺乏足够的谨慎，其非常规设计存在风险因素。报告还指出，挪威公路管理局在2016年Perkolo Bridge坍塌后对Tretten Bridge进行了调查，但尽管当时发现了“严重缺陷”，却没有采取行动。NSIA认为，Tretten Bridge的设计和管理存在系统性缺陷，缺乏对块体剪切失效的了解，桥梁管理系统和风险管理也存在缺陷。
Seismologists suspect earthquake on San Andreas Fault is imminent despite odd attenuation parameters (phys.org)
根据地震学家的新研究，加州南部圣安德烈亚斯断层发生大地震的可能性比以前认为的要小。研究人员使用了改进的地震模拟，结果表明，7.5级或更大地震的可能性比之前的估计低了近三分之一。然而，研究人员指出，该断层仍然有可能发生大地震，因此仍需保持警惕。
科技巨头和硅谷如何转变了军工复合体 | 战争成本 (watson.brown.edu)
该网站提供了一份由布朗大学沃森国际与公共事务研究所发布的研究论文，名为“硅谷”，内容是关于科技行业对美国国家安全的影响。论文探讨了该行业对国家安全的影响，重点关注科技行业在国防技术研发中的作用，以及国防工业基地对科技行业的影响。此外，该论文还研究了科技行业对美国与盟国关系以及科技行业对美国社会影响。
Codapi：一个向以编程语言 CoD 发送 HTTP 请求的 Python 端口 (github.com)
"Codapi"是一个 Python 端口，它允许用户向以编程语言 CoD 编写的应用程序发送 HTTP 请求。它提供了对 CoD 编译器和运行时的低级访问，使开发者能够与 CoD 应用程序进行交互、执行远程过程调用并管理状态。
Suicide Mission - The American Prospect (prospect.org)
本文重点关注波音公司为降低成本而进行的一系列行动，导致飞机安全问题增加。文章揭露了飞机维护和检修方面的管理不当，以及波音公司与联邦航空管理局（FAA）之间监管方面的失误。文章还探讨了波音公司在应对737 MAX危机中的失败，以及这一危机对航空业和公众信任的影响。
Abstract methods and NotImplementedError in Ruby (nithinbekal.com)
本网站提供了有关抽象方法和 NotImplementedError Ruby 异常的详细解释。它涵盖了抽象方法的概念、NotImplementedError 的用途以及如何在 Ruby 代码中正确使用它们。该文章为初学者和经验丰富的开发人员提供了深入的理解，并附有清晰的代码示例。
5亿个GPT代币后的教训 (kenkantzer.com)
本文作者分享了公司使用超过5亿个GPT代币后得出的一些“令人惊讶”的经验教训。作者认为，在提示工程方面，少即是多，过于详细的指示反而会让GPT困惑。作者还发现，OpenAI的chat API足以满足大部分需求，langchain等工具并非必需。作者还指出，GPT不擅长生成零假设，并且“上下文窗口”是一个误称，因为GPT-4的输出窗口仍然很小。最后，作者认为向量数据库和RAG/嵌入技术对于大多数人来说用处不大，因为它们主要适用于搜索场景。
New Spectre v2 attack impacts Linux systems on Intel CPUs (www.bleepingcomputer.com)
Bleeping Computer 报道了新的 Spectre V2 攻击，该攻击会影响英特尔 CPU 上的 Linux 系统。该攻击利用了预测执行功能，允许攻击者访问原本不可用的内存区域。文章提供了有关攻击的详细信息，并建议用户更新其操作系统和固件以进行保护。该网站还提供了一系列其他网络安全新闻、指南和教程。
‘HR is not your friend’: why frustrated workers are hiring reps of their own | US work & careers | The Guardian (www.theguardian.com)
该文章探讨了美国人力资源部门的演变，重点关注了技术进步、劳动力变化和外部供应商的兴起如何塑造该行业。文章引用了专家意见和数据，分析了人力资源部门日益重要的战略角色，以及它们如何通过提供数据驱动的见解和支持业务目标来影响组织绩效。
Ethereum has blobs. Where do we go from here? (vitalik.eth.limo)
由于以太坊的最新改进，Vitalik Buterin 概述了将数据存储为 blob 的提案及其对网络的影响，包括潜在的提高可扩展性、降低成本和加强隐私。
男子创造性地潜入达美航班，但被抓 (onemileatatime.com)
一名26岁男子试图从盐湖城偷偷登上飞往奥斯汀的达美航班，他使用西南航空的员工机票通过了安检，但由于航班已满，他未能登机。于是，他拍摄了其他乘客的登机牌，并使用其中一张登机牌登上了达美航班。为了不被发现，他躲进了卫生间，计划等所有乘客登机后再找空座。然而，该航班满员，在他从卫生间出来后，空乘人员发现了异常，飞机返回登机口，该男子被警方逮捕。
DES algorithm illustration | Hereket (hereket.com)
该网站提供关于 DES 加密算法的深入技术信息，包括其历史、工作原理、优点和缺点。它还包括示例代码和交互式可视化工具，帮助理解算法的实现。
Trying out Rye - ブラック (burakku.com)
该网站文章讨论黑麦检验在 Python 中的应用，详细介绍了相关的 Python 工具和技术，如 statsmodels 和 SciPy。它还提供了有关如何使用这些工具执行黑麦检验的分步说明。
ClassroomIO：一款面向教育的现代浏览器编程环境 (www.classroomio.site)
ClassroomIO是一个一体化教育平台，提供浏览器内代码编辑器和执行环境。它允许多种编程语言，方便教师创建作业、学生编写和运行程序以及提供反馈，所有功能集中在一个易于使用的平台上，简化了编程教育。
The Microsoft-Dilemma - Europe as a Software Colony | Full Documentary - kolektiva.media (kolektiva.media)
Kolektiva是一个开源协作平台，用户可以在此创建和共享文档、电子表格和演示文稿。它提供实时协作功能，允许多个用户同时编辑同一文档。该平台还包括一个项目管理工具，可用于跟踪任务、设置截止日期和分配任务。
U.S. Justice Dept. Sues Apple, Claiming iPhone Monopoly in Antitrust Case - The New York Times (www.nytimes.com)
纽约时报上的一篇新闻文章报道了苹果公司因其反竞争行为而面临美国司法部的诉讼。文章详细介绍了针对苹果的反垄断指控，包括其 App Store 政策、以及对竞争对手的限制措施等。文章还讨论了诉讼可能对苹果及其行业产生的潜在影响。
Sean Coates blogs about Matter and Privacy (seancoates.com)
该网站的博客名为“物质与隐私”，涵盖了法律、人工智能、隐私、数据保护和道德等主题。博客文章深入探讨了这些领域的复杂问题，提供了见解和分析。文章的作者是专家和专业人士，为读者提供了对这些重要主题的宝贵见解。
The SeaMonkey® Project (www.seamonkey-project.org)
SeaMonkey-Project 是 SeaMonkey 网络套件的官方网站，它是一个开源的、跨平台的互联网套件，提供浏览器、电子邮件和网页设计功能。该网站提供软件的下载、用户支持论坛和有关 SeaMonkey 项目的最新消息。
Old Vintage Computing Research: After 41 years, my first assembly program on my first computer, the Tomy Tutor (oldvcr.blogspot.com)
该网站发表了一篇博文，讲述了作者在 41 年后首次使用汇编语言进行编程的经历。文章分享了作者的经验教训，包括语法、编译器和调试方面的挑战。作者还讨论了汇编语言在现代软件开发中的相关性。
Flightradar24’s new GPS jamming map | Flightradar24 Blog (www.flightradar24.com)
该网站提供了一个交互式地图，显示了实时全球 GPS 干扰事件。用户可以探索地图查看当前和过去 GPS 干扰的详细信息，并查看该地区影响的飞机和机场。该地图还提供有关 GPS 干扰技术和事件对航空业的影响的信息。
Fwupd Switches From XZ To Zstd Compression: More Trust & Slightly Better Performance - Phoronix (www.phoronix.com)
Phoronix是一家技术新闻网站，报道Linux和开源软件领域的最新消息。最近的一篇文章讨论了Fwupd固件更新守护程序切换到Zstandard(Zstd)压缩格式，以提高固件更新的效率。Zstd是一种无损数据压缩算法，比之前的Zip算法速度更快、效率更高。文章还提供了关于Fwupd如何利用Zstd以及切换如何影响固件更新时间和大小的技术细节。
New Seafloor Map Only 25% Done, with 6 Years to Go - Eos (eos.org)
该网站文章重点介绍了一项绘制海床地图的项目，该项目目前仅完成了 25%，预计还有 6 年时间才能完成。研究人员利用声纳技术收集数据，涵盖全球超过 80% 的海床。该项目旨在创建分辨率提高 10 倍的新海床地图，将显著改善我们对海洋的理解。
Why The Higgs Field is Nothing Like Molasses, Soup, or a Crowd (profmattstrassler.com)
该网站由物理学家 Matt Strassler 撰写，提供了对希格斯场的深入解释，反驳了其与糖蜜汤或人群的类比。文章使用明确的术语和类比，深入探讨了希格斯场的科学概念，包括其在基本粒子相互作用中的作用、真空中的能量密度以及对基本粒子质量的贡献。