实现
2020-11-5 20:24
卡内基梅隆大学教授兰迪·鲍施(1960年10月23日-2008年7月25日)在该大学做了他的最后一次演讲。2007年18日，在一场人满为患的McConomy审计师面前……
2020-10-30 2:39
今天，我们自豪地宣布发布Memgraph 1.2，它显著提高了Memgraph与更广泛的图形生态系统的兼容性。这使得开发人员和数据科学家更容易使用他们喜欢的工具来使用Memgraph。
此版本中最大的变化之一是增加了Boltv4和v4.1支持。
在这篇文章中，我们将探索Bolt协议到底是什么，它给我们带来了什么，以及......
2020-10-22 9:19
周三，特斯拉公布了2020年第三季度的财务业绩。该公司表示，截至2020年第三季度，GAAP利润为3.31亿美元，这是这家美国汽车制造商连续第五个季度实现盈利。尽管有大流行，但与2019年第三季度相比，这是一个强劲的进步。
特斯拉在2020年第三季度结束时，自由现金流为正14亿美元，现金和现金等价物为145亿美元。特......
2020-10-14 7:35
Dropbox一直将创造力和协作放在首位，将其作为建立繁荣业务的关键，我们的办公空间就是为此而设计的。虽然我们开发的软件可以帮助人们在任何地方工作，但我们的大多数员工每天都会来到办公室。
今年突然转向远程工作，这让我们和其他所有人都感到不安。但幸运的是，我们的产品帮助我们实现了相当无缝的过渡，也帮助了其他人-我们今年......
2020-10-11 16:28
注意：此网页是从单词Original自动转换而来的。格式和图片可能有问题。要查看预期表单，请单击以下链接之一。
更早的版本出现在分布式算法ed中。Babaoglu和Marzullo，计算机科学讲稿1151，Springer，1996，第1-17页。摘要、后记、Acrobat、Word。。Lamport展示了复制的确定......
2020-9-25 12:37
使用声音的WebRTC信令的概念验证。适用于所有带麦克风+扬声器的设备。在浏览器中运行。
附近的设备通过音频音调序列交换必要的会话描述协议(SDP)数据来协商WebRTC连接。协商成功后，浏览器之间将建立本地WebRTC连接，允许通过LAN交换数据。
WebRTC技术允许运行在不同设备上的两个浏览器相互连接并交换数据......
2020-9-21 2:44
互联网上有一些看起来很难解决的主要问题。我们如何防止我们的通信工具在少数动机可能与我们的利益不一致的人的权威下集中化？没有庞大的预算，我们如何建设互联网规模的基础设施呢？面对技术和社会问题，我们能让我们的系统变得可靠和容错吗？
联合的软件系统的关键特征是服务器由独立的、主权的实体控制，并且它们在一个由通信协议和社会协......
2020-9-20 11:51
在过去的几周里，我回顾了Raspberry Pi4上的USB驱动器性能，以及UASP支持对USB驱动器性能的重要性。
这两个帖子都引起了很大的讨论，我想在这篇后续文章中谈到三件事，即：
作为参考，这里是我在这篇文章中测试的所有产品(产品链接指向他们的亚马逊产品页面，从中间上方开始，顺时针方向)：
首先，在上一篇文章中......
2020-9-19 17:1
X7是我用来探索语言设计和解释器的LISP。以下是它的问候世界：
；；定义输入的平方函数(Defn Square(X)(*x x))；谓词for x mod 4==1(Defn is-one-mod-4(X)(=1(%x 4)；；过滤并映射前200个数字(filter is-one-mod-4(map square(......
2020-9-17 5:19
JupiterOne创始人兼首席执行官郑尔康表示：“我们之所以创建JupiterOne，是因为我们看到各组织在日常管理网络资产的安全和合规方面存在差距。”
这家总部位于北卡罗来纳州莫里斯维尔的初创公司于2018年从医疗保健云公司LifeOic剥离出来，通过与亚马逊网络服务(Amazon Web Services)、C......
2020-9-15 14:10
我在2007年写了这篇文章的初稿，我想标题应该是我博客的名字。但我意识到，我有一堆积压的更多科技含量高的话题，我想把它们从我的系统中去掉。我想我终于做到了，所以我要回到我计划写的原始条目。
当我还是个孩子的时候，我想我会成为一名漫画家--我总是在画画--或者是一名小说家。一些艺术性的东西。当我在20世纪80年代痴迷于......
2020-9-14 10:38
Maxima是一种处理符号和数值表达式的系统，包括微分、积分、泰勒级数、拉普拉斯变换、常微分方程、线性方程组、多项式、集合、列表、向量、矩阵和张量。Maxima使用精确的分数、任意精度的整数和可变精度的浮点数产生高精度的数值结果。Maxima可以绘制二维和三维的函数和数据。
Maxima源代码可以在许多系统上编译，包......
2020-9-8 21:17
下载PDF摘要：我们给出了一个在校对助手HOL4中实现树神经网络的方法。它们的体系结构使它们自然适合于以一组公式为定义域的函数的近似。我们测量了我们的实现的性能，并将它与其他机器学习预测器在计算算术表达式和估计命题公式真值的任务中进行了比较。
2020-8-24 3:21
仿真器是一项很酷的技术，它允许用户在另一个系统之上运行完全不同的系统。
仿真器有广泛的应用程序，例如在ARM设备上运行x86程序或在x86 Windows桌面上运行ARM Android应用程序，甚至在Raspberry PI上的仿真计算机/控制台上运行您最喜欢的复古游戏。
仿真整个系统时，仿真器软件需要处理该系统的......
2020-8-22 6:56
如果您曾经摆弄过网络，那么您一定熟悉著名的traceroute工具。它是一个脚本，可以跟踪到主机的路径，并打印它遇到的每一跳的信息。举个例子，如果您运行traceroute kalbhor.xyz，您应该看到如下所示：
❯traceroute kalbhor.xyztraceroute to kalbhor.xyz(......
2020-8-20 0:30
上个月我把我的电子邮件换成了Fastmail。Fastmail的一个有趣之处在于，他们构建了一种名为JMAP的新协议，使用起来比IMAP方便得多。因此，在过去的几天里，我为自己构建了一个有趣的迷你电子邮件功能，以便与JMAP一起使用。
这篇文章的重点主要是给出一个简单的端到端示例，说明如何使用JMAP API，因为我......
2020-8-6 20:11
该存储库还包含由Acidanthera中的其他项目共享的其他UEFI支持公共库。库集的主要目的是为Apple特定的UEFI驱动程序提供补充功能。主要特点：
代码库的早期历史可以在HermitCrabs实验室设置的AppleSupportPkg和PicoLib库中找到。
该库实现了建议在项目内使用的基本安全功能。在N......
2020-8-5 16:20
在成长过程中，彼得·希勒看着他的母亲每天凌晨2点或3点起床，为她的餐饮业务做准备。希勒告诉TechCrunch，对于许多在印尼拥有小食品企业的人来说，“一切都是自己处理的，所以我真的、真的想创建一个系统，这样他们就可以有更好的运营，获得更高质量的生活。”
他的初创公司Wahyoo成立于2017年，旨在帮助名为waru......
2020-8-3 8:6
Pleroma是一款免费的、基于开放协议的联合社交网络服务器。它与GNU Social、Mastodon和许多其他ActivityPub实现兼容。
该项目由几个组件组成：Pleroma是服务器实现，与默认前端PleromaFE捆绑在一起。还提供了其他有用的实用程序，例如ActivityPub中继。
2020-7-10 22:31
几个月前，我发布了Cutlet，这是一个Python库和应用程序，用于将任意日语文本转换为roMaji。
多亏了Unidic，外来词可以选择使用其原始拼写("；cutlet&34；而不是"；katsu&34；)。
尤其是外文拼写功能，这是我在其他系统中从未见过的，在某些情况下，它对正确的拼写很重要。例如，......
2020-7-8 16:32
在ASP.NET核心中，默认情况下启用https。HttpsRedirect中间件类提供执行从http到https的重定向所需的功能。启动时的UseHttpsRedirect扩展方法用于强制执行此操作。默认情况下，此扩展方法发出307临时重定向响应。然后，它使用配置的https端口指定重定向端点。如果没有在代码中指定......
2020-7-6 20:20
…。其中我们尝试使用球拍图形工具从90年代重新创建一场比赛，并且我们设法在不到1000行代码中做到了这一点。
与其解释游戏，不如展示游戏的玩法。在下面的视频中，有效的瓷砖是用他们的分数来标记的，但这在实际游戏中会被认为是作弊。然而，这里的目标是编写游戏程序，而不是玩它。
顺便说一下，如果你赶时间，你可以直接去游戏的源......
2020-6-30 21:44
要做到这一点需要很多方面：海量的测试数据、先进的算法、强大的运营团队、来自投资者的巨额支票、当地的政策支持，仅举几例。在那一天到来之前，这一领域的球员们的大胆主张似乎大多遥不可及。
最近的一项承诺来自Momenta，这是亚洲最有价值的人工智能初创公司之一，也是中国第一家在2018年达到10亿美元独角兽估值的自动驾驶公......
2020-6-29 4:5
我探索了实现指数函数$f(X)=e^x$的几种复杂的逼近技术，包括泰勒级数逼近、拉格朗日插值、切比雪夫插值、Carathéodory-Fejer逼近和MinimMax逼近。这也是对使用这些方法来近似其他函数的更一般的介绍。在此过程中，我详细介绍了每种方法的相关理论，并应用数值分析方法对各种形式的误差进行了导航。我还以......
2020-6-24 3:6
这种无损压缩器在英文文本上的压缩率比通用压缩器高得多。其典型压缩比为15%(输出比特数除以输入比特数)。
压缩是利用OpenAI发布的GPT-2语言模型计算的下一个单词的概率来实现的。它是一个基于变压器架构的15亿个参数的神经网络。它使用LibNC库实现，并在标准PC上运行。
算术编码器生成比特流。通过使用CJK和朝......
2020-6-10 0:37
十年前，该国只有3%的电力来自风能和太阳能，许多人认为这是一种代价高昂的分心方式。
现在，英国拥有世界上最大的海上风能产业，以及去年在约克郡海岸建成的最大的单一风力发电场。
与此同时，该国最大的发电厂德拉克斯(Drax)一直在走一条不同的可再生能源之路。
十年前，它是英国最大的煤炭消费国，但一直在转向压缩木球。
电力......
2020-6-7 6:9
1883年2月，南太平洋铁路为想要向西进军的美国人开辟了一条新的道路。它的横贯大陆的“日落路线”正式建成，直接连接新奥尔良和加利福尼亚州。这条创新的运输线是连接东南和太平洋的第二条横贯大陆的线路，不仅给狂野的西部带来了新的商业，而且改变了移民模式，改变了相对较新的加利福尼亚州。特别值得一提的是，洛杉矶今天的黑人人口受......
2020-6-2 23:15
根据周一发布的一份政府报告，美国国防部不幸落后于其升级IT基础设施以支持更新的IPv6协议的计划。
目前的努力是国防部在过去17年中第三次尝试升级其基础设施以支持IPv6。
前两次尝试分别发生在2003年和2010年。2003年的努力被放弃，国防部以安全风险和缺乏受过IPv6培训的人员为由，而第二次尝试也被放弃，同样......
2020-5-29 14:50
虽然使用SIMD指令将字符串转换为整数值是可行的，但此应用程序是不切实际的。对于典型情况，当解析单个值时，标量过程-如标准的atoi或strtol-比任何花哨的SSE代码都要快。
然而，SIMD程序可以非常快速地并行转换几个数字。只有一个"；但"；：输入数据必须是规则和有效的，即输入字符串必须只包含ASC......