作者计划用CNC和单张胶合板制作一张床架，并为此探索了多种设计方案和软件。他尝试了Autodesk Inventor，但发现其对于2D切割设计不够高效。文章比较了多个2D设计软件，包括Cuttle、FlatFab、Kyub等，并讨论了它们各自的优缺点。作者最终考虑使用参数化CSG方法进行设计，并分享了使用Clojure Zippers改进代码CAD的经验。
阅读更多
作者花费一个月时间构建代码CAD语言原型，目标并非炫技，而是追求一种“软件舒适感”：即时加载、稳定运行、易于使用。文章重点探讨了“双向编辑”功能的原型设计挑战，即在图形界面和代码编辑器之间实现实时同步。作者面临诸多技术难题，例如代码重写、编辑器与UI同步、代码格式化等。文中也分享了学习资源和一些启发性思考，例如如何构建一个集成的语言实现和编辑器工具，以及对现有相关项目的讨论。
阅读更多
作者尝试在一个资源受限的 Cortex-M0 微控制器上运行一个小型神经网络，用于姿态估计。他最初尝试使用 TensorFlow Lite Micro 和 MicroFlow 等框架，但发现它们过于庞大，且需要浮点运算。最终，他决定使用 JAX 从头开始构建一个仅使用整数运算的神经网络，并手动编写推理代码。这个过程充满了挑战，他分享了他的经验教训，并提供了宝贵的见解，对于希望在资源受限设备上运行神经网络的开发者来说，这篇文章具有很高的参考价值。
阅读更多
本文介绍了如何使用Z3定理证明器来生成辛普森悖论的例子。辛普森悖论是指在分组比较中都占优势的一方，在总评时反而不占优势的现象。文章通过设定两名棒球运动员面对左投手和右投手的打击率，并使用Z3进行约束求解，最终得到一组满足条件的数据，展示了辛普森悖论的发生情况。
阅读更多