热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

参议员敦促国防部扩大Matrix的使用

2024-12-05

美国参议员Ron Wyden和Eric Schmitt敦促国防部调查其未加密电话通讯系统存在的安全漏洞，并建议采用Matrix平台。Matrix是一个端到端加密、可互操作且不受任何一家公司控制的通信平台，已被多家北约盟友广泛使用。参议员们强调了Matrix在确保通信安全、维护数字主权和提高互操作性方面的优势，并指出美国海军已在23艘舰艇上成功部署了Matrix。信中还批评了国防部继续使用不安全的非端到端加密平台，如微软Teams，并强调了端到端加密和去中心化技术对于国家安全的重要性。

阅读更多
(element.io)
7
未分类 国防部

Wubuntu：一款无人问津的Windows与Linux的结合体

2024-12-05

Wubuntu是一个基于Kubuntu 24.04.1 LTS的第三方发行版，主题和图标模仿Windows 11，预装了Edge、Chrome、OnlyOffice等软件以及OneDrive客户端和WINE。它与另一个名为LinuxFX的发行版非常相似。虽然外观酷似Windows，但其本质仍然是KDE Plasma，并添加了付费的PowerTools控制面板。文章质疑其合法性，因为使用了微软的商标，并建议用户选择Linux Mint或Linux Lite等发行版，自行安装所需软件。

阅读更多
(www.theregister.com)
7
未分类 Wubuntu Kubuntu

舔一舔“棒棒糖”就能品尝虚拟味道

2024-12-05

香港城市大学的研究人员开发了一种棒棒糖形状的VR味觉模拟器。该设备通过离子电泳技术，利用流经水凝胶的离子传输味觉化学物质，可以模拟糖、盐、柠檬酸、樱桃、牛奶、绿茶、百香果、榴莲和葡萄柚九种口味。用户舔舐棒棒糖即可体验虚拟的味道。该技术未来可用于虚拟味觉测试、沉浸式在线购物和混合现实教育等领域。

阅读更多
(arstechnica.com)
5
未分类 味觉模拟

Humanloop：面向企业的LLM评估平台正式发布

2024-12-05

Humanloop 正式发布面向企业的LLM评估平台，提供评估、开发和观察AI模型的工具。该平台旨在解决LLM打破传统软件开发模式的问题，支持团队协作、版本控制、各种模型接入，并提供自动评估、人工审核、问题观察和优化等功能，帮助企业安全、快速地迭代和优化AI系统，提升AI产品性能。

阅读更多
(humanloop.com)
6
未分类 企业级平台

马匹驯化故事的惊人改写

2024-12-05

长期以来，人们认为马匹最早是由颜那亚人于5000多年前在西亚草原驯化的。然而，新的考古学和基因证据推翻了这一观点。研究表明，现代家马的祖先起源于大约公元前2200年的黑海草原，比之前的认知晚了近2000年。此外，博泰遗址的马匹并非家马祖先，而是普氏野马，一种从未被驯化的野马。这些发现改变了我们对马匹驯化历史的理解，也对当今野马保护工作具有重要意义。

阅读更多
(www.scientificamerican.com)
4
未分类

GitHub - ungoogled-chromium-macos：适用于 macOS 的 ungoogled-chromium 软件包

2024-12-05

该项目提供适用于 macOS 系统的 ungoogled-chromium 浏览器打包，并提供编译指南。用户可从 Contributor Binaries 网站下载预编译版本，或自行编译。项目已获得 Apple Developer ID 认证，并提供公证的构建版本直至 2025 年 10 月 14 日。由于 Chromium 项目更新了 macOS SDK，目前无法提供 Intel (x86_64) 版本的构建。项目接受赞助以支持 Apple Developer Program 会员资格的费用。

阅读更多
(github.com)
7
未分类 ungoogled-chromium

AggiesBCI：一款由意念控制的轮椅

2024-12-05

AggiesBCI团队开发了一款脑控轮椅，将用户的想法转化为实际运动指令。他们拆解电动轮椅控制器，将其测试点焊接到Arduino Nano上，并使用EMOTIV Insight耳机训练用户的心理指令，将其转换为运动输入。该原型在Aggies Create创新博览会上展示，并在20个团队中获得第一名。目前，团队正在过渡到让潜在用户测试该产品，并计划进一步完善设计，使其更加模块化，以适应各种轮椅模式。未来的项目构想包括控制数字界面（鼠标、光标、键盘等）和开发可以根据心理指令抓取/移动物品的机械臂。

阅读更多
(yusiali.com)
4
未分类

将指令带到数据中

2024-12-05

本文探讨了如何优化数据库查询引擎的执行效率。作者以 `SELECT SUM(tip / fare) FROM taxi_data` 查询为例，比较了三种不同的执行方式：基于堆分配操作的传统方式、手写循环以及利用LLVM IR进行向量化计算。结果表明，向量化LLVM IR方法在处理1MB和20MB数据时，效率分别比传统方式提高了4倍和8倍，比手写循环提高了2倍和4倍。向量化方法的优势在于避免了堆分配操作的开销，并充分利用了SIMD指令进行批量计算，从而实现了更高的性能。

阅读更多
(mattpo.pe)
5
未分类 LLVM IR 向量化计算

Hoare 立方体

2024-12-05

本文探讨了Hoare三元组的语义，并通过切换语义中的几个开关来获得不同的程序逻辑。作者提出了三个维度：可达性（may/must），方向（forward/backward）和近似（over/under），并由此构建了一个“Hoare立方体”，其中包含八种不同的程序逻辑。作者还讨论了这些逻辑之间的等价性和相互转换关系，以及在不同逻辑之间转换证明策略的可行性。

阅读更多
(johnwickerson.wordpress.com)
4
未分类 程序逻辑 Hoare三元组

AI幻觉：大型语言模型为何会编造内容（以及如何解决这个问题）

2024-12-05

大型语言模型（LLM）有时会生成与事实不符、存在偏见或推理错误的内容，这种现象被称为“AI幻觉”。LLM像高级“自动完成”工具一样工作，通过预测序列中的下一个单词来生成内容，但缺乏真正的推理能力。文章探讨了LLM出现幻觉的原因，包括模型架构限制、概率生成的基本约束以及训练数据差距。为了减少幻觉，文章提出了三层防御策略：输入层控制（优化查询和上下文）、设计层实现（增强模型架构和训练）和输出层验证（验证和过滤响应）。文章还展望了未来的研究方向，例如编码真相、检测方法和自我改进，并总结了减少幻觉风险的策略，以提高LLM输出的可靠性和可信度。

阅读更多
(www.kapa.ai)
6
未分类

订阅阅读全文：美国经济为何一骑绝尘？

2024-12-05

这篇文章主要介绍了英国《金融时报》的订阅服务，读者需要订阅才能阅读关于美国经济表现优于其他竞争对手的完整文章。文章列出了不同订阅方案的价格和权益，包括标准数字版、高级数字版和专业版，涵盖全球新闻、专家意见、市场数据等内容。同时，文章还突出了金融时报的优势，例如高质量的新闻报道、专家分析以及多种数字阅读方式。

阅读更多
(www.ft.com)
6
未分类

构建可靠的生成式AI应用：实践测试与持续集成工作坊

2024-12-05

本文回顾了生成式AI应用的测试与持续集成工作坊，并提供了一个演练视频。工作坊重点讲解了如何使用Helix.ml的测试框架，通过另一个AI模型作为自动评估器，以明确的标准判断AI响应的质量，并将此测试过程集成到CI/CD管道中。工作坊中构建了三个不同的AI应用案例：喜剧聊天机器人、文档问答系统和汇率API集成，分别展示了不同的测试挑战。参与者将学习如何编写可测试的规范、创建自动评估以及将测试集成到GitHub Actions或GitLab CI中。

阅读更多
(blog.helix.ml)
6
未分类

自筹资金的哈伯格税

2024-12-05

本文探讨了一种版权管理机制：自筹资金的哈伯格税。该机制旨在解决版权滥用和孤儿作品问题。其核心是将版权与股票市场指数投资挂钩，版权所有者需缴纳基于版权价值的哈伯格税，该税款用于投资指数基金，最终用于购买版权并将作品纳入公共领域。所有者可自行评估版权价值，并必须以该价格出售版权。由于指数基金的持续增长，版权所有者面临机会成本，促使他们有效利用版权或将其出售。文章还探讨了该机制的潜在问题，如版权剥离，并提出了相应的解决方案，以及该机制在其他领域的应用可能性。

阅读更多
(gwern.net)
6
未分类 哈伯格税 公共领域

Rust、C++ 和 Hylo 中的移动语义

2024-12-05

本文探讨了 Rust、C++ 和 Hylo 三种编程语言中的移动语义。作者通过一个示例，比较了三种语言在函数参数传递时的值拷贝、对象所有权和生命周期管理方面的差异。C++ 默认进行值拷贝，需要使用引用或 std::move 来避免拷贝或转移所有权。Rust 使用所有权和借用系统，通过 Clone trait 或 & 引用来管理值拷贝和生命周期。Hylo 则通过 let、set、sink 和 inout 等关键字显式地表达值的传递方式和生命周期。作者认为，Rust 和 Hylo 通过更明确的语法和语义，更好地解决了传统 C++ 中容易出现的内存安全问题。

阅读更多
(lukas-prokop.at)
7
未分类 移动语义 Hylo

GinkgoNotes：用科学的力量记住你的笔记

2024-12-05

GinkgoNotes 是一款基于间隔重复原理的笔记应用，旨在帮助用户长期记忆学习内容。用户添加笔记后，应用会通过电子邮件在特定日期发送复习提醒，个性化安排复习计划，提高记忆 retention。该应用支持多种笔记类型，包括文本和链接，并提供多种定价方案。

阅读更多
(www.ginkgonotes.com)
5
未分类

阿尔伯塔省鼠害控制的历史

2024-12-05

阿尔伯塔省通过其持续70多年的鼠害控制项目，成功阻止了鼠类的繁殖。文章回顾了该项目的历史，从1950年首次在阿尔伯塔省发现挪威鼠，到建立边界控制区、早期控制方法（包括使用砒霜跟踪粉末）、公众教育宣传、以及与萨斯喀彻温省的合作。如今，阿尔伯塔省继续保持着基本无鼠的状态，依靠市政检查员、公众报告和持续的监测来防止鼠害的发生。在阿尔伯塔省，饲养老鼠作为宠物是非法的。

阅读更多
(www.alberta.ca)
7
未分类 鼠害控制 阿尔伯塔省

ARPANET协议工作原理

2024-12-05

本文详细解释了ARPANET协议的工作原理，以及这些早期协议的设计如何影响今天的互联网协议。ARPANET协议分为三个或四个层次，类似于现代互联网的TCP/IP分层模型。最低层（0级）管理IMP之间的通信，由BBN控制。1级是主机和IMP之间的接口，定义了主机如何与IMP交互。2级是主机-主机协议，负责主机之间连接的建立和管理。3级是应用层，包含Telnet、FTP和电子邮件等协议。文章还讨论了ARPANET协议如何处理多路复用、解复用、流量控制和可靠数据传输等关键问题，并将其与现代TCP/IP协议进行了比较，指出ARPANET协议的经验教训为TCP/IP协议的设计提供了宝贵的参考。

阅读更多
(twobithistory.org)
7
未分类

VectorChord：在PostgreSQL中以1美元存储40万个向量

2024-12-05

VectorChord是pgvecto.rs的继任者，这是一个新的PostgreSQL向量搜索扩展，旨在提高性能和可扩展性。它允许以极低的成本管理大型向量，例如，在单台机器上以每月250美元的成本存储1亿个768维向量，实现131 QPS和0.95的top 10查询精度。这意味着只需1美元即可存储40万个向量，比Pinecone和pgvector/pgvecto.rs等竞争对手性价比更高。VectorChord采用IVF和RabitQ量化技术，在保证速度和召回率的同时，显著降低了计算需求。与传统的HNSW方法相比，VectorChord的索引构建时间更短，内存需求更低，更易于扩展到更大的数据集。基准测试结果表明，VectorChord在LAION 5M和100M数据集上均表现出色，具有更高的QPS和可扩展性。

阅读更多
(blog.pgvecto.rs)
7
未分类 VectorChord

示波器音乐：N-SPHERES EP专辑发布

2024-12-05

Oscilloscope Music 发布了新的EP专辑N-SPHERES，这张专辑探索了参数空间，将声音信号转化为示波器上的视觉图形。N-SPHERES包含5首曲目，时长约30分钟，风格更加粗犷，更具实验性。专辑以数字下载和限量版3.5英寸软盘两种形式发行。软盘版本包含Windows/MacOS可执行程序、手册和艺术作品。

阅读更多
(oscilloscopemusic.com)
5
未分类 参数化艺术

将键值上下文量化引入 Ollama

2024-12-05

Ollama 现已支持键值上下文缓存量化，显著降低了 VRAM 使用量，使用户能够在现有硬件上运行更大参数的模型或使用更大的上下文窗口。文章介绍了键值上下文缓存量化的概念、优势（例如运行更大模型、扩展上下文大小、减少硬件利用率）以及如何启用该功能。文章还讨论了该技术的实现限制、性能和质量影响、兼容性、集成过程中的挑战以及一些关键术语的定义。提供了交互式 VRAM 估算器以帮助用户了解不同量化级别对 VRAM 使用量的影响。

阅读更多
(smcleod.net)
5
未分类

原生双范围输入组件

2024-12-05

本文介绍了作者开发的一个原生双范围输入组件@stanko/dual-range-input。该组件利用两个原生HTML范围输入元素，保留了原生交互和可访问性特性。文章详细解释了组件的工作原理，包括如何通过计算中间点和调整输入框宽度来同步两个滑块，以及如何处理点击轨道时选择更近滑块的逻辑。此外，作者还阐述了组件的样式和主题设置，并通过CSS渐变实现了选中范围的可视化。

阅读更多
(muffinman.io)
4
未分类 UI组件

WASM-4

2024-12-05

WASM-4是一个用于构建复古游戏的幻想游戏机平台，使用WebAssembly技术。它具有极简易用的特点，开发者可以在160x160像素和4色的限制下进行创作。WASM-4支持多种编程语言，只要能编译成WebAssembly即可。游戏可以在各种平台运行，包括桌面/移动Web以及低功耗微控制器和旧硬件。它还支持基于GGPO的快速在线多人游戏和回滚网络代码。WASM-4拥有一个友好且多元化的开发者社区。

阅读更多
(wasm4.org)
4
未分类

雅马哈DX7键盘：昔日辉煌不再

2024-12-05

本文回顾了雅马哈DX7合成器在20世纪80年代的流行及其独特的声音特征。DX7采用数字化的频率调制（FM）合成技术，而非模拟合成，这使得它能创造出前所未有的电子音色。尽管DX7功能强大，但其复杂的编程方式导致大多数使用者只使用预设音色，也形成了其标志性的“明亮”声音。文章还探讨了DX7的局限性，例如高音部分音质下降以及12位DAC的限制。最后，作者指出，随着技术发展，采样技术取代了FM合成，DX7最终走向衰落。

阅读更多
(kevinboone.me)
7
未分类 DX7

人工智能助力研究人员挖掘旧地图，寻找丢失的油气井

2024-12-05

美国有数十万口油气井未被正式记录或归属，这些无主井可能泄漏甲烷等化学物质，污染环境。劳伦斯伯克利国家实验室的研究人员利用人工智能技术，梳理了45年来加州和俄克拉荷马州的地质勘探局地图，发现了许多未被记录的油气井。研究人员正在使用无人机、激光成像和传感器等现代工具来定位这些油井并测量甲烷排放量。CATALOG项目旨在改进寻找、探测和测量甲烷排放的方法，并优先堵塞风险最高的油井，以减少环境污染和温室气体排放。

阅读更多
(newscenter.lbl.gov)
7
未分类 油气井

Diátaxis：技术文档写作的系统方法

2024-12-05

Diátaxis是一种思考和编写文档的方法，它规定了内容、架构和形式的方法，这些方法源于系统地理解文档用户需求。它确定了四种不同的需求以及四种相应的文档形式：教程、操作指南、技术参考和解释。Diátaxis解决了与文档内容（写什么）、风格（如何写）和架构（如何组织）相关的问题，并为文档创建者和维护者提供了价值。它轻量级、易于掌握且易于应用，并且不会施加实现约束。

阅读更多
(diataxis.fr)
6
未分类 Diátaxis

Genie 2：谷歌DeepMind推出大规模基础世界模型

2024-12-05

谷歌DeepMind发布了Genie 2，这是一个可以生成无限多样3D环境的基础世界模型，用于训练和评估具身代理。Genie 2基于单张图片提示，即可生成可由人类或AI代理通过键盘和鼠标进行交互的世界。该模型具有多种涌现能力，例如物体交互、角色动画、物理效果等，并能生成长达一分钟的连贯世界。Genie 2还可以用于快速原型设计，方便研究人员测试新的环境和训练AI代理。

阅读更多
(deepmind.google)
7
未分类 3D环境

Rogue的故事

2024-12-04

本文讲述了Rogue这款游戏的创作故事，及其如何开创了Roguelike游戏类型。文章采访了Rogue的创始人之一Glenn Wichman，回顾了游戏的开发历程，从最初在大学迷你计算机上的版本，到后来移植到UNIX系统并最终商业化。文章探讨了游戏的灵感来源、设计理念、传播过程以及对后世游戏的影响，并解释了“Roguelike”一词的由来。Wichman也分享了他对Rogue的未来发展以及对Minecraft等现代Roguelike游戏的看法。

阅读更多
(spillhistorie.no)
8
未分类 Rogue Roguelike
1 2 … 32 33 34 36 38 39 40 … 513 514