才体会到工程的难度，原来测试不过不能 push 是真的！我刚才发布了一个 v1.2 一上来就是修完 bug 没修好，不能用的版本！
一个新版本居然不能用？？就发布了？？工程管理不善？？太难了！！！
一个新版本居然不能用？？就发布了？？工程管理不善？？太难了！！！
有点怀念当年用 subslice 写『解析器』、分不清 call-by-value、call-by-name、call-by-need 的时候了，现在设计实现语法、模式什么的根本没有难度……
但是工程总是需要时间，而对这个时间的预估我目前仍是眼高手低
但是工程总是需要时间，而对这个时间的预估我目前仍是眼高手低
Forwarded from duangsuse Throws
LiterateKt 真是很赞，虽然它也还没用上啥非常不得了的技术（用上也不该是以网页脚本的形式）
但是，就目前而言好像也没发现任何问题，偶尔处理不好文章的依赖组织，发生了多层嵌套的情况错误了，其实也是因为自己没组织好文章分区的关系，重新组织发现很够用，自动依赖关系解析也不会对循环依赖多给结果导致 Kotlin redeclaration。
唯一还不够的是文档里没写明两种依赖求解方式对输入结构是否递归的要求，明天考虑修一下……
但是，就目前而言好像也没发现任何问题，偶尔处理不好文章的依赖组织，发生了多层嵌套的情况错误了，其实也是因为自己没组织好文章分区的关系，重新组织发现很够用，自动依赖关系解析也不会对循环依赖多给结果导致 Kotlin redeclaration。
唯一还不够的是文档里没写明两种依赖求解方式对输入结构是否递归的要求，明天考虑修一下……
Forwarded from 永久封存 | Yuuta 台 | 😷 #Pray4Wuhan (Yuuta | Nya⠀)
知乎专栏
输入一张图，就能让二次元老婆动起来，宛如3D：“这全是为了科学啊”
栗子 发自 凹非寺 量子位 报道 | 公众号 QbitAI只要输入一张静态的老婆，就能让她动起来，会张嘴会眨眼，还能东张西望，抬眼看天。仿佛成了3D老婆。并且，你想让妹子怎样动，姿势都可以定制。比如，渴望她一直对你…
永久封存 | Yuuta 台 | 😷 #Pray4Wuhan
https://zhuanlan.zhihu.com/p/94599371
一直很羡慕那些 VISA(Video Image Speech Audio) 和 ML 的研究者啊，什么 2D、3D、透视、正交、旋转、空间、对应…… 然后效果都好得多的多了，可我还要做很久的基础，也不能说实操 #PLT 领域一些高级的工作如逻辑式定理证明
好像 dependent type、逻辑式、关系式之间不存在直接联系。
呵呵，有什么用呢？我不懂也只是被喷，不会有人理解我，他们也都喊着谁懂我、谁来救救我…… 难道就是这样？一定有更好的方法……
好像 dependent type、逻辑式、关系式之间不存在直接联系。
呵呵，有什么用呢？我不懂也只是被喷，不会有人理解我，他们也都喊着谁懂我、谁来救救我…… 难道就是这样？一定有更好的方法……
最初的时候我觉得手动写明所有依赖也没什么，开始也是作为一个附加的特性在写依赖关系求解器的。现在我开始庆幸那时做了那种设计，要不然 LiterateKt.ts 真的没法用…… 我没想到会有这么多依赖
现在对示例程序的编写方式已经比较成熟了，都是直接在一个 literate 写一个模块的某层次的基本构件，再在里面写 depend 它们的示例和辅助示例的算法。