#分类
A Categorical Theory of Patches (2013)(arxiv.org)
2021-2-27 9:15下载PDF摘要：当与远方合作者共同处理同一文档时，经常使用一个版本控制系统，该程序可跟踪文件的历史记录并帮助将其他人带来的修改作为补丁导入。这种系统的实现需要处理许多情况，这取决于用户对文件执行的操作，因此很难确保正确解决所有极端情况。在这里，不是验证这种系统的实现，而是采用一种补充方法：我们引入一个理论模型，该模型......
Stories in Formaldehyde: The Strange Pleasures of Taxonomizing Plot(themillions.com)
2020-10-11 16:13
在伦敦古板灰白的泰特美术馆的储藏室里的某个地方(因为它现在已经不在展出了)，有一幅J.M.W.特纳1834年的油画，题为“金色的树枝”(The Golden Bough)。特纳的作品以该画家特有的模糊的光线和烟雾般的颜色呈现，描绘了维吉尔的史诗“埃涅阿德”中的一个场景，在这个场景中，主人公受到7世纪的先知老头子库梅的......
Programming with Categories(brendanfong.com)
2020-9-3 2:24麻省理工学院办公室数学部：2-180电子邮件：{bfo，dspirvak}--MIT/EDU摘要：在本课程中，我们将解释范畴理论--一个以组织构成数学世界大部分关键抽象的能力而闻名的数学分支--如何在编写优雅且可维护的代码时变得有用。特别地，我们将使用Haskell编程语言中的示例来激发范畴论的构造，然后从更抽象和包......
Glossary of Collective Nouns by Subject(en.wiktionary.org)
2020-9-1 15:15跳转到导航跳转到搜索不要信任此列表；这些条目中的许多都是虚构的，在单词列表之外是找不到的。
一群耳科医生(专门研究耳朵的解剖学和疾病的内科医生)。
一本职业(妓女)选集，一家律师事务所，一堆馅饼，一堆妓女。
“圣地亚哥动物园有什么问题吗？动物团体名称“，在(请提供作品标题)[1]中，访问
2008-5-12 0:13
搜评的宗旨是利用自行开发的独特的垂直搜索引擎从互联网上搜索、整理尽可能多的商品和服务评论/评测、商品数据，并做专业、深入的分析挖掘，精细分类，过滤筛选，为消费者提供全面准确的导购功能，为企业提供网络营销的工具及和外部互动的平台，以企业博客的模式达到企业营销的目的。
2008-3-28 10:59
这是一家有别于其他类似的像hao123 265 那样的网站导航站。这家站点只提供同类别中的精品类网站。因为现在网络上的内容相同的网站不计其数，而且很多网站还带了很多木马和插件。一不留神进入这些网站就中招了。 这个站的名称叫：精品网站导航者。网站提供的站内导航按用户上网的兴趣来划分。分别为：看图片、看视频、听音乐、看新......
2006-9-2 9:12
Blogger-Beta的功能日渐完善，不过似乎还有很多不如人意的地方。8"O"感觉最不方便的就是无法像现在这样在首页显示摘要，在帖子页显示全文。
Beta另一个不足就是，当你搜索blogger或者选中一个标签时，显示的结果会把包含该关键字/标签的帖子的所有内容显示在一起，实在是太混乱了。能不能......