#choice
Why employers will have no choice but to embrace remote working(simon-moxon.medium.com)
2021-1-29 2:25
大多数公司所有者都同意，最重要的资产是他们的员工，而建立和发展业务的最大挑战之一就是招募和保留一支高绩效的团队。那些计划强迫他们的团队每天回到9-5的办公室或计划在他们采用远程工作之前等待的公司，可能最终会使该资产处于危险之中。
面对现实，最近的远程工作经验是最糟糕的例子，许多人还没有感受到真正的好处。收养被迫......
Why Haskell is our first choice for building production software systems(www.foxhound.systems)
2021-1-11 20:37
Haskell是我们在构建生产软件系统时使用的第一种编程语言。对于只对该语言有过熟经验的人来说，这似乎很不寻常。 Haskell以其先进的语言和陡峭的学习曲线而闻名。它也经常被认为是一种实用性有限的研究语言。
虽然Haskell确实具有非常大的表面积，但许多其他语言的程序员可能不熟悉许多概念和语法，但它在开发人员生......
Ranked-choice voting will be used in Maine’s presidential election, court rules(bangordailynews.com)
2020-9-23 10:51
缅因州奥古斯塔-排名选择投票将在今年秋天的缅因州总统选举中使用，此前该州高等法院裁定，共和党人没有收集到足够的有效签名，无法提出人民的否决努力，挑战投票方法。
在经历了几个月的法律挑战，以及缅因州最高司法法院本月早些时候允许该州开始打印选票的初步裁决之后，这一决定是民主党人、国务卿马特·邓拉普(Matt Dunlap......
Career Choice Tip: Cybercrime Is Mostly Boring(krebsonsecurity.com)
2020-5-30 5:2当执法机构吹捧他们最新的网络刑事逮捕时，被告经常被描绘成一个虚张声势的逃犯，从事着复杂的、有利可图的甚至令人兴奋的活动。但新的研究表明，由于网络犯罪已经变得以付费服务为主，支持这些企业所需的绝大多数日常活动实际上都是令人麻木和乏味的，强调这一现实可能是打击网络犯罪、引导犯罪者走上更好道路的一种更有效的方式。
这一发现......
Insignificant Choice Polynomial Time(arxiv.org)
2020-5-13 6:15下载PDF摘要：在20世纪80年代后期，Gurevich猜测没有逻辑捕获PTIME，其中逻辑必须以非常一般的方式理解，包括结构同构类上的计算模型。在这篇文章中，我们首先证明Gurevich的猜想是错误的。为此，我们扩展了Blass，Gurevich和Shelah在{eM无选择多项式时间}(CPT)上的半研究，它利用支......