#实现

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......
The Recovering Programmer(prog21.dadgum.com)
2020-9-15 14:10
我在2007年写了这篇文章的初稿,我想标题应该是我博客的名字。但我意识到,我有一堆积压的更多科技含量高的话题,我想把它们从我的系统中去掉。我想我终于做到了,所以我要回到我计划写的原始条目。 当我还是个孩子的时候,我想我会成为一名漫画家--我总是在画画--或者是一名小说家。一些艺术性的东西。当我在20世纪80年代痴迷于......
2020-9-15 0:33
在网上取得成功不是一朝一夕的事。如果你想做到这一点,你至少需要承诺几年的时间来实现你的目标。看看三年规则如何帮助你在长期项目中保持动力。
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端口指定重定向端点。如果没有在代码中指定......
Implementing Ishido in Racket(alex-hhh.github.io)
2020-7-6 20:20
…。其中我们尝试使用球拍图形工具从90年代重新创建一场比赛,并且我们设法在不到1000行代码中做到了这一点。 与其解释游戏,不如展示游戏的玩法。在下面的视频中,有效的瓷砖是用他们的分数来标记的,但这在实际游戏中会被认为是作弊。然而,这里的目标是编写游戏程序,而不是玩它。 顺便说一下,如果你赶时间,你可以直接去游戏的源......
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-2 23:15
根据周一发布的一份政府报告,美国国防部不幸落后于其升级IT基础设施以支持更新的IPv6协议的计划。 目前的努力是国防部在过去17年中第三次尝试升级其基础设施以支持IPv6。 前两次尝试分别发生在2003年和2010年。2003年的努力被放弃,国防部以安全风险和缺乏受过IPv6培训的人员为由,而第二次尝试也被放弃,同样......
2020-5-29 14:50
虽然使用SIMD指令将字符串转换为整数值是可行的,但此应用程序是不切实际的。对于典型情况,当解析单个值时,标量过程-如标准的atoi或strtol-比任何花哨的SSE代码都要快。 然而,SIMD程序可以非常快速地并行转换几个数字。只有一个";但";:输入数据必须是规则和有效的,即输入字符串必须只包含ASC......
2020-5-29 3:25
有时一个好的想法会有一个糟糕的实现,这通常会导致讨论变成只看到糟糕实现的人和只看到好想法的人之间的争吵。有时,当谈到智能设备或物联网(又名垃圾)时,似乎更像是一如既往。想想不那么不起眼的智能肉类温度计吧。不起眼的肉类温度计是一根金属棒,一端有数字,打开烤箱门后,你可以把它插入烤肉中,同时尽量不让你的脸融化。我有一个稍......
2020-5-27 23:31
我收到了很多赞扬SourceHut简单设计和轻量级页面1的电子邮件,但我从一个特殊的用户群体那里收到了令人惊讶的积极反馈:盲人社区。 对于许多软件团队,特别是Web开发人员来说,可访问性是一项极其繁重的任务。许多公司开具的支票上都有令人不安的数字为零的支票,以完成这项工作。在您的DOM上散布ARIA标记以注释具有其用......
2020-5-25 23:15
欢迎使用在OS X、Windows和Linux上运行的Smalltalk-80系统的蓝皮书C++实现的My";by the Bluebook";C++。自从第一次在1981年8月的Byte杂志上读到关于Smalltalk的内容以来,我一直对它很感兴趣。那时,我们所有的都是运行速度很慢的8位计算机,4K内存......
2020-5-11 2:19
当今计算机体系结构的广泛多样性需要一种新的软件开发方法。OpenMM是一个分子力学模拟框架,允许单个程序在各种硬件平台上高效运行。 当今的计算机体系结构正处于快速发展和多样化的时期。十年前,大多数程序都运行在传统的单核处理器上,能够一次执行一个线程。在过去的十年里,那些简单的CPU已经被一系列多核CPU、1专用加速器......
2020-5-6 5:32
OpenRAMAN是一款开源的、100%免费的拉曼光谱仪,由专业光学工程师设计,以最低的成本将拉曼光谱仪引入您的实验室,而不会牺牲性能。 我们目前提供专为教学拉曼光谱而设计的入门版光谱仪,我们将很快发布性能版版本,该版本以较低的成本实现了经过测试的12厘米-1的分辨率。 这个项目是由脉冲星工程非营利组织发起的。它严格......
2008-12-16 9:48
据国外媒体报道,约翰·;艾菲莱斯·;沃特金斯在1900年12月的《妇女之家(Ladies’Home Journal)》杂志上,发表了他收集整理的对美国和世界在20世纪结束时的预测。在《未来100年会发生什么变化?》一书中,沃特金斯走访了“最大的几个研究所,向最有远见卓识和非常谨填的人请教”,询问他们在......