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

关于会议、Scala、GADTs和南特

xvw,xvw.lol,关于技术与编程的法语个人网站与博客。关注
显示原文

2024年3月12日13:33:29的条目,主题为会议、Scala、GADT、南特

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

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

关于作者
xvwxvw.lol,关于技术与编程的法语个人网站与博客。
相关文章
为什么我选择OCaml作为主力编程语言查看相关内容
AI 与设计系统课程完成,9月30日起涨价查看相关内容
用 Astra 开发的时候,最容易犯的一个错误就是你自认为比 Astra 还聪明。 用各种复杂的 Skill,Hooks,Agents.MD 来禁锢了 Astra 的创造力,最后做出来的产品的上限不是 Astra 的上限,而是你的上限。 我开了一个新的 Repo,尝试在几乎没有 Skill 和 Agents.md 的 vanilla setup 下重构一下我的 App,看看有什么不一样。 link查看相关内容