欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
区块链社会
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→链接) |
||
| （未显示1个用户的9个中间版本） | |||
| 第1行： | 第1行： | ||
[[blockchain|区块链]]社会 | [[blockchain|区块链]]社会 | ||
| + | |||
| + | [[文件:Haskell-logo.png|right|Haskell]] | ||
==愿景== | ==愿景== | ||
一个自由、平等、美好、公正的社会，历史要完整保留，不能被篡改。 | 一个自由、平等、美好、公正的社会，历史要完整保留，不能被篡改。 | ||
| + | |||
| + | 信任是我们社会中最重要的部分，区块链是信任机器。 | ||
==简介== | ==简介== | ||
| + | |||
| + | ==架构== | ||
| + | [[文件:Cardano-logo.png|right|Cardano]] | ||
| + | [[Cardano]] 希望成为一个主要的社会和金融操作系统。 | ||
| + | |||
| + | [[Huihoo Network|Functional Network]] & [[Huihoo Cloud|Functional Cloud]], A solid foundation. | ||
| + | |||
| + | [[Haskell ecosystem]] & [https://cardano.org/ Cardano] [https://github.com/input-output-hk blockchain platform] | ||
==图书== | ==图书== | ||
| 第14行： | 第26行： | ||
*[http://gravitysworm.com/ 万有引力之虫] | *[http://gravitysworm.com/ 万有引力之虫] | ||
*[https://www.letscorp.net/ 墙外楼] | *[https://www.letscorp.net/ 墙外楼] | ||
| + | *[https://forum.cardano.org/t/topic/82154 区块链如何改变政治] | ||
[[category:blockchain]] | [[category:blockchain]] | ||
| − | [[category: | + | [[category:DAO]] |
| − | [[category: | + | [[category:haskell]] |
| + | [[category:Huihoo Foundation]] | ||
2022年4月6日 (三) 15:33的最后版本
区块链社会
目录[隐藏] |
[编辑] 愿景
一个自由、平等、美好、公正的社会，历史要完整保留，不能被篡改。
信任是我们社会中最重要的部分，区块链是信任机器。
[编辑] 简介
[编辑] 架构
Cardano 希望成为一个主要的社会和金融操作系统。
Functional Network & Functional Cloud, A solid foundation.
Haskell ecosystem & Cardano blockchain platform
[编辑] 图书
[编辑] 图集
[编辑] 链接
分享您的观点
