random

Month: 2015-10

2015-10-01

temideoye 00:51:37
@temideoye has joined the channel
ctf 09:21:42
@ctf has joined the channel
ianyang18 17:52:24
@ianyang18 has joined the channel

2015-10-02

Ann 22:26:28
@blackfishbird has joined the channel
ike 22:58:34
@ike has joined the channel

2015-10-03

aaronwytze 13:08:18
@aaronwytze has joined the channel
billyen 13:56:56
@billyen has joined the channel

2015-10-06

xinxinjin 14:40:57
@xinxinjin has joined the channel
aging 14:42:45
@aging has joined the channel
junipertcy 14:49:18
@junipertcy has joined the channel
metavige 14:51:28
@metavige has joined the channel

2015-10-07

poweif 13:55:49
@poweif has joined the channel

2015-10-08

portnoy 12:27:32
@portnoy has joined the channel

2015-10-09

zootim11pc 01:36:07
@zootim11pc has joined the channel
allyfeng 19:59:14
@allyfeng has joined the channel

2015-10-10

ctc8631 22:10:59
@ctc8631 has joined the channel

2015-10-11

tmas68 12:42:12
@tmas68 has joined the channel
jcskyting 17:15:06
@jcskyting has joined the channel
ykliao 22:24:03
@ykliao has joined the channel

2015-10-13

bocard 10:01:47
@bocard has joined the channel
ctu 10:19:47
@ctu has joined the channel
xxhomey19 22:16:55
@xxhomey19 has joined the channel

2015-10-14

titan0511 10:27:52
@titan0511 has joined the channel
ryus2002 11:05:24
@ryus2002 has joined the channel

2015-10-15

geneh0011 02:36:45
@geneh0011 has joined the channel

2015-10-16

wenchi 15:49:51
@wenchi has joined the channel

2015-10-17

nicoleg0v 11:53:39
@nicoleg0v has joined the channel
legislating 15:38:26
@legislating has joined the channel

2015-10-18

ptar543 11:44:08
@ptar543 has joined the channel
weijen 16:53:05
@weijen has joined the channel

2015-10-20

ocean_chen 14:28:48
@ocean_chen has joined the channel

2015-10-21

winnilee 09:10:24
@winnilee has joined the channel
ct_ling 21:27:27
@ct_ling has joined the channel

2015-10-22

cofebeen 14:28:07
@cofebeen has joined the channel
lukas 22:08:49
@lukas has joined the channel

2015-10-23

coldnew 11:15:50
@coldnew has joined the channel
beichou 11:44:03
@beichou has joined the channel
jaychsu 13:40:43
@jaychsu has joined the channel
kakukogou 18:18:14
@kakukogou has joined the channel

2015-10-24

mento_yang 00:00:51
@mento_yang has joined the channel
uh 09:22:52
@uh has joined the channel
plate 09:30:56
@plate has joined the channel
o4siang 09:38:00
@o4siang has joined the channel
dir 09:44:03
@dir has joined the channel
a0726h77 10:35:34
@a0726h77 has joined the channel
wilam 11:45:05
@wilam has joined the channel
bryantch 13:29:39
@bryantch has joined the channel
unahsuan 14:41:25
@unahsuan has joined the channel
jacksung 15:35:29
@jacksung has joined the channel
jackymaxj 16:25:18
@jackymaxj has joined the channel
mgleon08 18:22:48
@mgleon08 has joined the channel
raccoon 20:22:05
@raccoon has joined the channel
mh 23:56:12
@mh has joined the channel

2015-10-25

yangliyi 18:47:23
@yangliyi has joined the channel

2015-10-26

kenny010748 17:49:13
@kenny010748 has joined the channel

2015-10-27

chinian 23:51:10
@chinian has joined the channel

2015-10-28

iflin_2 19:14:45
@iflin_2 has joined the channel

2015-10-29

sheng 11:32:56
@sheng has joined the channel
ting 14:30:15
@ting has joined the channel

2015-10-30

caasi 02:40:32
@au: 今天的 BYOHC 後,查著 lambda calculus 查到 binary lambda calculus http://tromp.github.io/cl/cl.html
caasi 02:41:55
可以把用 De Bruijn index 表示的 lambda term 以 binary 表示。作者的 interpreter 還是用 Perl 寫的 XD
pptra 11:31:19
@pptra has joined the channel

2015-10-31

yehjunwei 23:29:12
@yehjunwei has joined the channel