通过 Bytecode 计算合约相似度
最近 Forta Foundation 让我帮他们做一个监控机器人，要求给定一个集合的恶意合约（Malicious Contracts），判断当前创造的合约是否与恶意合约集合中的任意一个合约相似。这几天疯狂看了十几篇论文，最终终于比较圆满的完成了这个需求…
准备把博客迁移到 xLog.app
在此之前，我主要使用我自己维护的 Soptlog 来作为我的博客。Soptlog 最开始来自于 Huxpro 老师的开源项目，之后由我进行大量二次开发，实现了包括自适应夜间模式，Medium 类似风格的图片加载（即由模糊变清晰），静态博文加密，以及大量 Ruby 编写的…
Exploratory Data Analysis on Fantom and UNICEF grant applications
这一篇文章是我们为 Open Data Foundation 写的对 Fantom 和 UNICEF 某一段时间收到的 Grant 的申请数据做数据分析。我们发现可以使用一些算法自动鉴别 Grant 的有效性。 In this writing, we will mainly…
记录一次神奇的 ZEIT Debug 经历
事情是这样的，总所周知，因为我的主要博客每次构建的时候会涉及到一些动态内容以及优化，所以它是被 host 在 ZEIT 的服务器上。具体的来说，在构建的时候我会通过脚本启动一个本地 NodeJS 服务器，然后 Jekyll 通过 RPC 来调用指令或的结果。我随机给 NodeJS…
欢迎你的到来，勇敢的 (BRAVE) 访问者
Soptlog 作为我的个人项目，我认为把行业最新的、最先进的技术尽可能快的使用在 Soptlog 上是我的义务之一。幸运的是，我刚好又愿意在这个博客上花费我的一部分时间，所以 Soptlog 才会在非常早期就使用了静态网站博文加密功能，以及在各大操作系统普及系统暗黑模式之前就运…
赛博朋克 2077：我心中的又一精品
2020 年 12 月 10 日，赛博朋克 2077 终于发售了。作为巫师三 10 刷的剧情党来评价一下赛博朋克 2077，我觉得完全超出了我的期待。本以为我已经丧失了对游戏的激情，但赛博朋克 2077 又将这股力量从我内心唤醒了。 我呢，因为是剧情党嘛…
分布式情景下的 Batch Normalization 处理
Batch Normalization (BN) Batch Normalization 的 motivation 大概是这样的。在深度学习过程中，每一层网络都会对输入的数据做一次映射。于是随着网络的不断加深，前面 $n$ 层的网络对输入数据的影响是累加的。所以对于 $n+1…
反向传播算法的数学推导
本文严重参考了 CSDN 反向传播算法（过程及公式推导） 基本定义
在上图所示的简单神经网络中，layer 1 是输入层，layer 2 是隐藏层，layer 3是输出层。我们用上图来阐述一些变量名称的意义：
名称 含…
生活环境升级
最近家里升级了千兆宽带，电信公司带着人来各种装修，又换线又换路由器。我也趁着这波升级换了一波设备，目前感觉非常不错，于是来盘点一下，顺便水一篇博客。 网络线路升级
因为我需要 VPN，而我爸妈不需要，所以之前从光猫分出来接了 2 个路由器，对应两套网络。同时光猫除了解析光信号…
如何计算深度学习优化方法的收敛率
收敛率是什么？ 我们小学三年级学的数值分析告诉我们，如果函数 f(x) 是收敛的，即 \lim_{k \rightarrow\infty}\vert\vert x_k - x^* \vert\vert = 0 ，其中 \lim_{k \rightarrow\infty}f(x_k…
当按下电源后，x86 CPU 的 OS 是如何被启动的？
当 x86 CPU 电源联通后，它的 EIP (The Instruction Pointer) 被硬编码到地址 0xFFFFFFF0，即内存的最后 16 位。这时 CPU 是处于实模式 (Real Mode) 的，所以相当于从 0xFFFFFFF0 开始 CPU…
编写你自己的内存分配器
在这篇文章中我将带着大家实现一个自己的内存分配器。这个内存分配器 十分简单 ，它旨用于帮助大家对操作系统内部的内存分配过程有更深的理解。所以它并不会很高效。简单的说，这个内存分配器 只是能用 (Just works)。 我们主要会使用 C 语言来进行编程。但在编程前…
反馈边问题 NP-Complete 证明
反馈边 （Feedback Arc Set）问题的描述如下。给定一个有向图 G，问是否可以移除小于等于 k 条边使得 G 中没有循环。首先这个问题显然是 NP 问题。即给定移除的 k 条边，我只需要先把这 k 条边移除，然后判断剩下的图中是否有循环就可以了…
子图同构问题 NP-Complete 证明
子图同构（Subgraph isomorphism problem）问题的描述如下：给定两个图 G_1 和 G_2，判断 G_1 是否与 G_2 的一个子图同构。首先假如我们得到了 G_1，G_2 和对应的解（即 G_2 的子图 G_s 使得 G_s 与 G_1 同构…
3 色问题的 NP-Complete 证明
3 色问题 (3-Color) 的描述如下：给定一个图 G，为 G 中每一个顶点涂色，要求每两个相邻的顶点颜色不一致。问是否可以用 3 种颜色完成上面的要求。 首先我们证明这个问题是 NP 问题。显然，若给定一个解，我们只需要遍历每一个节点，检查其与其相临节点的颜色是否一致…
顶点覆盖问题 NP-Complete 证明
顶点覆盖问题（Vertex Cover）的描述如下：给定 <G,k>，其中 G 是一个无向图，问图中是否存在点集 V，\lvert V \rvert <= k， 使得 V 中的每一个顶点覆盖 G 中所有的边。即 G 中每一条边的起点或终点都为 V 中的一个点。以下图为例，<A,B…
分团问题 NP-Complete 证明
分团问题（Clique Problem） 的描述如下：给定 <G, k>，其中 G 是一个无向图，问图中是否存在点集 V 组成一个团，且 \lvert V \rvert <= k。即 V 中的点相互连接？以下图为例。<B,C,D,E> 就是符合条件的一个点集，因为这四个点相互连接…
3-SAT NP-Complete 证明
阅读本篇需要先理解 SAT 问题是 NP 完全的，其主要由 Cook–Levin theorem 证明。有很多非常优秀的资源都对 SAT 的 NP 完全性作了证明，但这里就先省略掉了，还请读者自己参考。以后有时间的话我会补一个我理解的 SAT 证明问题。 **3-SAT (3…