Webtagr 前沿科技资讯摘要

怀登和马基揭示，汽车制造商在未经搜查令的情况下向执法部门提供详细的位置信息，几乎不通知车主，要求联邦贸易委员会调查违反保护司机隐私的承诺 (www.wyden.senate.gov)

参议员罗恩·怀登（D-Ore.）和爱德·马基（D-Mass.）今天公布了一份报告，显示汽车制造商在未经搜查令的情况下向执法部门提供了有关其客户车辆的详细位置信息。该报告发现，通用汽车、福特汽车、Stellantis 北美和丰田公司向执法部门提供了位置信息，几乎没有通知车主。怀登和马基在一封信中要求联邦贸易委员会（FTC）调查汽车制造商是否违反了保护消费者隐私的承诺。

27
评论

执法

汽车制造商

传闻围绕着神秘的 GPT-2 聊天机器人，一些人认为它是伪装的 GPT-5 (arstechnica.com)

本文讨论了有关一个名为 GPT-2 的聊天机器人的传言，该机器人声称比其前身 GPT-3 更强大，并可能实际上是 GPT-5 的一个版本。文章包含一个演示 GPT-2 的聊天记录，并讨论了 GPT-2 可能具有的一些潜在优势和劣势，例如针对特定领域的微调能力。

31
评论

聊天机器人

GPT-2

全球两大地球同步卫星运营商即将合并 (arstechnica.com)

Intelsat 和 SES 这两家全球最大的地球同步卫星运营商已经同意合并，打造一家拥有超过 90 颗卫星的通信巨头。合并后的公司将成为卫星行业的主导力量，拥有覆盖全球 99% 人口的卫星网络。这笔交易预计将于 2024 年完成。

31
评论

合并

Neofetch (github.com)

这是一个用于显示系统信息的命令行工具，它可以显示操作系统、内核、桌面环境、shell、处理器、内存、显卡和应用程序的信息。它支持多种操作系统，包括Linux、macOS和Windows。

系统信息

命令行工具

Mastodon 链接问题 (news.itsfoss.com)

本文讨论了 Mastodon 链接问题，并提供了可能的原因和解决方案。文章涉及 Mastodon 链接不能在所有平台上打开、链接缩短器服务不起作用、浏览器问题和服务器问题等原因。文章还提供了建议的解决方案，例如检查链接，尝试不同的链接缩短器，更新浏览器，以及联系 Mastodon 服务器管理员。

25
评论

Mastodon

链接问题

欧盟相对美国实现显著增长业绩 (www.bruegel.org)

布鲁盖尔研究表明，欧盟在世纪之交后经历了一段经济增长的时期，表现优于美国。该分析认为，这一增长主要归因于有利的贸易条件、欧盟扩大和人口结构等因素。报告还讨论了导致美国经济增长放缓的因素，例如金融危机和生产率下降。

25
评论

经济增长

贸易

GoCode Studio (demo.gocodestudio.com)

GoCode Studio 提供了一个功能齐全的在线代码编辑器，允许用户在基于浏览器的 IDE 中编写、运行和共享代码。该平台支持多种编程语言，包括 JavaScript、Python、Go、Java 和 C++。它还提供协作功能，例如实时协作和代码审查，使其成为团队软件开发和项目工作的理想选择。

在线代码编辑器

协作开发

Ashby: 职位空缺 (www.ashbyhq.com)

Ashby 提供一系列与前端、基础设施、全栈、运营、设计和数据相关的高级技术职位。公司重视协作，鼓励员工探索多样化的职业道路，并提供培训和发展机会。应聘者可以浏览当前的职位空缺并提交申请。

技术职位

职业发展

多元化职场

本月饮水机按钮 (www.theverge.com)

该网站是一个介绍饮水机按钮的博客，涵盖了按钮的历史、设计和文化影响。它以轻松、信息丰富的方式探索了这些看似平凡的物体背后的故事。

27
评论

饮水机

按钮

curl 完全指南 (everything.curl.dev)

这是一本关于curl的详尽指南，涵盖了curl项目、命令行工具、库、项目起源和发展历程。它解释了开发者如何进一步开发curl，如何使用它，用户如何通过代码或错误报告做出贡献，以及为什么数百万用户都在使用它。这本书的目标读者是普通读者和经验丰富的开发人员，提供了各种内容供读者选择。

29
评论

cURL

curl

Dream HTML - 一个用于创建 HTML 原型的库 (github.com)

这是一个用于创建 HTML 原型的 JavaScript 库。它提供了丰富的组件集，允许开发人员快速轻松地构建交互式和动态的网页原型。Dream HTML 以轻量级、易用性和定制性而闻名。

37
评论

原型

虚拟电厂和软件 (stephendeyoung.substack.com)

本文探讨了虚拟电厂 (VPP) 如何通过整合分布式能源 (DER) 来帮助电网应对电力需求的波动。VPP通过招募客户加入其项目，将屋顶太阳能、家用电池、电动汽车等DER整合起来，并在电力市场中提供电力、减少需求和辅助服务。文章还介绍了VPP软件平台的主要组件，并以特斯拉和Lunar Gridshare为例说明了VPP的实际应用。最后，文章指出了VPP发展面临的挑战，包括标准化和虚拟化创新，并提出了相应的解决方案。

虚拟电厂

分布式能源

伦敦地铁地图提交历史抵抗：又称 Git 合并地狱 (www.tugberkugurlu.com)

该网站提供了伦敦地铁地图提交历史的深入分析，探讨了在此过程中遇到的挑战和困难，主要关注 Git 合并过程中的复杂性。网站深入研究了提交历史，展示了开发人员在解决冲突和维护地图准确性方面所做的努力。

29
评论

伦敦地铁地图

Git

合并历史

中国推出全球最大的电动货柜船 (www.techtimes.com)

中国推出了以电力驱动的全球最大的货柜船，该船可减少从上海到加州长滩港的温室气体排放量超过90%。

27
评论

环保

航运

新能源

通过多标记预测改进大型语言模型 (arxiv.org)

本文提出了一种通过多标记预测改进大型语言模型训练效率的方法。研究人员训练模型一次预测多个未来标记，使用多个独立的输出头，并在代码和自然语言模型上取得了显著成果。这种方法在生成性任务中表现尤为出色，例如编码任务，模型性能提升了几个百分点。此外，使用多标记预测训练的模型推理速度提高了3倍。

超离子导体

电化学

原子级控制

多标记预测

模型效率

买家当心：大多数清洁能源采购策略对减少排放作用甚微 (research.princeton.edu)

普林斯顿大学的一项研究发现，风能和太阳能等可再生能源的企业采购并不像人们所希望的那样对减少碳排放做出重大贡献。研究发现，这些策略的主要动机是公司的可持续性目标和声誉，而不是对环境的影响。

30
评论

碳排放

小心虚假海滩：Pokémon Go (community.openstreetmap.org)

这个网站是一个 OpenStreetMap 社区论坛帖子，讨论 Pokémon Go 中的虚假海滩。它提供了有关如何识别和举报虚假海滩的信息，以及虚假海滩给游戏玩法带来的潜在风险。

25
评论

Pokémon Go

虚假海滩

费马大定理证明项目 (leanprover-community.github.io)

本文介绍了在Lean中证明费马大定理的项目。费马大定理的证明过程促进了大量数学理论的发展，并对密码学和物理学等领域产生了重要影响。作者认为，将费马大定理的证明形式化，不仅可以推动计算机理解现代数学研究，还能促进数学家之间的合作。文章还介绍了该项目的蓝图、资金来源以及作者对未来进展的展望。

26
评论

定理证明

FLT

交互式证明

费马大定理

Lean

形式化证明

Pgvector 一周年回顾：150 倍速度提升 (jkatz05.com)

本文回顾了 pgvector 过去一年的性能提升，特别是在索引构建时间、索引大小、吞吐量和延迟方面取得的显著成果。作者详细介绍了不同 pgvector 版本在 dbpedia-openai-1000k-angular、sift-128-euclidean、gist-960-euclidean、glove-25-angular 和 glove-100-angular 等数据集上的测试结果，展示了 HNSW 索引和量化技术的性能优势。文章还展望了 pgvector 的未来发展方向，包括简化过滤、支持混合搜索、硬件加速和分布式工作负载等。

27
评论

PgVector

pgvector

Linux 从 Windows 安装程序 (prose.nsood.in)

该网站详细介绍了如何使用易于使用且功能强大的 Windows 安装程序在 Windows 操作系统上轻松安装 Linux 子系统和各种 Linux 发行版。它提供了有关所需先决条件、安装过程和疑难解答的逐步说明。

27
评论

安装程序

SES 将收购 Intelsat 以扩大卫星互联网业务 (www.space.com)

SES 已同意收购 Intelsat，这将巩固其作为卫星互联网行业的领先供应商的地位。合并后的公司将拥有庞大的卫星星座，覆盖全球大部分地区，并为广泛的政府和商业客户提供服务。此举旨在加强 SES 在低地球轨道 (LEO) 卫星互联网领域的竞争地位，并与 SpaceX 和 OneWeb 等其他卫星互联网提供商展开竞争。

24
评论

卫星互联网

SES

Intelsat

早期比特币投资者被控犯有逃税罪 (www.justice.gov)

美国纽约南区检察官办公室宣布，早期比特币投资者霍尔姆斯（James Zhong）因涉嫌密谋欺骗美国并逃税超过 300 万美元而被捕。霍尔姆斯因涉嫌阴谋诈骗美国和提交虚假纳税申报表而被控两项重罪。

24
评论

税务

犯罪

兔子R1 AI设备只是一个安卓应用 (www.theverge.com)

兔子公司推出的R1 AI设备引发了许多疑问，包括“为什么它不只是一个应用程序？” 事实证明，它就是一个应用程序。Android Authority 的 Mishaal Rahman 设法在谷歌 Pixel 6A 上下载了 Rabbit 的启动器 APK，并通过一些调整，使其能够像在 Rabbit 自己的设备上一样运行。尽管兔子公司首席执行官 Jesse Lyu 否认了这一说法，但 R1 在中端手机上的运行表明，它与普通的安卓应用程序并无太大区别。