#choice

2021-1-11 20:37
Haskell是我们在构建生产软件系统时使用的第一种编程语言。对于只对该语言有过熟经验的人来说,这似乎很不寻常。 Haskell以其先进的语言和陡峭的学习曲线而闻名。它也经常被认为是一种实用性有限的研究语言。 虽然Haskell确实具有非常大的表面积,但许多其他语言的程序员可能不熟悉许多概念和语法,但它在开发人员生......
2020-9-23 10:51
缅因州奥古斯塔-排名选择投票将在今年秋天的缅因州总统选举中使用,此前该州高等法院裁定,共和党人没有收集到足够的有效签名,无法提出人民的否决努力,挑战投票方法。 在经历了几个月的法律挑战,以及缅因州最高司法法院本月早些时候允许该州开始打印选票的初步裁决之后,这一决定是民主党人、国务卿马特·邓拉普(Matt Dunlap......
2020-5-30 5:2
当执法机构吹捧他们最新的网络刑事逮捕时,被告经常被描绘成一个虚张声势的逃犯,从事着复杂的、有利可图的甚至令人兴奋的活动。但新的研究表明,由于网络犯罪已经变得以付费服务为主,支持这些企业所需的绝大多数日常活动实际上都是令人麻木和乏味的,强调这一现实可能是打击网络犯罪、引导犯罪者走上更好道路的一种更有效的方式。 这一发现......
2020-5-13 6:15
下载PDF摘要:在20世纪80年代后期,Gurevich猜测没有逻辑捕获PTIME,其中逻辑必须以非常一般的方式理解,包括结构同构类上的计算模型。在这篇文章中,我们首先证明Gurevich的猜想是错误的。为此,我们扩展了Blass,Gurevich和Shelah在{eM无选择多项式时间}(CPT)上的半研究,它利用支......