Ivan Gavran
订阅
RSS: https://ivan-gavran.github.io/atom.xml
写关于软件正确性、AI、形式化验证及其他技术话题。
暂无文章
登录芦苇
登录后关注作者、收藏内容和参与讨论。
登录 / 注册
热门话题
人工智能
12,865 人关注
AI 会怎样改变日常工作？
产品思考
8,243 人关注
怎样判断一个产品值得长期做？
独立开发
5,917 人关注
一个人如何持续完成作品？
