欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Scilab/Octave/Maxima, Formal verification/Coq/Agda, Haskell/OCaml/C++

本页面跟踪本wiki的最近更改。

2022年9月30日 (星期五)

• (差异 | 历史) . . 小 Mathematics‎; 13:06 . . （+13）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎分支领域： )
• (差异 | 历史) . . 小 Clojure‎; 08:48 . . （+42）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎语言： )
• (差异 | 历史) . . 小 Lisp Desktop Foundation‎; 01:10 . . （+19）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 Lisp Mobile Foundation‎; 01:09 . . （+42）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图集： )
• (差异 | 历史) . . 小 Lisp Mobile Foundation‎; 01:09 . . （+19）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 Haskell ecosystem‎; 00:35 . . （+2）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎区块链： )

2022年9月29日 (星期四)

• (差异 | 历史) . . 小 Maxima‎; 12:09 . . （+1）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎=量子计算： )
• (差异 | 历史) . . 小 Maxima‎; 12:09 . . （+143）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )

2022年9月28日 (星期三)

• (差异 | 历史) . . 小 Mathematics‎; 14:15 . . （+203）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图书期刊： )
• (差异 | 历史) . . 小 Formal verification‎; 14:15 . . （+203）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图书： )
• (上传日志); 11:17 . . Allen (讨论 | 贡献)上传“文件:SMT-Z3.png” ‎(https://nikolajbjorner.github.io/slides/Z3_System.pdf category:formal category:proof assistant)
• (差异 | 历史) . . 小 Z3‎; 11:16 . . （+21）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图集： )
• (差异 | 历史) . . 小 Formal verification‎; 11:00 . . （+126）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎研究组织： )
• (差异 | 历史) . . 小 Haskell ecosystem‎; 07:27 . . （+62）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎用户服务商： )
• (差异 | 历史) . . 小 Haskell ecosystem‎; 07:23 . . （+76）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎用户服务商： )
• (上传日志); 06:50 . . Allen (讨论 | 贡献)上传“文件:Haskell-cabal-logo.png” ‎(https://github.com/haskell/cabal category:package category:haskell)
• (差异 | 历史) . . 小 Haskell ecosystem‎; 06:49 . . （+47）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎包管理： )
• (差异 | 历史) . . 小 灰狐会员‎; 02:32 . . （-2）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎知识星球： )

2022年9月27日 (星期二)

• (差异 | 历史) . . 小 C++ ecosystem‎; 15:12 . . （+31）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎框架库： )
• (差异 | 历史) . . 小 MediaWiki:Sitenotice‎; 15:07 . . （+12）‎ . . ‎Allen (讨论 | 贡献)‎
• (差异 | 历史) . . 小 赞助灰狐‎; 14:36 . . （+37）‎ . . ‎Allen (讨论 | 贡献)‎
• (差异 | 历史) . . 小 赞助灰狐‎; 14:35 . . （+6）‎ . . ‎Allen (讨论 | 贡献)‎
• (差异 | 历史) . . 小 Mathematics‎; 13:16 . . （+36）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 小 Mathematics‎; 13:13 . . （+55）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 小 数理逻辑‎; 13:09 . . （+112）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎书籍： )
• (上传日志); 12:58 . . Allen (讨论 | 贡献)上传“文件:Basic-symbols-used-in-logic.png” ‎(https://ncatlab.org/nlab/show/equivalence category:mathematical logic category:mathematics category:formal)
• (差异 | 历史) . . 小 数理逻辑‎; 12:57 . . （+51）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图集： )
• (差异 | 历史) . . 小 Physics‎; 12:50 . . （+123）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 小 Mathematics‎; 12:49 . . （+119）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 小 Mathematics‎; 12:32 . . （+91）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 数理逻辑‎; 09:26 . . （+111）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎书籍： )
• (差异 | 历史) . . 小 Haskell ecosystem‎; 08:59 . . （+123）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎类型系统： )
• (差异 | 历史) . . 小 数理逻辑‎; 08:57 . . （+123）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 小 量子计算‎; 08:49 . . （+52）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 Haskell ecosystem‎; 08:48 . . （+116）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎语言编译器： )
• (差异 | 历史) . . 小 Haskell‎; 08:47 . . （+99）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎语言： )
• (差异 | 历史) . . 小 量子计算‎; 07:47 . . （+67）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 灰狐量子实验室‎; 07:21 . . （-9）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎编程语言： )
• (差异 | 历史) . . 小 Agda‎; 06:49 . . （+97）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎STEM： )
• (差异 | 历史) . . 小 Agda‎; 06:40 . . （+92）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎STEM： )
• (差异 | 历史) . . 小 Lisp Desktop Foundation‎; 02:44 . . （+168）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎音乐视频： )
• (差异 | 历史) . . 小 Lisp Desktop Foundation‎; 02:41 . . （+68）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎音乐视频： )

2022年9月26日 (星期一)

• (差异 | 历史) . . 小 OCaml‎; 15:25 . . （+49）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎项目： )
• (差异 | 历史) . . 小 OCaml‎; 15:25 . . （-18）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎链接： )
• (差异 | 历史) . . 小 OCaml‎; 11:47 . . （+94）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎文档： )
• (差异 | 历史) . . 小 Data science‎; 11:45 . . （+94）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎文档： )
• (差异 | 历史) . . 小 OCaml‎; 11:44 . . （-43）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图集： )
• (差异 | 历史) . . 小 文件:Owl-architecture.png‎; 11:43 . . （+32）‎ . . ‎Allen (讨论 | 贡献)‎
• (差异 | 历史) . . 小 OCaml‎; 11:27 . . （+43）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图集： )
• (差异 | 历史) . . 小 OCaml ecosystem‎; 11:27 . . （+43）‎ . . ‎Allen (讨论 | 贡献)‎ (→‎图集： )