如何评价腾讯元宝桌面端使用 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恰恰相反,起码最近二三十年,程序员并不是技术积累岗位。 我...
Copyright © 2012-2023 某某博客 版权所有ICP备案编:琼ICP备88889999号