V
主页
京东 11.11 红包
CatTalks - Lojban: Encoding information with relations
发布人
我将会讨论如何在 Lojban 中造句。我们将讨论如何给不相干的词分配意义,以使用数学关系形成结构化的句子。 https://gist.github.com/shouya/f4642fcfd2443155365f6822cca0c089 Cat Talks 是一个关于范畴论的系列课程,课程来源于 Tubi Cat Talks 兴趣小组,主题涵盖范畴论、类型论乃至各种函数式编程相关的内容。本视频为第 30 次课程,分享于 2021/9/1。
打开封面
下载高清视频
观看高清视频
视频下载器
CatTalks - A guided expedition to type theory
CatTalks - Y combinator
人类发明的微积分,为什么说是上帝的语言?它能解决什么问题?
CatTalks - 形式化证明助手 Coq
CatTalks - The STG Machine
Cat-Talks: Categorical Database
CatTalks - Abstract Data Type in Real-Life
ElixirConf2021-Promox-YimingChen
Cat Talks:Perceptual Hash
CatTalks - lens 库简介
Cat-Talks: E-graph
封装与抽象:Ruby 思想在 Elixir 项目中的应用
F-Algebra 1
Cat Talks:归纳法的源头
Cat-Talks: Interactive Development with Shadow CLJS
Compsotion of Functor Applicative Monad
A Taste of Prolog
阿拉伯语的咽音 - Arabic Pharyngeals
Elixir Meetup - 下一代 Elixir 语言服务器 Lexical
CatTalks - 挑战 1 千万个协程--协程的理论和实现介绍
Cat-Talks: Game of Life with Comonads
Cat-Talks:Elvish 脚本编程基础
sap2000 计算书X9Y12
Cat-Talks: Small languages
Cat-Talks: 用类型进行抽象
无尾音 學會這種語言,你就能夠看到未來 老高與小茉 Mr & Mrs Gao
【直播回放】2022/3/19 Elixir Meetup
Elixir Meetup - Tubi 如何将一个无人维护的旧系统平稳无感地迁移到 Elixir 上
Scala meetup - 计算的本质:一个野生中年程序员的胡说八道
【闽南语】台湾本土语言(闽南语)的现状
Tubi Talent Time | 北大软微郭立峰教授「os 规划与架构」
越南文基础|越南文发音|第一集
2019/10 Scala Meetup - Open Tracing In Scala--by 艾彦波
2020-9-Online Scala Meetup
零基础写一个 Lisp 解释器
Scala Meetup - 交互式笔记本中的 Scala
极大似然估计&最大后验估计
Cat-Talks: Functional Zipper and Implementation
Scala Meetup - Scala 与函数式编程