GitHub 项目：potahtml/mpa-archive
MPA Archive 是一款多页面应用程序归档工具，能够将多页面应用程序抓取到一个 zip 文件中，并从该文件中提供服务。它使用 Puppeteer 进行无头抓取，支持多线程下载、站点地图抓取、断点续传等功能。此外，MPA Archive 还可以生成站点地图、保存源代码映射，并提供一个简单的服务器来托管归档后的应用程序。
阅读更多sqlite-vec v0.1.0 发布：一款可在任何地方运行的向量搜索 SQLite 扩展
sqlite-vec v0.1.0 是一个新的向量搜索 SQLite 扩展，完全用 C 编写，没有任何依赖项，采用 MIT/Apache-2.0 双许可证。它支持多种安装方式，并将在不久的将来成为 SQLite Cloud 和 Turso 等流行 SQLite 产品的一部分。sqlite-vec 的工作方式类似于 SQLite 的全文搜索支持，您可以声明一个带有向量列的“虚拟表”，使用普通的 INSERT INTO 语句插入数据，并使用普通的 SELECT 语句进行查询。目前它专注于快速蛮力向量搜索，并支持量化和 Matryoshka 嵌入等技术来提高效率。
阅读更多荷兰Ore Energy公司获千万欧元融资，推出仅使用铁、水和空气的新型电池
荷兰代尔夫特科技初创公司Ore Energy近日宣布获得1000万欧元融资，并推出一款仅使用铁、水和空气的新型电池。该公司致力于解决传统铁空气电池成本高、充电效率低等问题，利用金属铁锈和去锈过程储存能量，为可再生能源提供更廉价、持久的储能方案。
阅读更多使用LLVM/Clang构建更好的固件
本文介绍了如何在嵌入式开发中使用LLVM/Clang编译器工具链来构建更好的固件。LLVM/Clang相比GCC的优势在于模块化架构、丰富的静态分析功能以及跨平台编译能力。文章详细介绍了如何将基于GCC的ARM Cortex-M项目迁移到LLVM/Clang, 并利用Clang的静态分析工具scan-build检测内存泄漏、死锁等问题。此外，文章还介绍了Clang线程安全分析器，用于检测多线程应用中的竞态条件。最后，文章总结了LLVM/Clang在嵌入式开发中的优势，并鼓励开发者尝试使用。
阅读更多在Go中进行更快的 XML 流式处理
该网站提供了有关在Go中进行快速XML流式处理的信息，重点介绍了使用高速和轻量级的streadfast XML解析器。它涵盖了StreamFast的安装、使用和优点，并讨论了基于事件的流式处理模型。
阅读更多Rust 中的进程间通信：乒乓比较
本文探讨并比较了 Rust 中几种进程间通信方法，包括管道、TCP、UDP 和共享内存，并通过“乒乓”测试评估其性能。结果表明，共享内存的速度最快，但实现复杂且存在安全风险；其他方法性能接近，但远低于共享内存。作者建议根据实际需求选择合适的通信方式，并提供了代码示例和测试结果分析。
阅读更多Linux 磁盘使用量计算器 dut
dut 是一款高效的 Linux 磁盘使用量计算工具，其输出受 NCDU 启发，并准确计算硬链接。它具有纯 ASCII 输出，与 Linux tty 完全兼容，并提供可配置的输出格式，用户可以通过命令行参数轻松更改显示文件深度的上限。与 du、dua、pdu、dust 和 gdu 等其他磁盘使用量计算工具相比，dut 在大多数情况下都具有显著的性能优势，尤其是在 Linux 磁盘缓存已填充的情况下。
阅读更多别做房间里最聪明的人，要做最善良的人
作者认为，与其在会议中试图表现得最聪明，不如努力成为最善良的人。善良体现在：认真倾听他人发言、尊重不同的观点、对他人抱有同理心、积极寻求解决方案。作者坚信善良具有感染力，最终能让团队中的每个人受益。
阅读更多FBI被曝出进行非授权监听，使用702条文监听
据Gizmodo报道，泄露的联邦调查局（FBI）电子邮件显示，联邦调查局利用《外国情报监视法》(FISA)第702条在没有搜查令的情况下对美国公民进行大规模监听。该报告称，FBI使用702条文来获取有关美国人的电话记录和其他通信信息，即使没有合理的怀疑认为这些个人与外国势力勾结。这一消息引起了公民自由组织的强烈反对，他们认为这违背了美国宪法第四修正案，该修正案禁止在没有搜查令的情况下进行不合理的搜查和扣押。FBI为其使用702条文辩护，称这对于保护美国免受恐怖主义侵害至关重要。
阅读更多优化测试函数和数据集
本文列举了一些用于测试优化算法的常用函数和数据集，并将它们按物理特性和形状进行分类，包含Ackley函数、Bukin函数、Rastrigin函数等，并提供了每个函数或数据集的信息以及MATLAB和R语言的实现。
阅读更多Windows 版 SSHFS
SSHFS-Win 是一款将 SSHFS 移植到 Windows 的工具，使用 Cygwin 提供 POSIX 环境，使用 WinFsp 提供 FUSE 功能。用户可以使用 Windows 资源管理器或命令行将网络驱动器映射到 SSHFS 主机上的目录。该项目还提供 GUI 前端，如 SiriKali 和 SSHFS-Win-Manager，以简化使用。
阅读更多高通Oryon核心：漫长的研发之路
高通于2024年7月9日发布了期待已久的Oryon CPU核心，用于其Snapdragon X Elite芯片。该核心源自高通于2021年收购的初创公司Nuvia的设计。Oryon是一款8宽核心，具有强大的乱序执行能力和大型缓存，旨在在笔记本电脑市场上与AMD和英特尔的芯片竞争。虽然基准测试显示Oryon在运行原生应用程序时表现出色，但它仍然面临着软件兼容性、平台碎片化和价格等挑战。
阅读更多训练有素的 Transformer 是隐式推理器：通向泛化边缘的机械之旅
本文研究了 Transformer 是否可以学习对参数知识进行隐式推理。研究发现 Transformer 可以通过“顿悟”，即长时间训练以克服过拟合，来学习隐式推理。然而，不同推理类型的泛化水平有所不同。分析表明，“顿悟”背后的机制与泛化电路的形成及其与记忆电路的相对效率有关。研究还发现，GPT-4-Turbo 和 Gemini-1.5-Pro 等基于非参数记忆的模型在复杂推理任务中表现不佳，而完全“顿悟”的 Transformer 可以实现近乎完美的准确性。
阅读更多谷歌日历数据库设计教程
这篇文章是一个数据库设计教程，旨在帮助读者设计一个类似谷歌日历的数据库。文章首先介绍了逻辑模型的概念，并使用表格形式详细描述了用户、日期事件、时间事件、重复事件、时区等实体的属性和关系。然后，文章介绍了如何将逻辑模型转换为物理模型，并给出了相应的SQL表创建语句。文章还讨论了索引、数据类型选择等数据库设计中的重要问题。
阅读更多为什么科技公司不愿提高薪资留住工程师？
本文分析了科技行业工程师频繁跳槽，获得高薪的现象。作者认为，公司内部不透明、信息不对称的薪酬结构是导致这一问题的主要原因。作者建议科技公司建立透明的薪酬体系，根据工程师的贡献和任期来确定薪资，以鼓励长期服务。
阅读更多国际象棋引发的反射性癫痫病例研究
本文介绍了一个以国际象棋为诱因的反射性癫痫病例研究。患者在进行国际象棋比赛的中局阶段，特别是在需要进行决策和计算的时候，会出现手臂抽搐的症状。研究发现，这种症状与空间操控和运动计划有关，而与记忆或视觉模式识别无关。通过脑电图和肌电图分析，研究人员确定了患者大脑中与癫痫发作相关的区域，并进一步了解了国际象棋过程中不同认知过程之间的联系。
阅读更多统计推断和回归的用户指南
这本《统计推断和回归用户指南》旨在帮助读者理解统计推断和回归的基本方法，并将其应用于社会科学研究。该书分为两部分，第一部分介绍了统计推断的基本原理，包括基于设计的推断、基于模型的推断、渐进性和假设检验。第二部分重点介绍了回归分析，包括线性回归、最小二乘法的机制和统计特性。
阅读更多Linux 系统调用表
该网页提供了一个 Linux 内核系统调用表的查询工具，用户可以根据架构和内核版本筛选查看系统调用的详细信息，包括调用号、名称、符号、定义位置和版权信息。
阅读更多美国海军陆战队特种作战司令部测试装备人工智能步枪的机器狗
美国海军陆战队特种作战司令部（MARSOC）正在评估由Ghost Robotics开发的新一代机器狗，这些机器狗有可能配备来自国防科技公司Onyx Industries的枪支系统。这些机器狗配备了人工智能瞄准系统，但需要人工监督才能开火。该系统保持了人在回路中的火力控制，不能自主决定开火。
阅读更多Comma 获得治愈
本文讲述了兽医护士Sarah Perry为一只名叫Comma的大鹅治疗的故事。Comma疑似患有罕见的口蹄疫，Sarah对它悉心照料，最终治好了它的病。
阅读更多JPEG XL：新一代图像压缩技术
JPEG XL是一种全新的图像压缩标准，与JPEG、WebP和AVIF等格式相比，它在压缩效率、图像质量和功能方面都有显著提升。JPEG XL能够在保持高视觉质量的同时，将文件大小缩减高达55%，并支持无损压缩、渐进式加载、广色域和HDR等特性，适用于各种应用场景，包括网页、摄影和印刷等领域。
阅读更多
Rust基金会宣布成立安全关键型Rust联盟
Rust基金会联合AdaCore、Arm等公司宣布成立安全关键型Rust联盟，致力于支持Rust编程语言在安全关键型软件中的负责任使用。该联盟将制定指南、规范和工具，以满足行业和法律要求，并与Rust项目团队紧密合作。联盟成员包括行业、学术界和法律专家，其目标是弥合Rust生态系统在安全关键型领域资源方面的差距，并促进Rust在需要高安全性和可靠性的行业中的应用。
阅读更多Clipboard Health：连接医疗机构和专业人员的快速增长平台
Clipboard Health是一个连接医疗机构和专业人员的在线平台，旨在解决医疗行业人员短缺问题。该平台为护士提供灵活的工作机会和更高的薪酬，同时帮助医疗机构填补空缺职位，提高患者护理质量。Clipboard Health实现了快速增长，年收入达1亿美元，估值13亿美元，并扩展到多个医疗领域，如牙科、家庭保健和药房。公司注重工程文化，强调工程师的自主性、持续部署、客户至上以及快速迭代。目前，Clipboard Health正在招聘软件工程师、工程经理和DevOps工程师等职位。
阅读更多什么是SBAT以及为什么它突然变得重要
这篇文章解释了什么是安全启动高级目标 (SBAT) 以及为什么最近它引起了广泛关注。SBAT 是一种安全机制，旨在通过要求引导链中的每个组件都声明一个安全生成号来解决安全启动中存在的漏洞。最近，微软推送了一个Windows更新，该更新阻止系统信任安全生成号低于特定级别的grub版本，这导致一些Linux发行版无法启动，因为它们的grub版本没有及时更新。这篇文章指出了微软和Linux发行版都存在问题，并对因此给用户带来的不便表示歉意。
阅读更多Radxa x4 初体验：搭载英特尔 N100 的单板计算机
本文是作者对 Radxa x4 单板计算机的评测。Radxa x4 采用了英特尔 N100 处理器，支持 Windows 11 和 Debian 等操作系统。作者对其进行了开箱、初始设置、性能测试等方面的介绍，并分享了使用体验。作者认为 Radxa x4 是一款非常不错的产品，性能表现良好，但也存在散热和 PoE 供电方面的问题。
阅读更多贝塞尔曲线弧长参数化问题
文章探讨了计算机图形学中贝塞尔曲线弧长参数化问题。作者首先解释了弧长参数化的概念，然后指出三次贝塞尔曲线的弧长没有封闭形式解，而二次贝塞尔曲线的弧长虽然可以计算，但其弧长参数化通常也被认为没有封闭形式解。为了证明这一点，作者引入了Lin定理和Schanuel猜想，并通过数学推导证明了在Schanuel猜想成立的情况下，二次贝塞尔曲线的弧长参数化不存在封闭形式解。
阅读更多