Continuation
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
ElixirConf2021-Promox-YimingChen
...
Free Monoid
...
Parser Combinator OCaml
...
Scala Meetup - Scala 与函数式编程
...
Cat-Talks: 用类型进行抽象
...
Adjunctions
...
2020-9-Online Scala Meetup
...
f-algebra
...
Compsotion of Functor Applicative Monad
...
Contravariant Functors in Action
...
F-Algebra 1
...
Cat-Talks：Programming Language Semantics
...
Scala meetup - 计算的本质：一个野生中年程序员的胡说八道
...
Cat-Talks: Programming Language Semantics: Defunctionalization 的应用
...
代数 2：域和伽罗瓦理论；张量积与张量代数；表示论初步 （第二讲：域和域扩张的基本概念）
...
Existential Types
...
AI 阅读：借助 GPT 阅读一本书
...
Cat-Talks：如何从头开始实现 Axum 风格的「类型安全路由」特性
...
代数拓扑讨论班- Lecture 1.1 范畴论回顾
...
Typesafe Generic CSV Parser
...
Cat Talks：归纳法的源头
...
Computation Expressions
...
2020-4-Online Scala Meetup Recording
...
Cat-Talks: XMonad - A Tiling Window Manager
...
Property-Based Testing 101
...
miniKanren 和关系式编程
...
Introduce to Istio
...
Strongart超同调代数48：Brown可表示性定理的对偶
...
用AI生成电影解说视频，半年狂赚43W！只要找对方法，其实富起来也就这两年！
...
CPS Transformation
...
人人都用的音视频播放器，背后原理是什么？
...
Codata
...
一支跨时区跨地域、高效处理大规模视频内容的团队长什么样
...
Cat-Talks: Type inference with miniKanren
...
【中字】为什么如今的一切都变得如此无聊？
...
用 Zanzibar 处理用户授权的难题
...
Expression Problem
...
2019/10 Scala Beijing Meetup - Alex's talk
...
Elixir Meetup - 下一代 Elixir 语言服务器 Lexical
...
The connection between Elixir and Lisp