#Android #Linux #sysadmin 这个操作我也想过，感觉挺方便，可以在 Android 上玩办公软件什么的

立音的神经病操作来袭！
Android XServer XSDL + Termux chroot 到 debian 起 fluxbox
就是 OpenGL 似乎不可用

#Python #recommended #blog #building #tools

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