清单里的生活

在写完博士论文之前,我就非常期待写完后的生活,一杯两杯三四杯,酒酣胸胆。还列了一个清单,很长,大致是重新享受和品位生活类:猛看各国杂片电影,猛翻落下的一八年读物,猛逛巴黎博物馆,猛游欧洲周边小镇二线小城,猛健身好男腹六块,猛补觉青春无极限,猛写摇晃文坛的绝世小说,猛喝酒看球潇洒走一回,在夏雨后闻土腥味儿,点一根烟,在山顶让风撩拨刘海和裤裆,弹掉烟头,携一身技能笑傲回归,年薪百万……不管怎样,最后我蜕变成一个新世纪有温度的猛男。

Read More

Frama-c 架构

架构组成

Read More

TODO

interviews

  • [x] 16/07/2018 Paris
  • [ ] 20/07/2018 London

Read More

OCmal - 99 Problems (13-21)

Read More

OCmal - 99 Problems (1-13)

Read More

世界杯

戈丁的球鞋钉子掉了,于是咯噔了一下。

C罗 伸了个懒腰,变成了 l罗。

最近一直在看世界杯,这届世界杯足够精彩,传统的强队德国西班牙都在小组赛阶段未能出线。的确,德国这次进攻没有打出来,西班牙一直在后场。足球是一场无法选择的不确定游戏,前一脚决定着后一脚,所以从开球,就已经注定。

Read More

OCmal - module

Basic usage

In OCaml, every piece of code is wrapped into a module. Optionally, a module itself can be a submodule of another module, pretty much like directories in a file system-but we don’t do this very often.

Read More

OCmal's benefits

1. mutable data structures

The OCaml standard library provides several mutable data structures, including strings, arrays, hash tables, queues and stacks.

Read More

OCmal - GC

Memory

We know that a program is a sequence of commands manipulating variables. The values of the variables are stored in the memory. The memory consists these kinds:

Read More

OCmal - sort

1. insertion sort

1
2
3
4
5
6
7
8
9
10
11
let rec insertionSort lst =
match lst with
| [] -> []
| x :: nl -> insert x (insertionSort nl)
and insert ele ls =
match ls with
| [] -> []
| x :: nl -> if ele < x
then ele :: x :: nl
else x :: insert ele nl
;;

Read More