纽约市议会拒绝了反对市政宽带预算修正案的修正案。该修正案旨在阻止市政府使用公共资金来建立或资助市政宽带网络。反对者认为，这个网络是不必要的，并且会浪费宝贵的资金。支持者认为，市政宽带对于确保所有纽约人获得负担得起的、可靠的互联网服务至关重要。市议会投票的结果是 32 票反对，13 票赞成。
阅读更多
数据库传奇人物Mike Stonebraker创立了DBOS公司，旨在颠覆传统的计算范式，将操作系统运行在数据库之上。DBOS提供文件系统、调度引擎和消息传递系统等基本操作系统服务，使用TypeScript编写，运行在AWS上，并利用FoundationDB数据库。此举旨在解决大型集群中操作系统数据量庞大、安全性复杂等问题，并提供时间旅行和简化调试等优势。
阅读更多
这篇文章探讨了如何获得纯粹的审美体验，即不受智力和语言预设的影响，直接感受事物本身。作者从保尔·瓦雷里的名言“看见即忘记所见之物的名称”出发，认为通过忘却语言和概念的束缚，才能真正体验事物。作者进一步探讨了这种思想在追求纯粹的思维体验中的应用，即不受限于传统思维方式的无意识思维。最后，作者引用了罗素关于“非个人自我扩展”的伦理学思想，认为我们应该不断拓展自己的智力边界，而想象力的运用是实现这一目标的关键。
阅读更多
研究发现，一项眼部检查可以提前12年预测痴呆症。这项检查，称为视网膜血管成像，测量眼睛视网膜中血管的健康状况。研究人员发现，痴呆症患者的视网膜血管比健康人更窄。这项研究表明，这项眼部检查可以作为一种筛查工具，可以在早期检测出痴呆症的风险个体。
阅读更多
本文介绍了 CookingSense，这是一个从网络数据、科学论文和食谱等各种来源提取的烹饪领域知识断言的描述性集合，从中获得了涵盖广泛方面的知识。CookingSense 通过一系列基于字典的过滤和基于语言模型的语义过滤技术构建，从而形成了一个丰富的多学科食品相关断言知识库。此外，我们还提出了 FoodBench，这是一个用于评估烹饪决策支持系统的新颖基准。通过 FoodBench 的评估，我们凭经验证明 CookingSense 提高了检索增强语言模型的性能。我们还通过定性分析验证了 CookingSense 中断言的质量和多样性。
阅读更多
Goodhart 定律指出，当一个指标成为目标时，它就不再是一个好的指标。文章认为，与其执着于目标本身，不如关注可控的输入指标，并通过反复试验找到影响最终结果的关键因素。文章以亚马逊的每周业务回顾 (WBR) 流程为例，阐述了如何通过识别、控制和操纵可控输入指标来避免 Goodhart 定律的影响，并强调了数据驱动决策的重要性。
阅读更多
Mergiraf是一款能够智能解决Git合并冲突的工具。它理解文件树结构和编程语言，可以协调不同分支的修改，并以声明式的方式支持添加新的语言。Mergiraf倾向于谨慎处理冲突，并在可疑情况下保留冲突标记，提供`mergiraf review`命令来检查合并结果。它追求快速处理，以避免打断用户工作流程，并在行级合并无冲突时直接采用该结果，但会处理行级合并导致的重复键问题。
阅读更多
本文介绍了作者在两次禅修静坐中体验九种禅那境界的经历和方法。作者认为，禅那并非佛教特有，而是一种可以通过专注力引导，从而改变心理状态的技术，类似于算法。文章详细描述了进入每种禅那境界的感受和技巧，并探讨了禅那带来的益处，例如提升专注力、改变情绪状态、获得深层领悟等。作者认为，禅那的最终目的并非停留在某种境界，而是通过体验获得对世界本质的洞察，最终达到一种圆满的状态。
阅读更多
传统的自上而下的教学模式往往缺乏趣味性和探索性，而基于科学的游戏则反其道而行之，强调通过游戏激发学生的内在学习动机。文章介绍了科学游戏和可探索性解释两种新型教学模式，并举例说明了它们在物理、计算机科学、量子力学等领域的应用。作者认为，这些交互式学习方式能够帮助学生更深入地理解科学知识，并从中获得乐趣。
阅读更多
皮卡德原则是一个评估决策后果的框架，它基于提出以下问题：'如果我现在做这个决定，未来我可能会后悔吗？'通过考虑这一问题，个人可以识别潜在的负面后果并采取措施减轻这些后果。该原则因《星际迷航：下一代》中的让-吕克·皮卡德船长而得名，他经常用它来指导自己的决策。
阅读更多
本文讲述了作者A.J. Jacobs试图成为一名合法海盗的经历。根据美国宪法第一条第八款，国会拥有授权公民获得“私掠许可证”的权力，这意味着，在国会的许可下，公民可以驾驶他们的船只，在公海上捕获敌方船只，并保留战利品。为了深入理解宪法，A.J. Jacobs决定践行这一权利，并向国会议员提交了申请。虽然最终结果未知，但他希望通过自己的行动，唤起人们对宪法这段历史的关注，以及对那些为美国独立做出贡献的“私掠者”的敬意。
阅读更多
从 2024 年 8 月 26 日开始，Slack 将开始删除免费版工作区中超过一年的消息和文件。 免费版工作区将可以访问过去 90 天的消息和文件历史记录，如果升级到付费订阅，则可以访问剩余 275 天的内容。 升级到付费订阅后，用户可以选择保留所有历史记录，或根据所选的保留期限存储消息和文件。
阅读更多
最新数据表明，南极上空的臭氧层空洞正在缩小，预计到2066年将完全恢复到1980年的水平。尽管今年由于南极上空平流层突然变暖，臭氧层空洞形成较晚，但总体趋势良好。这主要归功于1987年签署的《蒙特利尔议定书》，该议定书有效禁止了全球范围内破坏臭氧层的氯氟烃的使用。
阅读更多
作者正在开发一个名为 Dozer 的项目，目标是用纯 C 语言编写一个 Rust 编译器。作者解释了 Rust 编译器 rustc 的自举过程，并指出目前 Rust 依赖于 C++ 编译器。为了在没有 C++ 的情况下构建 Rust，作者决定开发 Dozer，并计划逐步完善它，使其能够编译基本的 Rust 代码库，最终实现从 C 语言到 Rust 的自举。
阅读更多
Lisp 游戏 Jam 是一个为期 10 天的游戏开发活动，参与者可以使用他们最喜欢的 Lisp 方言创建小型游戏。Spritely Institute 鼓励开发者们使用 Hoot（他们的 Scheme 到 WebAssembly 编译器）来参与这场游戏开发盛会。文章重点介绍了 Hoot 的优势，特别是它对 Web 浏览器的支持，这使得游戏发布和玩家体验变得更加容易。此外，文章还提供了游戏开发模板和社区支持资源，帮助开发者顺利参与游戏开发活动。
阅读更多
这篇文章讲述了一群格鲁吉亚山民，被称为克赫维尔斯人，在1915年响应号召参加一战的故事。他们被认为是十字军骑士的后裔，居住在高加索山区，保留着传统的生活方式。当第一次世界大战的消息传到他们耳中时，他们身披盔甲，手持剑盾，骑马前往首都，询问战争的发生地。尽管他们的装备已经过时，但他们的行为展现了格鲁吉亚人保家卫国的决心。
阅读更多
本文追溯了拉格啤酒的历史，从14世纪在巴伐利亚的冷窖中发酵，到如今成为全球最受欢迎的啤酒类型。文章详细介绍了拉格酵母Saccharomyces pastorianus的起源，它是通过艾尔酵母Saccharomyces cerevisiae和耐寒野生酵母Saccharomyces eubayanus杂交产生的。文章还探讨了拉格啤酒工业化进程，重点介绍了TUM34/70酵母菌株如何成为全球最常用的拉格酵母。最后，文章展望了拉格啤酒的未来，并提出了一些新问题，例如新型拉格酵母的开发以及对更独特风味的追求。
阅读更多
FrankenPHP 是一款用 Go 编写的新式 PHP 应用服务器，它原生支持 HTTP/1.1、HTTP/2 和 HTTP/3，可以自动生成和更新 HTTPS 证书。FrankenPHP 内嵌了官方的 PHP 执行器，并支持 Worker 模式，可以使 PHP 应用启动一次后就驻留在内存中，从而提高响应速度。FrankenPHP 还支持 Early Hints、实时事件发送、Brotli、Zstandard 和 Gzip 压缩、结构化日志记录、Prometheus 指标和追踪等功能。
阅读更多
本文批评高通和微软过度宣传新款AI/Copilot电脑，称其性能和兼容性远不及预期。作者认为，x86仿真性能差，许多应用程序和游戏无法流畅运行。此外，文章还质疑了AI功能的实用性，认为其只是微软将数据中心成本转嫁给用户的一种手段。更严重的是，文章指出高通芯片存在安全漏洞，Pluton安全模块形同虚设，用户数据安全存在风险。作者最后总结，这款产品发布过早，软件不成熟，过度宣传与实际产品严重不符。
阅读更多
本文讲述了 macOS 系统中 .DS_Store 文件的由来。作者曾是苹果 Finder 的技术主管，他解释说，DS 代表 Desktop Services（桌面服务），.DS_Store 文件用于存储文件夹的视图设置和图标位置等元数据。作者认为这个名字不够好，并且存在一个 bug 导致 .DS_Store 文件过度创建。
阅读更多
Helix是一款用Rust编写的终端文本编辑器，其特点包括多光标选择、Tree-sitter集成、强大的代码操作、语言服务器支持、内置功能丰富等。它致力于提供现代化的编辑体验，并从Vim等前辈中吸取了经验教训，旨在提供更简洁、高效和易用的文本编辑解决方案。
阅读更多
文章讨论了处理多 TB 数据集时遇到的挑战和解决方案。对于单机扩展，推荐使用 Joblib 和 GNU Parallel 进行并行计算。对于多机扩展，文章推荐使用 AWS Batch 处理一次性任务，以及使用 Dask 或 Spark 处理分析型工作负载。文章强调，在扩展之前优化算法至关重要，并鼓励读者积极探索和应用新工具以提高效率和成本效益。
阅读更多
本文探讨了在JavaScript中生成随机数的两种方法：Math.random() 和 crypto.getRandomValues()。作者通过生成随机颜色和随机整数序列，比较了两种方法在视觉上的随机性差异，并测试了它们的性能。结果表明，两种方法在视觉上没有明显区别，但Crypto模块的速度明显较慢。因此，对于生成随机颜色等非安全性要求高的场景，使用Math.random() 就足够了。
阅读更多
这篇文章讲述了一位退休警探布莱恩·沃顿对2003年参与调查的一起案件的反思。当年，罗伯特·罗伯森因被指控摇晃致死2岁的女儿妮基而被判处死刑，沃顿在案件中提供了关键证词。但20年来，沃顿一直对该案的判决感到不安，认为司法正义并未得到伸张。随着科学的进步，他开始相信妮基的死亡是意外和自然原因造成的，罗伯森是无辜的。沃顿呼吁相关部门重新审理此案，以避免德克萨斯州犯下不可挽回的错误。
阅读更多
本文介绍了等离子体控制小组在利用人工智能进行实时聚变等离子体行为预测和控制方面的研究工作。主要包括：利用多模态超分辨率技术发现隐藏的物理现象，解决边缘局域模（ELM）问题；利用机器学习进行托卡马克实时剖面控制，提高实验效率；利用高分辨率诊断数据进行等离子体行为监测，例如检测和分类阿尔芬-艾根（AE）模；利用数据驱动方法进行诊断降维和诊断上采样，解决未来聚变堆诊断限制问题；利用大型数据库对托卡马克输运模型进行交叉验证，提高预测可靠性；以及利用实时碳III发射前沿代理实现稳定的偏滤器辐射剥离，保护偏滤器板。
阅读更多
这篇文章是C64 OS程序员指南，介绍了C64 OS操作系统的开发环境、核心技术、以及如何编写应用程序、实用程序、驱动程序、共享库、Toolkit类和数据类型加载器等内容。该指南还包含了一些进阶主题和附录，方便开发者查阅。
阅读更多