核手提箱 海洋云增白 可扩展服务 policy 颈挂空调 计算机硬件 极端主义 PostgreSQL AI工具 儿童读物 化学 即时消息 代码审查 反向工程 KDE 数据安全 效率工具 超级计算机 植物学 分析化学 插图 Three.js 泄露 大会 初创 Verizon 海水淡化 GPT-3 加速器项目 更多

麻省理工学院研究人员在我们银河系后院发现了宇宙中最古老的恒星 (news.mit.edu)

麻省理工学院的研究人员在银河系的光环中发现了三颗宇宙中最古老的恒星,这些恒星形成于120到130亿年前,当时最早的星系正在形成。研究人员将这些恒星命名为“SASS”,代表“小型吸积恒星系统”,因为他们认为每颗恒星都曾经属于自己的小型原始星系,后来被更大的银河系吸收。

GitHub - ldapjs/node-ldapjs: Node.js 的 LDAP 客户端和服务器 API (github.com)

Node.js的LDAP客户端和服务器API项目已停用。项目维护者James Sumners宣布,由于缺乏时间和受到网络暴力威胁,他决定停止维护该项目。他建议用户使用其他更适合LDAP操作的语言,例如Go语言,来编写网关。

GitHub - reworkd/tarsier: 适用于网页交互代理的视觉工具 👀 (github.com)

Tarsier是一个为网页交互代理设计的视觉工具,它可以通过括号和ID标记网页上的可交互元素,并提供OCR算法将网页截图转换为结构化字符串。Tarsier支持多种OCR服务,并提供详细的使用指南和示例。

苹果宣布推出包括眼动追踪在内的新辅助功能 (www.apple.com)

苹果公司宣布将在今年晚些时候推出新的辅助功能,包括眼动追踪功能,这将允许身体残障人士仅用眼睛控制 iPad 或 iPhone。此外,Music Haptics 将为聋哑或听障人士提供一种使用 iPhone 中的 Taptic Engine 体验音乐的新方式;Vocal Shortcuts 将允许用户通过发出自定义声音来执行任务;Vehicle Motion Cues 可以帮助减少在移动车辆中使用 iPhone 或 iPad 时的晕车;visionOS 还将推出更多辅助功能。

使用 InboxPurge 清理你的 Gmail 收件箱 (www.inboxpurge.com)

InboxPurge 是一款 Gmail 插件,可以帮助你快速清理收件箱,轻松退订、屏蔽和删除不需要的邮件。它提供批量退订和删除功能,让你快速清理收件箱。InboxPurge 非常注重隐私,你的邮件和个人数据永远不会发送到外部服务器。它在你的浏览器中通过 Gmail API 运行,并已成功通过 Google 的 OAuth 验证。

Mikeyk 加入 AnthropicAI 担任首席产品官 (www.threads.net)

Mikeyk 在 Threads 上宣布加入 AnthropicAI 担任首席产品官,并表示对团队和公司使命感到兴奋。

平均值的缺陷 (causal.app)

本文探讨了在做决策时,仅仅依靠平均值进行估算的缺陷。作者指出,平均值忽略了不确定性,而现实世界中充满了变数。文章以个人预算为例,说明了即使考虑了“最佳情况”和“最差情况”,基于情景的简单方法也可能具有误导性。作者认为,人类不擅长概率推理,因此应该借助计算机进行蒙特卡罗模拟,通过模拟成千上万种可能的情景,来得到更可靠的结果。

请不要服用Lumina的防龋齿益生菌 (trevorklee.substack.com)

文章强烈反对使用Lumina公司生产的防龋齿益生菌BCS3L-1。作者认为,该益生菌未经FDA批准,存在安全隐患,且其有效性未经证实。作者详细介绍了BCS3L-1的作用机理,并指出其可能带来的健康风险,包括污染、细菌耐药性、酒精生成和对免疫系统的影响。作者呼吁Lumina公司停止销售该产品,并采取措施帮助已服用该产品的消费者消除其潜在危害。

Viking 7B:首个面向北欧语系的开源大型语言模型 (www.silo.ai)

欧洲最大私营人工智能实验室 Silo AI 与图尔库大学 TurkuNLP 研究小组合作发布了首个面向所有北欧语系的多语言大型语言模型 (LLM) Viking 7B。Viking 7B 是一个一流的开源模型,对当地价值观和文化敏感,是该团队为低资源语言训练强大 LLM 的新方法的进一步证明。这是迈向适用于所有欧洲语言的最先进 LLM 家族的重要里程碑。

马丁·克莱普曼: “我们大学部署了一个邮件过滤器,它重写……” - 非确定性计算机 (nondeterministic.computer)

本文讨论了马丁·克莱普曼对大学部署邮件过滤器的看法,该过滤器会重写邮件内容。克莱普曼认为这种做法存在问题,并引发了关于邮件过滤和网络安全的讨论。

面向工程师的开源商业智能工具Quary (github.com)

Quary是一个面向工程师的开源商业智能工具,它允许工程师连接到数据库,编写SQL查询以转换、组织和记录数据库中的表,并创建图表、仪表板和报告。Quary支持多种数据库,并允许工程师定义和管理模型、图表、仪表板和报告等资产。

伦敦证券交易所 (www.londonstockexchange.com)

伦敦证券交易所是全球领先的证券交易所之一,为来自世界各地的公司提供融资平台。该交易所提供股票、债券、衍生品等多种金融产品的交易服务,并拥有完善的监管体系,以确保市场公平透明。

Adobe Photoshop 源代码 (computerhistory.org)

本文讲述了Adobe Photoshop的起源和发展历程。Photoshop最初是由Thomas和John Knoll兄弟在20世纪80年代后期设计和编写的图像编辑程序。1990年,Adobe发布了Photoshop 1.0版本,该版本主要使用Pascal语言编写,并在摩托罗拉68000微处理器上运行。文章详细介绍了Photoshop 1.0版本的源代码,并附带了早期版本的截图和用户指南。

SMTP 550-5.7.1 被弗吉尼亚州重新划分选区拒绝 (www.khanna.law)

本文讲述了作者妻子Lisa在给弗吉尼亚州参议员Ghazala Hashmi发送邮件邀请时遇到了SMTP 550-5.7.1错误。原因是弗吉尼亚州最高法院在2021年12月重新划分了选区,导致参议员Hashmi的选区号码发生了变化,而立法机构的IT部门决定不再允许使用选区号来发送邮件。作者对政治与技术以这种奇特的方式碰撞感到着迷,认为这是一个高度技术性的邮件服务器响应,引用了政治上的重新划分选区,证明了我们的系统是如何相互关联的。

UniSuper与谷歌云故障始末 (danielcompton.net)

本文分析了澳大利亚养老基金UniSuper与谷歌云合作中发生的严重故障。故障导致UniSuper的私有云数据被删除,服务中断长达两周。作者通过研究UniSuper的谷歌云迁移过程,推测故障原因可能是UniSuper在使用Terraform等自动化工具管理基础设施时出现了操作失误,最终导致私有云被意外删除。尽管谷歌云承认故障与自身系统问题有关,但作者认为UniSuper的操作失误可能是主要原因。文章最后呼吁澳大利亚养老金监管机构APRA对事件进行深入调查并公布详细报告。

世界上最糟糕的网站 (matduggan.com)

本文作者讲述了他尝试从Broadcom公司网站下载VMware软件的糟糕经历。该网站设计糟糕,用户体验极差,注册、登录、搜索等功能都存在严重问题,下载过程更是繁琐至极。作者对Broadcom公司表达了强烈不满,并建议其关闭该网站。

几乎所有任天堂64游戏现在都可以重新编译成本地PC端口,以增加适当的光线追踪、超宽、高FPS等 (www.tomshardware.com)

N64Recomp项目能够将任天堂64游戏重新编译成本地PC端口,从而实现光线追踪、超宽分辨率、高帧率等图形增强功能。与完全反编译不同,N64Recomp提供了更快捷的移植方式,为游戏保存者和爱好者提供了更好的体验。

专为北美道路设计的重型卡车:沃尔沃 VNL (arstechnica.com)

沃尔沃推出新款VNL重型卡车,专为北美市场设计。该车型注重燃油效率和安全性,采用了空气动力学设计,并将Super Truck项目中的技术应用到实际生产中,例如连接驾驶室和拖车的整流罩,可将整体燃油效率提高7%。与欧洲卡车不同,VNL没有速度限制,因此设计重点是减少阻力。此外,沃尔沃还注重提高安全性,以帮助卡车保持运行,保护资产和货物,并吸引和留住司机。

如何让七年级学生吸烟 (www.experimental-history.com)

作者从一篇1989年的研究论文中了解到,一项名为“情绪”的反毒品项目,原本旨在帮助学生管理负面情绪,却意外导致参与该项目的七年级学生比未参与任何项目的學生吸食更多香烟、大麻和酒精。文章进一步探讨了类似的项目,如“Scared Straight”项目、D.A.R.E项目和正念训练,这些项目要么对学生造成伤害,要么未能提供帮助。作者认为,人们高估了改变他人的容易程度,并列举了三个原因:对他人的认知模糊、对改变的持久性期望过高以及理论缺乏可证伪性。

利用一个奇怪的技巧在几秒钟内推测出整个x86-64指令集 (blog.can.ac)

这篇文章介绍了一种利用CPU微架构细节和性能计数器来推测整个x86-64指令集的方法。作者利用CPU的推测执行和乱序执行特性,以及微指令翻译引擎(MITE)和微代码序列器(MS)的性能计数器,通过分析指令解码过程中的微指令数量和执行状态,推断出指令的行为和推测执行特性,甚至发现了一些未公开的指令。

我们不能再忽视人工智能的“幻觉”问题 (www.theverge.com)

文章指出,尽管人工智能发展迅速,但其“幻觉”问题,即人工智能生成不准确或虚假信息的问题,仍然是一个严重挑战。作者批评科技公司试图淡化这个问题,并强调人工智能的准确性至关重要。作者认为,人工智能应该以准确性为重,而不是为了追求所谓的“魔力”而牺牲事实。

抽象解释作为一种编程语言 (arxiv.org)

本文探讨了将抽象解释作为一种编程语言的可能性。作者认为,高阶严格性分析的结果可以更广泛地用作格上高阶函数的不动点算子,从而为一大类抽象解释的直接实现提供了一种技术。此外,它可以被看作一种编程范式,并用于以循环风格编写程序。

研究人员发现过去五万年来自然界二氧化碳上升最快速度 (today.oregonstate.edu)

俄勒冈州立大学的研究人员通过对古代南极冰层的化学分析发现,目前大气中二氧化碳的增长速度是过去五万年来任何时候的10倍。这项发表在《美国国家科学院院刊》上的研究结果为了解地球历史上气候突变时期提供了重要的新见解,也为当今气候变化的潜在影响提供了新的视角。

TypeScript 的品牌类型 (www.carlos-menezes.com)

本文介绍了TypeScript中品牌类型的概念和应用。品牌类型通过为现有类型添加标签来创建新类型,这个标签充当编译时验证器,确保值在其预期上下文中被正确使用。文章以生成哈希值的函数为例,说明了如何使用品牌类型来明确返回值的性质,防止误用。通过定义唯一的符号作为品牌,可以确保类型在代码库中的唯一性。品牌类型可以增强代码的清晰度和安全性,防止潜在的误用或混淆。

波音公司于2020年1月提交给国会的电子邮件 (archive.org)

本文档包含波音公司于2020年1月提交给美国国会的电子邮件内容,这些邮件最初由《华盛顿邮报》获得。

甲骨文弃用 Terraform,转而使用 OpenTofu (www.thestack.technology)

由于 Terraform 即将发生的许可变更,甲骨文在其 Oracle E-Business Suite (EBS) Cloud Manager 中用开源分支 OpenTofu 替换了 Terraform。甲骨文现在告诉客户,他们“必须”在 2024 年 6 月 30 日之前迁移到基于 OpenTofu 的新版本迁移/配置工具。此举是在 Hashicorp 于 2023 年决定对 Terraform 和其他产品采用更严格的 BSL 1.1 许可证(而不是之前使用的 MPL 2.0)之后做出的。

戴尔泄露文件揭示下一代Arm版Windows芯片、续航29小时的笔记本电脑等信息 (www.theverge.com)

戴尔一份长达311页的机密文件泄露,详细披露了其未来XPS系列的计划,包括即将推出的新款Arm版XPS 13笔记本电脑,以及高通下一代Windows on Arm芯片的发布时间表。文件显示,新款XPS 13将搭载高通骁龙X Elite芯片,并提供FHD+、QHD+和OLED三种屏幕版本,其中FHD+版本本地视频播放续航时间可达29小时。此外,文件还暗示了高通下一代骁龙芯片的发布时间,以及戴尔计划在2025年下半年和2027年末分别推出搭载Oryon V2和V3芯片的新款XPS 13和XPS 14笔记本电脑。

高斯蓝噪声 (arxiv.org)

这篇文章介绍了一种使用高斯核优化框架生成具有蓝噪声频谱的点分布的方法。研究表明,通过优化参数的合理选择,该方法可以获得前所未有的质量,可证明地超越了由最佳传输 (BNOT) 方法获得的当前最优结果。此外,文章还展示了该算法可以平滑且可行地扩展到高维,同时保持相同的质量,从而实现了前所未有的高质量高维蓝噪声集。最后,文章还展示了对自适应采样的扩展。

OpenAI 最新 GPT-4o 模型测评 (garymarcus.substack.com)

文章对 OpenAI 最新发布的 GPT-4o 模型进行了分析,作者 Gary Marcus 认为 GPT-4o 的语音合成能力令人印象深刻,但整体性能并没有比 GPT-4 有显著提升,他认为 OpenAI 可能已经转向新功能的开发,因为他们不知道如何实现“指数级改进”的预期能力提升。作者认为,目前还没有出现 GPT-5 级别的模型,这可能意味着我们已经进入了收益递减的阶段。

论科尼利厄斯·兰佐斯所著的《力学变分原理》 (www.thepsmiths.com)

本文介绍了兰佐斯的著作《力学变分原理》,探讨了牛顿力学和拉格朗日力学的哲学意义。作者以帆船运动为例,指出了亚里士多德因果论的局限性,并解释了牛顿力学如何取代了亚里士多德物理学。文章深入探讨了拉格朗日力学的优势,包括坐标不变性、对称性和对物理系统整体轨迹的关注。作者质疑了牛顿力学的“宇宙是一台大计算机”的观点,并认为拉格朗日力学可能提供了一种更真实的自然描述,其中最终目的在宇宙的演化中发挥作用。

1 2 5 6 7 9 11 12 13 101 102