2020
2020-6-14 7:55
表示不变量是保存模块产生的抽象类型的所有值的属性。表示不变量在软件工程和程序验证中发挥着重要作用。在这篇文章中，我们开发了一个反例驱动的算法，用于推导足以隐含模块所需规范的表示不变量。关键的新颖性是类型导向的可视归纳概念，它确保算法在减弱和加强候选不变量之间交替时朝着其目标前进。该算法由一个基于实例的综合引擎和一个验......
2020-6-13 2:51
Reaction Native于2015年首次引入，作为使用ReactJS框架开发具有本机功能的跨平台应用程序的解决方案。该平台的最初设计并不是没有缺陷和缺陷，尽管该解决方案获得了社区的大力支持，并由于其Web同行的知名度而逐渐受到欢迎。
最初于2018年宣布的Reaction Native重新架构是Facebook......
2020-6-12 20:30
这是关于用Golang编写微服务的十部分系列文章。使用Protobuf和GRPC作为底层传输协议。为什么？因为我花了很长时间才弄明白这一点，并敲定了一个清晰而简洁的解决方案，我想与其他刚接触这一领域的人分享我在创建、测试和部署微服务方面学到的东西。
在本教程中，我们将只介绍一些基本概念、术语，并以最简单的形式创建我们......
2020-6-10 10:8
PermalLink GitHub是5000多万开发人员的家园，他们一起工作，共同托管和审查代码、管理项目和构建软件。
报名。
属于LVFS(Linux供应商固件服务)的悬挂S3存储桶。悬挂存储桶被fwupd版本<；1.0.6(2018年发布)的默认配置引用。
综上所述，这些漏洞将允许声称拥有S3存储桶的攻击者向......
2020-6-10 8:1
由于Fra1和NYC3中空间的性能问题，我们暂时禁止在这些区域创建新空间，直到今年晚些时候。
FRAM1和NYC3中的现有空间不受影响，您仍然可以在AMS3中创建新空间。
我们将继续在此页面上提供更新，并期待7月初的下一次更新。
2020-6-10 0:58
据彭博社(Bloomberg)报道，在本月晚些时候的全球开发者大会(WWDC)上，苹果计划宣布开始从基于英特尔的Mac过渡到基于ARM的配备内部设计CPU的Mac。这份报告来自马克·古尔曼(Mark Gurman)，他在报道苹果内部运作方面总体上记录良好，并引用了熟悉相关计划的人士的话。
消息人士称，苹果正在为Mac......
2020-6-9 6:17
跳到导航跳跃到搜索2020年警察正义法案是一项由民主党人起草的民权和警察改革法案，其中包括国会黑人核心小组的成员。这项立法于2020年6月8日提出，并提交给众议院司法委员会。[1]这项立法旨在打击警察的不当行为、过度使用武力和警察中的种族偏见。[2][3]虽然2020年白人警察和平民(包括明尼苏达州的乔治·弗洛伊德和......
2020-6-8 21:3
十多年来，布莱恩·伦杜克(Bryan Lunduke)一直在Linux和开源会议上发表演讲，提出Linux很烂的异端论点。
他本周向我们证实，事实上，Linux是他一直以来最喜欢的操作系统之一。事实上，自2018年以来，他一直担任Linux Journal的副主编。他还在SuSE和Purism等知名开源公司担任过营销......
2020-6-8 4:35
这是2020年版的“Linux Sucks”--最初发布于2020年5月28日。更多观看方式请点击此处(包括lbry)：https://lunduke.com/posts/2.
2020-6-8 2:33
4月29日星期三，Thread开始经历我们的主要后端服务的部分中断。我们将问题追溯到存在格式错误的memcached密钥，并在thread.com上更正了该问题。一直以来，我们怀疑这可能会在一些使用memcached的Djangosite上被利用，以导致私人数据泄露-无论是内部服务数据还是关于其他用户的数据。Thre......
2020-6-7 6:42
今天我醒来时听到了一个令人悲伤和震惊的消息，乔恩·道林(主页/Twitter/维基百科)-路易斯安那州立大学的物理学教授，早在90年代就让美国政府投资量子计算的人，畅销书《薛定谔的杀手应用：竞相建造世界上第一台量子计算机》的作者，BosonSamples的调查者，以及其他许多话题的研究者，拥有一个“量子比特”车牌，也......
2020-6-7 2:33
2014年，在16岁从高中辍学成为一名程序员后，我创办了黑客俱乐部(Hack Club)。我有很多问题要问。财务将如何运作？其他组织是如何获得捐款的？他们是如何预算和花钱的？运行一个覆盖1000人的项目需要多少费用？对于一名员工来说，合适的月薪是多少？律师和注册会计师的费用是多少？
对我来说，学习编程在很大程度上是可......
2020-6-6 8:51
编者按：这是2018年和2019年发表的一篇文章的更新版。
USB-C被标榜为满足我们未来所有电缆需求的解决方案，将电源和数据传输与显示和音频连接统一起来。开启了“一刀切”的电缆时代。尽管现代智能手机默认提供USB-C接口，但不幸的是，该标准未能兑现其早期的承诺。
即使是USB-C最基本的功能-为设备供电-仍然是一堆......
2020-6-6 0:49
科学家彼得·图尔钦的研究表明，美国的下一个动荡状态将在2020年到来。这就像玛雅启示录的无稽之谈，只不过彼得的理论是一位受人尊敬的科学家辛勤工作的结果，而不是某个死去的人……
2020-6-5 5:21
NSS在执行DSA签名时显示出时间差异，这是可攻击的，最终可能会泄露私钥。
浏览恶意页面时，可能会发生SharedWorkerService中的争用条件，并导致潜在的可利用漏洞崩溃。
Mozilla开发人员Iain爱尔兰在移除未装箱的对象时发现缺少类型检查，导致崩溃。我们假设只要付出足够的努力，就可以利用它来运行任意......
2020-6-4 6:21
在选择学习一门新的编程语言时，您应该寻找什么？答案可能会因您的项目或职业目标而异，但作为基本起点，您需要一种语言：
在本文过程中，我们将向您展示长生不老药与上述所有点的关系。在我们开始之前，有必要让你稍微了解一下我。我喜欢认为自己是一个多语种开发人员。多年来，我使用过Elm、Lua、Rust、Dart、Go、Kotl......
2020-6-4 6:4
据Business Insider报道，在意识到冠状病毒大流行导致其算法不可靠后，Coatue的3.5亿美元数据驱动型“定量基金”于4月初迅速退出市场。
这只专注于科技的基金由亿万富翁菲利普·拉丰(Philippe Laffont)在一年多前推出，加入了越来越多由于2020年不可预测的性质而未能盈利的“量化基金”之列......
2020-6-3 12:27
这个储存库的存在是为了积累2020年乔治·弗洛伊德抗议期间警察暴行的证据，并将其与背景联系起来。
我们这样做的目的是为了帮助记者、政治家、检察官、活动家和关心此事的公民，他们可以将在这里积累的证据用于政治活动、新闻报道、公众教育和起诉刑事警察。
这最初是作为subreddit/r/2020PoliceBrutalit......
2020-6-2 13:24
按行业(颜色和x轴)组织的年初至今(YTD)标准普尔500指数回报的动画。市值与圈子大小相关。用JAV编码..。
2020-6-2 2:52
多核OCaml：2020年5月欢迎收看多核OCaml团队2020年5月的更新！与之前的更新一样，非常感谢@shakthimaan和@kayceesrk帮助组装本月的综合报道。2020年5月的一个重大里程碑是多核OCaml从4.06一路改基到4.10！执行停止世界并行次要收集的并行次要GC变体是编译器的默认分支，这意味......
2020-6-2 2:32
为了保护我们的客户，苹果不会披露、讨论或确认安全问题，直到调查已经发生，补丁或版本可用。最近发布的版本列在苹果安全更新主页上。
适用于：iPhone 6s及更高版本、iPad Air 2及更高版本、iPad mini 4及更高版本以及iPod touch 7代。
关于非由苹果公司生产的产品的信息，或未被苹果公司控制或......
2020-6-1 22:15
现在是2020年了，很多浏览器仍然允许从所谓的安全环境(如沙盒iFrame)下载Driver-by-Download(Driver by-Download)。
对于那些不熟悉这个术语的人来说，Driver-by-Download是指用户访问网站时，在没有用户交互的情况下启动文件下载。
此技术可用于分发不需要的软件和恶......
2020-5-31 22:28
在过去的几个月里，在家工作真的提醒了我，我们对互联网的看法是多么的理所当然。一些读者可能会想知道为什么我决定在Techway Endeavour II计算机上工作-嗯，在新冠肺炎疫情之前，我实际上就有一个项目。
互联网已经成为我们日常生活中重要的一部分，但我们现在通过宽带高速连接体验它的方式与我童年时不同。早在90年......
2020-5-31 17:55
在这篇定期但很少更新的文章中，无疑是整个互联网上最全面的Linux发行版问题列表，我们只讨论了它们的主要问题和缺点(这可能是为什么有人说Linux发行版还没有准备好用于桌面)，同时每个人都应该记住，Linux在某些方面优于其他操作系统：一个发行版内出色的软件包管理，多个平台和体系结构开箱即用，通常非常好的稳定性，没有......
2020-5-31 9:48
为复古游戏机制作新游戏是业余开发人员可以相当容易地做的事情，这要归功于今天的技术。去年，我为我最喜欢的游戏机发布了一款新游戏：超级任天堂(SNES)。该项目甚至达到了实际的物理发布，使用了一个像90年代那样的墨盒和纸盒。在这篇文章中，我将向你展示这个不可思议的旅程中的许多步骤：设计游戏，在编程时克服与SNES相关的技......
2020-5-31 1:54
即将到来的AddTrust根过期-您需要了解的是，Sectigo目前提供了与AddTrust旧版根交叉签署证书的功能，以增加非常旧的系统和设备之间的支持。*此根将于2020年5月底过期。所有依赖此交叉签名根的应用程序或安装都必须在2020年5月之前更新，否则将面临中断或显示错误消息的风险。*对于绝大多数用例，Sect......
2020-5-30 7:10
2020年5月29日星期五早上6点08分，David Laight<；[email protected]>；写道：>；>；宽屏是用来查看大量文件的。不一定。过多的换行符是不好的。它们造成了现实的和日常的问题。它们会在模式和输出中给像grep&34；这样的东西带来问题，因为grep(和许多其......
2020-5-30 6:7
谷歌今天宣布，计划在2020年7月12日发布Chrome84，在今年夏天在Chrome中启用其新的反垃圾通知系统。
这个Chrome组件在内部被称为更安静的通知权限UI，它的工作原理是阻止网站显示通知请求，通知请求隐藏在Chrome地址栏的图标下(在桌面上)或工具栏下(在移动设备上)。
谷歌在1月份首次发布了更安静的......
2020-5-29 15:37
这是“Linux Sucks”2020年的一期--最初发布于2020年5月28日。如何支持、阅读、收听和观看伦杜克期刊：http://www.lunduke.com==由==.