欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Ehcache 是一个流行的Java缓存框架,是Hibernate中默认的CacheProvider,目前已被 Terracotta 收购。