#实现
Maddy: Composable all-in-one mail server(maddy.email)
2021-6-19 12:39Maddy Mail Server实现运行E-MailServer所需的所有功能。 它可以通过SMTP（工作为MTA）发送邮件，通过SMTP（适用为MX）并存储消息，并通过IMAP提供对其访问的信息.IN，它实现了必要的辅助协议，该协议保留电子邮件合理安全（DKIM， SPF，DMARC，DANE，MTA-STS）。......
Rust 1.53(blog.rust-lang.org)
2021-6-17 23:30
铁锈团队很乐意宣布新版Rust，1.53.0。 Rust是一种专动图的语言，它能够赋予每个人来构建可靠的更丰富的软件。
如果您有通过Rustup安装的先前版本的RUDER，则获得RUST1.53.0和：
如果您已将其＆＃39;您已经拥有它，您可以在我们的网站上播放RustupFrom，并在Github上查看1.......
2021-6-6 23:48
正确实现分布式算法，例如PaxoS和RAFT共同协议是众所周知的难以到期的固有的非etermism，例如由网络设备的消息传播。 Stationight是一种锈病演员库，旨在通过提供嵌入式型号检查器，用于探索系统行为（演示）的UI和轻量化器运行时来解决此问题。它还具有可用于线性化学测试仪，可以在模型检查器中运行，以获得......
Implementing a LLVM Micro C compiler in Haskell(blog.josephmorag.com)
2021-6-5 0:56在本系列中，我们将探讨如何在Haskell中为LLVM的小型C子集编写编译器。我们的语言Micro C，基本上是真实C的小子集。我们有基本的数字类型，真正的BOOL类型，指针和结构。在系列末尾，我们＆＃39; LL有一个漂亮的可执行文件，MCC（Micro C编译器），它需要一个.mc源文件并生成可执行文件。
K......
2021-5-15 14:24
大型FPGA很棒。 他们正在做他们始终完成的，实现AI，信号处理，军事应用等。然而，有一个新的可能性......
2021-5-15 6:38
我写了互惠的，因为在RustData依赖行为中没有找到Div-By-By-By-By-By-By的良好实现。为什么我关心？
喜欢荒谬的鱼在他对M1和Xeon的整数分裂的评论中，某些除数（当舍入一小部分时丢失了大量精确性的人（N / 2 ^ K \））需要不同，较慢，代码经典实现的路径。两种的力量也是通常的，但至少转......
How one founder realized the potential of sustainable energy stored deep below our feet (techcrunch.com)
2021-5-9 3:56
凯西告诉我们所有关于她如何在X的梦想中最终结束，然后决定从中建立自己的公司，从地上建造自己的公司，以解决她看到明显需要的解决方案。她还解释了虽然在谷歌的Moonshot部门在世界上发现了一些自然冒名综合征，但她们在世界上一些最聪明的人解决问题的情况下，她也是如何让她的自然倾向是如何相信，她可以通过一个挑战来解决她所面......
Happy Hacking: Music Implementation in NieR:Automata(www.platinumgames.com)
2021-5-7 17:0
你好！我是Masami Ueda，Platinumgames的音乐作曲家，这里有关于我的一些工作：自动机构。我没有为Nier：Automata组成音乐，但我确实实施了它 - 这意味着我负责如何在游戏中历史背景音乐的技术方面。
顺便说一句，不夸耀，但尼尔：自动机构音频团队已被提名为2017年CEDEC的声音奖。 （C......
Shifting the impossible to the inevitable: A Private ARPA user manual(benjaminreinhardt.com)
2021-5-7 13:33
展望历史的成功异常值是一个很好的开始。在挖掘为什么DARPA工作后，我问了后续问题：你怎么能遵循一个与创造它的世界的狭窄路径狭窄的道路？
这件作品是我的答案。它既介绍并提供了一种路线图，以实现杂交类的/非营利组织，以利用赋权的计划经理和对牧羊人技术的外化研究，这些技术对于学术界来说也是对创业和过于工程的重大研究;在......
From Rust to Spark: Formally Proven Bip-Buffers(blog.adacore.com)
2021-5-6 18:40
我遵循嵌入式生锈群落的演变，特别是詹姆斯门斯的工作。基于BipBuffers，引起了引起我注意的项目是BBQueue，单一的生产者，单一消费者，锁定，线程安全队列。
此库的主要用法是异步处理数据进入或超出外设的数据，特别是在使用直接内存访问（DMA）时。
当从外围设备接收数据时，说明以太网控制器时，用户必须提供一......
Mal – Make a Lisp(github.com)
2021-4-26 10:26
每次实施MAL都分开了11个增量，独立（和可测试的）步骤，该步骤规范了LISP的概念。最后一步能够自托管（运行MAL的MAL实现）。请参阅Make-A-Lisp ProcessGuide。
每个make-a-lisp步骤都有一个相关的架构图。元素突出显示该步骤的新功能是Red.re是步骤a的最终图：
如果您......
An easy to use MTP implementation for your next embedded Linux project(www.collabora.com)
2021-4-14 5:23
您是否知道您可以使用嵌入式设备上的最小依赖性运行许可的MTP实现？这里＆＃39;关于如何在Rock PI 4上轻松运行CMTP响应器的逐步指南或配备UDC的任何其他板。
重新回顾：在本系列的第1部分中，我将您介绍到USB小工具的概念，它们的ConfigFS组合界面，可用的OpenSource工具和基本系统集成。在......
How to implement a hash table (in C)(benhoyt.com)
2021-3-26 20:18摘要：如何使用C编程语言实现简单的哈希表数据结构的说明。我简要展示了线性和二进制搜索，然后设计并实现了哈希表。我的目标是表明哈希表内部没有可怕，但 - 在某些约束范围内 - 很容易从头开始构建。
最近，我写了一篇文章，它比较了一个简单的程序，这些程序计算了各种语言的单词频率，以及提出的一些东西是C如何在其标准库中没......
The Implementation of HDB, the _hyperscript debugger(denizaksimsek.com)
2021-3-18 4:460.0.6的_hyperscript超文本UI脚本语言引入了HDB，交互式调试环境。在本文中，我讨论了如何轻松地实现Hyper-FlexiCred Runtime如何实现HDB的第一个版本。但首先，我会向您介绍HDB的样子：
在缺记runtime（这是树行走解释器）中，每个命令具有execute（......
No Us Without You: elifdef and elifndef(thephd.github.io)
2021-3-15 22:42
C会议在不到2个小时前正式结束。我会写下所有关于在后面的帖子中发生的事情，但我想专门讨论周一在会议期间发生的事情，提案N2645。
N2654是Melanie Blower的#elifdef和#elifndef，在预处理器中的长站孔和恒定的一致性脚。即使我遇到过这种痛苦，我也很感谢梅兰妮把它推向前进。我们往往不得不......
Implementing Parallel Copy_If in C++(www.cppstories.com)
2021-2-25 2:14
在有关十二种过滤元素的博客文章中，我只提到了代码的串行版本。但是如何利用并发呢？也许我们可以抛出更多线程和异步任务并更快地完成复制？
例如，我的机器上有6个内核，因此很高兴看到，例如顺序复制速度提高了5倍？
在C ++ 17中，我们有并行算法，因此让我们尝试使用std :: execution :: par调用s......
How Swift achieved dynamic linking where Rust couldn't (2019)(gankra.github.io)
2021-2-21 7:48对于那些不关注Swift开发的人来说，ABI稳定性一直是其最雄心勃勃的项目之一，并且可能是其定义功能，它最终在Swift 5中发布了。结果是我发现无休止地令人着迷，因为我认为Swift在没有太多妥协的情况下将ABI稳定性的概念推到了比任何一种语言都更高的水平。
因此，我决定写一堆Swift ABI有趣的高级细节。这......
C++11 Tuple Implementation Details (2012)(mitchnull.blogspot.com)
2021-2-6 20:23Warning: Can only detect less than 5000 characters
非递归元组实现背后的基本思想是，元组元素存储在TupleLeaf基类中，但是递归实现使用深层次的类层次结构，而我们将使用多重继承。用伪代码：
模板＆lt; typename T0，typename T1，...，t......
Implementing Regular Expressions(swtch.com)
2021-1-29 15:36介绍如何使用有限自动机来实现正则表达式匹配，以及为什么标准回溯实现不是一个好主意。
具有子匹配跟踪的NFA：Perl规则| POSIX负责Jan Burgy编写的字节码机器和x86汤普森代码的音译。
如果您想阅读肯·汤普森（Ken Thompson）的1968年原始论文（请参阅下文），则希望随身携......
T * sin (t) ≈ Christmas tree (2013)(github.com)
2020-12-26 8:5
很好奇要用js实现。 当前结果在这里：新年快乐2020!。 祝愿您一切顺利，事业蒸蒸日上，并努力做自己喜欢的事！ 这棵树是由两个螺旋形的。 这11行代码在螺旋上呈现了一行。 它包括3d投影和背景阴影。 与此Wiki图像几乎相同： 编辑：谢谢reddit。 在您的帮助下，我们使它几乎完美。 你太棒了！ @Yazu......
T * sin (t) ≈ Christmas tree (2013)(github.com)
2020-12-26 4:13很好奇要用js实现。 当前结果在这里：新年快乐2020!。 祝愿您一切顺利，事业蒸蒸日上，并努力做自己喜欢的事！ 这棵树是由两个螺旋形的。 这11行代码在螺旋上呈现了一行。 它包括3d投影和背景阴影。 与此Wiki图像几乎相同： 编辑：谢谢reddit。 在您的帮助下，我们使它几乎完美。 你太棒了！ @Yazu......
AlphaFold: The Making of a Scientific Breakthrough(www.youtube.com)
2020-12-1 2:50
DeepMind的科学家和工程师团队的内幕，他们创建了AlphaFold，这是一种被认为是“蛋白质折叠”解决方案的AI系统，...
Raspberry Pi 4 V3DV graphics driver achieves Vulkan 1.0 conformance(www.cnx-software.com)
2020-11-25 16:40
就在几周前，我们根据Igalia在10月底举行的2020年开源峰会上的演讲，报告了Raspberry Pi 4 Vulkan驱动程序的状态和未来计划。
当时，用于Raspberry Pi 4的V3DV Vulkan Mesa驱动程序已合并到Mesa中，在Kronos一致性测试套件（CTS）中通过了100,000多个......
2020-11-13 19:15
维克多·格洛弗表示，他不想受到关注。至少不是为了这个。我相信他。
这位美国国家航空航天局(NASA)宇航员在最近的一次采访中承认，我希望没有什么可谈的，但这不是我们生活的世界。
我们生活的时代是2020年，在这个时代，美国再次因种族紧张而四分五裂，5月乔治·弗洛伊德(George Floyd)遇刺事件引发了紧张局势，......
2020-11-8 18:49
搜索你想知道的东西，我们会把你和那些能分享真实世界的见解、建议以及他们如何取得你想要的成功的人配对。
计划通话时间和预计通话时长(基于专家的每分钟费率)。
在我们的移动应用程序或网站上提供专用电话号码(免费)。收费将根据通话的实际时长进行调整。
搜索你想知道的，我们会把你和那些能分享真实世界的见解、建议以及他们如何取......
2020-11-5 20:24
卡内基梅隆大学教授兰迪·鲍施(1960年10月23日-2008年7月25日)在该大学做了他的最后一次演讲。2007年18日，在一场人满为患的McConomy审计师面前……
MemgraphDB: Why and how we implemented Bolt Protocol v4(memgraph.com)
2020-10-30 2:39
今天，我们自豪地宣布发布Memgraph 1.2，它显著提高了Memgraph与更广泛的图形生态系统的兼容性。这使得开发人员和数据科学家更容易使用他们喜欢的工具来使用Memgraph。
此版本中最大的变化之一是增加了Boltv4和v4.1支持。
在这篇文章中，我们将探索Bolt协议到底是什么，它给我们带来了什么，以及......
Dropbox Goes Virtual (remote) First(blog.dropbox.com)
2020-10-14 7:35
Dropbox一直将创造力和协作放在首位，将其作为建立繁荣业务的关键，我们的办公空间就是为此而设计的。虽然我们开发的软件可以帮助人们在任何地方工作，但我们的大多数员工每天都会来到办公室。
今年突然转向远程工作，这让我们和其他所有人都感到不安。但幸运的是，我们的产品帮助我们实现了相当无缝的过渡，也帮助了其他人-我们今年......
How to Build a Highly Available System Using Consensus(bwlampson.site)
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技术允许运行在不同设备上的两个浏览器相互连接并交换数据......