#二进制
Idiomatic Rust? Implementing binary search (part 2)(shane-o.dev)
2021-6-13 8:51这是原始文章的后续行动，我看几种Wathsto提高了我的二进制搜索的生锈实施 - 重点删除＆＃39;错误＆＃39;并使它成为＆＃39;惯用＆＃39;尽可能。
我在第一个与中间值和高/低光标之间的比较相关的第一篇文章中收到的最常见的反馈。
在我的原始推文中（甚至在第一篇文章之前）我介绍了通过生锈＆＃39; s匹配......
SeL4 on RISC-V Verified to Binary Code(microkerneldude.wordpress.com)
2021-5-5 20:55
2020年6月20日我们宣布，世界上第一个操作系统（OS）内核具有机器检查的实施正确性证明，现在还针对RV64架构进行了验证，使其成为RISC-V的第一个正式验证的操作系统。我们很高兴地宣布，此验证现已扩展到可执行的二进制文件，这意味着在处理器上运行的机器代码被证明是对内核规范进行正确的。 RISC-V是实现这一目标......
Eytzinger Binary Search(algorithmica.org)
2021-4-5 18:57本教程松散地基于Paul-Virak Khuong和Pat Morin为比较的搜索阵列布局的46页纸张，并描述了通过在缓存友好中重新排列排序阵列的元素来执行有效二进制搜索的一种特定方式方法。
我们简要介绍处理器架构中的相关概念;如果您想更深，我们建议您阅读原始2015纸，以及这些文章：
我们的简约实现仅限〜15......
2021-3-30 17:31
我们知道你在想什么：还有另一种标准。在JSON，协议缓冲区，MessagePack和数十种其他格式的世界中，为什么重新发明轮子？
在Rainway，我们将视频游戏流传输到客户端应用程序。每秒60帧，需要每16毫秒传送视频和音频数据。 Gamepad，鼠标或键盘输入必须处理并将其流回到远程主机，实时所有。对我们来说，......
2021-1-23 16:5
＆lt;-其他新闻GitHub今天我们发布了Deno 1.7.0。此版本包含许多新功能，一些稳定性以及对现有API和工具的一些重大改进。
如果您已经安装了Deno，则可以通过运行deno upgrade升级到1.7。如果是第一次安装Deno，则可以使用下面列出的方法之一：
在继续阅读之前，请考虑填写Deno调......
SymQEMU: Compilation-based symbolic execution for binaries(s3.eurecom.fr)
2021-1-23 13:50美国加利福尼亚州圣地亚哥，网络和分布式系统研讨会（NDSS 2021）的议事录符号执行是一种用于软件分析和错误检测的强大技术。基于编译的符号执行是最近提出的一种形式，它已经显示出可以在源代码可用时显着提高符号执行的性能。我们展示了一种新颖的技术，可实现基于编译的二进制符号执行（即无需源代码）。我们的系统SymQEMU......
SymQEMU: Compilation-based symbolic execution for binaries(www.s3.eurecom.fr)
2021-1-20 20:1美国加利福尼亚州圣地亚哥，网络和分布式系统研讨会（NDSS 2021）的议事录符号执行是一种用于软件分析和错误检测的强大技术。基于编译的符号执行是最近提出的一种形式，它已经显示出可以在源代码可用时显着提高符号执行的性能。我们展示了一种新颖的技术，可实现基于编译的二进制符号执行（即无需源代码）。我们的系统SymQEMU......
Glasgow Haskell Compiler 9.0, supporting linear types(discourse.haskell.org)
2020-12-31 2:49
GHC团队非常高兴地宣布推出GHC 9.0.1系列的第一个候选版本。 源代码和二进制发行版可在通常的位置获得。 在难以找到针对关键健全性错误＃17760的性能中立修复程序后，此候选发布比预期晚很多。 有关解决方案的详细信息，请参见迁移页面，尤其是如果您是当前使用touch＃primop或Foreign.Foreign......
Compile Elixir applications into single executable binaries, with Bakeware(www.poeticoding.com)
2020-10-23 2:54
BAKWARE是一个新的奇妙的工具，是在一个周末为SpawnFest 2020而构建的，它将一个药剂、一个风景或一个凤凰应用程序编译成单一的可执行二进制文件(是的，就像Go-Lang！)。分发我们的应用程序非常有用，特别是当它们是命令行工具或Scen应用程序时。
对于大多数Phoenix应用程序部署来说，这个工具可能......
Computation of a 30750-Bit Binary Field Discrete Logarithm(eprint.iacr.org)
2020-10-7 8:4330750位二进制域离散对数Robert Granger和Thorsten Kleinsung以及Arjen K.Lenstra和Benjamin Wesolowski和Jens Zumbragel的计算摘要：本文报道了有限域$\mathbb{F}_{2^{30750}}$的离散对数的计算，大大打破了由$\mathb......
2020-9-20 10:17
下载PDF摘要：反汇编二进制代码很困难，但对于提高二进制软件的安全性是必要的。在过去的几十年里，对二进制反汇编的研究已经产生了许多工具和框架，这些工具和框架已经提供给研究人员和安全专业人员。这些工具采用各种策略，赋予它们不同的特性。然而，缺乏系统性阻碍了该领域的新研究，并使选择正确的工具变得困难，因为我们不了解现有工......
2020-9-17 18:36
你有没有羡慕过分配公用设施是多么容易呢？或者，也许您的脚本变得过多，并且遇到了需要特定于平台的代码的库的障碍？或者那个OTP版本看起来很容易发布，但不知何故，运行untar正好有足够的摩擦让人抱怨你使用长生不老药。
BAKWARE通过扩展MixRelease来解决这些问题，使其能够将Elixir项目转换为可复制和直接......
Shrinking a Kotlin Binary by 99.2%(jakewharton.com)
2020-8-26 14:39我们会讲到收缩，但首先让我们激励一下有问题的双星。三年前，我写了一篇名为“隐藏的改变以拉动请求”的帖子，内容包括将重要的统计数据和差异作为评论推向公关。这避免了影响二进制大小、清单和依赖关系树的更改带来的意外。
显示依赖关系树使用Gradle的依赖关系任务和diff-U0来显示上次提交后的更改。该帖子中的示例将Kot......
Everything Old Is New Again: Binary Security of WebAssembly(www.usenix.org)
2020-8-20 6:24我们在USENIX断言黑人的生命很重要：阅读USENIX关于种族主义和黑人、非裔美国人和非洲侨民融入的声明。
WebAssembly是一个日益流行的编译目标，旨在通过严格分离代码和数据、强制类型并限制间接控制流，在浏览器和其他平台上安全可靠地运行代码。不过，内存不安全的源语言中的漏洞可能会转化为WebAssembly......
Compiler numbers, and why they don't matter(briancallahan.net)
2020-8-7 2:18使测量二进制大小变得如此困难的原因之一是，编译器可以在幕后执行很多可能导致二进制大小不同的工作，这也是为什么，尽管将其用作SnakeQR的粗略度量，我并不认为它是一个比较度量。对我们来说幸运的是，我们再也不用太担心二进制文件的大小了。不过，让我们来比较一下，只是为了好玩。
我们将比较clang 8.0.1和clang......
2020-7-20 10:51
最常用的二进制搜索变体最早由Hermann Bottenbruch于1962年发表，此后一直没有明显变化。下面我将描述几个性能更好的新型变种。最值得注意的变体是四进制二分搜索，它对32位整数的执行速度最高可提高25%。
C语言的源代码实现是可用的，许可使用GPL3(限制较少的许可可以协商)，并与基准测试例程捆绑在一起......
Building binary deb packages: a practical guide(www.internalpointers.com)
2020-6-2 22:33
DEB文件是包含数据的存档。它标有.deb扩展名，用于轻松分发和安装Linux Debian及其衍生产品的程序。当您的应用程序需要处理其他依赖项、与桌面集成、运行安装前和安装后脚本等时，deb文件非常方便。
在这个快速教程中，我想向您展示如何从头开始生成一个Deb包，该包将在目标系统中安装一个二进制可执行文件。让我们......
2008-5-1 17:37
数字玩具是一组交互式无窗口虚拟玩具，这些玩具由线条、肌肉和物质组成。由 Soda 原创，基于简单的物理定律，这些玩具展现出了复杂的行为和令人惊异的生命特点。
虽然Binary toys 只是一款仅有150kb 的小软件，但我把它当成是自己硬盘上最小的一款单机游戏，因为它们的互动性确实很强，很多结果是无法预料确又......