#programming 每日趋势报告

通过从零开始重制你喜爱的技术来掌握编程精髓。

Rust编程语言

Julia 编程语言

🤖 专为分布式自主行为与动态工作流设计的Elixir自主智能体框架。

用于开发可维护软件的简单、快速、安全编译型语言。在零库依赖条件下自编译时间小于1秒。支持自动将C代码转换为V代码。https://vlang.io

♞ lichess.org：永久免费、无广告、开源的国际象棋服务器 ♞

Enzyme自动微分器的Julia语言绑定

🤘 开源编程字体

ZIO —— 面向Scala异步与并发编程的类型安全可组合库

Agda是一种依赖类型编程语言/交互式定理证明器。