Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论])
#pl #cs #plt #recommended https://tinyurl.com/y8xdlfug
冰封的简历... 人家 18 年去宾夕法尼亚州立大学学计算机科学现在有半年多了呃...
IDE 和 Parser、Compiler、Type system、静态分析什么的自然是编译器工程师必须要会的了... 可是冰封还有 Rust 和分布式计算、并行计算、计算机网络、图形前端开发、形式化验证、二进制级别理解等技能，真的是让人... 不可理喻啊 🤪
不过话说起来，复杂的都能解决了这些码农级别或者算法的东西也就不成问题了，何况曾经写过 #OI...
看份简历，居然顺便知道了到底啥是 (依赖类型术语) dependent product type (Pi type) 啥是 dependent pair type(Sigma type)，还顺带了解了啥是 Sum type (Tagged Union) 啥是 Product type 啥是 case split... 果然是 🐮🍺 啊....
冰封的简历... 人家 18 年去宾夕法尼亚州立大学学计算机科学现在有半年多了呃...
IDE 和 Parser、Compiler、Type system、静态分析什么的自然是编译器工程师必须要会的了... 可是冰封还有 Rust 和分布式计算、并行计算、计算机网络、图形前端开发、形式化验证、二进制级别理解等技能，真的是让人... 不可理喻啊 🤪
不过话说起来，复杂的都能解决了这些码农级别或者算法的东西也就不成问题了，何况曾经写过 #OI...
看份简历，居然顺便知道了到底啥是 (依赖类型术语) dependent product type (Pi type) 啥是 dependent pair type(Sigma type)，还顺带了解了啥是 Sum type (Tagged Union) 啥是 Product type 啥是 case split... 果然是 🐮🍺 啊....
我们这里也搞过，后来我强行卸了硬盘保护系统... 结果辣鸡 BIOS 只能从 PCI 启动，电脑坏了... 后来老师拆了还原卡又重装了保护系统... 所以我只能 VM #School
Forwarded from 永久封存 | Yuuta 台 | 😷 #Pray4Wuhan (YuutaW 鱼塔)
雾草 学校电脑 🐮🍺，从 U 盘启动需要管理员密码 🌚
永久封存 | Yuuta 台 | 😷 #Pray4Wuhan
雾草 学校电脑 🐮🍺，从 U 盘启动需要管理员密码 🌚
===== 评论区 =====
duangsuse Throws
#acg #bilibili #low #sb #weibo #China #inn 恶臭 🤪
===== 评论区 =====