#确定
A library of formalised undecidable problems in Coq(uds-psl.github.io)
2021-4-19 23:31此库包含未定定的问题和它们之间的正式缩减。自由捐助或开始使用问题！ 希尔伯特的第10个问题，即单次二药氨酸方程的可解觉（在问题/ Diophantine.v中的H10） X = 1，x = y + z或x = y.z的基本辅助素约束的可靠性，没有参数（问题/ h10c.v中的h10c_sat） 您需要COQ 8......
Certainly uncertain: When measurement results don’t match(twitteringmachines.com)
2021-3-14 0:33
所有Audiophiledom中最大的误解之一是测量是目标的概念。
执行测量的人必须选择衡量的措施以及如何测量（例如，扬声器可以在“自由空气”中或在一个AneChoic室中测量）
执行测量的人员必须选择哪些档位将用于提供比较数据点
我对这个主题的兴趣是由与Melco S100网络交换机相关的Instagra......
2021-2-19 5:21
病毒是地球上数量最多的生物实体。现在，惠康桑格研究所（Wellcome Sanger Institute）和EMBL欧洲生物信息学研究所（EMBL-EBI）的研究人员已经鉴定出超过14万种生活在人类肠道中的病毒物种，其中一半以上从未见过。
该论文今天在《细胞》杂志上发表，其中包含了对世界各地收集的28,000多种肠......
2021-1-30 21:50
合成的大麻二酚，也称为CBD，首次被证明可以杀死引起淋病，脑膜炎和军团病的细菌。
昆士兰大学与Botanix药业有限公司之间的研究合作可能会导致60年来出现第一类新型的抗药性抗生素。
昆士兰大学分子生物科学研究所副教授马克·布拉斯科维奇说，CBD（大麻的主要非精神活性成分）可以穿透并杀死包括淋病奈瑟菌在内的多种细......
Developers spend most of their time figuring the system out(blog.feenk.com)
2021-1-28 22:27
当我说开发人员将大部分时间花在确定系统上时，经常被问到我的意思。让我们打开语句的包装。
Zelkowitz，Shaw和Gannon撰写的《软件工程与设计原理》一书中有关该主题的最早文献可追溯到1979年。它说，大部分开发时间都花在了维护上（67％）。
当然，这本书没有说明如何获得该数字。从那以后，它仍然被认为是......
'New variant' of coronavirus identified(www.bbc.co.uk)
2020-12-15 0:9
国会议员告诉记者，已经确定了一种冠状病毒的新变种，它可能与更快的传播有关。
卫生部长马特·汉考克（Matt Hancock）说，英格兰至少有60个不同的地方当局已记录到由新变种引起的Covid感染。
他说，世界卫生组织已收到通知，唐顿大厦正在做详细的研究。
汉考克先生说，没有什么可暗示的。它导致疾病恶化，或者疫......
Scientists Identified a Poisonous Gas Used by Fed Agents on Portland Protesters(futurehuman.medium.com)
2020-12-12 5:9
到了7月，波特兰的“黑色生活问题”抗议者已经习惯于每天晚上在城市街道上飘荡的灰色，黑色和无色催泪瓦斯。但是那个月，他们也开始看到一团异常绿色的烟雾。少量绿色残留物渗入城市的雨水渠。人权倡导者和保护主义者呼吁地方政府调查这些化学武器对环境的影响，这些化学武器是由警察部署的，但没有向公众发现新的化学物质。
志愿者抗议军......
2020-11-21 12:12
麻省理工学院研究人员的一项新分析详细介绍了导致美国新核电厂成本超支的许多潜在问题，而在过去的五十年中，这些问题飞涨得更高。新的发现可能有助于新工厂的设计人员增强对导致这些超支的因素的适应能力，从而有助于降低此类工厂的成本。
研究人员说，许多分析人士认为，核电可以在减少全球温室气体排放中发挥重要作用，寻找遏制这些不断上......
2020-8-27 12:30
卢森堡大学研究员吉安玛利亚·法拉斯科(Gianmaria Falasco)在总结与马西米利亚诺·埃斯波西托(Massimiliano Esposito)的最新研究结果时解释道，你必须更加努力才能更快地完成工作。对于任何有四处奔波试图赶上约会和最后期限的人来说，这都不会令人惊讶，但通过定义耗散方面所花费的工作与系统改变......
Mozilla’s Uncertain Future(civilityandtruth.com)
2020-8-15 15:31到目前为止，科技界的每个人都听说了Mozilla公司的大规模裁员，该公司是开发和分销Firefox网络浏览器的组织。(对于那些没有听说过的人来说，大约有250人被解雇，约占劳动力的四分之一。)。科技界的许多人都谈到了这一事件的意义，以及它对Mozilla、网络等的未来意味着什么。
我不想为科技界写一些东西，而是想简要......
Tech shares set fresh records despite uncertain economy (techcrunch.com)
2020-7-7 5:23
尽管新冠肺炎感染了创纪录的病毒，美国股市今天还是上涨了。在常规交易中，所有主要指数都有所上涨，而科技股的表现甚至更好。纳斯达克综合指数创下52周和历史新高，触及10,462.0点，收于10,433.65点，当日上涨2.21%。同样，一篮子已崛起的SaaS和云公司以及[…]