1周前 · software

反思是被低估的工程技能（这是我的实践方法）

为什么仅仅是反应式反思还不够 我过去常在每周结束时列出提交列表，并有一种模糊的进展感。当事情出错时，我无法解释为什么……

1周前 · software

Show HN: Lean4 证明 SSOT 需要定义时钩子和自省

我在 Lean 4 中形式化了 Single Source of Truth（SSOT）原则，约 2.1 k LOC，零 sorry，并证明了两个核心结果：Structural SSOT 仅在 …

3周前 · software

何时在 Python 中使用 getattr

基本思想 通常，你可以这样访问属性：python p.name 这只有在编码时已知属性名时才有效。getattr 让你能够……

1个月前 · software

代码的失落logo

Logos 什么是 logos？我们从希腊语弱弱地翻译为“word”或“reason”，但正如哲学家 Christos Yannaras 所定义的，“logos 是每…”。

1个月前 · software

揭秘 Scala 3 宏：深入探讨引用与拼接

介绍 欢迎来到 Scala 3 中编译时元编程的世界！宏可能看起来很神奇，但它们是建立在强大的 quoting 和 s…

1个月前 · software

Show HN: Mirror_bridge – C++ Reflection 驱动的 Python 绑定生成

文章 URL: https://github.com/FranciscoThiesen/mirror_bridge 评论 URL: https://news.ycombinator.com/item?id=46144331 点数: 3 评论数: 0

1个月前 · software

Mirror_bridge – 用于生成 Python/JS/Lua 绑定的 C++ 反射

文章链接: https://chico.dev/Mirror-Bridge/ 评论链接: https://news.ycombinator.com/item?id=46144199 点数: 3 评论数: 0