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