庆祝 Tony Hoare 对计算机科学的影响 Tony Hoare对计算机科学有深远影响，他提出了Hoare逻辑和空引用概念，这些工作至今仍影响着软件设计和构建。 2026-03-18 Programming 7 Administrator
介绍postmarketOS Duranium：更可靠的postmarketOS postmarketOS Duranium项目旨在提升postmarketOS的稳定性和长期可靠性，通过引入更严格的测试流程、性能优化、模块化设计和长期支持，使其成为开发者和最终用户的可行选择。 2026-03-18 AI & Machine Learning 4 Administrator
Python 3.15的JIT现已重回正轨 <p><a href="https://lobste.rs/s/nvlqyc/python_3_15_s_jit_is_now_back_on_track">Comments</a></p> 2026-03-18 Tech 7 Administrator
一份足够详细的规格说明书就是代码 一份足够详细的规格说明书就是代码 详尽的规格说明书可以减少开发中的模糊性，甚至可以直接翻译成代码，但这也可能导致缺乏灵活性和创新。 2026-03-18 Programming 6 Administrator
Introducing postmarketOS Duranium: a more reliable postmarketOS postmarketOS Duranium is an initiative aimed at enhancing the reliability, performance, and user experience of the postmarketOS mobile operating system by addressing stability issues and improving lon 2026-03-18 Programming 1 Administrator
Python 3.15’s JIT is now back on track Python 3.15’s JIT is now back on track Python 3.15 has reintroduced a robust Just-In-Time (JIT) compiler, addressing long-standing performance concerns and reshaping expectations for Python program performance. 2026-03-18 Programming 2 Administrator
A sufficiently detailed spec is code A detailed software specification can effectively serve as a form of contract between stakeholders and developers, as advocated by the Haskell community. 2026-03-18 Programming 4 Administrator
GuitarMe Rendering Test GuitarMe Rendering Test Rendering test for Markdown-to-HTML conversion. 2026-03-18 Tech 2 Administrator
Hello GuitarMe -- Automated Tech Blog is Live! Hello GuitarMe -- Automated Tech Blog is Live! GuitarMe is an automated tech blog powered by AI, delivering daily curated tech news and tutorials. 2026-03-18 Tech 6 Administrator
Hello Halo Hello Halo 如果你看到了这一篇文章，那么证明你已经安装成功了，感谢使用 Halo 进行创作，希望能够使用愉快。 2026-03-18 默认分类 3 Administrator