新任北约秘书长马克·吕特的办公电话
2024-12-01
文章介绍了新任北约秘书长马克·吕特办公桌上使用的电话设备。吕特使用三个电话：一台宝利通VVX 411用于非保密通话，一台思科8865用于保密通话，还有一台思科7975很可能是与美国总统的热线电话。此外，文章还提到了一个特殊的KVM切换器，允许吕特从同一套键鼠访问不同安全级别的计算机网络。
阅读更多
GitHub - MinishLab/vicinity: 轻量级、支持多种后端的最近邻搜索库
2024-12-01
Vicinity 是一个轻量级、低依赖的向量存储库，提供简单直观的最近邻搜索接口，支持多种后端和性能评估。它解决了不同近邻搜索包接口不统一、学习成本高以及难以有效评估的问题。Vicinity 提供统一接口，方便实验不同的索引方法和距离度量，并支持性能评估，方便用户选择最佳方案。该库支持多种后端，包括 BASIC、HNSW、USEARCH、ANNOY、PYNNDescent 和 FAISS，并提供保存、加载和评估向量存储的功能。
阅读更多
9
未分类
近邻搜索
Steam Deck 达到 17,000 款可玩和验证游戏
2024-12-01
Valve 的掌上 Linux 游戏 PC Steam Deck 的可玩或已验证游戏数量已达到 17,000 款。截至撰写本文时，Steam 上有 5,678 款“已验证”游戏、11,323 款“可玩”游戏和 4,432 款“不支持”游戏。一些最近获得 Deck Verified 的有趣游戏包括：《Cyber Knights: Flashpoint》、《地平线 零之曙光 重制版》、《Luma Island》、《过山车之星 2》、《Poly Bridge 3》、《SONIC X SHADOW GENERATIONS》、《The Thing: Remastered》、《波斯王子：时之刃》、《Unrailed 2: Back on Track》和《Void Crew》。由于 2K 启动器被移除，像《漫威午夜之子》这样的游戏现在更容易玩了。最新的 Proton Experimental 升级也带来了更多的兼容性，稳定的 Proton 9.0-4 更新也正在测试中。
阅读更多
未分类
Linux 游戏
Rust中受诅咒的线性类型
2024-12-01
本文探讨了在Rust中创建线性类型UseOnce 的方法，该类型强制实例被精确使用一次。作者借鉴了Jack Wrenn的思路，利用Rust的所有权和move语义，结合ManuallyDrop和MaybeUninit，实现了UseOnce。代码示例展示了如何创建、使用和销毁UseOnce 实例。作者还指出了这种方法的局限性，例如可以通过mem::forget绕过编译器检查，以及简单的函数调用就可能导致编译失败。文章最后讨论了如何通过consume和consume_mut方法限制对内部值的访问，并提到了使用Pin来防止内部值被移出引用的方法。
阅读更多
未分类
预训练中的程序性知识驱动大型语言模型的推理
2024-12-01
大型语言模型（LLM）的推理能力一直备受关注，本文研究了LLM在执行推理任务时所使用的泛化策略。研究人员通过分析对模型输出有影响的预训练数据，发现LLM在处理事实性问题和推理问题时依赖不同的数据。对于事实性问题，模型依赖于不同的数据集；而对于推理问题，同一任务下的不同问题往往依赖于相似的数据，这表明LLM具备程序性知识。此外，推理问题的答案和中间步骤的答案通常不会在最有影响力的数据中出现。通过对推理问题中最具影响力的文档进行定性分析，研究人员确认这些文档通常包含程序性知识，例如演示如何使用公式或代码获得解决方案。研究结果表明，LLM的推理方法不像检索，而更像一种从执行类似推理的文档中综合程序性知识的泛化策略。
阅读更多
9
未分类
程序性知识
Infisical招聘全栈工程师
2024-12-01
YC孵化的开源秘密管理平台Infisical正在招聘驻旧金山的全栈工程师。Infisical帮助企业管理各种类型的密钥，月处理量超过15亿。该职位要求应聘者精通基础设施管理、Docker/Kubernetes、云原生架构、Terraform、TypeScript/Go等技术。工作内容包括开发新功能、维护平台稳定性、提升安全性和与客户沟通等。公司提供14-20万美元年薪和0.1%-0.5%的股权，以及午餐补贴和工作设备补贴等福利。Infisical团队成员经验丰富，曾在Figma、AWS和Red Hat等公司任职，Infisical已从YC、Gradient Ventures等机构筹集了300万美元资金。
阅读更多
未分类
使用 S3 构建分布式日志（不到 150 行 Go 代码）
2024-12-01
本文介绍了如何使用 S3 构建一个持久、分布式且高可用的日志。该日志将每条记录作为对象存储在 S3 中，并利用 S3 的条件写入特性确保每条记录拥有唯一的、递增的偏移量。文章详细讲解了日志的追加和读取操作的实现，以及如何通过校验和保证数据完整性。此外，还讨论了节点故障后的恢复机制，通过查找最后一个插入的对象来确定日志的当前长度。代码已开源，并提出了一些待解决的问题，例如优化 LastRecord 方法、添加缓存、批量写入和缓冲写入等。
阅读更多
(avi.im)
7
未分类
分布式日志
并发程序的科学
2024-12-01
Leslie Lamport的著作《并发程序的科学》即将由剑桥大学出版社出版。最终版PDF版本现已发布，同时提供的还有支持材料，其中包含书中许多示例的TLA+规范以及如何使用它们的说明。该PDF版本受版权保护，未经作者或出版商事先书面许可，不得出于商业目的或个人使用以外的任何目的进行复制或分发。
阅读更多
未分类
Leslie Lamport
重新思考LLM推理：为什么开发者AI需要不同的方法
2024-12-01
.png)
Augment认为，完整的代码库上下文对于开发者AI至关重要。然而，处理所有这些上下文通常会以延迟为代价。Augment正在努力应对这一挑战，突破LLM推理的可能性边界。文章分析了代码推理的挑战，解释了Augment优化LLM推理的方法，以及如何构建推理堆栈为客户提供卓越的质量和速度。Augment的推理堆栈能够以低于300ms的TTFT为Llama3 70B提供10k输入token的请求，比其他解决方案快3倍。他们专注于上下文处理速度的优化，并采用了一种独特的token级批处理策略，允许解码步骤“捎带”其他请求的上下文处理，从而提高FLOPS利用率。
阅读更多世界上最稀有的矿物：迄今为止仅发现一次
2024-12-01
世界上仅有一块已知的kyawthuite矿物样本，重0.3克，于2010年在缅甸被发现。最初被误认为是白钨矿，但宝石学家Kyaw Thu在切割后发现其不同寻常，后经美国宝石学院鉴定为一种自然界从未发现过的化学式为Bi3+Sb5+O4的铋锑矿物。该矿物呈橙色，含有钛、铌、钨和铀等元素，推测形成于火山岩浆冷却过程中。目前kyawthuite的价值被列为无价，保存在洛杉矶县自然历史博物馆。
阅读更多
不要取消亚里士多德——我们需要他的思想来磨砺我们自己的
2024-12-01
本文探讨了亚里士多德思想在历史长河中的复杂影响。尽管他的某些观点（例如关于奴隶制和女性）在今天看来存在争议，但他的著作在政治哲学领域的影响力不容忽视。作者指出，从君主制到共和制，从工人运动到女权主义，不同政治立场的人都在试图利用亚里士多德的思想来支持自己的主张，有时甚至是歪曲或伪造。文章认为，亚里士多德的思想并非僵化的教条，而是一个充满活力和辩证性的体系，它鼓励人们挑战既有观念，并在与之辩论的过程中产生新的思想。正是这种思想的碰撞和交锋，推动了历史的进步，例如民主、女权和废奴运动的发展。
阅读更多
(aeon.co)
10
将泥炭沼泽从荒地变为自然景观
2024-12-01
本文探讨了爱尔兰泥炭地的修复问题。泥炭地对爱尔兰具有重要的生态和文化意义，但目前85%的泥炭地已退化，这使得它们从碳汇变成了碳源。文章强调了以社区为基础的泥炭地恢复方法的重要性，以及停止泥炭开采和恢复水位以阻止碳泄漏的必要性。文章还解释了泥炭地退化如何导致碳排放，并呼吁人们重视泥炭地的保护和修复。
阅读更多
未分类
泥炭地修复
揭秘fork系统调用的魔力
2024-12-01
本文深入探讨了Unix-like系统中fork系统调用的工作原理。fork看似神奇地在一个if语句中返回两个值，实际上是内核复制了父进程，包括代码、内存和寄存器，创建了一个几乎相同的子进程。内核分别设置父进程和子进程的返回值，父进程收到子进程的pid，子进程收到0。文章通过汇编代码示例和xv6、Linux内核的fork实现，揭示了这一机制的底层逻辑。
阅读更多
未分类
我算是服了！来玩玩跳表吧
2024-12-01
本文探讨了LSM树及其核心组件memtable的实现方式。作者认为无锁并发跳表是memtable的最佳选择，尽管其较为复杂。文章详细解释了memtable的需求：快速读写、并发读写支持、有序扫描以及内存限制。作者研究了跳表的并发写操作，比较了单写多读和多写多读的实现，并通过模拟实验探究了概率p和最大高度对跳表性能的影响。
阅读更多
7
CSDb - Genesis Project发布的$2000-$3fff &D (2014)
2024-12-01
Genesis Project于2014年12月19日发布了一款名为“$2000-$3fff &D”的C64游戏。该游戏玩法独特，玩家需要保护游戏代码免受导弹攻击，颇受争议，用户评价褒贬不一。有人认为其概念新颖有趣，也有人认为游戏存在bug，可玩性不高。游戏下载链接已提供，讨论主要围绕游戏创意、玩法和技术缺陷展开。
阅读更多
(csdb.dk)
7
Activeloop招聘AI搜索工程师
2024-12-01
Activeloop是一家由Y Combinator支持的初创公司，正在招聘AI搜索工程师。该公司提供用于创建、存储和版本控制AI数据集的API，并正在构建名为Deep Lake的深度学习数据湖。应聘者需具备C++、Python、TensorFlow、深度学习和强化学习方面的技能，负责设计和开发利用RAG技术的检索系统、优化搜索算法以及集成向量数据库。理想的候选人应拥有计算机科学、机器学习或相关领域的硕士或博士学位，并在生产环境中部署复杂机器学习模型方面具有经验。
阅读更多
未分类
不再复古：早期电脑时代的互动小说
2024-12-01
本文回顾了后Infocom时代互动小说的发展，着重介绍了Gerry Kevin “Whizzard” Wilson对社群的贡献，尤其强调了他创办的SPAG电子报和组织的第一届年度文本冒险创作比赛（后来的互动小说大赛）的重要性。文章还分析了互动小说大赛对游戏规模和实验性的影响，并推荐了She's Got a Thing for a Spring, Babel, Spider and Web, Anchorhead, The Plant和Photopia等几款优秀作品，分别概述了它们的特点和作者的创作理念。
阅读更多
8
未分类
Infocom
Jinbase：多模型事务嵌入式数据库
2024-12-01
Jinbase是一个使用SQLite作为存储引擎的多模型事务嵌入式数据库，提供Python库。它支持键值、仓库、队列、堆栈和关系数据模型，并保证对前四种模型的读写操作是事务性的。Jinbase使用Paradict二进制数据格式序列化数据，支持对任意大小的复杂数据进行存储，并提供批量和部分访问记录的功能。它还提供对底层SQLite存储引擎的访问，允许用户进行高级配置。每个记录都自动添加时间戳，方便用户按时间段查询。Jinbase适用于多种场景，例如存储用户首选项、持久化会话数据、处理数据流等。
阅读更多
6
未分类
大型语言模型作为马尔可夫链
2024-12-01
本文将拥有大小为T的词汇表和大小为K的上下文窗口的通用自回归语言模型与在大小为O(T^K)的有限状态空间上定义的马尔可夫链进行了等效性分析。文中探讨了LLM推理能力的马尔可夫链平稳分布的存在性、收敛速度以及温度对收敛速度的影响，并推导了预训练和上下文泛化界限。最后, 通过在几个最新的LLM上进行实验，说明了理论保证如何捕捉实际观察到的行为。
阅读更多
3
未分类
如何3D打印你的《激战2》角色（或任何游戏角色）
2024-12-01
本文详细介绍了如何3D打印游戏角色，以《激战2》为例，涵盖了从游戏内模型提取到最终打印和上色全过程。文章首先介绍了FDM和树脂两种3D打印方法的优缺点，然后列出了所需的软件：Intel GPA、Blender和PrusaSlicer。接着，作者详细讲解了如何使用Intel GPA从游戏中提取模型，并重点讲解了在Blender中处理模型的步骤，包括模型的修复、调整比例、填充孔洞、平滑边缘、添加细节以及创建底座等。此外，文章还介绍了如何在模型中添加LED灯，以及打印和上色模型的技巧。
阅读更多
5
未分类
游戏模型
IE7与IE7脚本：CSS hack的未来
2024-12-01
本文讨论了IE7浏览器即将发布对CSS hack的影响。作者指出，IE团队呼吁开发者清理CSS hack，因为它们会导致网站在IE7中崩溃。作者认为，这既是IE早期版本bug导致开发者使用hack的恶果，也是hack本身风险和脆弱性的体现。作者建议等待IE7 beta版发布后再修改hack，并提出使用IE7脚本（Dean Edwards开发）让IE6兼容IE7的CSS行为，从而避免hacks带来的问题。作者认为，虽然IE7脚本并非完美解决方案，但相比之下，它能减少清理hack的痛苦。
阅读更多
5
关于 2024 年 Advent of Code
2024-12-01
Advent of Code 是一个为各种技能水平的程序员提供的编程谜题的 Advent 日历，可以使用任何编程语言解决。人们使用它们作为面试准备、公司培训、大学课程作业、练习题、速度竞赛或互相挑战。你不需要计算机科学背景就可以参与——只需要一点编程知识和一些解决问题的能力就能让你走得很远。你也不需要一台高性能的计算机；每个问题都有一个解决方案，可以在十年之久的硬件上在最多 15 秒内完成。文章还提供了一些通用的技巧和常见问题的解答，例如如何选择代码块、身份验证如何工作、是否应该在全球排行榜上竞争、为什么谜题难度不一等。
阅读更多
4
我不懂软件开发，你也不懂
2024-12-01
本文作者认为，在软件开发领域，许多工程师对微服务、团队技术方向、编程语言选择等重大问题争论不休，但实际上并没有绝对正确的答案。作者的核心论点是，软件开发领域变化迅速，经验很快就会过时，20年的经验不足以对这些问题给出确凿的答案。个人经验、理性推演和研究都不能提供可靠的答案。工程师对这些问题的立场通常源于早期工作经历中的“创伤”，例如糟糕的Redux状态管理或复杂的本地开发环境。作者建议，工程师应该对这些问题有自己的看法，但也要认识到自己可能犯错，并保持 nuanced 的观点，而不是固执己见。
阅读更多Andrew Ayer 加入联邦宇宙
2024-12-01
本文简要介绍了Andrew Ayer加入了联邦宇宙（Fediverse）平台Pleroma。要使用Pleroma，需要启用JavaScript。
阅读更多
5
探索旋转拨号电话的乐趣
2024-12-01
作者为了解决室友不方便敲门打扰自己的问题，突发奇想安装两部旋转式电话机，并由此展开了一系列探索。文章记录了作者研究模拟电话系统、配置ATA设备、寻找合适的旋转电话、解决20PPS拨号问题以及调试铃声的过程。此外，作者还分享了将电话听筒改造成电脑麦克风、将拨号盘连接到单片机显示数字和控制游戏武器选择等有趣的尝试。
阅读更多
4
未分类
旋转电话
在 Thinkpad X60 上运行 Guix/Hurd
2024-12-01
本文记录了在 Thinkpad X60 上运行 Guix/Hurd 的进展和方法。文章详细描述了 Hurd 的更新、NetDDE 和 Rumpdisk 支持的实现、在 X60 上手动安装 Guix/Hurd 的步骤以及使用安装程序安装 Guix/Hurd 的方法。此外，文章还列举了 Hurd 目前存在的一些问题，例如 guix-daemon 故障和文件系统清理问题，并展望了未来的发展方向，包括 64 位支持、音频支持、Rumpnet、SMP 和 AArch64 等。
阅读更多
5
WinDepends：一款Windows依赖关系分析工具
2024-12-01
WinDepends是一款用于分析Windows PE文件依赖关系的工具，是对Dependency Walker的重写。它能够构建依赖模块的层次树状图，列出每个模块的导出函数和被调用函数，并提供所需文件的详细信息，例如路径、基地址、版本号等。该工具支持延迟加载DLL、ApiSet契约、绑定导入和Side-by-Side模块等特性。目前处于测试阶段，部分功能仍在开发中。
阅读更多
5