欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
独立程序员
成为一个独立程序员,最好成为技术、产品、设计、运营的全才 :)
UI+Design+Programming