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