Jeffgeerling.com 已迁移至 Hugo -- Jeffgeerling.com has been Migrated to Hugo

Jeff Geerling将其个人网站JeffGeerling.com从使用多年的Drupal系统迁移到了Hugo静态网站生成器。他自2009年起一直使用Drupal作为内容管理系统,但随着Drupal逐渐转向企业级数字体验平台,维护成本增加,他决定改用更轻量级的Hugo来简化博客管理。

或许评论应阐明“是什么”(2017) -- Maybe comments should explain 'what' (2017)

文章认为,代码注释不仅应解释"为什么",也应说明"在做什么"。作者指出,虽然变量命名应清晰自明,但注释补充说明仍有助于避免理解偏差。同时,保留代码背后的原因(如修复特定bug)在注释中也很重要,因为仅依赖提交记录或测试可能不够可靠。

Xr0验证器,编译时确保C程序安全 -- Xr0 verifier, guarantee the safety of C programs at compile time

Xr0是一个C语言验证工具,通过类似C的注释语法来消除未定义行为,如内存释放后使用、双重释放、空指针解引用等问题。它要求在每个潜在不安全的函数上添加注释,明确调用者需要知道的安全使用条件,从而在函数调用层级上确保安全性,防止隐蔽错误渗透。

《温柔的诱惑》(1989) -- The Gentle Seduction (1989)

一位计算机工程师与一位热爱自然的女子漫步山间,向她描述未来技术奇点带来的巨变。他眼中闪烁着对未来的清晰预见,而她虽不解却被他深深吸引。故事探讨了科技与人性、理性与感性的微妙交织。

我能在2026年开始使用Wayland吗? -- Can I start using Wayland in 2026?

文章展望了2026年Wayland显示协议的应用前景,探讨了硬件支持、NVIDIA驱动兼容性、8K显示器分块显示等现存问题,并分享了从i3迁移到sway桌面环境的实验体验,涉及GTK字体、后端适配及屏幕锁定等功能的具体表现。

迈出一小步 -- Take One Small Step

文章核心内容:设定目标时,先思考并采取第一个小步骤,比如每天走5分钟或写100字,这样更容易坚持并实现大目标。关键在于从小处着手,逐步积累。

《腐蚀:非法锈蚀》 -- Corroded: Illegal Rust

这是一个名为"corroded"的GitHub项目,项目描述为"Illegal rust",但具体内容和功能未在提供的文本中详细说明。项目页面包含GitHub平台常规的导航菜单和功能选项,如Copilot、Actions、Codespaces等开发工具。

KDE入门现已优化 -- KDE onboarding is good now

文章核心内容:作者自2021年起参与KDE开发者平台文档维护,2023年成为KDE文档合同工,2024年正式负责KDE开发入门文档工作,目前KDE的入门文档已得到显著改善。作者是众多为KDE贡献的"兽迷"之一。

神经网络:从零到精通 -- Neural Networks: Zero to Hero

安德烈·卡帕西的课程从零开始教授神经网络编程,涵盖反向传播基础到现代深度神经网络如GPT。课程以语言模型为重点,因其知识可迁移至计算机视觉等领域。要求具备Python编程和基础数学知识。内容分阶段讲解,包括实现字符级语言模型及多层感知机,逐步深入至Transformer架构。

Swift登陆安卓:现已实现全原生应用开发 -- Swift on Android: Full Native App Development Now Possible

文章介绍了使用Swift语言进行Android应用开发的相关内容,包括开发环境设置、应用创建流程以及相关工具库的使用指南。