哪里有能知道文件格式的百科?

Colliot24 days ago

我们可能需要比维基百科更加专业的百科。 我想要知道 djvu 文件的格式。

keyboard_arrow_down
虎哥这垃圾网站真的支持Kotlin的高亮吗?

ice100004/07/2018

import import port org.data

l data = 233

ta class A { companion object operator fun f1(): Unit operator fun f2(): Int 正确的高亮(带报错)是: 不带报错的话,就是:

keyboard_arrow_down
在论文为什么经常使用“我们”这个词

zjuwyd12/17/2017

不只是论文,包括其它的文章可能都有这种现象,我也不知道为什么养成了这个习惯,这背后有什么深层次的原因吗

keyboard_arrow_down
Agda 的精髓是什么?

Colliot2 months ago

如何用 Agda 撰写可读的数学证明?

keyboard_arrow_down
我觉得,应该对每个人教授统计力学

Colliota month ago

这样才能充分利用到微积分所学的知识,让人明白为什么要学习微积分。

keyboard_arrow_down
一个合理的软件自动更新方案是什么?

Colliota month ago

不断地主动轮询服务器?

keyboard_arrow_down
湖心亭看雪 - 张岱

Colliota month ago

崇祯五年十二月,余住西湖。大雪三日,湖中人鸟声俱绝。是日更定矣,余拏一小舟,拥毳衣炉火,独往湖心亭看雪。雾凇沆砀,天与云与山与水,上下一白。湖上影子,惟长堤一痕、湖心亭一点、与余舟一芥、舟中人两三粒而已。   到亭上,有两人铺毡对坐,一童子烧酒炉正沸。见余大喜曰:“湖中焉得更有此人?”拉余同饮。余强饮三大白而别。问其姓氏,是金陵人,客此。及下船,舟子喃喃曰:“莫说相公痴,更有痴似相公者!”

keyboard_arrow_down
一篇不错的关于代理的文章

Colliot2 months ago

使用 iptables 透明代理 TCP 与 UDP 还有这篇也不错:WireGuard: 简单好用的 VPN。可惜我不能用 WireGuard,因为我的 client 是 macOS 的。

keyboard_arrow_down
你们懂 Mathematica 的原理吗?

Colliot2 months ago

似乎很少有人专门涉足它的原理。大家都只是在用而已。

keyboard_arrow_down
为森么注册取名至少五个字符

dotLyzh2 months ago

还有这个骚气的干得好(

keyboard_arrow_down

Latest Replies

ice1000 replied to 在论文为什么经常使用“我们”这个词

这对我来说依然是问题 可能是为了代替“你”而存在的

goldimax replied to 一个合理的软件自动更新方案是什么?

每次启动了以后查发布 log 或是 hash 吧,现在大部分是默认这样,不过有些支持用户设定我觉得更人性化。

ice1000 replied to 虎哥这垃圾网站真的支持Kotlin的高亮吗?

是因为这个 operator 被当成了 companion object 的名字

ice1000 replied to Agda 的精髓是什么?

请使用 Relation.Binary.PreorderReasoning,这是一个非常美妙的证明库,可以让你的Agda代码和尻可一样可读

Colliot replied to 为森么注册取名至少五个字符

骚气的是什么?

Home

Babel

Knowledge

Epistemology

Settings