GPU Kill 是一款命令行工具，用于跨 NVIDIA、AMD、Intel 和 Apple Silicon 系统管理 GPU。它可以轻松监控、控制和保护你的 GPU 基础设施。其功能包括实时监控 GPU 使用情况、终止卡住的进程、检测加密矿工和可疑活动、实施策略以防止资源滥用、提供 Web 界面用于集群监控、远程管理多个服务器上的 GPU 以及与 AI 助手集成。该工具支持 Linux、macOS 和 Windows 系统，并提供易于使用的命令行界面和 Web 仪表盘。
阅读更多
20世纪70年代，全球核电发展陷入低谷，但法国却逆势崛起。凭借政治决心、精简监管和独特的税收政策，法国在短短十年内建成了大量核电站，实现了电力的低碳化，并以此为基础发展成为欧洲最大的电力出口国。其成功经验在于：统一采购、精简审批、本地化供应链、批量建设以及惠及当地社区的经济利益分配。尽管后来经历了成本上升和监管收紧等挑战，法国的核电模式依然为其他国家，特别是中国，提供了宝贵的借鉴。
阅读更多
本文探讨了几个看似无关的概率问题，例如随机图中路径存在概率和单位圆上四点凸包包含原点的概率，都出奇地等于1/2。作者巧妙地运用对偶性技巧和组合论证，揭示了这些问题背后的深刻联系。通过分析线性超平面切割高维空间的单元数，以及研究随机矩阵的性质，作者最终解释了这些概率结果，并提出了几个未解的数学难题，引发读者对概率、几何和对偶性之间奇妙关系的思考。
阅读更多
本文探讨了药物消费与现代资本主义的内在联系。作者以自身经历和历史回顾，讲述了从上世纪50年代的镇定剂Miltown到如今的Klonopin等抗焦虑药物的演变，指出这些药物并非仅仅是治疗焦虑的工具，更是资本主义社会压力下人们寻求慰藉的产物。文章认为，现代社会的压力、不稳定性和不确定性导致了普遍的焦虑和创伤，而药物成为缓解这种创伤的一种方式。作者的个人经历也佐证了这一点，并反思了药物滥用与社会制度之间的复杂关系。
阅读更多
一个仅150行C99代码的微型JSON解析库闪亮登场！它采用零内存分配策略，状态极简，并提供包含行号和列号的错误信息。该库不包含数字和字符串解析功能，开发者需自行处理，例如使用`strtod`、`atoi`或Unicode代理对处理。示例代码展示了如何将JSON字符串解析到矩形结构体中。该项目开源且免费，采用公共领域许可证。
阅读更多
Google 的 PSP 安全协议，一种用于 TCP 网络连接传输加密的协议，即将合并到 Linux 6.18 内核主线中。经过十三轮审查，该协议最终获得批准。PSP 旨在简化 IPsec，提升大规模数据中心的需求。目前，仅支持 Mellanox MLX5 网卡。该协议可用于多种模式，包括隧道模式，但主要目标是作为 TLS 的更高效替代方案，利用其优越的卸载特性。
阅读更多
arXivLabs是一个框架，允许合作者直接在arXiv网站上开发和分享新功能。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。有想法可以为arXiv社区增值吗？了解更多关于arXivLabs的信息。
阅读更多
本文讲述了Vannevar Bush的Memex概念如何启发了Doug Engelbart和Ted Nelson两位先驱者，他们分别创造了NLS和Xanadu系统，试图构建一个基于超文本的理想互联网。Engelbart的NLS率先展示了超文本的潜力，但最终因技术限制而未能广泛应用。Nelson的Xanadu则是一个更宏大的愿景，旨在创建一个连接所有知识的“文档宇宙”，但由于技术挑战、资金问题和Nelson本人个性等原因，最终未能实现其宏伟目标。文章探讨了互联网发展中错失良机，以及技术与人文思考的平衡问题，引发人们对未来互联网形态的思考。
阅读更多
一位开发了一款名为Lagree Buddy的健身应用的开发者，为了推广应用，决定挑战一周只专注于营销。他尝试了各种策略，包括在社交媒体上发布内容、向健身工作室和教练发送冷邮件、参加Sebastian Lagree的课程等。尽管数字指标并未立即见效，但他与Lagreeing at Home和Sebastian Lagree本人建立了联系，并获得了宝贵的反馈，这为他未来的营销工作奠定了基础。这个实验让他深刻认识到，市场营销比他想象的要难得多，但同时也打开了代码无法打开的大门。
阅读更多
Space Station 14游戏开发者在将游戏移植到ARM64架构的Windows系统时遭遇了离奇的崩溃问题。调试过程中，开发者发现问题源于微软的DXGI模块中一个针对窗口化游戏的优化功能，该功能会强制启用“flip”模式，但在特定情况下（游戏名为SS14.Loader.exe）会导致与GetDC()函数相关的非法指令异常。最终发现，微软在ARM64平台上针对DXGI的此优化功能存在bug，并且该功能只在特定程序名称的游戏上启用，而Space Station 14意外地被包含在了这个名单中。开发者推测，由于ARM64平台原生游戏数量较少，此bug可能未被发现。目前，该开发者已将问题反馈给微软，并暂时推迟了Windows ARM64版本的发布。
阅读更多
西班牙足球甲级联赛（LaLiga）为打击盗版，采取了激进的IP地址封锁策略，导致大量合法网站和服务受到影响。 该策略由LaLiga与电信巨头Telefonica合作实施，获得了西班牙法院的支持，但其粗暴的封锁方式，波及了Amazon、Cloudflare、GitHub等众多公司，甚至连Google Fonts都未能幸免。 尽管LaLiga声称取得了巨大的战果，但实际效果甚微，仅11%的盗版流被下线。 这种过度措施引发了广泛的批评和法律挑战，但LaLiga似乎并未打算停止其“网络封锁”行动。
阅读更多
2026年《泰晤士报》大学排名发布，牛津大学首次跌出英国大学前三，与剑桥大学并列第四，由杜伦大学占据第三位。伦敦政治经济学院连续第二年位居榜首，圣安德鲁斯大学位居第二。杜伦大学教学质量评价大幅提升，是其排名跃升的主要原因。
阅读更多
Vec是一个为C语言设计的通用型、快速、防泄漏的动态数组。它采用连续内存存储，几何级增长（×2），实现均摊O(1)的插入效率，并提供类似面向对象风格的API。Vec默认开启防御机制：分配前检查溢出，边界检查访问器，以及针对空/收缩/销毁的明确行为定义。其设计目标是兼顾性能和安全性，并提供简洁易用的接口。
阅读更多
作者在罗马和日本居住的经历，让他探索了何种因素能让人产生跨越时空的连接感。起初，他认为是古老的石头建筑，如罗马废墟，赋予了他这种感觉。然而，在日本，他发现即使是多次重建的木质建筑，如金阁寺，也能激发同样的感受。最终，他意识到，这并非源于材料本身，而是建筑背后持续存在的意念、传统和持续的实践，例如延续数百年的东京夜晚的防火巡逻，这才是连接过去和现在的关键。
阅读更多
这张地图展示了从欧洲每个火车站出发，5小时内可到达的范围。它受到Direkt Bahn Guru的启发，数据源自德国铁路网站。将鼠标悬停在某个车站上，即可查看该城市的可达范围等时线。该地图假设换乘时间为20分钟，站间通行时间略高于步行速度，因此应将其解释为最佳旅行时间，实际换乘时间可能导致部分路线不存在。
阅读更多
从1974年Honeywell Multics系统安全审查报告中关于“后门”的担忧，到2024年针对Debian系统的XZ攻击，开源软件供应链安全问题持续困扰着我们。本文探讨了这个问题的复杂性，它不仅仅是依赖关系图那么简单，还涉及软件构建、分发过程中的各个环节以及人员因素。文章提出了多种解决方案，包括软件认证、可复现构建、快速发现和修复漏洞，以及使用更安全的编程语言，并强调了开源项目资金支持的重要性，因为资金不足会导致项目被恶意控制。XZ攻击就是一个警示：看似简单的“免费帮助”可能隐藏着巨大的风险。
阅读更多
一位程序员因为同事不理解其编写的函数式编程代码而被经理勒令禁止使用函数式编程。为了保住饭碗，他不得不放弃优雅的函数式风格，改用命令式编程来实现一个简单的功能：列出员工的同事。然而，即使努力避免函数式编程的特性，他也发现很难完全摆脱，最终还是在代码审查时遇到了新的挑战，不得不向经理求助。这个故事幽默地展现了职场中技术决策的无奈与程序员的困境。
阅读更多
经过九个月的开发，Bluefin LTS（长期支持版）和Bluefin GDX（AI工作站版）正式发布。Bluefin LTS基于CentOS Stream 10，提供稳定的GNOME 48桌面和长期支持，并可选配硬件启用分支（lts-hwe）以获得更新的内核。Bluefin GDX则面向AI/ML专业人士，集成Nvidia驱动和CUDA，并与Red Hat合作开发开源AI/ML工具。两个版本都拥有改进的安装体验和安全启动支持，旨在为用户提供更稳定、高效的桌面体验。
阅读更多
PostgreSQL 18 Beta 版本发布，其中最受期待的功能之一是原生支持 UUIDv7。UUIDv7 是一种基于时间戳的 UUID 变体，它解决了传统 UUID 在数据库中排序和索引局部性问题。 它结合了全局唯一性和时间排序的优点，使其成为数据库主键的理想选择，特别是在需要高性能和可扩展性的分布式数据库环境中。PostgreSQL 18 还包含其他性能改进，例如异步 I/O 和索引优化。
阅读更多
约翰·霍普金斯大学应用物理实验室（APL）研发出一种新型固态热电制冷技术，其效率是商用散装热电材料的两倍。该技术采用纳米工程材料，可大规模生产，有望替代传统压缩机制冷，满足日益增长的节能、可靠和紧凑型制冷需求。这项技术名为CHESS，已在实际冰箱中测试，效率提高近75%。其材料用量极少，可通过半导体芯片生产工具进行大规模生产，降低成本。未来，该技术有望应用于大型建筑的HVAC系统，以及能量收集和电子应用等领域。
阅读更多
macOS Monterey 12.0.1 的磁盘工具在修复 APFS 磁盘时仍然存在长期存在的卸载卷或容器失败问题。本文提供了解决方案，包括在恢复模式下使用磁盘工具，或直接使用命令行工具 `fsck_apfs` 来检查和修复 APFS 卷和容器。文章详细介绍了 `fsck_apfs` 的使用方法，包括检查和修复选项，以及如何处理加密卷。
阅读更多
本文探讨了模型校准中常见问题：由于校准数据集远小于原始训练集，导致等距回归算法过度简化概率分布，损失模型的精细度。文章分析了这种“数据稀疏性导致的扁平化”现象，并提出了多种诊断方法来区分由噪声引起的合理简化和由数据限制引起的过度简化。最后，介绍了Calibre包，该包通过放松等距约束或使用平滑单调模型，在保持校准效果的同时，尽可能保留原始模型的区分能力。
阅读更多
GlucoDataHandler是一款创新的Android应用，可以从多种来源收集血糖数据，并在Android手机、智能手表（Wear OS、小米手环、Amazfit）和汽车（通过GlucoDataAuto）上清晰地显示这些数据。它支持多种血糖监测设备和应用，例如AndroidAPS、Juggluco、xDrip+、Eversense和Dexcom等，并提供自定义警报、多种小部件和锁屏显示等功能，还支持Tasker集成和数据转发。这款应用还获得了多个社区成员的贡献和支持，方便了糖尿病患者的血糖管理。
阅读更多
美国缉毒局（DEA）正在使用越来越隐蔽的监视技术。根据公开的政府采购数据，DEA最近购买了57个伪装成信用卡的录音录像设备，这些设备由瑞士公司Nagra制造，可以拍摄视频和录音，并具有16GB的存储空间。这些设备将被用于秘密行动，此前DEA曾将摄像头藏在路灯、交通锥和工具箱等常见物品中。此次采购进一步表明，DEA正在不断升级其技术手段，以执行其执法任务。
阅读更多
一位背包客为了减轻负重，不惜重金购买了一款外观像玩具的20000毫安时Haribo软糖熊充电宝。这款充电宝仅重9.9盎司，比之前的同类产品轻了0.4盎司，在追求极致轻量的超轻量级背包客圈掀起了一阵热潮。超轻量背包文化中，减轻每一盎司重量都至关重要，这款充电宝的出现，如同在超轻量级背包客的世界里发现了一辆能超越特斯拉Cybertruck的甲壳虫汽车一样令人惊喜。即使内置的USB-C线不能进行充电，但其轻便和可爱的造型仍然俘获了众多背包客的心。
阅读更多
作者测试了三个大型语言模型（LLM）识别HTML5元素与顶级域名（TLD）之间匹配的能力。结果显示，这些模型的表现参差不齐，有的遗漏了大量匹配项，有的则产生了错误的匹配，甚至出现了完全不相关的结果。这表明，即使是看似简单的任务，LLM也可能出现显著的错误，其准确性取决于用户对领域的熟悉程度。
阅读更多
比亚迪旗下超跑仰望U9 Xtreme在德国ATP Papenburg高速环形跑道上以308.4英里/小时（约496.6公里/小时）的速度刷新了世界最快量产车纪录。这辆全电动超跑搭载四个电动马达，总功率超过2978马力，并采用1200V超高压平台和比亚迪刀片电池技术。其最高时速超过了布加迪Chiron Super Sport 300+，Aspark Owl和Rimac Nevera R等车型。全球限量30台，售价预计远超20万英镑的U9标准版。
阅读更多
美国大型律师事务所Morgan & Morgan因其广告中想使用米老鼠的处女作《汽船威利》的画面而起诉迪士尼。Morgan & Morgan认为该片版权已过期，但担心迪士尼会因商标侵权起诉他们，故寻求法院裁决。该律师事务所准备的广告中，米奇驾驶的船撞上了米妮开的车，米妮随后联系了律师事务所。迪士尼尚未回应此事。
阅读更多
阿尔加罗蒂的《牛顿主义入门》以对话形式，向一位侯爵夫人解释牛顿理论，巧妙地将科学与娱乐结合。书中诗歌致敬当时的名流，用轻松幽默的方式阐释光学理论，而非复杂的力学部分。虽然看似推广女性科学素养，但对侯爵夫人知识接受度的刻画引发争议：有人认为她被动接受知识，也有人认为书中展现了女性对科学的好奇心与时尚的结合。
阅读更多
本文节选自米尔顿·梅耶尔的《他们以为自己是自由的》，讲述了纳粹德国时期德国人如何一步步走向沉默与屈服。通过一位语言学家的视角，揭示了政府与民众之间日益扩大的鸿沟是如何悄然形成的。一系列看似微不足道的事件，逐渐麻痹了民众的警惕性，使其对纳粹暴行视而不见。作者强调了“抵制开始”和“考虑后果”的重要性，但指出预见后果的难度，以及在压力和不确定性下，人们选择沉默和不作为的普遍性。最终，纳粹政权的罪恶行径才被揭露，但为时已晚。
阅读更多