Type Systems You Might Not Know (But Will Love)

Lobsters Hottest 事件
type-systems conference ai coding sessions developer-event tech-talk

摘要

本文列出了2026年北美世界大会即将举办的多个会议，重点关注类型系统、AI驱动编程和软件工程实践等主题。

<p><a href="https://lobste.rs/s/89pcze/type_systems_you_might_not_know_will_love">评论</a></p>
查看原文
查看缓存全文

缓存时间: 2026/09/15 07:11

# 你可能未曾知晓（但一定会爱上的）类型系统 来源：https://www.wearedevelopers.com/videos/100067-type-systems-you-might-not-know-but-will-love ### 该主题的后续会议 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1709-when-humans-stop)World Congress 2026 北美站 2026年9月24日 · 16:10–16:40 户外舞台 #### 当人类停止编写代码：重新思考语言、编译器与责任 Simon Auer flutter vienna meetup 组织者，marqably 公司首席执行官 Simon Auer 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1706-honey-look-i-vibe)World Congress 2026 北美站 2026年9月25日 · 16:50–17:20 1号舞台 #### 亲爱的，快看！我通过"氛围编程"做出了一个操作系统！ Ian Smith 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1401-ai-that-argues-with)World Congress 2026 北美站 2026年9月24日 · 15:10–15:20 户外舞台 #### 会自我争论的AI：构建能捕捉自身错误的自辩系统 Shreya Singhal Claritev 公司人工智能应用科学家 Shreya Singhal 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1437-the-spectrum-of)World Congress 2026 北美站 2026年9月25日 · 12:55–13:25 7号舞台 #### 智能体编程的光谱：从氛围编程到高质量软件工程 YK Sugi Eventual 公司开发者体验经理 YK Sugi 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1948-file-systems-are-the)World Congress 2026 北美站 2026年9月24日 · 16:50–17:20 7号舞台 #### 文件系统是AI智能体的新基础原语 Andrew Wong Box 公司高级开发者关系工程师 Andrew Wong 开放会议 (https://www.wearedevelopers.com/events/world-congress-2026-north-america/sessions/1742-there-s-no-dark)World Congress 2026 北美站 2026年9月25日 · 14:50–15:20 2号舞台 #### 没有更佳的软件验证器，就没有黑暗工厂 Dexter Horthy HumanLayer 联合创始人 Dexter Horthy

相似文章

软件工程处于拐点

Hacker News Top

Google I/O 2026 上的一场研讨会，利用系统思维理解AI驱动的软件开发如何影响开发者生态系统和软件演化。

PyCon US 2026 类型峰会回顾

Lobsters Hottest

本文回顾了 PyCon US 2026 类型峰会，详细介绍了关于 Python 类型化进展的关键演讲，包括 PEP 提案、AI 辅助类型检查实验以及类型委员会问答环节。