作者在开发一个 C 语言编写的 Torrent 应用程序时，遇到了调试构建启动速度过慢的问题（20-30 秒）。这主要是因为程序启动时需要逐块验证下载文件的 SHA1 哈希值，而调试模式下的 Address Sanitizer 会显著降低 SHA1 计算速度。文章尝试了多种优化方法，包括使用 SIMD 指令和 CPU 的专用 SHA 加速硬件。最终，通过使用 Intel SHA 扩展指令集，将启动时间缩短到 866.9 毫秒，实现了 100 倍的性能提升。这篇文章详细介绍了各种优化方案的实现细节和性能对比，并探讨了编译器优化和磁盘 I/O 的影响。
阅读更多
Lua-match是一个极简的Lua库，提供了Sum类型和Switch功能。它使用标记函数实现，方便开发者处理多种数据类型和条件分支。通过一个简单的标记函数和一个switch表，即可轻松实现类似于其他语言中Sum类型和模式匹配的功能，极大简化代码逻辑。该库已开源，并采用MIT许可证。
阅读更多
Directus是一个用于管理SQL数据库内容的实时API和应用程序面板。它可以快速地在任何SQL数据库之上构建一个Node.js API，支持PostgreSQL、MySQL等多种数据库，无需迁移。Directus提供本地部署、内部部署和云服务三种方式，并具有高度的可扩展性和易于使用的无代码Vue.js应用。其商业模式为：年营收或融资额低于500万美元的组织可免费使用；超过500万美元的组织则需要商业许可证。
阅读更多
WhiteSur是一个让你的Linux GTK桌面拥有macOS般外观的主题。它提供丰富的自定义选项，包括颜色、不透明度、窗口控制按钮样式、Nautilus样式以及Gnome Shell扩展的调整。安装简单，只需运行安装脚本，即可轻松改变你的桌面风格。此外，它还支持对GDM和Firefox主题的自定义，并提供针对Flatpak应用的主题修复方案，即使是Libadwaita也能够应用主题。想体验macOS般流畅的Linux桌面吗？WhiteSur值得一试！
阅读更多
C语言即将迎来一项名为`defer`的新特性，它如同一个“撤销”机制，确保代码块无论如何都能执行清理操作，例如释放内存或解锁互斥锁。这项特性并非凭空创造，而是基于现有编译器扩展和其它语言的类似机制演化而来。文章详细解释了`defer`的工作原理、作用域以及与其他语言（如Go）的差异，并通过示例代码演示其用法。作者呼吁编译器厂商尽快实施`defer`，以提高C语言代码的安全性及可维护性，并防止类似CVE-2021-3744的内存泄漏漏洞的发生。
阅读更多
Gentrace，一个专注于大型语言模型（LLM）评估的平台，近日宣布获得800万美元A轮融资。该平台旨在解决LLM评估过程中存在的痛点，例如评估流程分散、团队协作不足等问题。Gentrace提供了一个协同的测试环境，允许团队成员通过前端界面进行测试，无需将评估代码孤立起来。它支持多种评估类型（模型、代码、人工），并提供实验管理、报告生成和追踪调试等功能，帮助团队更高效地开发和迭代LLM产品。Webflow、Multiverse和Quizlet等公司已使用Gentrace并取得了显著成效，例如提高测试效率40倍等。
阅读更多
FlakeUI 是一款革命性的图形用户界面，它采用分形结构、父子轨道和缩放元素，为内容导航带来全新的体验。想象一下，你的网页内容不再是简单的列表，而是如同宇宙般充满探索乐趣的动态分形结构。用户可以通过拖拽、旋转、缩放等五种手势在内容之间自由穿梭，如同在星系中遨游。FlakeUI 基于 Javascript，适合用于需要用户反复访问的网页，例如精选网页链接库或可搜索的层级目录。其内容编辑通过 XHTML 页面和 XML 文件实现，支持超链接跳转。快来体验这前所未有的内容浏览方式吧！
阅读更多
随着国际空间站即将退役，私人空间站的建设热潮兴起。Axiom Space、Vast、Blue Origin等公司纷纷投入巨资，竞相打造未来的太空枢纽，甚至太空城市。其中，Vast公司由加密货币亿万富翁Jed McCaleb支持，计划在2025年发射首个私人空间站Haven-1，并最终实现人工重力空间站。尽管商业太空经济的前景仍存在争议，但低廉的发射成本和NASA的资金支持，为私人空间站的建设提供了强劲动力，预示着太空探索的新时代即将到来。
阅读更多
连接芬兰和爱沙尼亚的波罗的海海底电力电缆Estlink 2于12月25日下午发生故障。芬兰总理奥尔波证实了这一事件，并表示不能排除人为破坏的可能性。芬兰国家电力传输网运营商Fingrid表示，事件发生后，芬兰电力供应充足，不会造成停电。爱沙尼亚方面也表示有足够的备用容量满足电力需求。此次事件是波罗的海地区近期发生的系列海底基础设施破坏事件中的最新一起，此前已有海底电缆和天然气管道遭到破坏，引发了对海底基础设施安全的担忧。
阅读更多
普鲁斯特的《追寻逝去的时间》并非简单的叙事，而是一部对记忆、时间和自我认知的深刻探索。通过对日常生活细节的细致描写，特别是对气味和味道的敏感捕捉，普鲁斯特唤醒主人公潜藏的记忆，展现了时间并非线性流逝，而是以碎片化的形式存在于记忆之中。小说以其独特的意识流手法和对心理状态的精妙刻画，引领读者进入主人公丰富而复杂的内心世界，反思人生的意义与价值。
阅读更多
一个名为Xvesa的精简X服务器从git历史的深处被复活了！由于TinyX服务器在体积上远小于Xorg，开发团队选择维护Xvesa并与Xfbdev结合，修复bug，增强安全性，并酌情添加新功能。他们选择了1.2.0版本而非1.3.0，因为后者破坏了输入功能。Xvesa的设计目标是最小化且功能齐全，因此去除了xkb、xinput、xinerama和gl等功能，默认禁用TCP监听，启用影子帧缓冲区。许可证为GPLv3。
阅读更多
这份指南并非教你如何安装和使用PGP加密邮件，而是教你如何更安全地使用PGP进行邮件通信。它强调除了加密邮件内容外，更要关注操作流程安全，包括邮件撰写、存储、密钥管理等方面。指南建议使用文本编辑器撰写邮件，避免在邮件客户端保存草稿；定期生成新的密钥，并及时销毁旧密钥；避免在密钥服务器上发布公钥；邮件主题应保持为空，以减少元数据泄露；使用`gpg --throw-keys`选项加密数据，以防止泄露密钥元数据；默认情况下启用邮件加密，并明确选择是否签名邮件。总之，这份指南旨在帮助用户将PGP的安全性能最大化。
阅读更多
一项突破性研究创建了南极生态系统的首个综合分类和地图，这标志着我们对南极生态系统理解的重大进步。该分类与IUCN全球生态系统分类相符，将南极洲置于全球背景下，突显其对维持地球生物多样性的关键作用。它将支持风险评估、保护区选址和全球保护目标的监测，为应对气候变化和日益增长的南极洲“绿化”做好准备。这项研究成果以开放获取的方式发表，数据可自由下载，为制定南极生态系统红色名录奠定了基础，以识别最受威胁的栖息地并制定保护策略。
阅读更多
在2024年NDSS网络与分布式系统安全研讨会上，Signal基金会主席Meredith Whittaker发表主题演讲，回顾了90年代的“密码战争”，并指出当前的加密政策格局受到政治、技术和商业压力的影响。她警告说，我们不能简单地将当前形势视为“密码战争2.0”，因为由个人数据、监控技术和AI/ML驱动的经济引擎构成了与90年代政府主导的加密技术截然不同的威胁。Whittaker强调，我们需要采取不同的应对措施，而NDSS的研究正处于这一应对措施的最前沿。
阅读更多
一个名为`hn-tldr-extension`的GitHub开源项目提供了一个浏览器扩展程序，能够利用OpenAI和Anthropic的大型语言模型（LLM）快速总结Hacker News的文章。用户只需提供自己的API密钥，即可在Hacker News页面上使用该扩展程序的“总结”按钮，方便快捷地获取文章概要。该扩展程序的代码已开源，并支持Firefox等浏览器。
阅读更多
一位作者揭露了出版业鲜为人知的残酷现实：大多数作者的收入远低于最低工资。以她自身为例，2500英镑的预付款在18个月的写作和编辑过程中，每月仅相当于69英镑的收入。即使书籍销量达到数千册，最终获得的报酬也微薄，远低于投入的时间和精力的价值。这篇文章呼吁读者支持作者，购买书籍、分享推荐，让作者们得到应有的尊重和回报。
阅读更多
本文介绍了如何在 Idris 语言中，利用依赖类型系统实现一个安全且高效的 printf 函数，无需借助不安全的宏或变长参数。作者通过巧妙地运用类型级编程，将格式字符串解析成数据结构，再根据数据结构动态生成函数类型签名，从而实现了类似 C 语言 printf 的功能，同时保证了内存安全和类型安全。文章还探讨了如何处理运行时格式字符串，并指出了该实现的一些不足之处，例如错误信息不够清晰等，预示着后续改进的方向。
阅读更多
名古屋大学的研究人员发现，芹菜、西兰花等植物中含有的黄酮类化合物木犀草素能有效抑制头发变白。研究团队通过小鼠实验发现，外用或口服木犀草素均能减少白发的出现，其机制在于改善毛囊中内皮素及其受体的含量，从而提升黑色素干细胞功能。虽然目前尚需人体试验验证其有效性和安全性，但这项研究为预防白发提供了新的可能性，有望开发出相关的局部用药和口服补充剂。
阅读更多
Nix 的强大构建能力依赖于对存储路径的评估，这在资源受限的设备上代价高昂。FlakeHub 推出了“已解析存储路径”功能，允许用户无需使用 Nix 即可获取存储路径，并直接从 FlakeHub 缓存中提取，从而显著提升 NixOS、Home Manager 和 nix-darwin 配置的部署效率。通过 `fh` 命令行工具，用户可以轻松解析存储路径并应用配置，尤其在云环境和资源受限设备上优势明显。此功能与 FlakeHub 缓存配合使用，付费用户可享用私有 flakes 等高级功能。
阅读更多
天文学家利用欧洲南方天文台的甚大望远镜（VLT）发现，距离地球520光年外的巨型系外行星WASP-127b赤道附近存在着超音速喷流风，风速高达每小时33000公里，是迄今为止在行星上测到的最快的喷流风。这一发现为研究遥远星球的天气模式提供了独特的见解，也表明即使在系外行星上也存在着复杂的天气系统，例如极地比赤道更冷，晨昏线也存在温度差异。这项研究使用了CRIRES+仪器，通过测量宿主恒星的光线穿过行星大气层的方式，绘制了WASP-127b的天气图和组成成分，证实了其大气中存在水蒸气和一氧化碳分子。未来，欧洲南方天文台的极大望远镜将进一步深入研究遥远行星的天气模式。
阅读更多
这是一本Darcs版本控制系统入门指南，通过简洁的例子讲解了Darcs的方方面面，包括安装、本地操作、创建仓库、处理更改、查看历史记录、冲突管理、分支、重写历史等。适合初学者快速上手，成为日常版本控制利器。
阅读更多
面对日益增长的GPU计算负载，现有监控工具往往开销巨大或侵入性强。eGPU 创新性地利用运行时PTX注入技术，将eBPF扩展到GPU内核，实现了低开销的动态可观测性。通过将eBPF字节码编译成PTX代码并注入运行中的GPU内核，eGPU能够在不中断执行的情况下动态添加、修改或移除监控程序。这不仅提升了GPU性能分析的效率，也为可编程GPU计算、运行时优化和GPU安全等领域打开了新的可能性。
阅读更多
io_uring是Linux下强大的异步I/O编程新方式，它克服了以往I/O子系统的诸多限制，极具潜力。本指南由Shuveb Hussain编写，涵盖了io_uring的介绍、底层接口、liburing库的使用示例（包括cat、cp和一个web服务器），以及高级用法等内容。该指南还提供源代码示例和GitHub仓库地址，方便开发者学习和贡献。
阅读更多
一篇发表在arXiv上的论文揭示了纽约时报每日单词游戏Waffle背后的数学原理。作者S.P. Glasby研究了该游戏排列组合的数学特性，解释了为什么有些游戏容易解决，而有些游戏极难。研究发现，完美的解法必须在21个方格上精确拥有11个轨道，其中至少一个轨道长度为1。这项研究为理解和改进这类益智游戏提供了数学视角。
阅读更多
摄影师Trevor Traynor从2012年起用iPhone拍摄全球各地报摊，记录了这些充满活力色彩和组织有序的场所。2022年，他将这些照片制作为100个独一无二的NFT，并在洛杉矶举办了实体展览，所有NFT在短短数月内售罄。这个项目不仅是一次摄影记录，更是一次成功的NFT尝试，融合了线上线下体验。
阅读更多
美国空军研究实验室在罗马研究基地（前格里菲斯空军基地）进行一项神秘测试：将飞机（通常是无尾的）倒挂在测试设备附近，测试电子对抗设备（ECM）的盲点和飞机外部弹药的干扰。虽然被称为“倒挂空军”，但这里也测试来自其他军种的飞机。所有照片均来自公共道路拍摄。
阅读更多
作者讲述了他将非机架式HiFi设备（DAC、输入选择器等）整合进2U机架的经历。他使用OpenSCAD设计面板，并通过CNC冲压制造铝制面板。过程中，他遇到了OpenSCAD DXF输出曲线精度问题，最终使用FreeCAD解决。他还尝试了HiFiBerry，但因可靠性问题最终放弃，转而使用Wiim Pro。整个过程充满了DIY的乐趣和挑战，最终成品兼具美观和实用性。
阅读更多
Mastodon用户Henning Paul（DC4HP）在其个人页面上发布了一条信息，感叹一段旅程的结束，并对结果表示惊讶和赞叹。该信息暗示了此前经历了一段不平凡的历程，最终的结果超出了他的预期。
阅读更多
F* 是一种通用的证明导向型编程语言，支持纯函数式和有副作用的编程。它结合了依赖类型的表达能力和基于SMT求解和基于策略的交互式定理证明的自动化证明功能。F* 程序默认编译成 OCaml，还可以通过 KaRaMeL 工具提取到 F#、C 或 Wasm，或使用 Vale 工具链提取到汇编语言。F* 由微软研究院、Inria 和社区积极开发，开源且免费，并广泛应用于安全、加密和系统等领域，例如 Mozilla Firefox 和 Linux 内核等项目。
阅读更多
哥斯达黎加一家名为“Super Mario”的小超市与任天堂展开了一场商标权大战。任天堂以其游戏角色“超级玛丽奥”的商标权为由，试图阻止该超市注册“Super Mario”商标。然而，超市成功证明其注册的商品类别（基本食品供应服务）并未与任天堂的商标注册类别冲突，最终赢得官司。这场胜利展现了小企业面对大型跨国公司时，凭借法律策略和坚持不懈的决心也能取得胜利的可能性。
阅读更多