费马大定理证明项目

2024-05-01

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

阅读更多

Pgvector 一周年回顾:150 倍速度提升

2024-05-01

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

阅读更多
未分类 PgVector pgvector

SES 将收购 Intelsat 以扩大卫星互联网业务

2024-05-01

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

阅读更多

兔子R1 AI设备只是一个安卓应用

2024-05-01

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

阅读更多
未分类 摄影 相机应用

pykan

2024-05-01

该网站是一个托管在GitHub上的开源项目,主要提供了一个轻量级的Python爬虫框架,用于从各种网站中提取数据。该框架的特点是易于使用、快速且高效。网站还提供了详细的使用文档和示例代码,方便开发者快速上手使用。

阅读更多
38
未分类 爬虫 数据提取

为什么我们不能拥有美好的事物

2024-05-01

本文探讨了现代社会装饰减少的原因,作者认为并非是装饰品过于昂贵,而是人们的喜好发生了改变。作者列举了多个例子,例如他经常能以低价甚至免费获得精美的古董家具,但卖家却告诉他因为无人问津,他们正打算将其丢弃。作者呼吁人们,与其等待艺术潮流的改变,不如从自身做起,购买精美的物品,用实际行动支持美的回归。

阅读更多

基于 Transformer 的图像生成模型 3D 隐式表示的研究

2024-05-01

本研究提出了一种新的基于 Transformer 的图像生成模型,称为 3D 隐式 Transformer 图像生成(3D-ITR)。3D-ITR 采用 Transformer 架构,将图像表示为三维隐式表示,这使得它能够捕获图像的形 状、纹理和语义信息。此外,3D-ITR 使用 Patch Transformer 编码器来提取图像的局部特征,并使用自注意力机制融合图像的不同部分的信息。在各种图像生成任务上的实验表明,3D-ITR 在图像质量、多模态和多样性方面优于现有的方法。

阅读更多
38

美国风电产量下降

2024-05-01

根据雅虎财经的一篇新闻报道,美国的风电产量在过去一年中下降了 15%。这项研究调查了风力发电厂的生产数据,发现自去年以来,产量大幅下降。这可能是由于多种因素造成的,包括天气模式、维护问题和监管变化。该行业预计将在未来几年内继续增长,但短期内可能面临挑战。

阅读更多
未分类 风电

Express 5.0 最后冲刺

2024-05-01

本文列出了Express 5.0版本发布前需要完成的任务,包括Express及其依赖项的更新,以及文档和博客的撰写。任务被分为待处理、已完成和决策済み三类,并列出了负责人和相关PR/Issue/Discussion链接。此外,还列出了一些未来版本中需要考虑的改进,例如新的集成测试。

阅读更多
40

澳航应用程序数据泄露致客户得以获取陌生人订票详情

2024-05-01

澳大利亚航空公司(Qantas)的应用程序存在数据泄露问题,导致一些客户能够访问原本不属于其预订的航班详情信息。澳航表示,在第三方供应商SITA在12月31日遭遇网络攻击后,客户的姓名、联系方式、护照信息以及历史和未来的预订信息等个人信息已遭泄露。受信影响的客户已于1月24日收到通知电子邮件,澳航建议他们更改密码并密切关注其帐户活动。该航空公司表示,目前尚无证据表明客户的财务信息或旅行积分遭窃。澳航已向监管机构报告这一事件,并正在展开调查。

阅读更多
未分类 澳航

纽约大都会运输署被禁止使用面部识别来执行逃票行为

2024-05-01

纽约大都会运输署(MTA)已被禁止使用面部识别技术来执行逃票行为。这项禁令是由美国纽约州最高法院的一项裁决做出的,该裁决认为MTA在未经乘客同意的情况下收集生物识别数据,侵犯了乘客的隐私权。这项禁令是全国范围内首次禁止政府机构在公共交通系统中使用面部识别技术。

阅读更多

1340万凯撒保险会员数据泄露给在线广告商

2024-05-01

据报道,1340万凯撒保险会员的个人信息被泄露给在线广告商。该违规行为涉及社会安全号码、出生日期、电子邮件地址和医疗保健索赔信息。凯撒保险表示,没有发现任何证据表明这些数据被用于欺诈或身份盗窃。该公司已向受影响的会员发送通知,并提供了免费信用监控服务。黑客窃取了凯撒保险的一个第三方供应商的凭据,从而导致了这次数据泄露。

阅读更多
未分类

Rabbit R1 AI设备实质上是一款安卓应用

2024-05-01

Rabbit R1是一款AI驱动的掌上设备,旨在提供类似智能手机的AI交互体验。然而,评测者发现R1的功能几乎都能在安卓手机上实现,且其界面似乎是由一个安卓应用控制的。事实证明,R1的启动器APK可以在安卓手机上安装和运行,这表明该设备实际上是一个运行安卓系统的定制设备,其AI功能通过云端提供。

阅读更多

Story Diffusion

2024-05-01

Story Diffusion是一个由Google AI开发的文本到图像模型。它使用人工智能技术将文本描述转换为逼真的图像。用户只需输入一段对图像的文字描述,Story Diffusion模型就会根据提供的文本生成一张图片。该模型可以生成各种风格的图像,包括真实感图像、抽象图像和艺术风格图像。用户还可以使用Story Diffusion来编辑现有的图像,根据他们的喜好对图像进行修改。

阅读更多

通用汽车有轨电车阴谋

2024-04-30

通用汽车有轨电车阴谋指的是美国通用汽车公司计划通过收购和拆除有轨电车系统来推动汽车和公共汽车销售的说法。有轨电车阴谋理论认为,通用汽车公司通过成立全国城市公共汽车和电车公司(NCPTA)来达到这个目的。NCPTA随后收购了众多有轨电车系统,并用公共汽车取代了有轨电车服务。通用汽车否认了这一阴谋,但有证据表明,该公司确实采取了一些措施来削弱有轨电车行业。

阅读更多

GitHub - microsoft/go

2024-04-30

微软官方 Go 语言仓库,包含各种 Go 语言相关的库、工具和资源,如:语言服务器、标准库扩展、编译器和工具链等,旨在帮助开发人员高效地使用 Go 语言进行开发。

阅读更多
37
未分类 Go语言

自动紧急刹车新规刚出炉:62 英里时速也能刹得住

2024-04-30

美国国家公路交通安全管理局 (NHTSA) 已敲定自动紧急制动 (AEB) 的新规,该规则要求所有新乘用车和轻型卡车都必须具备此功能,以提高道路安全。AEB 系统可使车辆在预感即将发生碰撞时自动制动,降低撞车风险和严重程度。新规预计将于 2023 年 9 月生效,届时所有新车型都将配备该功能。

阅读更多
1 2 460 461 462 464 466 467 468 516 517