duangsuse::Echo

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

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

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

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

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

34 viewsduangsuse, edited 04:41

duangsuse::Echo

Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)

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

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

31 viewsduangsuse, 04:41

duangsuse::Echo

Forwarded from dnaugsuz

奇怪，这个是个人知识水平的问题吧，大陆 Excel 也是横行竖列的，至于弄反可能是个人误解的原因

像 a=[[1,2] [3,4]] 的话一般认为 a 是行，a[0] 是列，a[0][0] 是1 这样

32 viewsduangsuse, 07:14

duangsuse::Echo

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

32 viewsduangsuse, 10:12

duangsuse::Echo

Forwarded from 神奇的笔记 (立音喵)

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

27 viewsduangsuse, 10:12

duangsuse::Echo

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

34 viewsduangsuse, 10:14

duangsuse::Echo

Forwarded from 神奇的笔记 (立音喵)

唯一问题就是要自己编译 scrcpy client，而且要改下 scrcpy 的 screen.c 文件 SDL_RENDERER_ACCELERATED 改为 SDL_RENDERER_SOFTWARE
其实我最初就只是想用一部手机操作另一部手机而已

26 viewsduangsuse, 10:15

duangsuse::Echo

#China #LGBT https://t.me/dsuset/8859 有个单选投票，感兴趣可以参与下🌝
开发者方面在观点接受度上基本在社会前列，现在国内中层家庭其实基本是默许的状态，许多喜欢展示立场的站(TravisCI,GH,PH) 都有过自豪配色的
这个话题不想多谈，我自己是不怕有兄弟要上我的😂（因为我很邋遢emm）
不过说句公道话，害怕被上的请正确看待同性恋——发生概率比强奸小得多，这个问题他们自己也要评判的好不好，就别给人家内卷了……

duangsuse Throws

#life #LGBT 与一个远嫁台湾的人讨论，对法制和同性恋有了更深的认识：

法律的制订不止可能是为了公义和群体利益，也可能是为社会稳定和满足人民诉求

同性恋不止可以是天生的，也可能是被“掰弯”的，监狱里就常有（注：电影《肖申克的救赎》里主角就被强上过）
而且别人会觉得同性恋不正常，害怕惹出意外，而敬而远之（恐同）
她是因为身边一个女性别认知障碍的旧好友和一个亲戚有这样的认识的

33 viewsduangsuse, edited 13:14

duangsuse::Echo

#Java #learn 感觉我对初学者还是不友好…… 希望有博客后能改善

33 viewsduangsuse, 13:44

duangsuse::Echo

Forwarded from dnaugsuz

草（
顺序、判断、重复控制流
if else 及 else if 省略花括号看得清吗
switch 和其 break 熟悉吗
while 和 for(init;cond;update), for(T item:collection), break continue Foreach 熟悉吗， do while, break label 亦可了解下。

方法(子程序)与 return 习惯吗？这个得经常用，遇到重复代码就得用，有时候还要 java.util.function.Function (javap 看接口) 抽提出大量重复的逻辑

(可变)量定义、面向对象之对象初始化过程学了吗？
new Listener() {void onXX(){}} anonymous subclass 彻底明白吗, ()->{} Lambda 试过吗

try catch finally 结构化异常处理呢
try-with-resource 呢

duck.getParent().quack()
new XXBuilder().setA(1).finish()
调用链学了吗
private public 学了吗、构造函数和 static, final 呢
Annotation @interface 学了吗
enum 呢

不知道初学应该提什么建议，不过对技术感兴趣的话欢迎关注 @dsuse （跑

37 viewsduangsuse, 13:44

duangsuse::Echo

😃 那么，简而言之，我觉得有价值的信息： def get_link(h); "https://t.me/dsuse/#{h['debug']['no'] + 9511 + 20}"; end + 一共统计了 187 条消息。 2019-03-24 11:22 - 2019-04-05 20:06，一共两个星期的时间里，本频道 @dsuse + 有 #Telegram Hashtag 的消息，一共有 42 条，约有 20% 的消息被打上了标签 + 含链接的消息，一共有 37 条，约有 19% 的消息被打上了标签…

现在看起来这个真的😂 #Telegram
想到那时候写的 #Java RegExp TelegramScanner ，为什么不能直接用爬虫扫 HTML 导出所需 XML 呢，用 JSON 再与 #Ruby/#JS 组合多好啊

那时候对列表处理 #listproc 也不重视，写 sort_by {}.reversed 这种代码，但是更新得非常有序，不过频道一直保持着良好的 hashtag 习惯

要是这个统计再做一遍，肯定就会用 GUI，至少是图表的形式，总结语必须是自动生成，不然嫌对查询式有用性挖掘得不够。 #dev 🤔 #statement (什么时候开始有这种程序泛用化的思想了)

37 viewsduangsuse, edited 13:51

duangsuse::Echo

https://t.me/dsuse_tmp/1346 #Learn #Java #OOP 搜示例命名里 WildDog 找到这个了……

/tmp/duangsuse.sock

从算法学啊，当然 Java 的结构是面向对象

类包含许多字段(field) 和关于 this 的行为(称为方法，method)
this 是主语，field 是代词，装着的是某个类的对象的实例的“状态”，method 是动词。
class Dog {
String name;
public Dog(String name) { this.name = name; }
void bark() { System.out.println(name+" barks."); }
}

上面的例子里，this…

270 viewsduangsuse, 14:02

duangsuse::Echo

Forwarded from dnaugsuz

想得到，手动太麻烦
你看了吗？什么语言的，是走 HTTP 还是 DOM 🤔
估计也是分批次删的，知乎不可能允许一次清空（是清空脚本上也无需处理队列性了😂）

如果走 DOM 但不存回答预览…… 只能说做得有点绝吧，当然他们这个派系经常有人删公开知识分享

35 viewsduangsuse, 14:07

duangsuse::Echo

Forwarded from dnaugsuz