pip install -e . 好一点, 可以随改随测

我不认同是最基础的做法。当时我折腾python 打包 和 cli的时候还闹心了一段时间

坐等 pyproject.toml 规范化

实验成功啦。结合 https://setuptools.readthedocs.io/en/latest/userguide/quickstart.html 完成。看到 pyproject.toml 和 pep517 我就傻了。时代变了啊。😂

无论啥，只要是codegen都不推荐 commit 到仓库去。可以用 .gitignore 去忽略它，推荐用 https://www.toptal.com/developers/gitignore 去生成，不用自己写

看了一下才發現你為什麼不用 implicit namespace package 而是用 pkgutil.extend_path 😮

implicit namespace package和带__init__.py的package能一起工作吧？

老实说王垠……

嗯…… 微分音乐

以频道主粗浅的认知，感觉现在微分音圈子里的乐理比主流（现代）乐理更加接近真理。至少从主流讨论内容来看，乐理的很多部分已经脱离了音乐的本质，也就是频率和频率比，而陷入了一种“唯像”的陷阱里。

只知其然而不去探究背后的物理学、生物学本质的行为是短视的。

#Python 想想 python importlib 的包结构一般是 import name 对应 文件结构 name { __init__.py }
import name.a 大概就是 name { a.py|a/__init__.py } 吧？

你既想要from a import * 又想要import a.utils。这个意思？

王垠在计算机科学 #cs 方面的确是以程序设计语言理论 #PLT 的传统类型论(打不到 #tt)见长 ，他其它方面我不作评，但此人就这方面的知识水平也不是国内网圈顶尖的，顶多算费心分享(老实说隔壁 ice1000 比他高到不知哪里去了,许多函数式编程社成员也比他了解PLT,但那群人大多没有也“不屑于”有实践能力)；另外『高级语言』是与非结构编程(机器码/其汇编形)、表述式、面向对象、定义式 对应的概念，是编程范式的归类，没有「更高级语言」的说法。

类比嘛你也不能指望人家懂你的领域，同样我们评价一个人也要参考多方事实，不能见得风是得雨。

常用类型理论是为编程实践复用性、安全性(即正确性)所需类型系统—的构造服务的，“大量相关但不相同”描述正确但太抽象（应该举例说 struct/union 的 product/sum type 组合方法，而 enum 仅是 typealise+val define 非新种类型）

而且 C++ 比 C 高级的地方不在于类型系统，类型系统只是约束，闭包、协程等特性实现才是关键，而它们属实践细节(如计算被闭包的量必要的 sizeof)，与真正的类型论都无关。

在计算机科学，实践太冗长、理论太浮华，二者不大统一，甚至有互相鄙视的倾向，所以有领域大佬就觉得，干脆叫计算机工程好了，贴切，咱这些学习「基础」知识的人都应该有这种意识。 #statement

说的好，但是计算机语言的本质（之一）是类型理论，而这正是王垠所擅长的部分，所以这个人的所有类比都不合适。

类型理论是在构造高阶抽象时必然要接触的东西。如果你希望你的程序可以用来表达大量相关而又不完全相同的东西，你就需要利用类型理论来设计它所使用的语言。高级编程语言的优势就在于他们利用类型理论表达了许多不那么高级的语言（比如 C）无法表达或者只能不断复制代码表达的东西。

#Android #Linux #sysadmin #DontKnow 草， adb scrcpy 到另一台手机再 vnc 到电脑吗

超级套娃！
(Essential)Termux -chroot-> Debian -DISPLAY-> Android XServer XSDL -> scrcpy -adb-> (OnePlus) -> VNC Viewer -> (台式机) -> BlueStack Android 模拟器
就是在搞事 23333 并没有什么用 2333

嗯，手机下 OpenGL 不可用所以重编译，GLES 应该有的，但是没 GLX (?