博客

用 OCaml 实现贝叶斯程序合成（英文）
This post aims at reproducing some results from Saad et al.’s paper on Bayesian synthesis1 in OCaml, an industrial strength functional programming language. A complete notebook for the code in
王迪
11月 30, 2022 3 分钟阅读时长
随便聊聊：贝叶斯概率编程
人们近年来在人工智能领域取得的进展，除了层出不穷的新算法，也
王迪
10月 30, 2022 4 分钟阅读时长
随便聊聊：代数程序分析
本文参考了 Zachary Kincaid 和 Thomas Reps 在 CAV 2021 上的关于代数程序分析（Algebr
王迪
10月 2, 2022 5 分钟阅读时长
随便聊聊：静态资源分析
简单地说，程序的资源分析（Resource Analysis）
王迪
9月 10, 2022 5 分钟阅读时长
LaTeX 中的代码高亮（英文）
Tool link: Emacs Syntax Highlighting for LaTeX (ESH). The tool does not really require understanding Emacs: one just needs a working installation! The tool seems well tested on GNU/Linux; however,
王迪
7月 12, 2022 1 分钟阅读时长
随机游走的停时分析（英文）
In this post, we consider one-dimensional random walks: assume that $S_n = \sum_{i=1}^n X_i$ is a random walk on the integers with initial value $S_0 = 0$, where $X_i, i
王迪
最近更新于 9月 14, 2021 3 分钟阅读时长
使用 FFT 加速动态规划（英文）
Problem link: Counting Road Networks | HackerRank. You are supposed to count the number of connected undirected labeled graphs with $n$ vertices. Algorithms with $O(n \log^2 n)$ time complexity are
王迪
11月 3, 2018 2 分钟阅读时长
非确定性的解释器（英文）
Suppose you have a toy specification with built-in nondeterminism, and you want to generate answers with respect to the specification: type exp = EInt of int | EPair of exp
王迪
2月 8, 2018 2 分钟阅读时长