Existential Types
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
2024年后想入坑程序员请注意：千万别碰这些即将被计算机行业淘汰的IT语言！（马士兵）
...
基于 Vim 打造高效 IDE
...
ElixirConf2021-Promox-YimingChen
...
马士兵预测未来3-5年即将被IT行业淘汰的语言，想入坑的程序员一定要注意！
...
2024年后打算入坑程序员的请注意：千万别碰这5种即将被IT行业淘汰的编程语言！【马士兵】
...
Computation Expressions
...
Adjunctions
...
初创公司如何冷启动｜什么是 Network Effect
...
如何构建一个「零成本」的应用
...
Scala meetup - 计算的本质：一个野生中年程序员的胡说八道
...
AI 阅读：借助 GPT 阅读一本书
...
jdk 并发编程的终极解决方案：虚拟线程｜Scala & Java Meetup
...
Scala Meetup - Scala 与函数式编程
...
Elixir Meetup - 下一代 Elixir 语言服务器 Lexical
...
Representable Functors
...
Codata
...
Algebraic Effects 101
...
Pijul
...
编译型框架SvelteJS介绍
...
Cat-Talks：5 分钟内定义和使用自己的 DSL
...
Tubi 也有直播？用 Elixir 开发 HLS 直播后端服务
...
Cat-Talks：React Hooks
...
Cat-Talks: Type inference with miniKanren
...
Rikai 核心设计
...
本地部署 LLM
...
Compsotion of Functor Applicative Monad
...
【源码分享】Yaml下划线丢失，差点引发线上事故！
...
Cat-Talks: 从零编写一个编译器
...
Cat-Talks：惰性求值的实现机制和理论
...
CPS Transformation
...
Rikai——分析并理解大规模视频内容的开源引擎
...
Cat-Talks: 程序即证明
...
CatTalks - The STG Machine
...
【整整348集】别再走弯路了！2024最细自学Python全套教程，逼自己一周学完，从零基础入门到精通python全栈，学完即可就业，三连拿走不谢！
...
CatTalks - A guided expedition to type theory
...
miniKanren 和关系式编程
...
Scala Meetup - 反应式流在大规模场景下的实战
...
2020-9-Online Scala Meetup
...
运用 ChatGPT 从零实现 一个简单的 http 服务器
...
【零基础学软件测试】目前B站最系统的软件测试教程，重金12000采购，软件测试快速入门到实战，全程干货无废话，学不会我退出IT界！