Voevodsky 当年错误的地方是什么?

Colliot12/16/2017

@Nicekingwei 你知道吗?

keyboard_arrow_down
话说实现智能的悬浮提示有啥方法?

Colliot12/16/2017

是不是一定要上 JS?光用 CSS 似乎无法避免溢出到屏幕外……参考这里反馈的问题

keyboard_arrow_down
那些缺乏维护又要用的小库,还不如直接加到项目里

Colliot12/16/2017

目前颇用了几个这样的库,比如 angular2-autosize 和 ngx-markdown。其中前一个库甚至不是一个 NgModule,只能把它当源码引入……

keyboard_arrow_down
渲染错误的 LaTeX 代码,单独提取

ice100012/16/2017

在本帖进行测试,和说明。

keyboard_arrow_down
关于图片资源的安全的想法

ice100012/16/2017

我倒没有什么意见。我觉得 CDN 挺好的,自己 host 也好。 曾经知乎上我保存了一个村姑阳子的开车回答( save as html 那种),舔舔舔的那种。 然后回答被删了,别人也就舔不了了。我本地的资源文件也被我误删了。 但是我在 html 文件里面找到了对应的图片 URL ,可以用来舔的东西依然在知乎服务器里。 所以说这让我联想到一个安全问题。就是使用别人的 CDN ,就要守规矩。 己在本地,就可以乱来。 图片在回复里。

keyboard_arrow_down
标题太长不太能完全显示耶

Maphilius12/14/2017

这可以单方面发帖很不错,有种贴吧的感觉。

keyboard_arrow_down
爱情是什么?标题为啥至少10个字?

Nicekingwei12/15/2017

爱情是什么?你们体验过爱情吗?单方面的喜欢算爱情吗?爱情的本质,是反馈调节吗?

keyboard_arrow_down
意见反馈发在哪 /没有专门的地方 委屈巴巴

Amethyts12/15/2017

就是文章阅读时,单词标红之后鼠标移动上去不是会有单词释义吗。1.好像很多单词没有释义。2.由于单词释义的小方框出现在鼠标(单词)右下方,在最下面的单词释义就会被浏览器边框挡住看不到啦~

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