欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)- 2023年8月13日 (日) 15:10 Allen (讨论 | 贡献)标记页面Avalonia的版本166935为已巡查
- 2023年8月13日 (日) 14:44 Allen (讨论 | 贡献)标记页面.NET的版本166934为已巡查
- 2023年8月13日 (日) 13:02 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166933为已巡查
- 2023年8月13日 (日) 12:54 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166932为已巡查
- 2023年8月5日 (六) 14:39 Allen (讨论 | 贡献)上传“文件:FinGPT-Applications.png” (https://medium.datadriveninvestor.com/fingpt-powering-the-future-of-finance-with-20-cutting-edge-applications-7c4d082ad3d8 category:financial category:artificial intelligence )
- 2023年8月5日 (六) 14:33 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-FinGPT-Framework.png” (https://github.com/AI4Finance-Foundation/FinGPT category:financial category:artificial intelligence)
- 2023年8月5日 (六) 14:31 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-FinRL-Framework.jpeg” (https://github.com/AI4Finance-Foundation/FinRL category:financial category:artificial intelligence)
- 2023年8月5日 (六) 14:20 Allen (讨论 | 贡献)标记页面文件:AI4Finance-Foundation-logo.jpeg的版本166928为已巡查
- 2023年8月5日 (六) 14:12 Allen (讨论 | 贡献)标记页面GnuCOBOL的版本166927为已巡查
- 2023年8月5日 (六) 14:07 Allen (讨论 | 贡献)标记页面OpenEdge Advanced Business Language的版本166926为已巡查
- 2023年8月5日 (六) 14:06 Allen (讨论 | 贡献)标记页面OpenEdge Advanced Business Language的版本166925为已巡查
- 2023年8月5日 (六) 14:02 Allen (讨论 | 贡献)标记页面高频交易的版本166924为已巡查
- 2023年8月5日 (六) 14:01 Allen (讨论 | 贡献)标记页面高频交易的版本166923为已巡查
- 2023年8月4日 (五) 14:32 Allen (讨论 | 贡献)标记页面Homebrew的版本166922为已巡查
- 2023年8月4日 (五) 08:59 Allen (讨论 | 贡献)标记页面Open Provable Foundation的版本166921为已巡查
- 2023年8月4日 (五) 03:24 Allen (讨论 | 贡献)标记页面GnuCash的版本166920为已巡查
- 2023年8月4日 (五) 03:24 Allen (讨论 | 贡献)标记页面Financial的版本166919为已巡查
- 2023年8月3日 (四) 23:57 Allen (讨论 | 贡献)标记页面Formal verification的版本166918为已巡查
- 2023年8月3日 (四) 12:35 Allen (讨论 | 贡献)标记页面IdentityServer的版本166917为已巡查
- 2023年8月3日 (四) 07:01 Allen (讨论 | 贡献)标记页面IdentityServer的版本166916为已巡查
分享您的观点