Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论])
https://996.icu/#/zh_CN
+ 最幸福的时候，每天早上 7:00 到岗，这是指放假的那天，一般都是从早六到晚十
+ 一直工作到晚上 10:00 到 10:30
+ 每周工作 7 天，周六放假一晚上，周日不休息
学生日工作时间
= 早自习时间 + 早课时间 + 下午课时间 + 晚课时间 - 休息半天占去的课程时间
= 40 + (40 × 5) + (40 × 4) + (40 × 3 + 50 × 1)
= 570 = 9 (hours/day) (1)
学生周工作时间
= (1) * 7 - 一个下午的学习时间
= 570 - 160
= 53(hours/week) (2)
“高中”工作制的周工作时间为最低 (2) 小时。
“996”工作制，即每天早 9 点到岗，一直工作到晚上 9 点，每周工作 6 天。== 🤔 高二学生们又是如何呢？ #School #China
“996”工作制的周工作时间为最低 12x6=72 小时。
中国大陆工时规管现况（标准工时）： 一天工作时间为 8 小时，平均每周工时不超过 40 小时；加班上限为一天 3 小时及一个月 36 小时，逾时工作薪金不低于平日工资的 150%。而一周最高工时则为 48 小时。平均每月计薪天数为 21.75 天。
+ 最幸福的时候，每天早上 7:00 到岗，这是指放假的那天，一般都是从早六到晚十
+ 一直工作到晚上 10:00 到 10:30
+ 每周工作 7 天，周六放假一晚上，周日不休息
学生日工作时间
= 早自习时间 + 早课时间 + 下午课时间 + 晚课时间 - 休息半天占去的课程时间
= 40 + (40 × 5) + (40 × 4) + (40 × 3 + 50 × 1)
= 570 = 9 (hours/day) (1)
学生周工作时间
= (1) * 7 - 一个下午的学习时间
= 570 - 160
= 53(hours/week) (2)
“高中”工作制的周工作时间为最低 (2) 小时。
Developers' Lifes Matter
The name 996.ICU refers to 'Work by 996, sick in ICU', an ironic saying among Chinese programmers, which means that by following the 996 work schedule, you are risking yourself getting into ICU (Intensive Care Unit)
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论])
#GeekApk 最后我吐槽一下，然后去写 DJson 吧（浪费了太多时间，DJson 还要写一 TextInputStream 代理呢... 虽然不需要 parser combinator
欸话说刚才看的时候又见到了汉语机器学习 + 歌声合成的实例... 即使在 B 站...
这年头啥都逃不过浮点计算... 😕
NVIDA 的高性能计算库 OpenSeq2Seq: toolkit for distributed and mixed precision training of sequence-to-sequence models
可以用于语音识别和合成、自然语言建模处理等流行操作...
这年头不想当码农难啊，要不然就得学习『使用』一些自己看不懂的东西，做『用户』... 😐
—
> 我主要想看看谁会继续领导
> 否则就是瞎写嘛
< 没有生产力，活不下去，哪里有闲心政治，就像一群没有自理能力的人无法组成社会一样
—
这是前几个星期我在凉了的 GeekApk user 讨论组看到的一小段消息
🤔 duangsuse 想关于这些『创业』系信息技术『从业者』发表一些自己的看法。
🗒 此广播不应在任何程度、任何侧面上被理解为对『创业』的不敬、对群不对人，请勿对号入座。
——
GeekApk 嘛... 一些人可能以为是我自己开始想搞出这个坑来叫一群仇酷安（当然，也可以说，是“恨铁不成钢”，可惜我们并不拥有酷安，呵呵）的人一起填或者要组队破坏酷服务的（GeekApk 组曾经是有一次被拿来组织了一次 DoS，目标是酷安的静态页面，并且导致了主要酷服务（这里分为 coolapk.com, dl.coolapk.com, api.coolapk.com, 主服务是说 coolapk.com 主站）宕机半小时，当然，也有可能是酷安本身土豆服务器过于辣鸡导致的，我不是此活动的策划者，甚至不是 GeekApk 的『管理者』，也不能算是『创建者』，对酷安的『失去初心』亦无仇视心态）
其实真的不是，我开始比较 naive（正如当初我以为，why Rust? It's fast!），就是想自己弄一个，本来的『项目』是 Dropage，虽然只有一个『蓝皮书』（现在可以说是『烂』了，呵呵）
后来呢，就不得不提到 @iVanilla (现在 Deleted 了... 或许是主动删号的吧，或许... 😶) 弄出了 GeekApk 项目（我自己不想咸得没事去组织一群人弄这种事情，虽然他说是自己早有想法，但是我在某小群里提到自己的打算后再找我私聊讨论并且建立 GeekApk 的，虽然我开始天真无邪 Too young too simple, 但是也不至于捅出这个篓子，因为我打算自己弄，弄完了... 呃... 我觉得照那个样子啥都弄不完），不得不承认他是很好的进行了一些『商业』上的帮助，并且讨论了一些『商业』上的东西... 可惜后来 GeekApk 是这样，那么我这条广播，是想告诉你们为啥它『咕咕』了，为啥会是这样而不是我们都认为的皆大欢喜 good ending — 大家齐心协力弄出了类似酷安的东西，然后欢天喜地地入驻进去，开始的人全成了 GeekApk 里最 dalao 的权限，然后本来『屈居』在酷安的人也都过来了，本来只知酷安的人后来也注册了 GeekApk 帐号，GeekApk 一周年，大家都高喊 GeekApk 万岁万岁万万岁... 还要成立什么米国美国公司，拉赞助... 😶
嗯，drakeet 曾经直白地批判过 GeekApk，除了他无视本组都是一群运维菜鸡而且我仍在学习之外（恕我直言，而且也未必有人维护着多大的集群，体验过什么分布式架构和高性能计算技术）『空壳』我还是很认同的，当然不要以为我也顺带着『仇视』他，我对技术比对人更感兴趣，看问题一向对事不对人。
https://github.com/GeekApk 到现在真正的错误，上面『幼稚和空壳』已经能很好地概括出来了
有些人说 GeekApk 错在用爱发电，在我看来真正致命的却是另一个缺口：用爱发电，其实也未必不可，在自己的业余时间（可能足够长）里做想做的事情，在自己的经济能力范围内要求必要的服务，本来就是人生的一大乐事，可是那个 GeekApk 却是要你用不断咕咕叫🐦的空头支票去给『酷安变质』的信仰充值，这就不行了。
信仰自然还是要有的，可是有一天没有依附的希望终将消散，光靠信仰光环，画饼充饥，能扛过一天，扛得过一年么？
崇才科技。大家都认为是吹的，可是，没有那些抄来、改来的『产品』，想来媒体要炒作，光靠某泽的学历怎么这么高，故事怎么这么大佬，也无物可炒啊？00 后开公司，前浪死在沙滩上啊，哇好厉害，可是有啥东西做出来呢？
没有？那有啥好说的？
可是他们这群脚本小子，『自己动手』（“丰衣足食”）『做』出来了『崇才』课表、『崇才』萌狼输入法，加上『无薪资』『QQ 群』等『企业』 flag，就像是真正的 SOHO(Small Office Home Office) 公司了，何况还有名分的，不是么？
而 GeekApk 还要降一档次，因为名分上的东西都没有，我们也没人『自己动手』去把酷安复制一下（这种程度能力的人都没有，好吧，的确有一个高性能计算的大佬被我『赶跑』了... 其实那时候 GeekApk 连个设计本本都没有，不像 R 还有个第一版明确定义），没有一个拿来骗人的『酷极安』『产品』，也没一个 50w 资本的注册公司和大手子转发评论，最后当然是烟消云散啥都没留下。（呵呵
GeekApk 需要的是什么？是白皮书、贷款、基金、股票、融资、股票期权、资金链、生态圈？是项目？是员工、运维、CTO、CIO、CEO、COO？是 “用 Trello”、“用 Rails”、“用 Laravel”、”用 Go“、“用 Vue”、“用 OO”？是 “不能『抄』酷安”“即使身死绝不自我审查”？它们都出现过，都消失了，说到底，『产品』的核心还是靠着软件工程实战的程序逻辑，其他的，『一步到位』、测试、文档、打包、可读性、可扩展性、可维护性、健壮性，编程技巧，都是次要，『库』的核心还是抽象、架构和算法，『应用程序』的核心还是业务逻辑，产品的核心还是你要提供的东西本身，其他的，在没有一个存在的展开基础的时候，都是一纸空谈。
著名计算机科学家沃思（NiklausWirth）提出一个公式：
是灵魂啊！你到底想干什么？你知道吗？
在你还没学会走好路之前，不要被眼前斑驳陆离的世界迷惑，拒绝政治、拒绝形式主义，就是给自己一个更广阔的天空。
— duangsuse, Sun Apr 21, 2019
欸话说刚才看的时候又见到了汉语机器学习 + 歌声合成的实例... 即使在 B 站...
这年头啥都逃不过浮点计算... 😕
NVIDA 的高性能计算库 OpenSeq2Seq: toolkit for distributed and mixed precision training of sequence-to-sequence models
可以用于语音识别和合成、自然语言建模处理等流行操作...
这年头不想当码农难啊，要不然就得学习『使用』一些自己看不懂的东西，做『用户』... 😐
—
> 我主要想看看谁会继续领导
> 否则就是瞎写嘛
< 没有生产力，活不下去，哪里有闲心政治，就像一群没有自理能力的人无法组成社会一样
—
这是前几个星期我在凉了的 GeekApk user 讨论组看到的一小段消息
🤔 duangsuse 想关于这些『创业』系信息技术『从业者』发表一些自己的看法。
🗒 此广播不应在任何程度、任何侧面上被理解为对『创业』的不敬、对群不对人，请勿对号入座。
——
GeekApk 嘛... 一些人可能以为是我自己开始想搞出这个坑来叫一群仇酷安（当然，也可以说，是“恨铁不成钢”，可惜我们并不拥有酷安，呵呵）的人一起填或者要组队破坏酷服务的（GeekApk 组曾经是有一次被拿来组织了一次 DoS，目标是酷安的静态页面，并且导致了主要酷服务（这里分为 coolapk.com, dl.coolapk.com, api.coolapk.com, 主服务是说 coolapk.com 主站）宕机半小时，当然，也有可能是酷安本身土豆服务器过于辣鸡导致的，我不是此活动的策划者，甚至不是 GeekApk 的『管理者』，也不能算是『创建者』，对酷安的『失去初心』亦无仇视心态）
其实真的不是，我开始比较 naive（正如当初我以为，why Rust? It's fast!），就是想自己弄一个，本来的『项目』是 Dropage，虽然只有一个『蓝皮书』（现在可以说是『烂』了，呵呵）
后来呢，就不得不提到 @iVanilla (现在 Deleted 了... 或许是主动删号的吧，或许... 😶) 弄出了 GeekApk 项目（我自己不想咸得没事去组织一群人弄这种事情，虽然他说是自己早有想法，但是我在某小群里提到自己的打算后再找我私聊讨论并且建立 GeekApk 的，虽然我开始天真无邪 Too young too simple, 但是也不至于捅出这个篓子，因为我打算自己弄，弄完了... 呃... 我觉得照那个样子啥都弄不完），不得不承认他是很好的进行了一些『商业』上的帮助，并且讨论了一些『商业』上的东西... 可惜后来 GeekApk 是这样，那么我这条广播，是想告诉你们为啥它『咕咕』了，为啥会是这样而不是我们都认为的皆大欢喜 good ending — 大家齐心协力弄出了类似酷安的东西，然后欢天喜地地入驻进去，开始的人全成了 GeekApk 里最 dalao 的权限，然后本来『屈居』在酷安的人也都过来了，本来只知酷安的人后来也注册了 GeekApk 帐号，GeekApk 一周年，大家都高喊 GeekApk 万岁万岁万万岁... 还要成立什么米国美国公司，拉赞助... 😶
嗯，drakeet 曾经直白地批判过 GeekApk，除了他无视本组都是一群运维菜鸡而且我仍在学习之外（恕我直言，而且也未必有人维护着多大的集群，体验过什么分布式架构和高性能计算技术）『空壳』我还是很认同的，当然不要以为我也顺带着『仇视』他，我对技术比对人更感兴趣，看问题一向对事不对人。
https://github.com/GeekApk 到现在真正的错误，上面『幼稚和空壳』已经能很好地概括出来了
有些人说 GeekApk 错在用爱发电，在我看来真正致命的却是另一个缺口：用爱发电，其实也未必不可，在自己的业余时间（可能足够长）里做想做的事情，在自己的经济能力范围内要求必要的服务，本来就是人生的一大乐事，可是那个 GeekApk 却是要你用不断咕咕叫🐦的空头支票去给『酷安变质』的信仰充值，这就不行了。
信仰自然还是要有的，可是有一天没有依附的希望终将消散，光靠信仰光环，画饼充饥，能扛过一天，扛得过一年么？
崇才科技。大家都认为是吹的，可是，没有那些抄来、改来的『产品』，想来媒体要炒作，光靠某泽的学历怎么这么高，故事怎么这么大佬，也无物可炒啊？00 后开公司，前浪死在沙滩上啊，哇好厉害，可是有啥东西做出来呢？
没有？那有啥好说的？
可是他们这群脚本小子，『自己动手』（“丰衣足食”）『做』出来了『崇才』课表、『崇才』萌狼输入法，加上『无薪资』『QQ 群』等『企业』 flag，就像是真正的 SOHO(Small Office Home Office) 公司了，何况还有名分的，不是么？
而 GeekApk 还要降一档次，因为名分上的东西都没有，我们也没人『自己动手』去把酷安复制一下（这种程度能力的人都没有，好吧，的确有一个高性能计算的大佬被我『赶跑』了... 其实那时候 GeekApk 连个设计本本都没有，不像 R 还有个第一版明确定义），没有一个拿来骗人的『酷极安』『产品』，也没一个 50w 资本的注册公司和大手子转发评论，最后当然是烟消云散啥都没留下。（呵呵
GeekApk 需要的是什么？是白皮书、贷款、基金、股票、融资、股票期权、资金链、生态圈？是项目？是员工、运维、CTO、CIO、CEO、COO？是 “用 Trello”、“用 Rails”、“用 Laravel”、”用 Go“、“用 Vue”、“用 OO”？是 “不能『抄』酷安”“即使身死绝不自我审查”？它们都出现过，都消失了，说到底，『产品』的核心还是靠着软件工程实战的程序逻辑，其他的，『一步到位』、测试、文档、打包、可读性、可扩展性、可维护性、健壮性，编程技巧，都是次要，『库』的核心还是抽象、架构和算法，『应用程序』的核心还是业务逻辑，产品的核心还是你要提供的东西本身，其他的，在没有一个存在的展开基础的时候，都是一纸空谈。
著名计算机科学家沃思（NiklausWirth）提出一个公式：
算法 + 数据结构 = 程序其中算法是程序的灵魂。
是灵魂啊！你到底想干什么？你知道吗？
在你还没学会走好路之前，不要被眼前斑驳陆离的世界迷惑，拒绝政治、拒绝形式主义，就是给自己一个更广阔的天空。
— duangsuse, Sun Apr 21, 2019
Bilibili
最可爱的AI小美女【微软小冰】单曲《我是小冰》_哔哩哔哩 (゜-゜)つロ 干杯~-bilibili
猜 谜时 间：18岁 少女， 处 女座，喜 欢唱歌， 喜欢 写诗，还 喜欢跟你 们聊 天， 天~~问题来 了，今天 发 行单 曲的这位菇凉 是 Sei？
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... 果然是 🐮🍺 啊....