duangsuse::Echo
#GeekApk 最后我吐槽一下，然后去写 DJson 吧（浪费了太多时间，DJson 还要写一 TextInputStream 代理呢... 虽然不需要 parser combinator 欸话说刚才看的时候又见到了汉语机器学习 + 歌声合成的实例... 即使在 B 站... 这年头啥都逃不过浮点计算... 😕 NVIDA 的高性能计算库 OpenSeq2Seq: toolkit for distributed and mixed precision training of sequence-to-sequence…
===== 评论区 =====
duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论]: 评论已开启
duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论]: 评论已开启
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论])
#blog #dalao #dip https://bokjan.com/ #recommended 看今日 @metowolf 的新 follow，是一个优秀的华南理工在读大牛，他学的是软件工程，写过一些信息学、计算机图形学、图论、操作系统的东西
https://github.com/Bokjan?tab=repositories GitHub
https://github.com/Bokjan?tab=repositories GitHub
Bokjan's
一緒に頑張りましょう！
https://twitter.com/oasisfeng/status/1119611952576094209 by @OasisFeng
关注最近关于 996 的讨论的朋友可以看一下冯老师的评论，蛮有深度呀。
关注最近关于 996 的讨论的朋友可以看一下冯老师的评论，蛮有深度呀。
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论])
这让我想到了对软件工程来说，也有『IO 密集型应用』和『计算密集型应用』... 这么说，其实自己被『996』，虽然企业不对，可自己对自己毕生工作的态度也未必就能让人感到满意。 🤔
Forwarded from dnaugsuz
说到屑站，推荐首合成人声系歌
Bilibili
【SynthV首款正式声库抢先试用】好想你【艾可（AiKO）】_哔哩哔哩 (゜-゜)つロ 干杯~-bilibili
作品类型：翻唱曲原曲出处：https://www.youtube.com/watch?v=fdQgPu3iUYk&t=172s调教：海仔儿作词：黄明志作曲：黄明志抱歉！又是我来抢先试用声库惹www这次的艾可据说很快就会跟大家见面！艾可的声音可爱甜美而且自然，用起来并不难！这首歌调的部分前前后后也就两三个小时吧，中间其实还是因为被莫名洗脑花了些时间放空(^_^;)反正说来说去都只想让大家喜欢
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 盘启动需要管理员密码 🌚
===== 评论区 =====