Safemap是一款免费的犯罪热力图工具，可以帮助用户了解旧金山哪些地区最安全，哪些地区最好避开。用户可以通过选择不同的犯罪类别、日期和时间范围来查看相应的犯罪频率，并通过热力图颜色直观地了解犯罪分布情况。
阅读更多
文章解释了为什么在TCP连接之上运行PPP等协议（将IP数据包封装成适合流传输的格式）会导致性能不佳。TCP的重传机制在网络状况良好时表现出色，但当TCP连接嵌套时，例如在SSH上运行PPP时，上层TCP的快速超时和下层TCP的慢速超时会导致重传风暴，从而造成连接延迟和频繁中断。
阅读更多
这是一篇关于如何在Mac上利用GPU进行语音转录的文章。文章介绍了一个bash脚本，它封装了Python的mlx_whisper库，从而可以使用GPU加速转录过程。
阅读更多
Go-Taskflow是一个受taskflow-cpp启发的Go通用任务并行编程框架，集成了可视化工具和分析器。它利用Go的原生并发模型和简单的编程接口，简化了复杂任务依赖管理。该框架支持静态任务、条件节点、嵌套子流程和循环流程，并提供优先级任务调度。内置的可视化和分析工具有助于调试和优化。适用于数据流水线、工作流自动化和并行任务等场景。
阅读更多
CPython 3.13版本引入了自由线程模式，该模式禁用了全局解释器锁（GIL），从而显著提升多线程应用的性能。文章以PageRank算法为例，对比了单线程、多线程和多进程三种实现方式在不同数据量下的性能表现。结果显示，在启用自由线程的3.13版本中，多线程版本的性能最佳，而多进程版本由于进程间通信的开销，性能甚至低于单线程版本。文章还指出，目前的自由线程模式仍处于实验阶段，会导致其他非多线程应用的性能下降，但未来有望改进。
阅读更多
本文揭露了“论文工厂”的运作模式，这些公司以盈利为目的，为研究人员提供虚假论文署名服务，严重危害了全球学术研究的诚信。文章详细介绍了论文工厂的操作手法，包括操纵论文发表过程、提供虚假同行评审、贿赂期刊编辑等。文章还指出，论文工厂的客户群体广泛，遍布发达国家和发展中国家，其造成的经济损失巨大，最终由公众承担。
阅读更多
首批Geekbench 6跑分显示，M4 Pro芯片的峰值多核性能超越了M2 Ultra。搭载14核M4 Pro的Mac mini多核跑分高达22094，超过了24核M2 Ultra的Mac Studio（21351）。这意味着售价1599美元的Mac mini性能可与3999美元的Mac Studio媲美。M4 Pro的性能相比M3 Pro提升高达45%。
阅读更多
Owl 是一款功能性 Scheme 方言，托管于 GitLab。该项目创建于 2018 年 6 月 5 日，采用 MIT 许可证。
阅读更多
Svix 是一家专注于 Webhook 基础设施的公司，致力于为开发者提供简单易用、功能强大的 Webhook API，帮助他们打造世界一流的 Webhook 体验。Svix 发展迅速，获得了 Y Combinator 等知名投资机构的支持，并拥有一支充满活力和经验丰富的团队。公司文化鼓励创新、快速执行和团队合作，并致力于为开发者提供最佳体验。
阅读更多
本文探讨了使用计算机暴力破解魔方的问题。作者首先介绍了传统的暴力破解方法，即尝试所有可能的转动序列，但由于魔方状态空间巨大，这种方法实际上不可行。然后，作者引入了置换的概念，将魔方状态表示为置换，并提出了一种基于置换的暴力破解算法——4-List算法。该算法将搜索空间分解成四个子集，并利用置换的排序和集合交集等技巧，有效地减少了搜索时间。作者详细解释了算法的原理和实现细节，并提供了Common Lisp代码示例和性能测试结果。虽然存在更高效的魔方求解算法，但4-List算法的通用性使其适用于其他类型的置换谜题。
阅读更多
这篇邮件是Dan Williams回复Kent Overstreet的，指出由于Kent Overstreet在此邮件讨论中的不当行为，Linux内核开发者社区行为准则委员会决定在Linux 6.13内核开发周期内限制其参与，拒绝其所有拉取请求。邮件中引用了违规邮件的链接以及行为准则的参考链接。
阅读更多
本文测评了2024年RISC-V架构处理器的性能，发现其速度远低于预期，甚至不及树莓派。Geekbench跑分显示，RISC-V处理器单线程得分普遍低于150，多线程得分低于1500，远低于苹果M4系列和树莓派。文章分析了RISC-V性能落后的原因，包括缺乏流水线机制、乱序执行能力、分支预测和多级缓存等高级功能。尽管RISC-V在嵌入式系统等低功耗领域有所应用，但在高性能计算领域仍有很长的路要走。
阅读更多
本文探讨了爱达·洛夫莱斯为巴贝奇分析机编写的程序，该程序旨在计算伯努利数。文章详细解释了伯努利数的数学背景，以及巴贝奇分析机的运作原理。洛夫莱斯的程序虽然从未运行，但其严谨性及对循环和变量状态追踪的巧妙运用，使其被认为是世界上第一个复杂程序，预示了现代编程的许多要素。文章还分析了程序中发现的bug，并讨论了洛夫莱斯在计算史上的地位，强调了她对编程思想的贡献超越了简单的计算，她预见到了计算机的巨大潜力，远超同时代人。
阅读更多
美国笔会（PEN America）批评部分共和党国会议员近期施压海军学院取消学者露丝·本吉亚特的讲座，称其干涉学术决策，威胁学术自主。本吉亚特是一位研究威权主义的专家，曾著书比较特朗普与墨索里尼等独裁者。共和党议员认为邀请本吉亚特演讲违反国防部关于禁止军队参与党派政治活动的指令，并质疑海军学院的学术自由。美国笔会认为，邀请学者演讲是高等教育机构的正常活动，不应将其与支持学者观点划等号，政府不应干预学术自由。
阅读更多
近年来，汽车LED大灯刺眼的问题日益突出，引发了广泛不满。Reddit论坛r/FuckYourHeadlights成为抗议中心，聚集了众多受困扰的驾驶员。两位核心人物，一位前端开发者和一位机械工程师，正试图通过数据、研究和倡议，推动政府和汽车厂商解决这个问题。他们认为，汽车厂商为了追求更亮的灯光和安全评级，利用LED技术的可调性，在满足法规的同时，制造出过亮的灯光，而法规本身也滞后于技术发展。这场争论的核心在于如何平衡灯光亮度、能见度和眩光带来的安全风险，目前仍未有明确结论，但这场由Reddit引发的“车灯亮度大战”已引起广泛关注，推动了人们对汽车照明技术的反思。
阅读更多
Bruin是一款强大的数据管道工具，它集数据摄取、SQL和Python数据转换以及数据质量检查于一体。它支持主流数据平台，可在本地机器、EC2实例或GitHub Actions上运行。Bruin具有数据摄取、SQL和Python转换、数据质量检查、Jinja模板、端到端验证和多环境支持等功能，通过简单的pipeline.yml文件配置即可构建高效的数据管道。
阅读更多
一项新的研究将经典排序算法作为形态发生模型进行研究，颠覆了以往对这些算法的认知。研究人员通过打破传统算法的假设，即自上而下的控制和完全可靠的硬件，发现即使在存在错误的情况下，由自主单元组成的数组也能更可靠、更稳健地进行排序。更令人惊讶的是，这些算法展现出在面对缺陷时临时降低进度以绕过障碍的能力，以及在嵌合阵列中单元之间出现意想不到的聚类行为。这项研究为多元智能领域带来了新的视角，表明即使在简单的系统中，基础形式的智能也可以自发涌现，而无需在底层机制中明确编码。
阅读更多
本文简要介绍了 Shimmer 虚拟陪伴演示，并说明了使用 Tella 工具进行记录。虚拟陪伴指通过在线平台与他人共同进行活动，例如学习、工作或放松等，以提高专注力和减少孤独感。Shimmer 允许用户创建虚拟陪伴会话，并使用 Tella 记录这些会话，方便日后回顾和分析。
阅读更多
IBM 在首届量子开发者大会上宣布，其量子计算机已成功实现两年前提出的 100x100 性能挑战，即运行包含 100 个量子比特和 100 个门深度的量子电路。最新版本的 Heron R2 芯片具备 156 个量子比特，并通过硬件、中间件和软件的改进，能够精确运行包含 5000 个双量子比特门的电路，运算速度超过 150,000 CLOPS。此外，IBM 还发布了新的软件工具和 Qiskit 函数库，以帮助开发者更轻松地构建和运行量子算法，并展示了连接多个量子芯片的 Flamingo 和 Crossbill 技术，为未来的量子计算发展奠定了基础。
阅读更多
本文讨论了数字签名方案中的预哈希范式及其问题。作者认为，将协议问题推到基元层导致了HashML-DSA和HashSLH-DSA等不必要的变体，这些变体增加了复杂性且并未带来实际收益。作者提出了更好的替代方案，包括利用公钥依赖的message identifier以及在协议层定义数据哈希方式。对于ML-DSA，可以使用SHAKE256(SHAKE256(pk, 64) || 0x00 || 0x00 || m)进行预哈希。对于SLH-DSA等多通道签名方案，则需要更高级的协议设计。作者强调，应在协议层而非基元层处理预哈希问题，并建议在标准化过程中预先明确API和属性。
阅读更多
本文阐述了关于SQLite的一个常见误解：它是一个单连接数据库。作者指出这种说法不仅令人困惑，而且在许多方面都是错误的。SQLite完全支持多并发读取操作。虽然在写入操作时，SQLite数据库引擎会在数据库级别使用写锁，同一时间只有一个连接可以写入，但这通常不是问题。因为可以使用IMMEDIATE TRANSACTION，SQLite可以将查询排队，稍后重试获取写锁。
阅读更多
CSS 的 contain 属性用于隔离元素及其内容，使其尽可能独立于文档树的其余部分。contain 属性可以提高性能，因为它限制了布局、样式、绘制、大小或任何组合的计算范围，使其仅限于 DOM 子树而不是整个页面。contain 还可以用于限定 CSS 计数器和引号的作用域。contain 的值可以是 none、strict、content、size、inline-size、layout、style、paint 或它们的组合。使用 contain 属性可以有效地隔离页面上的元素组，防止元素内部对边界框外部产生副作用。
阅读更多
Vercel 发布了 ƒun，一个本地 Serverless 函数开发运行时，允许开发者在本地环境模拟 AWS Lambda 的运行环境。ƒun 支持多种运行时环境，包括 Node.js 和 Python 等，开发者可以使用它快速测试和调试 Serverless 函数，无需部署到云端。虽然 ƒun 尽可能模拟真实的 Lambda 环境，但仍存在一些差异，例如进程沙盒和用户权限方面。
阅读更多
美国版权局最新裁定，允许合法维修包括麦当劳冰淇淋机在内的商业食品制备设备，这对“维修权”运动来说是一场重大胜利。长期以来，制造商利用数字锁限制维修信息，迫使企业支付高昂的维修费用。此次裁决允许绕过这些数字锁，但仍然禁止分享或销售用于绕过软件锁的工具。此外，该裁决并未涵盖更广泛的商业和工业设备，这意味着许多企业仍然无法自由维修自己的设备。
阅读更多
经过两年多的开发，Thunderbird 终于推出了适用于安卓系统的 8.0 正式版本。该版本基于 K-9 Mail 项目构建，并提供从 K-9 Mail 和桌面版 Thunderbird 导入设置的功能，支持 Android 5 及以上版本。用户可通过 Google Play 商店、GitHub 和 Thunderbird 官网下载安装。Thunderbird 团队感谢社区的支持和测试，并鼓励用户通过捐赠、提供反馈和参与开发等方式继续支持 Thunderbird 的发展。
阅读更多
