Login
Create new posts
我在 Android Studio 使用了代理,因而它每次打开新项目就提示我在 gradle.properties 中填入这个代理,然而这会导致我在 sync gradle 的时候报不能连接到 jcenter.bintray.com:443。
我一开始还以为代理被 jcenter 封禁了,网上又有说要导入 jcenter 的证书什么的。然而注释掉 jcenter 之后,又开始报不能连接到其他的源。
这时候我终于想起来,我的代理并不是 HTTP 代理,而是 SOCKS 代理……于是用 polipo 转换一下,遂好了。
不错,很有想法。 净土,会拥有怎样的未来呢?让我们拭目以待吧…
或许可以考虑把一些 latex 的东西写在这里。
好像是自底向上的过程呢
还应该有一个发起解惑、探讨一个主题(比如说一篇论文)的功能。 这个跟问答应该是不一样的,问答是设想有人可以给出全局性的统领,但是不一定有多少细节。这个是大家不一定全局知道多少,但是细节上可以给出推进。后者更像是真实科研的过程。 本质上讲,我们对知乎的失望,也应该来源于此——一个小小的答案并承载不起求知的过程,这个过程应该是长期、持续并关注细节的,应当在细节上无懈可击。知乎的答案评论部分地弥补了这一点,这也是我如此喜欢看评论的原因。
本质上我还是要回答一个问题,就是「知识的存在形式是什么?思维的本质是什么?它们可不可以被反映、记录下来呢?」
Create new posts