From Rust to Spark: Formally Proven Bip-Buffers(blog.adacore.com)
2021-5-6 18:40
我遵循嵌入式生锈群落的演变，特别是詹姆斯门斯的工作。基于BipBuffers，引起了引起我注意的项目是BBQueue，单一的生产者，单一消费者，锁定，线程安全队列。
此库的主要用法是异步处理数据进入或超出外设的数据，特别是在使用直接内存访问（DMA）时。
当从外围设备接收数据时，说明以太网控制器时，用户必须提供一......
IBM Creates First 2nm Chip(www.anandtech.com)
2021-5-6 18:39
每十年都是测试摩尔定律限制的十年，这十年没有什么不同。随着极端超紫（EUV）技术的到来，现在可以使用EUV提供的更精细的分辨率来应用于先前技术节点上开发的多地位技术的复杂性。除了其他更多的技术改进之外，可以导致晶体管大小的减少，从而实现半导体的未来。为此，今天IBM正在宣布它创建了世界上第一个2纳米节点芯片。
......
2021-5-6 18:39
数百万人可以使用过时的路由器，让他们面临被攻击的风险？ 警告了。 消费者看门狗通过ee，sky和圣母媒体等互联网服务公司审查了13种型号，如ee，sky和virgin媒体，发现了超过三分之二的缺陷。 它估计从2018年或更早之前自2018年以来的设备可能有一个未更新的设备。 ee＆＃39; s brightbo......
ifeel, another well-being platform that blends self-care tools with 1-2-1 therapy, scores $6.6M (techcrunch.com)
2021-5-6 18:4
创业公司于2017年创立 - 最初作为消费者的治疗平台 - 但去年它枢转到混合动力商业模式，从企业中攻丝，以在公共卫生危机中提供员工情感支持。因此，它可以通过每月订阅或作为雇主或保险提供者的封面的一部分提供
公司签约将其平台提供给员工，包括Axa Partners，Glovo和Bympass。
“我们在平台上......
Interview with Shopify President Harley Finkelstein on creating a centralized retail OS, why DTC isn't a fad, partnering with Instagram Checkout, and more(www.theverge.com)
2021-5-6 17:59
今天跳到主要内容我正在与哈利Finkelstein撰写，由Shopify总裁讨论。 Shopify是制作现代互联网的公司之一 - 它使得软件允许所有尺寸的企业设置在线商店，并且从那里可以处理从运输订单到融资贷款的所有内容。该公司于2015年公开，随着在线商务在大流行期间爆发，它有史以来一直泪流满面 - 它刚刚在202......
2021-5-6 17:58
去年12月，我完成了一篇论文，其中我在1969年证明了Shapiro和Green发现的11和12通道排序网络的最佳性，这是D. E.Knuth的“计算机编程艺术”Vol。 3 [8]。虽然他们被猜测很长一段时间是最佳的，但证明这一直是一个开放的问题。
在这篇文章中，我将介绍问题并提供一些上下文。在未来的帖子中，我将......
2021-5-6 17:23
在接下来的几周内，我们将以自己的话语向这些城市的企业家询问他们的生态系统。
如果您是其中一个城市中的技术启动创始人或投资者，请填写此处的调查表格。
这是对投资者巨大调查的后续行动（另见下文），我们在过去的六个月或更多个月内完成了，主要是欧洲最大的资本城市。
这些成立的一部分是更广泛的调查，我们正常为Qua......
FreeBSD 2021 Q1 Status Report(www.freebsd.org)
2021-5-6 17:17本报告涵盖了1月和3月期间的FreeBSD相关项目，是四个计划报告中的第一个2021年。
2021年的第一季度在双翼飞机和博客中一直非常活跃，13.0释放工作启动禁令并在4月中旬完成。它提供了许多新种，甚至有机会有些工作量的Willexperience绩效改进。
条目的数量略微下降，这可能是Dueto与Covid......
2021-5-6 16:41
今天，该公司的支付公司将业务与其付款API发挥作用，并在尼日利亚和加纳积极出席，正在宣布其在南非的正式发布。
2018年，当我们报告Paystack的800万美元（STRIPE也领导）时，它在尼日利亚推动了所有在线支付的15％。该公司在其平台上拥有超过10,000个企业，扩展到其他非洲国家是其中计划使用这笔钱的方式......
Kahoot acquires Clever, the US-based edtech portal, for up to $500M (techcrunch.com)
2021-5-6 16:41
该计划将继续在美国继续越来越聪明的业务 - 目前雇用了175人 - 以及将它的杠杆放在全球范围内扩展的杠杆稳定的Edtech软件和服务。
“聪明和kahoot！是两个目的领导的组织，同样热衷于教育和释放每个学习者内部的潜力，“Kahoot的首席执行官Eilert Hanoa表示，在一份声明中。 “通过此次收购，我们......
Could NFT auctions be moving away from Ethereum? One new group is betting they will (techcrunch.com)
2021-5-6 16:1
该集团从事艺术品，以400,000美元的价格烧毁了艺术品并在OpenSea平台上销售了其NFT。虽然特技被CBS新闻，BBC新闻，监护人等，但实际上确实提出了重要的一点。
通过删除物理件，群体 - 呼吁自己“烧毁的银行” - 证明这件作品的价值不受被摧毁的影响，因为NFT在价值中如此多地上升。
现在，该项目正在......
Catala: A Programming Language for the Law(arxiv.org)
2021-5-6 15:56下载PDF摘要：大写的法律，现代社会，编纂和管理许多方面的公民＆＃39;日常生活。通常，法律可能会进行解释，在各种法院和司法管辖区的解释挑战。但在一些其他的其他方面，法律留下了少许解释的空间，基本上旨在履行计算，决定程序或简单地说，简单地说。不幸的是，散文仍然是这项工作的令人窒息的工具。缺乏形式主义的含糊不清的空间;......
Six years of professional Clojure development(www.falkoriemenschneider.de)
2021-5-6 15:5510.05.2021永久链接在过去几年里，我和我的同事在文密文主忙着为我们的客户创造和维护十几个人。
我们有特权几乎完全使用Clojure和Clojurescript，因为这仍然是在2015年加入它们之前的教学中的有效战略技术决策。在这篇文章中，我喜欢列出一些优势和缺点日常真实生活使用语言及其生态系统。
语言和图......
The Remarkable Power of Hope(www.psychologytoday.com)
2021-5-6 15:55
＆＃34;记住希望是一个好事，红色，也许是最好的东西，而且没有好事死亡。＆＃34; -stephen王，丽塔海沃斯和肖迈克救赎。
上个月，在俄亥俄州纳什波特，每天早上在早餐举手，即使在70年的婚姻之后，也会分开早上15个小时。这对夫妇＆＃39;八个孩子说，这两个人自见到青少年以来一直在离不开，曾经在渡轮上分享双层床......
2021-5-6 15:19
B型系列，远远超过其之前的2020美元募集了1000万美元，2019年的2500万美元，包括新投资者淡马萨斯克，索罗斯基金管理LLC，Northzone和Maersk增长。该公司周四表示，现有的投资者EQT Ventures，Plum Alley，Norrsken VC，爱立信和Nordicninja VC也参加了这......
2021-5-6 15:13
Shift技术，为保险公司提供了一套基于AI的SaaS工具，以扫描和自动跨越一系列用例的欺诈场景 - 它们包括索赔欺诈，索赔自动化，承销，代谢检测和金融犯罪检测 - 已筹集220美元百万，金钱将在物业和伤亡保险市场中扩展，它已经强大的领域，以及扩展到健康，并逐渐降低在美国的业务，它还提供欺诈检测旅游保险部门。
该系......
Deep Diving into the Strengths of FreeBSD(klarasystems.com)
2021-5-6 15:13
仍然怀疑是否为下一个项目使用FreeBSD？让我们谈谈BSD路线的奇迹
一段时间后，我们谈到了不同开源许可模型的优势。如果你错过了它，这是一个快速链接。
它有时似乎很难相信，但FreeBSD已经发生了近30年，其初始发布于1993年。多年来它已经发出了大量的发展，其中一个伟大的社区的参与，他们为其持续发展和良好的......
2021-5-6 14:38
一份报告发现，美国的新的太阳能和风资产比在该国的现有燃煤发电机的近80％更便宜，而且可以取代资产类别，同时为消费者提供众多利益。
Thinktank Energy Innovation出版的“煤炭成本交叉2.0”报告提供了关于2018年发布的上一版本的先前版本的更新，该报告使用新数据集产生新的电力（LCoE）为太阳......
The Case of the 50ms request(mysteries.wizardzines.com)
2021-5-6 14:32Warning: Can only detect less than 5000 characters
Portability Is Reliability(evan.nemerson.com)
2021-5-6 14:31
任何熟悉我的开源工作的人都知道我的工作的重点是在可移植性上，但最近对我来说，很多人可能不知道为什么。
Hedley - 一个C / C ++标题，让您利用所有平台（旧标准，C与C ++，不同编译器，旧编译器等）可能无法使用的功能，而不会创建硬依赖性。
便携式代码段 - 织放相关模块的集合，旨在提供对不同功能的......
2021-5-6 14:31
黑客攻击。伪造。监视。网络是主板＆＃39;播客和在互联网的黑暗底层上报告。
诈骗者使用假法庭命令说服域名注册商来转移列出暗网毒品市场的域的所有权，然后使用它来指出旨在窃取人民窃取人民的市场的网站。比特币。
黑客经常制作暗网市场的光看法，但使用假法院命令是不寻常的。它与诈骗者如何使用假商标来说服Instagra......
2021-5-6 14:31
蒙大拿州计划阻止一些联邦资助的失业救济福利，以解决“国家的严峻劳动力短缺”，据其劳工处介绍，这将留下许多职业居民而没有任何支持。
“几乎所有经济的部门都面临着劳动力短缺，”Greg Gianforte在星期二的一份声明中说。 “联邦失业救济金的广阔扩大现在弊大于利。”
相反，该州将开始提供返回工作奖金，以帮助寻求......
Why What3Words is not suitable for safety critical applications(cybergibbons.com)
2021-5-6 14:30
What3Word是一个广泛推销的系统，用于使用三个单词共享位置。例如，/// Wedge.Drill.Mess位于海德公园。全球分为3M方格，每个广场都有一个唯一的三个字地址来识别它。
许多英国警察，救护车和消防服务主张使用What3Words在紧急情况下报告您的位置。这个想法是，它更容易传达三个单词，而不是读出......
2021-5-6 14:30
在正常情况下，一个人欢迎有机会密切观察一群加州秃鹰，北美最大的飞行陆鸟，这在20世纪80年代灭绝后造成了神奇的康复。但在周末，十几个雄伟的鸟儿在一个女人的家中下降，并根据女人的女儿的推文，“绝对摧毁了她的甲板”，Twitter用户Seana Lyn。 “他们仍然没有离开，”Seana Lyn周二推文。 “它糟透了，但......
Mozilla Rally(blog.mozilla.org)
2021-5-6 14:30
我们最近撰写了关于了解数据公司从您收集的困难，以及他们正在做的事情。这些公司确定您的数据是如何使用的以及谁的利益。削减人们对他们的数据的决定是一种不当，不仅伤害了个人，也伤害了社会和互联网。我们相信您应该确定谁从您的数据中获益。今天，我们正在逐步与Mozilla集会的alpha释放的方向。现在可用于桌面Firefox......
2021-5-6 14:29
史诗般的游戏期间透露内部电子邮件v。苹果诉讼表明，苹果公司的员工正在考虑提供Netflix特殊处理，以说服流媒体服务不要放弃应用内购买。在Netflix中删除其订阅提供以避免Apple的费用，在苹果中分发的演示文稿建议在其零售店宣传Netflix，使用其削减App Store委员会的一部分来支付搜索广告，甚至捆绑Ne......
UFOs Shows Govt. Competence as Either Surprisingly High or Low(www.overcomingbias.com)
2021-5-6 13:49有时我骄傲地骄傲地采取解决忽视重要问题的智力战略。但是，被忽视的一个主题的一个指标是它看起来很低;讨论它的人被嘲笑，他们的智力能力怀疑。因此，我的战略风险降低了我的地位。
为了防止这种风险，我可以设定一个似乎与我的技能和先前主题具有重要协同作用的政策。这似乎是一个有效的政策，即使不完全诚实。很长一段时间，这种保护我......
2021-5-6 13:14
3月，Twitter在用户的饲料中推出了对Uncropped的有限测试，更大的图像。现在，它宣布，这些测试成功并改善了每个人的图像共享体验。
在Android或iOS的Twitter上，标准宽高比图像（16：9和4：3）现在将全面显示，没有任何裁剪。而不是赌博图像如何在时间表中出现 - 并且可能会毁了一个宽大的笑......
Move over CRISPR, the retrons are coming(wyss.harvard.edu)
2021-5-6 13:8
（波士顿） - 虽然CRISPR-CAS9基因编辑系统已成为合成生物学创新的海报儿童，但它具有一些重大限制。 CRISPR-CAS9可以编程为发现和切割特定的DNA，但编辑DNA以产生所需的突变需要将细胞施加到使用新的DNA中以修复突破。这个诱饵和开关可以协调令人复杂，并且甚至可以对细胞有毒，因为Cas9也经常削减意......
ProcMon for Linux (Preview)(github.com)
2021-5-6 12:28
流程监视器（Procmon）是一种Linux从SysInternals套装工具的Classic Procmon工具reimaging。 Procmon为Linux开发人员提供了一种方便有效的方法，以便在系统上跟踪Syscall活动。 sudo apt-get-met-i install bison build-en......