LV1

tyrchen

暂未填写个人简介
  • AI 人工智能|Erlang|GitHub|API|Java

专栏

文章

来自专栏程序人生

Libra 中使用的 rust crates

昨天朋友圈被 Facebook 的 Libra 刷屏。网上有很多关于 Libra 的快文章,从上帝视角到技术细节,从经济模型到语言实现,可谓是各领风骚,我就不凑...

1251
来自专栏程序人生

沅有芷兮:类型系统的数学之美

昨天的文章删了,因为我的 vscode 把 markdown 里的 * 自动替换成了 _,导致一些公式的表述变得异常奇怪。另外,原创忘记打开了。

751
来自专栏程序人生

你们要的 Forge Unveiled 讲座视频

过去十年的铺垫,让区块链技术有了扎实的理论基础,Bitcoin, Ethereum 以及其后继者给我们展现了数据公开可验证且不可篡改的独特魅力和无穷潜力,于是一...

812
来自专栏程序人生

Oracle 裁员,与其哀怨,不若放下

放上五六年写的两篇旧文。应景 Oracle 最近大 (can) 刀 (wu) 阔 (ren) 斧 (dao) 的裁员,我也有读者不幸中招。《原则》的作者 Ray...

1053
来自专栏程序人生

ABT network 部署记

两天前,也就是 3 月 29 日,ABT network 正式发布。ABT network 以完全去中心化方式连接编织多条区块链形成的网络,以云节点和织链为网的...

762
来自专栏程序人生

诚者,天之道也

这次 Code Beam,我演讲的题目是:Build a decentralized, public-verifiable DB。过去两年,区块链热热冷冷,催熟...

904
来自专栏程序人生

2018:春来秋去,往事知何处(上)

去年 12 月的某个夜晚,在部署服务的无聊时光里,我突然想翻看自己一年来的朋友圈,看看有哪些有趣的事情。结果那夜一发不可收拾,扫了半年的朋友圈,一直读到凌晨三点...

1254
来自专栏程序人生

数学之美

把数学的美妙绝伦传递给一个六岁的女孩儿并不是件容易的事情。我们可以轻而易举地心算出任何一个 100 以内的数乘以 3 的结果,也可以道出「乘法是加法的累进」这样...

1172
来自专栏程序人生

2019: A Blockchain Odyssey

这次回国,基本都是马不停蹄地参加各种活动。本来事先确定的是上海的 KubeConf,深圳的 TC hackathon,以及在微软的区块链漫游指南讲座。就我个人而...

783
来自专栏程序人生

数据:逍遥游

对程序员来说,数据是我们时刻都在打交道的东西。我们的代码如同一台机器,把进入的数据转换或者映射成出来的数据。数学上,不过是:y = f(x) 而已。数据就像庄子...

1614
来自专栏程序人生

区块链技术漫游指南

自从9月份北京黑客马拉松成功举办后,不少朋友希望我们能把团队内部平时举办的 BBL 分享出来,我们觉得这个建议不错,随即开启了 ArcBlock Technic...

1125
来自专栏程序人生

在程序中时间旅行

三年前,当我写下那篇青涩的『永恒不变的魅力』的文章时,我刚刚是 elixir 和 clojure 的入门者。我如饥似渴地从 Bret Victor,Rich H...

832
来自专栏程序人生

区块链和数据库:致虚极,守静笃

如果说牛顿的经典物理是爱因斯坦相对论在低速环境下的一种体现的话,我们所熟知的数据库技术,可以认为是区块链技术在弱分布式环境下的一个特例。

774
来自专栏程序人生

1024 节献礼: simple chain

前两周上线了我们为 Cybermiles 提供的 supernode,因为 Cybermiles 主网使用了 Tendermint,于是上周便研究了一下 Ten...

1164
来自专栏程序人生

Erlang 入坑指南

想了半天憋出这么个题目来,这也的确只是一篇入坑文。之前程序君写过一篇 Erlang 文章,我用谷歌翻译出来给 Joe Armstrong 老爷子看,老爷子看后大...

1871

扫码关注云+社区

领取腾讯云代金券