欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
独立程序员
来自开放百科 - 灰狐
独立程序员
成为一个独立程序员,最好成为技术、产品、设计、运营的全才 :)
目录 |
思路
技术
产品
设计
运营
程序员
图集
链接
分享您的观点