/srv/irclogs.ubuntu.com/2019/08/23/#ubuntu-cn.txt

=== qiao|away is now known as qiao
afkhi04:40
=== skim_ is now known as Dota2
contrun[m]ImAdPEr|wORkInG: cherrot qiao  早啊05:11
contrun[m]ImAdPEr|wORkInG: https://medium.com/@olxc/the-evolution-of-a-scala-programmer-1b7a709fb71f 笑出声05:12
ImAdPEr|wORkInGcontrun[m]: 早啊05:48
ImAdPEr|wORkInGcontrun[m]: 好文章啊!!!!! 笑出来了!05:50
ImAdPEr|wORkInGcontrun[m]: shapeless 是不是要完了?05:52
ImAdPEr|wORkInGcontrun[m]: 很多看不懂啊05:53
contrun[m]ImAdPEr|wORkInG: 我也有好多看不懂  haskell 版  https://www.cs.utexas.edu/~cannata/cs345/Class%20Notes/10%20Haskell%20Programmer%20Evolution.html05:54
ImAdPEr|wORkInGcontrun[m]: haskell更不会...05:54
contrun[m]ImAdPEr|wORkInG: 不知道啊  没用过还  但 scala 要完了是肯定的05:54
ImAdPEr|wORkInGcontrun[m]: 感觉, scala, haskell, ocaml会一起完.05:54
ImAdPEr|wORkInGcontrun[m]: 这个世界是, php的天下.05:55
ImAdPEr|wORkInG(beginning Peano player)     这个peano是啥意思?  contrun[m]05:56
contrun[m]ImAdPEr|wORkInG: scala 虽然语言层面 乏善可陈  但是还是有很多牛逼库的05:56
contrun[m]ImAdPEr|wORkInG: haskell 会得到永生  因为 Art for art's sake05:56
ImAdPEr|wORkInGcontrun[m]: scala好的库? 比如netty? 比如springboot全家桶?05:57
contrun[m]ImAdPEr|wORkInG: https://en.wikipedia.org/wiki/Peano_axioms05:57
ImAdPEr|wORkInGcontrun[m]: zio这种, haskell肯定有更自然的库来对应吧?05:58
contrun[m]ImAdPEr|wORkInG: dependent type  首先要有 自然数的公理定义05:58
contrun[m]ImAdPEr|wORkInG: haskell 还真的没有 zio 这种库  现在  haskell 的 设计模式是 monad transformer05:58
ImAdPEr|wORkInGFor all natural numbers x and y, if x = y, then y = x. That is, equality is symmetric.05:59
ImAdPEr|wORkInGFor all natural numbers x, y and z, if x = y and y = z, then x = z. That is, equality is transitive.05:59
ImAdPEr|wORkInG为数不多的我能看懂的数学定义啊, 真好啊05:59
contrun[m]ImAdPEr|wORkInG:  https://www.fpcomplete.com/blog/2017/06/readert-design-pattern05:59
ImAdPEr|wORkInGcontrun[m]: 快了, 等我找够人给我干活儿, 我就去好好学学haskell.06:03
contrun[m]contrun: peano 公理体系是 构造自然数的一个方式06:05
ImAdPEr|wORkInGcontrun[m]: https://sm.ms/image/jNxeZGVEzQgc4K706:05
ImAdPEr|wORkInGcontrun[m]: 皮亚诺我刚看完. ReaderT是没时间看了.06:06
contrun[m]ImAdPEr|wORkInG:  matrix 要完06:07
contrun[m]ImAdPEr|wORkInG: 也可能是 erc 要完06:07
ImAdPEr|wORkInGcontrun[m]: erc吧.06:08
qiaoImAdPEr|wORkInG: contrun[m] cherrot 早啊 大佬们06:14
contrun[m]qiao: 划水一个星期了06:15
contrun[m]也 就是星期一就要来了  好紧张  怎么办才好06:15
qiaocontrun[m]: 先划它2周再说06:15
ImAdPEr|wORkInGcontrun[m]: 抓紧时间, 在周一之前努力划水多一天06:15
contrun[m]周会没言可发啊06:16
ImAdPEr|wORkInG"上周我在划水"06:17
contrun[m]ImAdPEr|wORkInG: 也要把这话延长到30秒啊06:18
ImAdPEr|wORkInGcontrun[m]: 划水的时候, 我看了几篇haskell的论文.06:20
ImAdPEr|wORkInGcontrun[m]: 标题分别是 xxx, xxx, xxx06:20
ImAdPEr|wORkInGcontrun[m]: 但是内容看不懂.06:20
ImAdPEr|wORkInGcontrun[m]: 够30秒了?06:20
contrun[m]ImAdPEr|wORkInG: 我他妈天天在折腾配置文件  https://github.com/contrun/dotfiles/graphs/contributors?from=2019-08-01&to=2019-08-23&type=c06:22
ImAdPEr|wORkInGcontrun[m]: 这几天改了几千行吧?06:23
ImAdPEr|wORkInGcontrun[m]: 你还是踏踏实实在你们公司划水吧06:24
contrun[m]contrun: 主要是抄过来的06:25
ImAdPEr|wORkInGcontrun[m]: 你还能跟自己说话?06:25
contrun[m]contrun: 为什么不能？06:26
ImAdPEr|wORkInGcherrot: contrun[m]: scylladb靠谱吗?07:20
ImAdPEr|wORkInG还是说用cassandra靠谱?07:20
cherrotImAdPEr|wORkInG: 都没用过 要干啥07:21
cherrotqiao: ImAdPEr|wORkInG contrun[m] 早呀07:21
ImAdPEr|wORkInGcherrot: 存一些时序数据07:23
ImAdPEr|wORkInGcherrot: 设计容量应该是, 10w个设备, 每个设备每5分钟上报一次数据, 数据包括5个字段. 就酱.07:26
ImAdPEr|wORkInGcherrot: postgresql的话, 要分表吧.07:26
ImAdPEr|wORkInGcherrot: 用scylladb能不能不分表做啊...07:27
contrun[m] ImAdPEr|wORkInG 母鸡啊07:30
=== qiao is now known as qiao|away
cherrotImAdPEr|wORkInG: influxDB多好，净整些幺蛾子12:01
=== toxync11- is now known as toxync11
=== toxync11- is now known as toxync11
Binary file (standard input) matches

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!