美国初创公司斯托克太空（Stoke Space）近日成功对其首个火箭发动机进行了首次点火测试。该发动机采用全流量分级燃烧技术，此前只有SpaceX的猛禽发动机在飞行中展示过这种技术。该公司计划用七台这种发动机为其Nova火箭提供动力，目标是在2026年进行首次飞行。
阅读更多
这篇文章探讨了Python wheel文件名缺乏规范形式的问题。文章指出，尽管Python包名和版本号都有规范化规则，但wheel文件名却没有，导致无法直接通过字符串比较判断两个文件名是否等效。文章分析了压缩标签集的顺序和重复性问题，这些问题加剧了文件名不规范的程度。作者认为，尽管这个问题在实际应用中 rarely 造成影响，但它表明wheel文件名不适合作为领域密钥使用。最后，文章提出了两种解决方案，建议规范压缩标签集的表达和引入规范化方法。
阅读更多
Restate是一个用于构建弹性应用程序的框架，它以常规函数和服务的形式，在现有的基础设施上运行，支持FaaS、K8s、服务器、容器等多种环境，可以自托管或完全托管。Restate提供了一些功能，例如代码工作流、异步任务、定时器、调度器、事件驱动应用程序、微服务编排等，可以轻松解决常见的挑战，例如API调用和webhooks、异步任务、状态事件处理、持久信号、幂等性、Sagas、状态机等。
阅读更多
这篇文章是对于菲尔兹奖得主陶哲轩的采访。陶哲轩认为，人工智能将改变数学家们的工作方式。 证明检查器和人工智能程序可以帮助数学家们进行更大规模的合作，并将数学研究推向新的高度。 他相信人工智能将成为数学家的强大工具，帮助他们解决更复杂的数学问题，并探索新的数学领域。
阅读更多
Lexbor是一个开源的HTML渲染引擎库，致力于提供简单、灵活和高效的网页渲染解决方案。它具有模块化设计，速度快，且不依赖外部库，方便开发者根据需要选择使用。Lexbor支持HTML5规范、CSS语法、URL解析、编码转换等功能，并提供详细的文档和路线图。
阅读更多
Spilo是一个Docker镜像，它将PostgreSQL和Patroni捆绑在一起，用于创建高可用的PostgreSQL集群。多个Spilos可以通过相同的etcd地址和集群名称形成弹性集群。Spilo的创建者正在开发一个PostgreSQL operator，以便在Kubernetes环境中更轻松地部署和维护可扩展的PostgreSQL集群。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/22309273/vpavic_4412_20210111_0003.jpg)
Waymo公司的一辆自动驾驶汽车在亚利桑那州凤凰城撞上电线杆后，该公司发布了软件召回。此次召回涉及672辆自动驾驶汽车，旨在修正软件错误和更新地图，以更好地识别静止物体和道路边缘。这是Waymo第二次召回，此前该公司在去年2月因两起轻微碰撞事件召回了444辆汽车。此次事件发生之际，正值美国联邦政府加强对自动驾驶汽车行业的监管审查，Waymo也因其自动驾驶汽车涉及的20多起事件正在接受调查。
阅读更多
英特尔将在未来几周内接管俄亥俄州南部的道路，因为它正在建设新的俄亥俄州一号园区，这是一个耗资280亿美元的项目，旨在创建一个占地1000英亩的园区，其中有两家芯片工厂，并有更多空间。这个项目被称为新的“硅心脏地带”，将成为美国中西部第一个领先的半导体制造厂，一旦投入运营，将致力于英特尔工艺的“埃时代”，即20A及以后。除了为该地区带来就业机会外，英特尔还寻求通过向当地学校和大学投资数百万美元，为当地学生提供在晶圆厂工作的工具，从而与俄亥俄州建立良好的关系。
阅读更多
YouTube 正在测试服务器端功能，可能会影响 SponsorBlock 和 DeArrow 等浏览器扩展的功能。目前尚不清楚 YouTube 的具体计划，但这些变化可能导致这些扩展失效或需要进行重大调整才能继续运作。
阅读更多
iTerm2 是一款 macOS 终端替代软件，其 AI 插件为 iTerm2 提供了生成式 AI 功能，并支持网络请求。该插件作为独立组件，确保终端信息不会意外通过网络发送。安装插件只需下载解压后放置在 /Applications 目录下，iTerm2 会自动定位。
阅读更多
荷兰情报机构指出，中国政府黑客利用飞塔VPN设备的一个严重漏洞，成功入侵了全球超过2万台设备，其中包括西方政府机构、国际组织以及国防公司等。该漏洞早在飞塔公司修复前两个月就已被利用，攻击者安装了名为“CoatHanger”的隐蔽后门程序，难以检测和清除。荷兰方面呼吁各方重视此次网络间谍活动，及时采取措施防范。
阅读更多
本文介绍了如何在没有官方支持的情况下，使用名为 Text Workflow 的应用程序和快捷指令，将 ChatGPT 集成到 iOS、iPadOS 和 macOS 工作流程中。作者详细介绍了设置 Text Workflow 工作流程并将其集成到快捷指令中的步骤，使用户能够在不切换或打开其他应用程序的情况下无缝访问 ChatGPT。
阅读更多
在德国南部一座新近发现的城堡遗址中，考古学家发现了一批中世纪游戏棋子，包括六面骰子、各种形状的游戏棋子以及保存完好的国际象棋棋子，均由鹿角雕刻而成。这些发现为了解近千年前，大约是国际象棋作为亚洲舶来品传入欧洲的时代，人们的休闲时光提供了线索。
阅读更多
文章揭露了人工智能检测器在识别AI生成文本时存在误差，导致许多作家被误判使用ChatGPT等工具写作而被解雇。尽管这些检测工具声称拥有高达99.98%的准确率，但专家和学者指出，这些工具并不可靠，其结果常常是错误的。文章还探讨了AI检测公司、作家和谷歌等利益相关方对AI检测工具的看法和争议。
阅读更多
马里兰大学公共卫生学院的研究人员进行了一项研究，比较了不同口罩在阻止新冠病毒传播方面的效果。研究发现，所有口罩都能有效阻挡病毒，但“鸭嘴兽”N95口罩的效果最佳，能阻挡98%的病毒颗粒。研究人员建议，在高风险环境下，应该将“鸭嘴兽”N95口罩作为标准防护措施。
阅读更多
文章讲解了如何通过调整Postgres的内存设置来优化数据库性能。文章首先介绍了共享缓冲区（shared buffers）的概念及其重要性，建议将其设置为可用内存的25%。其次，文章解释了工作内存（work_mem）的作用，指出每个查询节点都会分配独立的work_mem，建议根据查询复杂度和并发连接数进行调整。文章还介绍了维护工作内存（maintenance_work_mem）的用途，建议将其设置为1GB或2GB。最后，文章讨论了如何通过会话池化、减少表膨胀等方法来降低内存消耗，并提供了一些内存优化建议。
阅读更多
这篇文章深入探讨了 AES-GCM 加密模式，特别是当随机数被重用时，其安全性是如何完全被攻破的。文章首先概述了 AES 和 GCM，包括加密、密钥流生成和 Galois/Counter 模式下的认证机制。接着，文章重点阐述了随机数重用带来的安全风险，并详细解释了如何利用多项式方程求解和 Cantor-Zassenhaus 算法来恢复 GHASH 密钥，从而伪造认证标签，最终攻破 AES-GCM 的安全性。
阅读更多
Elixir v1.17版本带来了几项重要更新，包括在模式匹配中引入了集合论类型，可帮助开发者在编译阶段发现错误；新增了对Erlang/OTP 27的支持以及日历相关的Duration数据类型和Date.shift/2函数，方便开发者处理日期和时间。
阅读更多
ARM与高通之间因授权问题产生纠纷，ARM要求销毁所有使用骁龙X处理器的电脑。原因是高通收购了使用ARM架构开发处理器的初创公司Nuvia，ARM认为高通超出授权范围使用其技术。高通则反驳ARM故意拖延交付，并试图通过新的授权模式获取更多利润。目前双方尚未达成和解。
阅读更多
“死亡互联网理论”认为，互联网上的活动和内容，包括社交媒体账户，主要由人工智能代理创建和自动化。这些代理可以快速创建帖子，并生成人工智能图像，旨在提高 Facebook、Instagram 和 TikTok 等平台上的参与度（点击、点赞、评论）。 然而，“死亡互联网理论”更进一步指出，许多参与此类内容的账户似乎也由人工智能代理管理，从而形成了一个人工参与的恶性循环，这个循环没有明确的目的，也不再涉及人类。
阅读更多
本文是一期播客内容介绍，嘉宾Brian Holt和Marco Bambini探讨了SQLite数据库为何越来越受欢迎。SQLite以其高效、快速和稳定等优点，正逐渐改变开发者对其仅适用于单用户的固有印象。嘉宾们还介绍了SQLite Cloud如何通过共享功能和企业级特性增强SQLite，使其成为更全面的解决方案。
阅读更多
本文讲述了林恩·康维传奇的一生。她是一位杰出的计算机科学家，也是一位勇敢的跨性别先驱。她在IBM秘密设计超级计算机时，选择进行性别转换手术，却因此被IBM解雇。但她没有放弃，在施乐帕洛阿尔托研究中心与人合作建立了超大规模集成电路设计规则，推动了计算机微处理器设计的革命。她还积极为跨性别群体争取权益，帮助了无数跨性别者。
阅读更多
本文分析了棒球运动中球种的变化轨迹，尤其是指关节球的运动轨迹。作者利用PITCHf/x追踪系统的数据，对指关节球和其他球种的轨迹进行了比较分析，发现指关节球的轨迹并非如人们所感知的那样 erratic，而是与其他球种一样平滑。作者认为，人们之所以认为指关节球的轨迹 erratic，是因为其运动的随机性和不可预测性，导致了视觉上的错觉。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25362060/STK_414_AI_CHATBOT_R2_CVirginia_C.jpg)
谷歌的AI搜索引擎仍然推荐在披萨中加入胶水，这是因为AI学习了此前网络上关于“胶水披萨”的恶搞内容。尽管谷歌已经修复了此前“谷歌轰炸”的问题，但新的AI搜索结果表明，AI仍然容易被网络上的错误信息误导。
阅读更多
本文介绍了18世纪末到19世纪初流行的一种特殊的微型画像——眼睛微型画像。这些画像通常画在象牙上，镶嵌在戒指、吊坠盒等饰品中，作为恋人之间互赠的礼物。文章追溯了这种风俗的起源，分析了它背后的情感和文化内涵，并展示了费城艺术博物馆收藏的一系列眼睛微型画像。
阅读更多
本文探讨了 Gleam 语言语法特性，尤其是函数参数顺序与其他语言相比的独特性。作者从 Erlang 和 Python 的部分应用特性出发，解释了它们函数参数顺序的由来，并对比了 Haskell 的类似机制。Gleam 的管道操作符促使数据转换以更接近自然语言的顺序编写，而其“类方法”函数设计以及默认的模块限定导入，使得代码中每个函数的来源清晰可见，增强了代码的可读性和可发现性，这也是作者最为欣赏的 Gleam 特性。
阅读更多
