欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
独立程序员
成为一个独立程序员,最好成为技术、产品、设计、运营的全才 :)
可选择安全、区块链、数据库、、编程语言、性能优化等相对独立的咨询和顾问服务,而不是团队项目(企业应用、App开发、游戏等),因为你现在是一个人。