Maxima：一个强大的电脑代数系统
2025-01-28
Maxima是一个功能强大的电脑代数系统，其浏览器前端由Marius Gerbershagen使用嵌入式通用Lisp、emscripten、gnuplot和MathJax构建而成。源码已公开。
阅读更多告别分布式协调：Restate如何用单一日志简化分布式应用
2025-01-24
构建健壮的分布式应用一直是难题。开发人员常常花费大量时间处理故障转移策略、重试、竞争条件等问题。本文介绍了一种名为Restate的新方法，通过避免分布式协调来简化开发。其核心思想是将所有系统（消息队列、数据库、锁服务等）都视为同一个日志。每个操作都记录到该日志中，重试时自动读取之前的操作记录，从而避免数据不一致和竞争条件。Restate是一个基于此思想的开源项目，利用单一日志简化分布式应用的开发和维护，提高系统可靠性。
阅读更多
开发
Lago：告别PDF账单生成，释放工程师生产力
2025-01-27
Lago是一款新型计费系统，旨在解决传统计费系统中繁琐的账单生成问题。传统系统需要工程师编写脚本计算复杂的用量，并将其导入到计费系统中生成PDF账单，导致工程师资源浪费。Lago通过自定义SQL表达式功能，允许用户直接将原始数据发送到系统，由Lago自动计算、聚合和去重，最终生成账单，从而解放工程师，专注于产品开发。该功能支持各种计费模型，例如按用户、按存储空间等，并能处理复杂的折扣和多云环境下的计费。
阅读更多
开发
计费系统
Supabase：远程优先的开源 Firebase 替代方案，诚聘英才
2025-01-06
Supabase，一个完全远程、异步工作的开源 Firebase 替代方案，正在全球招聘！他们提供丰厚的福利，包括硬件预算、全额医疗保险、年度海外团建等。Supabase 崇尚开放协作，拥有遍布全球的团队和庞大的社区。如果你热衷于开源，并渴望在一个充满活力且多元化的团队中工作，不妨申请 Supabase 的职位。
阅读更多
开发
开源大模型DeepSeek：挑战ChatGPT的性价比之王
2025-02-08
DeepSeek，一款由中国AI研究公司开发的开源大型语言模型，凭借其独特的MoE架构，在性能和成本方面对标甚至超越ChatGPT。它采用多专家混合模型，仅激活必要参数，提升速度和效率；同时运用多头注意力机制和多词预测技术，使其在长对话和复杂推理中表现出色。虽然DeepSeek的数据来源存疑，但其性价比优势和直接的输出风格使其成为ChatGPT的有力竞争者。
阅读更多
AI
Turso：构建高性能SQLite边缘副本的教程
2025-02-13
本文介绍了如何使用Node.js和Fly.io构建自定义SQLite边缘副本以提高Turso数据库的性能。通过在全球多个区域部署代理服务器，并利用Fly.io的Anycast网络，可以实现低延迟的数据访问。该方案通过本地SQLite文件缓存数据，并定期与主数据库同步，有效减少了网络延迟和数据复制成本，从而提升用户体验。教程涵盖了Dockerfile配置、Fly.io部署以及代理服务器的实现细节，并提供了安全认证机制。
阅读更多
开发
告別查詢構建器：直接用SQL写查询更优雅
2025-01-25
这篇文章探讨了在编写数据库查询时，直接使用SQL语句而非借助查询构建器的优势。作者以多个例子说明，通过巧妙运用SQL的特性（如`IS NULL`、`COALESCE`、`ARRAY_REMOVE`、`STRING_TO_ARRAY`等），可以简洁地处理可选参数、数组、分页和批量更新等常见场景，减少Rust代码的复杂度，并提高代码可读性和可测试性。作者认为，直接使用SQL不仅能减少代码量，还能更容易地进行数据库测试和调试。
阅读更多
开发
细胞营养与身份的新联系或将改善免疫疗法
2024-12-12
Salk研究所的科学家发现，乙酸盐到柠檬酸盐的营养转换在决定T细胞命运，即从活跃的效应细胞转变为耗尽的细胞的过程中起着关键作用。该研究发表在《科学》杂志上，表明不同的营养物质可以改变细胞的基因表达、功能和身份，为免疫疗法提供了新的治疗靶点，可能有助于T细胞保持活跃，对抗慢性疾病。这一发现表明，细胞的功能与其营养直接相关，为治疗慢性疾病提供了新的思路。
阅读更多
AI
细胞代谢
西蒙-埃利希赌局：资源稀缺的百年真相
2025-01-12
1980年，经济学家朱利安·西蒙与生物学家保罗·埃利希就五种金属价格的未来走势打赌。埃利希认为人口增长将导致资源枯竭，价格上涨；西蒙则认为人类创新将克服资源短缺，价格下跌。十年后，西蒙获胜。但本文作者利用1900年至今的数据，分析了不同十年间的价格波动，发现西蒙和埃利希在不同年代都有胜负，但长期来看，资源价格并未大幅上涨，这与西蒙的观点更接近：人类创新抵消了资源稀缺的影响，即使产量大幅增加，价格也相对稳定。
阅读更多华盛顿邮报专栏作家辞职，创办独立媒体
2025-01-29
华盛顿邮报专栏作家Jennifer Rubin因不满贝索斯对特朗普的纵容以及报社对民主原则的背离，宣布辞职，并创办了新的独立媒体平台“The Contrarian”。Rubin认为，大型媒体被富豪和企业控制，牺牲了新闻的独立性和公正性，助长了对民主的威胁。 “The Contrarian”将提供不受任何一方控制的新闻评论和文化评论，旨在对抗美国日益增长的威权主义。
阅读更多Replit CEO：AI已让专业程序员不再重要
2025-01-16
Replit CEO Amjad Masad近日宣布，借助Anthropic的Claude 3.5 Sonnet模型，其公司新产品“Agent”能够仅凭自然语言提示生成可运行的软件应用，这使得Replit的营收在过去六个月增长了五倍。Masad认为，AI的快速发展使得专业程序员不再是必需的，未来的软件开发将由更多非专业人士使用AI工具完成。他甚至提出了“Amjad定律”，即学习编程的回报率每六个月翻一番。这一趋势预示着软件开发的门槛将大幅降低，但也引发了关于AI模型可持续竞争优势的讨论。
阅读更多
开发
Replit
Asahi Linux M3 芯片组支持现状
2025-01-26
Asahi Linux 项目的维基页面详细介绍了其对苹果 M3 系列芯片（M3、M3 Pro 和 M3 Max）的支持情况。该页面以表格形式列出了各种硬件功能在不同 Asahi Linux 版本（如 linux-asahi、asahi-edge 等）中的支持状态，包括已稳定支持、正在开发以及暂未支持的功能。值得注意的是，由于 M3 系列芯片尚未正式发布，许多功能的支持情况是基于苹果公司以往的更新模式进行预测的。页面还特别说明了某些功能（例如 cpuidle）的实现细节和上游合并的困难。
阅读更多Meta FAIR发布多项AI研究成果，推动人工智能发展
2024-12-13
Meta FAIR发布了多项AI研究成果，包括用于控制虚拟具身代理行为的基础模型Meta Motivo、用于视频水印的开源模型Meta Video Seal等。这些成果涵盖了更强大的代理、鲁棒性和安全性以及架构创新等方面，旨在推动先进机器智能的发展。Meta还发布了Flow Matching代码库、用于心智理论推理的Meta Explore Theory-of-Mind程序、大型概念模型LCM以及动态字节潜在变换器等，为研究人员提供了更多工具和资源，并致力于构建一个开放协作的生态系统，共同推动AI的负责任发展。
阅读更多
AI
构建简单的SQL查询评估器
2025-02-19
本文介绍了如何构建一个简单的SQL查询评估器，它能够处理基本的SELECT语句。作者首先创建了一个简单的测试数据库，然后对之前的SQLite文件格式解析器和SQL解析器进行了改进，使其能够处理更复杂的查询。核心部分在于`Operator`和`Planner`的实现，`Operator`负责执行数据库操作，`Planner`负责将解析后的SQL语句转换成`Operator`。目前该评估器还不支持过滤、排序、分组和连接等功能，但为后续添加这些功能奠定了基础。文章还详细介绍了Pager的改进，使其支持并发访问。
阅读更多
开发
查询评估器
Pica：开源自主AI的催化剂
2025-01-21
Pica是一个雄心勃勃的开源项目，旨在构建一个完全自主的AI系统。它不同于现有的AI模型，因为它不是针对特定任务进行训练的，而是致力于发展一种能够学习和适应各种任务的通用AI。该项目采用模块化设计，允许研究人员和开发者贡献和改进其各个组件。Pica的成功可能意味着AI领域的一场革命，因为它有潜力推动更强大、更灵活、更通用的AI系统的出现。这将为AI在各个领域的应用打开新的可能性，同时也带来新的挑战和伦理考量。
阅读更多
AI
自主AI
自制夜光材料：铝酸锶的合成挑战
2025-01-19
博主尝试在家合成夜光材料铝酸锶（SrAl2O4），这是一种持久发光的材料。合成过程涉及多个步骤，包括制备硝酸铝、混合氧化物前驱体，以及最终的高温烧结。然而，由于缺少合适的设备和高纯度试剂，博主最终只获得了短暂发光的铝酸锶，未能达到商业产品那样的持久发光效果。这篇文章详细记录了整个实验过程，包括化学方程式、实验步骤和遇到的挑战，对于化学爱好者来说是一份宝贵的参考。
阅读更多2600年前腓尼基沉船打捞成功
2025-01-19
/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2Fcb%2Fac%2Fcbacbdbe-56dc-4a1a-8921-80151be9ef33%2F2.jpg)
西班牙海岸附近，潜水员成功打捞起一艘距今2600年的腓尼基沉船——马萨罗恩二号。这艘长达27英尺的沉船，在1994年被发现，船上装载着铅锭。由于海岸线变化和海洋环境的威胁，考古学家历时数年，最终将其完整打捞，这艘保存相对完好的沉船将提供关于腓尼基造船技术和文化的重要信息。
阅读更多
考古
腓尼基
小而美的软件公司：对抗巨头的另一种成功之道
2025-02-18
本文探讨了小型软件公司如何在巨头环伺下取得成功。作者列举了SQLite、Hwaci、Pinboard、Tarsnap、Sublime Text和Zig等公司作为案例，这些公司规模小，但凭借高质量的产品、独特的商业模式和对用户需求的关注，获得了长期的成功。他们避免了“快速增长或死亡”的硅谷模式，选择专注于可持续发展，并以其人性化的沟通方式赢得了用户喜爱。作者认为，这种“小而美”的模式并非缺乏雄心，而是选择了另一种更可持续、更令人满足的成功定义。
阅读更多
开发
快速射电暴来源之谜：挑战现有理论
2025-01-28
天文学家们利用CHIME望远镜及其辅助望远镜，精确测定了快速射电暴FRB 20240209A的来源位置。令人惊讶的是，该射电暴并非来自预期中的年轻恒星密集区域，而是在一个113亿岁的死亡椭圆星系的外围，这挑战了目前关于快速射电暴起源于磁星的理论。这一发现表明，快速射电暴的产生机制可能比我们想象的更加复杂，需要进一步的研究来揭示其奥秘。
阅读更多Vim之殇与新生：在Bram Moolenaar逝世后
2025-01-11
Vim创始人Bram Moolenaar的去世给社区带来了冲击，但Vim并未消亡。新的维护者Christian Brabandt在VimConf 2024上概述了项目的重组和未来规划。团队扩张，网站和基础设施得到升级，并处理了安全漏洞报告和社区沟通问题。虽然Vim目前处于维护模式，但开发并未停止，版本9.1已发布，并计划改进GUI、终端支持和拼写检查等功能。社区合作至关重要，Brabandt强调了倾听用户需求和保持社区健康的重要性。
阅读更多
(lwn.net)
开发
社区维护
libmodulor：面向业务的TypeScript应用开发库
2025-01-23
libmodulor是一个面向业务的TypeScript库，旨在加速构建高质量应用。它采用分层架构（UseCase、App、Product、Target），强调类型安全和端到端测试。开发者可以使用自己偏好的数据库、前端框架、服务器和工具，libmodulor提供高层级原语，避免样板代码和供应商锁定。目前仍处于积极开发阶段，但已在试点项目中使用。
阅读更多革新型能量回收通风器WM12：让您四季呼吸清新空气
2024-12-16
WM12是一款创新的分体式能量回收通风器，它巧妙地将两个TW4模块组合在一个坚固的聚丙烯泡沫塑料中，方便安装在窗户上。WM12能够在一年四季提供新鲜空气，同时回收约90%的热能，避免了因加热或冷却新鲜空气而产生的能源浪费。其静音设计、超长的使用寿命（>50年）以及与智能家居系统的兼容性使其成为节能环保的理想选择。目前该产品处于测试阶段，感兴趣的用户可以通过邮件联系获取更多信息。
阅读更多Reddit版主大战AI生成内容：时间成本与审核难题
2025-02-17
Reddit部分版主抱怨AI生成内容泛滥，导致大量垃圾信息和攻击性言论涌现，严重浪费版主时间用于审核和处理。虽然有些版主认为AI也能带来一些新颖内容，但普遍认为AI生成内容的质量参差不齐，且难以区分，增加了审核难度。许多版主更关注的是审核AI生成内容所耗费的时间成本，这些时间本可以用于其他社区建设工作。一些版主戏称与AI拥护者“斗争”是日常工作的一部分。
阅读更多
开发
美国政府审查制度：科学研究的寒冬
2025-02-21
美国新政府关闭援助项目、退出世卫组织和巴黎气候协定，删除不符合其意识形态的数据集，拒绝向大学支付足够的经费，导致研究停滞和许多大学破产，并禁止在联邦文件中使用某些词语，例如“偏见”、“女性”等。这严重阻碍了科学研究的进行，对公共卫生和社会公平造成了巨大威胁。作者匿名发声，揭露了政府对数据的审查和对弱势群体的忽视，呼吁人们关注这一令人担忧的局面。
阅读更多
科技
Preserves：一种表达能力更强的全新数据语言
2025-01-29
Preserves 是一种类似于 JSON、XML 等的数据模型和序列化格式，它拥有语法中立的数据模型和语义，支持多种语法间的无损转换。该项目提供了 Preserves 的规范文档、教程、多种语言的实现（包括 Python、Rust、JavaScript 等）以及工具，旨在为开发者提供一种更强大、更灵活的数据表达方式。它也提供Schema和查询功能，方便数据处理。与 JSON 相比，Preserves 提供了更丰富的表达能力和更强的可扩展性。
阅读更多
开发
数据语言
你的手机让你感觉不性感？
2025-01-29
这篇文章探讨了智能手机如何扼杀性感。作者认为，手机的便捷性让我们不再渴望，不再冒险，不再感受真实的连接。从无休止的滚动到即时满足，手机让我们脱离了身体，沉迷于数字世界，无法体验到生活中转瞬即逝的性感时刻。作者呼吁我们放下手机，拥抱不确定性，去感受生活真实的触感和激情。
阅读更多
杂项
性感
开源重制经典游戏：OpenJazz
2025-01-27
OpenJazz是一款免费开源的经典游戏《Jazz Jackrabbit》重制版，支持Windows和Linux等多种操作系统。由于DOS系统的消亡，玩家需要借助模拟器才能玩到这款老游戏。OpenJazz项目始于2005年，旨在为这款备受喜爱的游戏注入新的活力，并于2009年推出了多人游戏版本。如今，OpenJazz让更多玩家有机会体验这款曾经的经典平台游戏。
阅读更多AVX-512 加速的最快短语搜索算法
2025-01-26
本文讲述了作者如何利用 AVX-512 指令集，特别是鲜为人知的 `vp2intersectq` 指令，构建了一个极速的短语搜索算法。该算法在处理 320 万文档的 MS MARCO 数据集时，性能最高提升了 1600 倍，远超 Meilisearch 等现有搜索引擎。文章详细介绍了算法设计、索引优化、以及 SIMD 优化等多个方面，并深入探讨了指令集的微架构差异和代码对齐等细节问题。
阅读更多
开发
短语搜索
三千年前的巴比伦数据表格：文明的古老遗产
2024-12-21
一篇博客文章讲述了在伊拉克发现的一块公元前3600-4000年的古巴比伦泥板，上面刻有楔形文字，记录着类似工资单的表格数据。这块泥板清晰地展示了古人使用行和列以及列标题来组织数据，并进行加减等运算，其数据组织方式与现代电子表格惊人地相似。这表明数据表格这种数据组织形式至少存在了3500多年，比我们想象的要久远得多。文章指出，文明发展并非线性的，技术和方法可能会被遗忘然后重新发明。即使现代的电子表格可能会消逝，但古代泥板上的数据仍可能被后世发现。
阅读更多
杂项
数据表格
arXivLabs：与社区协作者开展实验性项目
2025-02-06
arXivLabs是一个框架，允许协作者直接在我们网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都拥抱并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。有一个想法可以为arXiv社区增加价值吗？了解更多关于arXivLabs的信息。
阅读更多
开发