公告：2025年FOSDEM大会Ada开发者房间
💡
原文英文，约200词，阅读约需1分钟。
📝
内容提要
2025年2月2日，布鲁塞尔FOSDEM大会将举办Ada开发者房间，介绍Ada语言及其生态系统，主题包括压缩编码、液体类型和形式验证等。
🎯
关键要点
- 2025年2月2日，布鲁塞尔FOSDEM大会将举办Ada开发者房间。
- 会议将介绍Ada语言及其生态系统。
- 主题包括压缩编码、液体类型和形式验证等。
- 演讲者包括来自西班牙、比利时、美国、瑞士、德国和法国的专家。
- 将讨论Ada语言的最新动态和应用。
- 包括如何在短时间内开始使用Ada的演示。
- 将展示如何用Ada编写BZip2编码器。
- 探讨Ada和Mini-Ada解决两种语言问题的方案。
- 介绍液体类型、合同和形式验证的理解。
- 讨论Rust语言如何追赶Ada的现状。
- 展示在SPARK中进行密码学的基础构建。
- 涉及多字长算术和并行计算的主题。
- 介绍如何使用Ada开发Ironclad的设备驱动程序。
- 展示AdaBots - 可编程的minetest机器人。
➡️
