公司动态
-
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架？
来源： ｜最近更新： 2025-06-26 06:45:15说明腾讯实现了我曾经的几个预测 预测1，electron会普...
-
如何系统地学习Lean语言？
来源： ｜最近更新： 2025-06-26 07:30:15我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...
-
为什么中国开发不出流行的编程语言？
来源： ｜最近更新： 2025-06-26 07:10:14巴西的编程语言都占领全世界了，中国怎么就不行呢？ 转自公众号...
-
程序员明明是技术积累岗位，为什么年龄越大反而可替代性变高了？
来源： ｜最近更新： 2025-06-26 06:50:15恰恰相反，起码最近二三十年，程序员并不是技术积累岗位。 我...