芦苇
发帖子
探索
今天发现最新帖子添加订阅
热门板块
🤖AI💡科技💻开发🧭产品🛠️工具
订阅
关注
下载芦苇 App ↗
我我的
进入阅读器模式

滥用Python模式匹配的“罪行”

Hillel Wayne,Hillel Wayne 的技术博客,关于形式化方法、TLA+ 与软件正确性。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
Hillel WayneHillel Wayne 的技术博客,关于形式化方法、TLA+ 与软件正确性。
相关文章
为什么人们不使用形式化方法?查看相关内容
具身智能的金钱游戏:进展难测、收入催熟与IPO竞速查看相关内容
机器人在哪里思考:端侧推理 vs 数据中心推理查看相关内容