duangsuse::Echo
721 subscribers
4.28K photos
130 videos
583 files
6.5K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
#dalao https://github.com/spieglt/nestur
这个真心不错啊,APU 和 PPU 是啥…… 我只知 ALU(Arithmatic Logic Unit) 毕竟是游戏机处理平台啊!还能跑超级玛丽!只用底层的 SDL 绘图
#English Prometheus 是『普罗米修斯』的意思……
#PLT https://clarus.github.io/coq-of-js/ 有意思,我还以为 Coq 是逻辑式了,看起来至少没关系式抽象,类似 #Haskell 和 CaML
要继续写 Literate Kotlin 的项目生成和关于 Relational Programming 的 LiterateKt 文章,但我觉得不如先…… 休息一下,写点简单的东西 🤔
#CI #dev #web #JavaScript 我哭了,果然除了码代码都好累啊
这次还比较『可复用』,可是又有什么暖用呢?
艹,写代码的,bug 躲不掉。
才体会到工程的难度,原来测试不过不能 push 是真的!我刚才发布了一个 v1.2 一上来就是修完 bug 没修好,不能用的版本!
一个新版本居然不能用??就发布了??工程管理不善??太难了!!!
看来测试不是谎言…… 除非真是大师级的人物,不然一次写对真的不容易呢
有点怀念当年用 subslice 写『解析器』、分不清 call-by-value、call-by-name、call-by-need 的时候了,现在设计实现语法、模式什么的根本没有难度……
但是工程总是需要时间,而对这个时间的预估我目前仍是眼高手低
Forwarded from duangsuse Throws
#Kotlin #dev #life #CS #PLT 多少人幻想着香槟,却只有喝速溶咖啡的命…… 眼睛好疼。
LiterateKt 真是很赞,虽然它也还没用上啥非常不得了的技术(用上也不该是以网页脚本的形式)

但是,就目前而言好像也没发现任何问题,偶尔处理不好文章的依赖组织,发生了多层嵌套的情况错误了,其实也是因为自己没组织好文章分区的关系,重新组织发现很够用,自动依赖关系解析也不会对循环依赖多给结果导致 Kotlin redeclaration。

唯一还不够的是文档里没写明两种依赖求解方式对输入结构是否递归的要求,明天考虑修一下……
#dev #JavaScript 😂 写着写着就写了个笑话上去