欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Redis: A persistent key-value database with built-in net interface written in ANSI-C for Posix systems.
is pretty fast!, 110000 SETs/second, 81000 GETs/second in an entry level Linux box.
