欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2022年11月6日 (日) 02:21 Allen (讨论 | 贡献)标记页面Mathematics的版本166366为已巡查
- 2022年11月5日 (六) 14:01 Allen (讨论 | 贡献)标记页面数学哲学的版本166365为已巡查
- 2022年11月5日 (六) 13:58 Allen (讨论 | 贡献)标记页面数学哲学的版本166364为已巡查
- 2022年11月5日 (六) 13:48 Allen (讨论 | 贡献)标记页面数学哲学的版本166363为已巡查
- 2022年11月5日 (六) 13:40 Allen (讨论 | 贡献)标记页面数学哲学的版本166362为已巡查
- 2022年11月5日 (六) 07:51 Allen (讨论 | 贡献)标记页面数学哲学的版本166361为已巡查
- 2022年11月4日 (五) 09:19 Allen (讨论 | 贡献)标记页面数学哲学的版本166360为已巡查
- 2022年11月4日 (五) 09:08 Allen (讨论 | 贡献)标记页面数学哲学的版本166359为已巡查
- 2022年11月4日 (五) 00:54 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166358为已巡查
- 2022年11月4日 (五) 00:52 Allen (讨论 | 贡献)标记页面赞助灰狐的版本166357为已巡查
- 2022年11月2日 (三) 10:03 Allen (讨论 | 贡献)标记页面数理逻辑的版本166356为已巡查
- 2022年11月2日 (三) 08:04 Allen (讨论 | 贡献)标记页面量子计算的版本166355为已巡查
- 2022年11月1日 (二) 06:28 Allen (讨论 | 贡献)标记页面数学哲学的版本166354为已巡查
- 2022年11月1日 (二) 05:02 Allen (讨论 | 贡献)标记页面Gougou的版本166353为已巡查
- 2022年11月1日 (二) 03:24 Allen (讨论 | 贡献)标记页面Gougou的版本166352为已巡查
- 2022年11月1日 (二) 03:08 Allen (讨论 | 贡献)标记页面量子计算的版本166351为已巡查
- 2022年10月31日 (一) 08:29 Allen (讨论 | 贡献)上传“文件:D-Wave-Quantum-Computer.jpg” (category:量子计算 category:computer science category:physics category:science)
- 2022年10月31日 (一) 08:27 Allen (讨论 | 贡献)标记页面量子计算的版本166349为已巡查
- 2022年10月31日 (一) 07:21 Allen (讨论 | 贡献)上传“文件:D-Wave-2000Q.png” (category:量子计算 category:computer science category:physics category:science )
- 2022年10月31日 (一) 07:20 Allen (讨论 | 贡献)标记页面量子计算的版本166347为已巡查
- 2022年10月31日 (一) 03:37 Allen (讨论 | 贡献)上传“文件:Theory-of-everything.png” (来源:https://zh.wikipedia.org/wiki/%E4%B8%87%E6%9C%89%E7%90%86%E8%AE%BA category:physics category:science category:mathematics)
- 2022年10月31日 (一) 03:36 Allen (讨论 | 贡献)标记页面Physics的版本166345为已巡查
- 2022年10月31日 (一) 03:36 Allen (讨论 | 贡献)标记页面灰狐大脑的版本166344为已巡查
- 2022年10月31日 (一) 03:35 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166343为已巡查
- 2022年10月31日 (一) 03:35 Allen (讨论 | 贡献)标记页面量子力学的版本166342为已巡查
- 2022年10月30日 (日) 10:05 Allen (讨论 | 贡献)标记页面量子力学的版本166341为已巡查
- 2022年10月30日 (日) 09:42 Allen (讨论 | 贡献)标记页面量子计算的版本166340为已巡查
- 2022年10月30日 (日) 09:25 Allen (讨论 | 贡献)上传“文件:Quantum-materials-simulation.png” (https://dwavefederal.com/applications/ category:量子计算 category:computer science category:physics category:science)
- 2022年10月30日 (日) 09:24 Allen (讨论 | 贡献)标记页面量子计算的版本166338为已巡查
- 2022年10月30日 (日) 09:18 Allen (讨论 | 贡献)标记页面量子计算的版本166337为已巡查
- 2022年10月30日 (日) 09:06 Allen (讨论 | 贡献)标记页面量子计算的版本166336为已巡查
- 2022年10月30日 (日) 07:52 Allen (讨论 | 贡献)标记页面Physics的版本166335为已巡查
- 2022年10月30日 (日) 07:01 Allen (讨论 | 贡献)标记页面灰狐量子实验室的版本166334为已巡查
- 2022年10月30日 (日) 06:52 Allen (讨论 | 贡献)上传“文件:D-wave.jpeg” (https://www.nasa.gov/ames/quantum-computing/ category:量子计算 category:computer science category:physics category:science)
- 2022年10月30日 (日) 06:46 Allen (讨论 | 贡献)标记页面量子计算的版本166332为已巡查
- 2022年10月30日 (日) 03:55 Allen (讨论 | 贡献)标记页面量子计算的版本166331为已巡查
- 2022年10月30日 (日) 03:54 Allen (讨论 | 贡献)标记页面量子计算的版本166330为已巡查
- 2022年10月30日 (日) 00:50 Allen (讨论 | 贡献)上传“文件:Quantum-simulation.png” (图片取自 https://www.cs.tulane.edu/quantum/slides/PR18/simcount.pdf category:量子计算 category:computer science category:mathematics category:physics category:science)
- 2022年10月30日 (日) 00:49 Allen (讨论 | 贡献)标记页面量子计算的版本166328为已巡查
- 2022年10月30日 (日) 00:20 Allen (讨论 | 贡献)标记页面量子计算的版本166327为已巡查
- 2022年10月30日 (日) 00:06 Allen (讨论 | 贡献)标记页面Formal language的版本166326为已巡查
- 2022年10月30日 (日) 00:05 Allen (讨论 | 贡献)标记页面量子计算的版本166325为已巡查
- 2022年10月29日 (六) 23:54 Allen (讨论 | 贡献)标记页面Coq的版本166324为已巡查
- 2022年10月29日 (六) 23:53 Allen (讨论 | 贡献)标记页面量子计算的版本166323为已巡查
- 2022年10月29日 (六) 15:43 Allen (讨论 | 贡献)标记页面量子计算的版本166322为已巡查
- 2022年10月29日 (六) 08:45 Allen (讨论 | 贡献)标记页面Erlang的版本166321为已巡查
- 2022年10月29日 (六) 08:45 Allen (讨论 | 贡献)标记页面WhatsApp的版本166320为已巡查
- 2022年10月29日 (六) 08:44 Allen (讨论 | 贡献)上传“文件:Whatsapp-Viber-Wechat-Technical-Architecture.jpg” (https://medium.com/@johnvincentt27/how-to-build-a-secure-chat-app-like-whatsapp-wechat-viber-1245fa29ab3 category:IM category:XMPP category:erlang category:elixir)
- 2022年10月29日 (六) 08:40 Allen (讨论 | 贡献)标记页面Erlang的版本166318为已巡查
- 2022年10月29日 (六) 08:39 Allen (讨论 | 贡献)标记页面WhatsApp的版本166317为已巡查
分享您的观点