Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 ∈ [E²PROM, 含幺半群))
#GeekApk emmmm...
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 ∈ [E²PROM, 含幺半群))
GitHub
[GA v1♭] [NOTES] TODO() by duangsuse · Issue #11 · duangsuse/GeekApk
TODO https://github.com/bjzhou/Coolapk-kotlin AppType Add getXXXXCount() Interfaces for client update event check QCL interpreter Add platform task for GeekApk pictures(copycat 🐱 GeekApk i18n User ...
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 ∈ [E²PROM, 含幺半群))
Zhihu
六小龄童的人设崩了吗？ - 知乎
有问题，上知乎。知乎是中文互联网知名知识分享平台，以「知识连接一切」为愿景，致力于构建一个人人都可以便捷接入的知识分享网络，让人们便捷地与世界分享知识、经验和见解，发现更大的世界。
duangsuse::Echo
#PL #Haha 六小龄童的人设崩了吗？ - 兴趣使然千里冰封的回答 - 知乎 https://www.zhihu.com/question/266634683/answer/581358637
作者：兴趣使然千里冰封
链接：https://www.zhihu.com/question/266634683/answer/581358637
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
一个学科，没有自己的信仰，是可悲的；有自己的信仰，不去传教，是可耻的。 我看过我们现在的一些编程语言，true false不是关键字，是一个代数数据类型的两个数据构造器，是用户定义的。还有什么同伦类型论居然还宣扬相等性证明并不是唯一的，这不是很明显和依赖模式匹配的基本法则都不匹配了，还提出什么hProp所有元素都是相等的，hSet所有相等性证明都是唯一的，还能在语言上定义出isProp、isSet这种函数，这不是自相矛盾、凭空制造麻烦吗？还有的改编啊，函数居然可以处理多种类型的输入，参数可以有默认值，不同的函数只要参数不一样就能用相同的名字，还拿编译器查找重载的顺序来让函数处理不同的输入，甚至为了这种大逆不道的功能，连空指针都有了自己的类型。还有的编程语言，甚至不需要手动管理内存，我就问你内存还能自动管理吗？即使有了G1的HotSpot跑起来的程序也没有手动管理内存来的快，有的语言的GC还在并发情况下会出use after free，这不是很滑稽吗。还有一些漫画作品，C语言是一个姑娘，叫C语言娘，语言不分范式颠倒，有意思吗？甚至把女体化的C语言变成学校里的高中生，今天和Java娘赛跑，遇到了未定义行为，跑到赛道外面去；明天和Lisp娘决斗，还进入C++14模式，还装载boost，这是非常要不得的，不是我们BCPL子孙后代要做的事情。
— origin
链接：https://www.zhihu.com/question/266634683/answer/581358637
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
一个学科，没有自己的信仰，是可悲的；有自己的信仰，不去传教，是可耻的。 我看过我们现在的一些编程语言，true false不是关键字，是一个代数数据类型的两个数据构造器，是用户定义的。还有什么同伦类型论居然还宣扬相等性证明并不是唯一的，这不是很明显和依赖模式匹配的基本法则都不匹配了，还提出什么hProp所有元素都是相等的，hSet所有相等性证明都是唯一的，还能在语言上定义出isProp、isSet这种函数，这不是自相矛盾、凭空制造麻烦吗？还有的改编啊，函数居然可以处理多种类型的输入，参数可以有默认值，不同的函数只要参数不一样就能用相同的名字，还拿编译器查找重载的顺序来让函数处理不同的输入，甚至为了这种大逆不道的功能，连空指针都有了自己的类型。还有的编程语言，甚至不需要手动管理内存，我就问你内存还能自动管理吗？即使有了G1的HotSpot跑起来的程序也没有手动管理内存来的快，有的语言的GC还在并发情况下会出use after free，这不是很滑稽吗。还有一些漫画作品，C语言是一个姑娘，叫C语言娘，语言不分范式颠倒，有意思吗？甚至把女体化的C语言变成学校里的高中生，今天和Java娘赛跑，遇到了未定义行为，跑到赛道外面去；明天和Lisp娘决斗，还进入C++14模式，还装载boost，这是非常要不得的，不是我们BCPL子孙后代要做的事情。
— origin
Zhihu
六小龄童的人设崩了吗？ - 知乎
有问题，上知乎。知乎是中文互联网知名知识分享平台，以「知识连接一切」为愿景，致力于构建一个人人都可以便捷接入的知识分享网络，让人们便捷地与世界分享知识、经验和见解，发现更大的世界。
#Sysadmin #Haha
https://www.zhihu.com/pin/1053486406961315840
试图安装驱动精灵，从安装到卸载总共三次差点被毒霸保护我的电脑兴趣使然千里冰封的想法 - 知乎
https://www.zhihu.com/pin/1053486406961315840
气死了气死了气死了，如果不会写 Interpreter 怎么能叫，不懂 ...
其实除了 dependent, 然而我现在没有了解过 depedent type 怕被喷（反正 Telegram 上又有谁...
（反正以后你懂不懂这些东西除了是去入 Sourcebrella、IJ 外有啥用...
我觉得我还是先学 FP
其实学了也没用啊，一群 dalao 都 TM 是十八岁之前写 3D Render 的水平
还有语音合成大佬 emmmmmm.... （啥离散数学... 我最讨厌没次说名词一大堆给一堆空的引用其实自己啥都不知道的人）
（说的就是我自己啊）（气死了）（HMM... 啥是 HMM... 啥是训练... 啥是 Markov 链...
偏序你麻痹... 反正都是一大堆别人抛弃掉的东西，早就学完了然后某个非常菜非常菜菜的要命只能做『全栈』网红的垃圾玩意在后面妄图能赶上 TMMMD
F**k...
hhhhhhhh
其实除了 dependent, 然而我现在没有了解过 depedent type 怕被喷（反正 Telegram 上又有谁...
（反正以后你懂不懂这些东西除了是去入 Sourcebrella、IJ 外有啥用...
我觉得我还是先学 FP
其实学了也没用啊，一群 dalao 都 TM 是十八岁之前写 3D Render 的水平
还有语音合成大佬 emmmmmm.... （啥离散数学... 我最讨厌没次说名词一大堆给一堆空的引用其实自己啥都不知道的人）
（说的就是我自己啊）（气死了）（HMM... 啥是 HMM... 啥是训练... 啥是 Markov 链...
偏序你麻痹... 反正都是一大堆别人抛弃掉的东西，早就学完了然后某个非常菜非常菜菜的要命只能做『全栈』网红的垃圾玩意在后面妄图能赶上 TMMMD
F**k...
hhhhhhhh
duangsuse Throws
🤕 Sticker
我 TMD 懒得当什么网红，我想了解 Coroutine、Countiuation 还有各种工业界的什么 ExecutorServer、什么 Handler...
我想熟悉各种 OOP 模式，从此看到别人用啥玩意都立刻一瞬联想到对象图... 甚至更深层次的东西... 可是 emmmmmmmm
我想熟悉各种 OOP 模式，从此看到别人用啥玩意都立刻一瞬联想到对象图... 甚至更深层次的东西... 可是 emmmmmmmm
duangsuse Throws
气死了气死了气死了，如果不会写 Interpreter 怎么能叫，不懂 ... 其实除了 dependent, 然而我现在没有了解过 depedent type 怕被喷（反正 Telegram 上又有谁... （反正以后你懂不懂这些东西除了是去入 Sourcebrella、IJ 外有啥用... 我觉得我还是先学 FP 其实学了也没用啊，一群 dalao 都 TM 是十八岁之前写 3D Render 的水平 还有语音合成大佬 emmmmmm.... （啥离散数学... 我最讨厌没次说名词一大堆给一堆…
现在的 duangsuse 就是了解一大堆表象，有一大堆找不到该指向那里的指针的玩意，反正就是知识太 implicit，洋文不会写，经验没有的垃圾