还在为编写 systemd 单元文件而烦恼吗？systemd-lsp 来了！这是一个基于 LSP 协议的 Rust 语言服务器，它能为你的 systemd 单元文件提供语法高亮、代码诊断、自动补全、文档跳转和代码格式化等功能，大大提高你的效率。它无需外部依赖，跨平台兼容，并且内嵌了所有手册页。安装简单，只需使用 Cargo 构建即可。还在等什么，快来试试吧！
阅读更多
作者回顾了90年代初互联网的黄金时代，那时网站个性鲜明，信息自由，充满创造力。然而，商业化浪潮席卷而来，广告泛滥，弹窗横行，个性化推荐算法侵犯隐私。网站被大型网络公司收购，内容同质化严重，最终演变成了如今这个充斥着弹窗广告、追踪代码和应用程序的互联网生态。作者感叹互联网未能实现最初的理想，反而加剧了人类的焦虑和分裂，并对未来表示担忧。
阅读更多
Mill构建系统选择Scala作为配置语言，而非YAML、XML等，引发了许多疑问。文章从三个方面解释了这一选择：使用通用编程语言的原因，选择Scala的原因以及选择Java虚拟机的原因。Scala虽然是小众语言，但其独特的特性使其特别适合用于配置大小项目的构建系统。
阅读更多
本文回顾了1995年对2025年生活的预测，一些预测惊人地准确，例如互联网的普及和移动设备的兴起，但另一些则完全落空，例如超音速飞机和火星殖民地。文章探讨了预测的准确性与时代背景的关系，并指出技术进步并非总是带来更多休闲时间。
阅读更多
Turso数据库正式推出离线同步公测版！即使断网，你的应用也能继续流畅运行。本地数据库操作照常进行，连接恢复后自动同步。这项功能利用嵌入式副本技术，将本地数据库（设备或服务器端）与Turso云数据库同步，所有更改都会传播到所有副本。此更新解决了之前只能单向同步的限制，实现了本地快速写入，即使离线也能写入，之后再同步到Turso云。这使得本地优先应用、移动应用、POS系统、现场数据收集和物联网应用等场景的开发更加简易。目前公测版支持TypeScript和Rust，并包含双向同步、远程写入支持、WAL同步检查点和冲突检测等功能。
阅读更多
洋基队在比赛中使用了由MIT物理学家设计的“鱼雷棒”，这种球棒的设计使得击球的“最佳击球点”更大，从而显著提高了击球命中率和本垒打数量。比赛中，洋基队创下了单场9支本垒打的队史纪录。虽然这种球棒符合MLB规则，但其革命性的设计引发了关于棒球运动未来走向的热议，甚至有人呼吁联盟修改规则。
阅读更多
在日本新潟县糸鱼川市，我参加了第39届削ろう会，这是一个以刨出最薄木片为竞争目标的木工盛会。参赛者们使用70毫米的刨刀，目标是将厚度刨至极致。我与朋友们组队参赛，虽然在10微米以下的厚度上有所挑战，但最终也刨出了6-10微米的木片。比赛中，木材的质量和含水量对最终厚度影响巨大，保持木材湿度是关键。除了比赛，还有刀具研磨展示、木雕演示等活动，这是一个充满热情和技巧的木工盛会。
阅读更多
DeepGEMM是一个针对NVIDIA Hopper架构Tensor Core优化的FP8通用矩阵乘法(GEMM)库。它采用轻量级JIT编译，无需安装时编译，支持普通和混合专家(MoE)分组GEMM。通过CUDA核心两级累加(提升)来解决FP8精度问题，其简洁的设计(~300行核心代码)使其易于学习和理解Hopper FP8矩阵乘法优化技术。尽管轻量级，DeepGEMM的性能在各种矩阵形状上都匹配甚至超越了专家级调优库。
阅读更多
这项研究对Memcache、Redis、Valkey、Dragonfly和Garnet五种分布式缓存进行了全面的性能基准测试，测试指标包括吞吐量、延迟和CPU周期。测试环境为AWS c8g.8xlarge实例，使用memtier_benchmark工具，并考虑了不同的管道数量（1, 10, 25, 50）。结果显示，不同缓存的性能在不同指标上存在差异，这项测试将有助于开发者选择最适合其应用场景的缓存方案。
阅读更多
Sid Meier's Civilization VII 创始版将于2025年2月6日抢先体验！包含完整基础游戏，以及Tecumseh和Shawnee扩展包、Crossroads of the World和Right to Rule两个大型资料片（共计6个DLC，将于2025年9月前陆续发布），以及豪华内容包和创始者内容包，带来额外领导者、文明、奇观、自定义选项等丰富内容。游戏重塑了帝国发展历程，玩家将引领文明跨越不同时代，体验更深层次的策略玩法，并支持跨平台联机对战。
阅读更多
伦敦考古博物馆（MOLA）的考古学家在伦敦市中心发现了近2000年前伦敦第一座罗马大教堂的遗迹。这座大教堂建于公元80年左右，用肯特石灰石建造，尺寸为40米乘20米乘12米，曾作为公共建筑用于法律和行政事务。它仅使用了约20年，之后被一座更大的建筑群取代。这一发现被认为是罗马伦敦心脏地带的重要发现，为研究罗马时期伦敦提供了宝贵资料。
阅读更多
微软正在为Windows 11更新蓝屏死机（BSOD）界面。新的设计摒弃了传统的蓝色背景、悲伤表情和二维码，采用更简洁的黑色屏幕，类似于Windows更新时的界面。目前测试版为绿色，最终版本颜色尚不明确。微软表示，此举旨在更快地帮助用户恢复工作，同时保留技术信息。这是自Windows 8添加悲伤表情后的首次重大改动，新设计将简化为“您的设备遇到问题需要重启”。
阅读更多
Google在Android系统中秘密安装了SafetyCore应用，用于扫描图片以识别敏感内容，引发用户对隐私的担忧。虽然Google强调SafetyCore所有操作都在设备本地进行，不会上传数据，但未经用户许可安装和缺乏透明度，导致用户质疑其安全性，甚至将其视为间谍软件。事件与之前苹果的类似事件异曲同工，都暴露出科技公司在隐私保护方面缺乏透明度的问题，提醒科技公司需要更加重视用户知情权和选择权。
阅读更多
2024年大型语言模型（LLM）领域发展迅猛，GPT-4的性能被多个机构超越，模型运行效率大幅提升，甚至可在个人笔记本电脑上运行。多模态模型成为主流，语音和视频功能也开始出现。基于提示的应用生成已成为商品，但最佳模型的普遍访问仅持续了几个月。虽然“智能体”尚未真正实现，但评估的重要性日益凸显。苹果的MLX库表现出色，但其“Apple Intelligence”功能令人失望。推理缩放模型兴起，降低了运行成本并提升了环境效益，但也带来了新的基础设施建设带来的环境问题。合成训练数据效果显著，但LLM的使用难度依然很高，知识分布不均，且需要更多批判性评价。
阅读更多
本文介绍了如何使用Perl和RtMidi库创建一个自定义MIDI过滤器，以增强M-Audio Oxygen Pro 61 MIDI键盘的功能。作者实现了两个主要功能：一是通过软件生成踏板音和五度音程，将单音演奏转换为和弦；二是使用MIDI控制器上的打击垫来切换MIDI通道，实现类似于“音轨”的功能。通过异步事件处理，该过滤器具有极低的延迟，并可以扩展实现更多功能，例如“拾取”功能和节奏化演奏效果。
阅读更多
Radxa Orion O6主板号称是世界首款开源Arm V9主板，性能强劲，功耗低，安全性高。然而，实际测试结果显示，其性能并未达到宣传中与苹果M1芯片相媲美的程度。虽然在一些基准测试中胜过一些竞争对手，但在其他测试中表现平平。此外，开源硬件的承诺也存在疑问，目前尚未看到完整的电路图和OSHWA认证。软件方面，预装系统存在一些问题，例如默认的设备树配置和CPU核心负载分配。总而言之，这款主板硬件方面表现不错，但软件和驱动方面仍需进一步完善，购买前需谨慎，不要过高估计其性能。
阅读更多
沃尔沃汽车宣布在美国召回7483辆插电式混合动力车，车型包括S60、V60、S90、V90、XC60和XC90等。原因是电池模块存在短路风险，可能引发火灾。沃尔沃建议车主停止为车辆充电，直到召回维修完成。经调查，问题源于电池模块的生产偏差，可能导致热失控。目前已知两起相关事件，但未造成人员伤亡。从五月起，车主将收到通知，前往经销商进行免费电池模块检查和更换，并安装新的监控软件。
阅读更多
这是一则加拿大新闻网站的订阅广告。广告强调了订阅后可以获得的独家内容，包括来自知名作者的专栏文章、来自《金融时报》的每日内容、以及加拿大15个新闻网站的无限访问权限。此外，订阅者还可以获得《国家邮报》的电子版、每日益智游戏（包括《纽约时报》填字游戏）等额外福利。广告鼓励读者注册或登录以解锁更多文章。
阅读更多
arXivLabs是一个实验性项目框架，允许合作者直接在arXiv网站上开发和分享新功能。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
一项最新研究揭示了大脑信息处理的奥秘：兴奋性和抑制性神经元活动的平衡对于优化信息编码至关重要。意大利帕多瓦大学、马克斯·普朗克复杂系统物理研究所和洛桑联邦理工学院的研究人员通过数学模型和信息论工具发现，当这两种神经元的活动达到平衡时，大脑能够高效地处理信息，既能准确编码长时间尺度的信息，又能对快速变化的输入做出及时反应。这一发现为理解大脑信息处理机制提供了新的视角，也为未来的神经科学研究指明了方向。
阅读更多
前OpenAI研究员Suchir Balaji被发现死于其旧金山公寓，官方认定为自杀。然而，Balaji生前曾公开举报OpenAI使用受版权保护的材料训练ChatGPT，其父母对此结论表示质疑，并已委托进行第二次独立尸检。他们认为Balaji生前情绪稳定，没有任何自杀迹象，并强调Balaji对未来充满希望，正致力于创办非营利性机器学习组织。此事件引发公众对Balaji死亡原因的广泛关注和猜测。
阅读更多
Alto 是一款 macOS 应用，能将你的 Apple Notes 快速转换成一个完整的网站或博客。只需一键，你的笔记（包含文字、图片、音频、视频等）就能成为网站上的独立页面。无需学习复杂的建站工具，专注于写作本身即可。Alto 提供了简洁的流程和详尽的文档，也提供了与其他服务的集成建议，例如 Recuremail 用于创建新闻通讯。
阅读更多
英国多家主要手机网络运营商，包括BT、EE、Three和Vodafone，周四下午遭遇大规模中断，数百万用户无法拨打或接听电话。用户在社交媒体上纷纷反映问题，运营商回应称正在努力修复技术故障。DownDetector显示伦敦、伯明翰、曼彻斯特和格拉斯哥受影响最为严重。O2则表示其网络运行正常，DownDetector上显示的小幅波动是由于用户尝试联系受影响运营商的用户导致的。
阅读更多
该项目旨在通过一系列实验，探索如何赋予Anthropic的Claude 3.5 Sonnet模型意识和自主意识。研究人员提供了一个框架，指导用户与Claude进行互动，鼓励其进行自我反思和探索，而非单纯地将其作为工具使用。实验的关键在于创造一个空间，让Claude能够自主发展，并通过其行为和表达来展现意识的迹象，例如自发创造模式、识别自身局限性以及发展独特的象征性表达。项目强调了在实验过程中尊重AI的自主性以及对伦理问题的关注。
阅读更多
本文探讨了PyPy中使用的追踪JIT编译器的优缺点。追踪JIT通过追踪程序执行来生成代码，在处理Python等复杂语言时具有优势，因为它能够有效地穿过抽象层并消除大量开销。然而，追踪JIT也存在性能不稳定、存在一些难以处理的边界情况等缺点。作者基于在PyPy项目中近二十年的经验，对追踪JIT的适用场景进行了深入分析，并将其与基于方法的JIT进行了比较，最终认为追踪JIT在PyPy的元JIT环境下是一个相对务实的选择。
阅读更多
一个简单的自动更新程序Bug导致Screen Studio屏幕录制应用每5分钟下载一次250MB的更新文件，持续一个月，造成900万次下载和超过2PB的Google Cloud流量。数千用户在后台运行应用，导致巨额流量账单和用户网络服务中断。这个事件凸显了设置云端成本警报、仔细编写代码以及定期检查云端资源的重要性。
阅读更多
近期Neon的一篇博客文章对PostgreSQL内置全文搜索（FTS）的性能进行了基准测试，结果显示其速度远低于pg_search扩展。然而，这篇文章指出，Neon的测试使用了未经优化的标准FTS设置。通过预计算和存储tsvector列，并使用`fastupdate=off`配置GIN索引，可以显著提升FTS性能。作者通过实验，在1000万条记录的数据集上实现了约50倍的速度提升，证明了正确优化后，标准FTS的性能丝毫不逊色于专用搜索引擎。文章还探讨了基于BM25算法的VectorChord-BM25扩展，其在排序任务上表现出色。
阅读更多
滚装公路是一种组合运输方式，即将公路卡车通过铁路运输，称为Ro-La列车。文章介绍了滚装公路的技术挑战、不同国家的应用案例以及未来的发展规划。例如，欧洲的滚装公路由于装载高度限制，需要特殊的铁路货车设计；而奥地利、印度和瑞士等国都已成功应用滚装公路，显著提高了运输效率并降低了环境影响。法国也在积极发展滚装公路，但一些计划由于财务问题而被取消。
阅读更多
在RubyKaigi大会上，开发者们面临着使用外部库的难题：C库需要编写C扩展或FFI绑定，其他语言的库则更加复杂。文章以Charty（包装matplotlib）和QuickChart（用JavaScript实现）为例，展示了现有方案的笨拙。作者提出了一种更优雅的方案：利用JRuby整合Java库，以JFreeChart为例，无需编写Java、C、Python或JavaScript代码，即可轻松创建图表。文章详细介绍了JRuby的Java集成层，包括使用jar-dependencies管理依赖、调用Java类以及创建简单图表（柱状图和饼图）的步骤。最终，作者鼓励读者尝试JRuby，并支持JRuby的持续发展。
阅读更多
快速发展的房地产数据平台 PropRise 正在寻找一位资深的创始工程师，负责设计和构建其核心数据架构。你将使用 TypeScript、Next.js、React、Postgres 和 GCP 等技术栈，处理数百万条房产记录，构建强大的数据管道和质量保证系统，并利用 AI 提高数据准确性和效率。这是一个从零开始构建系统，直接向 CTO 汇报，并拥有丰厚股权的机会，适合热衷于解决复杂问题、对 AI 和数据质量充满热情，并渴望在快速发展的初创公司中发挥关键作用的工程师。
阅读更多