CPANSec 成为 CVE 编号机构：强化 Perl 生态系统安全
2025-03-01
经过多年的发展，Perl 生态系统安全小组 CPANSec 正式成为 CVE 编号机构 (CNA)。这意味着 CPANSec 现在可以为 Perl 和 CPAN 模块中的漏洞分配 CVE 标识符，从而更好地跟踪和管理安全问题，进一步增强 Perl 生态系统的安全性。这一里程碑式的成就标志着 Perl 社区在安全方面迈出了重要一步。
阅读更多ZLinq：对LINQ的极致优化与扩展
2025-05-20
ZLinq是一个针对.NET平台的LINQ库，它通过巧妙的架构设计和优化策略，大幅提升了LINQ的性能。它引入了`IValueEnumerator`接口，用`TryGetNext`替代传统的`MoveNext`和`Current`，减少了方法调用次数。此外，它还支持`Span`和SIMD操作，并为树状结构（如JSON和Unity的GameObject）提供了LINQ支持。ZLinq的优化目标是减少内存分配和方法调用，从而提高处理速度，尤其在处理大型数据集或对性能要求较高的场景下更显优势。
阅读更多
开发
程序员导师用Shell脚本改进学生论文写作
2024-12-14
一位博士生导师为了帮助学生提高论文写作水平，编写了三个Shell脚本，分别用于检查被动语态滥用、空洞词语和重复词语。这些脚本集成到LaTeX文档的构建系统中，帮助学生们在写作中做出更清晰、更精确的选择，而非盲目遵循语法规则。导师认为，程序员可以利用自动化工具来克服写作中的个人弱点，并推荐了《风格：清晰与优雅的基础》等书籍作为写作参考。
阅读更多
开发
论文写作
Elixir Lua 库 v0.1.0 发布：在 BEAM VM 上运行 Lua
2025-05-15
Elixir 的 Lua 库 v0.1.0 正式发布！该库允许在 BEAM 虚拟机上直接执行沙箱化的 Lua 程序，而非嵌入 C Lua 运行时和编译器。它基于 Luerl 库实现，后者用 Erlang 实现了 Lua 的解析器、编译器和运行时。该库改进错误消息并提供完整文档，支持通过 deflua 宏扩展 Lua API，并提供 ~LUA 符号进行编译时语法评估。该库源于 TV Labs 的需求，用于构建基于物理设备的自动化测试平台，并为其拖放式自动化构建器提供编译目标。未来计划将 Elixir Lua 库与 Luerl 合并，改进错误消息、文档和沙箱功能。
阅读更多
开发
BEAM VM
Idris 中安全高效的 printf 实现
2025-02-14
本文介绍了如何在 Idris 语言中，利用依赖类型系统实现一个安全且高效的 printf 函数，无需借助不安全的宏或变长参数。作者通过巧妙地运用类型级编程，将格式字符串解析成数据结构，再根据数据结构动态生成函数类型签名，从而实现了类似 C 语言 printf 的功能，同时保证了内存安全和类型安全。文章还探讨了如何处理运行时格式字符串，并指出了该实现的一些不足之处，例如错误信息不够清晰等，预示着后续改进的方向。
阅读更多GIMP 3.0 插件开发指南：拥抱 Python 3 和 GTK 3
2025-02-16
GIMP 3.0即将发布，它将使用GTK 3和Python 3，这使得插件开发更加便捷和可持续。本文总结了GIMP 3插件开发资源，包括Python 3教程、API文档以及插件存放位置等信息。作者还提到，插件可以使用C、Python 3、Scheme、JavaScript和Vala编写，并建议将插件放在`~/.config/GIMP/3.0/plug-ins/`目录下。此外，文中还介绍了GIMP的Python REPL以及如何处理外部Python模块。
阅读更多
开发
插件开发
Modelica协会：高效建模复杂系统的利器
2024-12-16
Modelica协会致力于推广Modelica语言及其相关工具，Modelica是一种面向对象的建模语言，用于构建和模拟复杂系统，尤其擅长对基于数学方程的、可重用的组件进行非因果连接建模。该协会提供语言规范、工具、库以及社区支持，助力用户高效地进行系统建模。
阅读更多从婴儿学步到机器学习：模式识别的奥秘
2025-02-18
作者观察到弟弟触摸火炉被烫伤，联想到机器学习中的模式识别。婴儿最初对“热”的认知是通过经验建立关联，如同机器学习中构建空间嵌入，将感官输入映射到心理空间，形成节点网络。随着新的经验（例如触摸暖气片），婴儿不断更新认知模型，如同贝叶斯更新，调整对“热”的理解。这体现了人类和机器学习都依赖于模式识别：压缩信息，泛化知识，并根据新证据调整认知。然而，人类也会过度寻找模式（阿波芬尼亚），看到不存在的关联。最后，作者强调平静思考的重要性，因为它能促进创造力和模式形成。
阅读更多
AI
模式识别
基于NeRFies和UMI-On-Legs的开源网站模板
2025-03-21
本网站模板借鉴了AnyCar UMI-On-Legs和NeRFies的优秀设计，并对代码进行了精简。它采用Creative Commons Attribution-ShareAlike 4.0 International License授权，允许自由修改和使用，但需在页脚保留指向NeRFies页面的链接，并移除不需要的分析代码。
阅读更多Hotline：经典在线社区的Swift重生
2025-02-08
一个雄心勃勃的项目正在用Swift和SwiftUI重写1997年的经典Mac在线社区软件Hotline，旨在将其带到现代的苹果生态系统(iOS、macOS等)。该项目目前仅包含客户端，支持连接和参与Hotline服务器。用户可以进行IRC风格的聊天、私信、论坛阅读和发帖、BBS留言板互动以及FTP式的文件上传下载等。项目目标是创建一个现代化的开源Hotline版本，并重振这个曾经辉煌的品牌。
阅读更多
开发
FPGA 完美复刻稀有复古芯片 MCS6530
2025-02-08
Paul Sajna历时一年多，成功使用FPGA复刻了MOS公司生产的稀有复古芯片MCS6530。该芯片用于1975年的KIM-1计算机和70、80年代的街机。名为yo6530的项目已开源，可在GitHub上找到。它基于Dag Lem设计的reDIP RIOT开发板，采用Lattice ICE40UP5k FPGA，并使用开源工具链编译。目前，yo6530已成功支持6530-002和6530-003两个版本，并能够引导Eduardo Casino设计的KIM-1复制品。作者未来将继续完善该项目，并欢迎贡献者参与。
阅读更多
硬件
MCS6530
AI 正在颠覆科技公司的招聘流程
2025-02-20
科技公司招聘流程的痛点在于冗长且令人厌烦的面试环节，特别是技术面试。传统的技术面试考察算法和数据结构等基础知识，然而，AI 工具如GitHub Copilot和大型语言模型的出现，使得应聘者能够轻松应对这些问题，甚至伪造技能。文章探讨了AI对不同类型技术面试的影响，例如在线编码评估、计算机科学基础知识考察和架构设计面试，并提出了几种应对策略，包括转向线下面试、使用反作弊软件，以及彻底改变面试模式，例如考察应聘者对AI工具的熟练程度和代码重构能力。最终，文章认为，未来技术面试将更加注重考察应聘者解决复杂问题的能力、团队协作能力以及在实际项目中的经验。
阅读更多
开发
夫妻共享ChatGPT账户：AI如何改变我们的生活
2025-02-15
作者和妻子共享一个ChatGPT Pro账户，并以不同的方式使用AI。妻子在教育和社会工作领域使用AI起草戒毒指南材料、撰写瑜伽工作室合同、查找健康信息等；作者则主要用于编写代码、构建软件产品、进行市场调研和自动化任务。他们发现AI并非仅限于技术工作，而是成为提高效率的工具，帮助他们更好地规划和执行任务，从而拥有更多时间陪伴家人。
阅读更多
杂项
摩天大楼般巨型海上风力涡轮机的六种创新漂浮方式
2025-01-12
随着海上风力发电的兴起，如何高效经济地利用深海风能成为一大挑战。文章介绍了六种创新型漂浮式巨型风力涡轮机平台设计，包括Spar、Barge、张力腿平台、半潜式平台、组合式平台和混合式平台。这些设计各有优劣，有的易于制造，有的稳定性高，有的成本低，但都致力于解决巨型风机在深海环境中的倾斜问题，并与其他能源形式在成本上竞争。目前，虽然已有几种设计投入实际应用，但最佳设计方案仍在探索中，未来仍有巨大的改进空间。
阅读更多开源认证服务器OpenAuth：简化身份验证，赋能开发者
2024-12-17
OpenAuth是一个通用的、基于标准的开源认证提供商，它可以作为独立服务部署，也可以嵌入现有应用程序。它支持多种平台和框架，包括Node.js、Bun、AWS Lambda和Cloudflare Workers。OpenAuth遵循OAuth 2.0规范，可定制，并提供预构建的主题化UI。与其他开源认证解决方案不同，OpenAuth是一个集中的认证服务器，运行在用户自己的基础设施上，简化了自托管过程。它不处理用户管理，而是通过回调机制允许开发者实现自己的用户查找/创建逻辑。OpenAuth使用简单的KV存储，并提供多种实现，例如Cloudflare KV和DynamoDB。它还提供可主题化的UI，方便开发者快速上手。
阅读更多单元测试的真相：打破教条，拥抱更灵活的测试策略
2025-02-15
传统单元测试方法论常常陷入教条，导致大量无效测试和时间浪费。本文挑战了“单元”的概念，主张从用户视角出发，编写集成测试和端到端测试，而非死板地为每个类或方法编写单元测试。作者建议减少对代码隔离和mock的依赖，利用真实数据库和Docker等工具，提高测试效率和意义。同时，文章强调测试驱动开发（TDD）并非万能，软件架构设计应优先考虑非功能性需求。最终，作者指出，选择测试策略的关键在于权衡质量保证、重构能力和反馈速度。
阅读更多
开发
告别Pinboard：个人网站链接迁移记
2025-02-12
博主宣布停止更新Pinboard书签，并将所有链接迁移至个人网站。原因是Pinboard多年来缺乏更新，移动端体验不佳，且博主对Pinboard所有者的一些观点有所保留。虽然之前博主已将Pinboard链接镜像到个人网站，但这造成了双重维护的负担。因此，博主决定将个人网站作为链接的唯一来源，并将Pinboard页面保留为历史记录。
阅读更多在Qubes OS上实现GPU直通游戏：一个充满挑战的冒险
2025-02-15
这篇指南详细介绍了如何在Qubes OS虚拟机管理器中实现GPU直通以进行游戏。过程复杂，需要对Linux系统、GRUB、IOMMU、以及Xen虚拟化技术有深入的了解。文章涵盖了硬件准备、IOMMU组的识别、GRUB配置修改以隐藏GPU、解决`max-ram-below-4g`参数问题、以及在虚拟机中安装和配置GPU驱动等步骤。对于Nvidia显卡，建议使用`nvidia-open`驱动。文章还讨论了Linux和Windows虚拟机的配置差异，以及使用VirtualGL和Vulkan解决潜在问题的方案。最后，文章还提供了自动化脚本，并列举了常见问题和解决方案。整个过程如同一个充满挑战的冒险，需要玩家付出大量的耐心和时间来调试和解决各种问题。
阅读更多
开发
GPU直通
萤火虫航天蓝色幽灵号月球着陆器进入月球轨道
2025-02-16
德克萨斯州的萤火虫航天公司研发的蓝色幽灵号月球着陆器成功进入月球轨道，即将在未来几周内着陆。此次任务是美国宇航局商业月球有效载荷服务计划（CLPS）的第三个任务，搭载了10个NASA有效载荷，用于进行一系列科学和技术实验，包括对月球表面热流和着陆羽流进行研究。蓝色幽灵号携带的NASA有效载荷数量创下了CLPS计划的新纪录。着陆预计在3月2日进行。
阅读更多DeepSeek生态繁荣：众多AI应用涌现
2025-02-25
基于强大的DeepSeek大模型，一个蓬勃发展的AI应用生态正在形成。从桌面智能助手DeepChat到跨平台的Chatbox和Coco AI，再到针对特定领域的PapersGPT和Video Subtitle Master，众多应用充分利用DeepSeek的能力，提供多轮对话、文件上传、知识库搜索、代码生成、翻译等功能。更有针对微信、Zotero、Laravel等平台的集成应用，以及面向生产者、投资者和研究人员的专业工具，展现了DeepSeek模型强大的应用潜力和生态的繁荣景象。
阅读更多
AI
汉堡菜单：十年后，它依然好用吗？
2025-06-17
十年过去了，汉堡菜单已成为常见的导航模式。然而，隐藏导航的旧问题依然存在：用户容易忽略它，导致任务完成时间延长，满意度降低。虽然如今用户对汉堡菜单的识别度提高，但设计风险依然存在。文章回顾了早期研究结果，并分享了关于汉堡菜单识别度的最新研究，以及汉堡图标的视觉设计最佳实践。研究表明，标准的三线图标、左上角位置以及清晰的标签，有助于提高汉堡菜单的可用性。但文章也提醒，隐藏导航始终增加交互成本，应谨慎使用，并始终优先考虑可见导航。
阅读更多
设计
汉堡菜单
重温虎年：一键连接Xbox自制软件服务器的复古应用Uppercut
2025-01-26
Uppercut是一款为OS X Tiger (10.4)系统打造的复古应用，它能够一键连接到Xbins Xbox自制软件FTP服务器。这款应用的设计理念是对2005年Xbox自制软件开发和探索的怀旧致敬。它简化了连接过程，无需复杂的IRC或FTP配置。Uppercut的灵感来源于现代的Xbins连接工具Pandora，但它模拟了2005年用户可能使用的连接方式。如果你使用的是现代操作系统，建议使用功能更强大的Pandora。作者还在Twitch上直播软件开发过程。
阅读更多软件工程：发现的艺术，而非纯粹的工程
2025-05-20
软件工程并非简单的工程实践，它更像是一门艺术，充满了发现的乐趣。文章以早期电脑动画为例，阐述了对底层技术的深刻理解如何催生出意想不到的创意，并指出软件开发中，愿景和工程的相互作用是双向的，而非线性的。作者批判了过度依赖抽象层和黑盒思维的弊端，认为这会限制创造力和创新。同样的道理也适用于软件组织，过分强调团队自主性而忽略团队间的协作，会导致整体效率低下。作者呼吁回归对底层技术的理解，从而激发真正的创新。
阅读更多
开发
中世纪投石机射程计算：一个基于能量守恒的物理学问题
2025-02-06
本文通过计算能量守恒来估算中世纪投石机的射程。作者首先分析了投石机中重物的势能转化为投射物的动能的过程，并考虑了能量损失。然后，作者通过简单的积分方法（避免了复杂的微积分计算），计算了投射物在空中的飞行时间，最终估算出投石机的射程，并与历史文献中的数据进行了比较，结果令人惊讶地吻合。文章指出，投石机的射程与重力加速度无关，这与直觉相反，但作者通过分析解释了这一现象。
阅读更多
科技
中世纪科技
Lox：一款现代化的航天动力学库
2025-02-20
Lox是一个用于现代航天工业的安全、易用的航天动力学库。它提供了一个全面的API，涵盖了从高层次的任务规划与分析到低层次的工具。该库支持多种坐标系，包含各大天体的星历数据，并能轻松处理地球定向参数。Lox还提供Python绑定，方便交互式使用，并具有可扩展性，允许用户添加自定义的时间尺度、转换算法和数据源。该项目由欧洲航天局委托，是一个新一代的开源空间任务模拟器。
阅读更多