庆祝 Tony Hoare 对计算机科学的影响 Tony Hoare对计算机科学有深远影响,他提出了Hoare逻辑和空引用概念,这些工作至今仍影响着软件设计和构建。 2026-03-18 Programming 3 Administrator
一份足够详细的规格说明书就是代码 一份足够详细的规格说明书就是代码 详尽的规格说明书可以减少开发中的模糊性,甚至可以直接翻译成代码,但这也可能导致缺乏灵活性和创新。 2026-03-18 Programming 4 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 1 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 2 Administrator