信念传播(Belief propagation)
本文为了理清贝叶斯网络， 信念传播以及因子图之间的关系。
对于inference problems,信念传播(BP)是一种重要的解决方法
条件概率
条件概率就是求在B发生的概率下A发生的概率\(P(A|B)\) 。 \[
P(A|B) = \frac{P(A \cap B)}{P(B)}
\]
...
org使用入门
Posted on
新的一年打算使用org mod 做日程计划。Good Luck~
我目前使用的版本是spacemacs。
原教程: https://www.youtube.com/watch?v=PVsSOmUB7ic
1. Create nodes and subtrees
创建一个org文件：
Create
...
datalog
Posted on
DataLog学习
一直听说用datalog来做程序分析很NB，所以一直想学习他的使用方式。
参考: https://souffle-lang.github.io/tutorial
有向图可达性分析
123456789.decl edge(n: symbol, m: symbol)edge(&quo
...
我为什么很少写安全相关的东西
Posted on
我的专业方向是安全，但是我一般很少写安全相关的东西。 这对我来说依然是一件很矛盾的事情， 为什么呢？
就像一个锁匠，他交给一个陌生人开锁，在不了解这个人的情况下，不确定他学会不会去干坏事。
最近搭了一台服务器，好多exp打来。这些人的exp很可能是从某位师傅文章里直接拿来的。所以我写的安全工具，目前
...
pointer_analysis
Posted on
以南大视频课件为主
Motivation
Introduction to Pointer Analysis 06:50
Pointer Analysis and Alias Analysis 14:50
Application of Pointer Analysis 17:20
Key F
...
论自由
Posted on
我觉得我比谁都热爱自由， 但是这事最不能比较， 因为一旦有比较， 其实你就不自由了。
我不喜欢被任何组织约束，这一点不得不承认克氏对我影响很深。 他的"中观"思想，能够让我保持在一种不加任何评判的观察者状态。我觉得这是一件很科学的事情，最近发现其实很多学科的"科学"根基并不牢靠，或者说并没有彻底弄清
...
教训与感悟
Posted on
凡事提前一点打算， 选择了拖延就选择了心灵受折磨。
所谓成熟，大概就是敢于对自己的行为承担后果。
削减做其他事情的时间只是制造时间变多了的假象，真正有效的是把自己聚起来去解决问题。
保持正念正思维， 把人事都往好处想。
把心量打开，用广阔的视角去看世界， 让自己快乐，也要让别人快乐。
全心全意活在
...
台大深度学习2021-1
Posted on
从上次南大静态分析搞完之后，就说博客再也不写学习笔记了。 于是，我就很久没有更新了...
算了， 还是把博客搞成学习笔记本好了...xD
李宏毅老师的机器学习课程非常的棒，我一定要好好学习....
定义
对于机器学习可以理解成：
image-20210707203503647
其实就是约等于一个
...
xss patterns
Posted on
There are some source code patterns for XSS I should cover
1. unserialize
12345678<?php$tainted = $_GET['input'];$arr = unserialize($tain
...
静态分析之殇
Posted on
0x00 前言
计算机高级语言带来了软件开发的便利性， 其解决的问题是：如何使用更接近人类的交流方式与机器进行交流。 因此不可或缺的是一个从人类阅读的语言到机器阅读的语言之间的一个桥梁。 这个转化过程叫做编译。 在编译过程中，从信息的高级语言形式，到机器码形式我们可以看到还有几层中间语言：AST,
...