IRC log of dig on 2012-09-12

Timestamps are in UTC.

00:08:32 [melvster]
melvster has quit (Read error: Connection reset by peer)
00:49:10 [scor]
scor (~scor@c-98-216-39-127.hsd1.ma.comcast.net) has joined #dig
00:49:11 [scor]
scor has quit (Changing host)
00:49:11 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
02:14:53 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
02:19:54 [oshani]
oshani has quit (Quit: Mama nidi!)
02:58:04 [oshani]
oshani (~oshani@c-98-216-106-232.hsd1.ma.comcast.net) has joined #dig
02:59:38 [scor]
scor has quit (Quit: scor)
03:01:34 [kennyluck]
kennyluck (~kennyluck@119.161.158.96) has joined #dig
03:01:53 [kennyluck_]
kennyluck_ (~kennyluck@119.161.158.96) has joined #dig
03:05:56 [kennyluck]
kennyluck has quit (Ping timeout: 248 seconds)
03:05:57 [kennyluck_]
kennyluck_ is now known as kennyluck
03:08:50 [kennyluck_]
kennyluck_ (~kennyluck@119.161.158.96) has joined #dig
03:10:20 [kennyluck]
kennyluck has quit (Ping timeout: 246 seconds)
03:10:20 [kennyluck_]
kennyluck_ is now known as kennyluck
03:11:20 [oshani]
oshani has quit (Quit: Mama nidi!)
03:34:14 [oshani]
oshani (~oshani@c-98-216-106-232.hsd1.ma.comcast.net) has joined #dig
03:47:56 [oshani]
oshani has quit (Quit: Mama nidi!)
05:39:51 [danbri]
danbri (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
06:07:08 [danbri]
danbri has quit (Remote host closed the connection)
06:44:02 [rszeno]
rszeno has quit (Quit: Leaving.)
07:11:26 [trueg]
trueg (~trueg@HSI-KBW-46-237-239-121.hsi.kabel-badenwuerttemberg.de) has joined #dig
07:17:42 [danbri]
danbri (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
07:35:04 [danbri]
danbri has quit (Remote host closed the connection)
07:35:51 [bblfish]
bblfish (~bblfish@LPuteaux-156-16-100-112.w80-12.abo.wanadoo.fr) has joined #dig
07:39:01 [deiu]
deiu (~andrei@157.159.103.74) has joined #dig
07:39:02 [deiu]
deiu has quit (Changing host)
07:39:02 [deiu]
deiu (~andrei@unaffiliated/deiu) has joined #dig
08:17:17 [danbri]
danbri (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
08:36:35 [kennyluck]
kennyluck has quit (Read error: Connection reset by peer)
08:36:56 [kennyluck]
kennyluck (~kennyluck@119.161.158.96) has joined #dig
09:34:07 [trueg]
trueg is now known as trueg_away
11:12:10 [danbri]
danbri has quit (Remote host closed the connection)
11:15:42 [RalphS]
RalphS (RSwick@30-7-118.wireless.csail.mit.edu) has joined #dig
11:15:49 [oshani]
oshani (~oshani@c-98-216-106-232.hsd1.ma.comcast.net) has joined #dig
11:23:06 [danbri]
danbri (~danbri@92.36.181.208) has joined #dig
11:23:14 [trueg_away]
trueg_away is now known as trueg
11:28:23 [deiu]
deiu has quit (Quit: Leaving)
11:40:55 [oshani]
oshani has quit (Quit: Mama nidi!)
11:44:00 [danbri]
danbri has quit (Remote host closed the connection)
11:49:00 [danbri]
danbri (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
11:50:00 [bblfish]
bblfish has quit (Remote host closed the connection)
11:50:28 [trueg]
trueg is now known as trueg_away
11:54:29 [trueg_away]
trueg_away is now known as trueg
12:08:56 [bblfish]
bblfish (~bblfish@78.251.89.53) has joined #dig
12:10:01 [trueg]
trueg is now known as trueg_away
12:11:12 [trueg_away]
trueg_away is now known as trueg
12:12:31 [bblfish]
bblfish has quit (Remote host closed the connection)
12:56:47 [timbl]
timbl (~timbl@31-33-222.wireless.csail.mit.edu) has joined #dig
13:01:48 [rszeno]
rszeno (~rszeno@79.114.83.149) has joined #dig
13:28:56 [oshani]
oshani (~oshani@c-98-216-106-232.hsd1.ma.comcast.net) has joined #dig
13:34:48 [oshani]
oshani has quit (Quit: Mama nidi!)
13:41:48 [scor]
scor (~scor@w0045398.mgh.harvard.edu) has joined #dig
13:41:48 [scor]
scor has quit (Changing host)
13:41:48 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
13:50:33 [oshani]
oshani (~oshani@c-98-216-106-232.hsd1.ma.comcast.net) has joined #dig
13:53:05 [kennyluck]
kennyluck has quit (Quit: kennyluck)
14:00:28 [melvster]
melvster (~melvin@p5797EE7C.dip.t-dialin.net) has joined #dig
14:10:19 [oshani]
oshani has quit (Quit: Mama nidi!)
14:14:47 [bblfish]
bblfish (~bblfish@LPuteaux-156-16-100-112.w80-12.abo.wanadoo.fr) has joined #dig
14:48:19 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
15:24:35 [danbri_]
danbri_ (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
15:26:30 [danbri_]
danbri_ has quit (Excess Flood)
15:26:58 [danbri_]
danbri_ (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
15:27:42 [danbri]
danbri has quit (Ping timeout: 264 seconds)
15:29:41 [danbri_]
danbri_ has quit (Remote host closed the connection)
15:34:32 [danbri]
danbri (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
15:53:39 [danbri]
danbri has quit (Remote host closed the connection)
16:07:51 [oshani]
oshani has quit (Quit: Mama nidi!)
16:58:33 [bblfish]
betehess: looks like you can do flatMap on a Validation now.
16:58:34 [bblfish]
http://eed3si9n.com/learning-scalaz-day7#comment-647978477
16:59:23 [bblfish]
or what was the problem with Validation?
16:59:35 [bblfish]
wrong channel
16:59:51 [bblfish]
(ah no, right channel )
17:04:11 [danbri]
danbri (~danbri@cable-146-255-148-108.dynamic.telemach.ba) has joined #dig
17:05:48 [trueg]
trueg is now known as trueg_away
17:17:54 [betehess]
bblfish, having flatMap defined does not make it a Monad
17:18:09 [bblfish]
ah
17:18:24 [bblfish]
It needs to have point too right
17:18:48 [bblfish]
it needs to be an applicative
17:18:50 [bblfish]
yes
17:19:38 [bblfish]
( I noticed that day7 of learning scalaz also has something on Validation... perhaps he goes into that)
17:28:57 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
17:37:03 [bblfish]
I feel that Validation should just be an Alias of Either with success and failure as aliases for right and left
17:40:02 [trueg_away]
trueg_away is now known as trueg
17:40:52 [betehess]
no, the semantics is very different
17:41:14 [betehess]
validation's left is supposed to be a semigroup
17:41:40 [betehess]
so that you can combine the failures
17:41:57 [betehess]
if you just need to remember the first failure, then just go with Either
17:42:26 [betehess]
which is always a Monad, as this property does not depend on the actual Left type
17:43:09 [bblfish]
what is Try for then, btw?
17:52:05 [oshani]
oshani has quit (Quit: Mama nidi!)
17:52:19 [betehess]
Try is exactly like like Either, but Left == Throwable
17:52:32 [betehess]
Left is specialized
17:53:09 [betehess]
the thing is, most of the people who needs Either actually uses it with Throwable or Exception
17:53:27 [betehess]
so Try makes a lot of sense
17:56:09 [bblfish]
ah ok, it's a bit like my proposal of aliasing validation to Either
17:56:34 [bblfish]
since Throwable already has a chainging mechanism one gets the same as Validation, then...
17:57:03 [bblfish]
one just needs to find a neat syntax to link Throwables
17:59:51 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
18:05:07 [melvster]
melvster has quit (Ping timeout: 240 seconds)
18:05:42 [betehess]
linking Throwables?
18:06:02 [betehess]
Try is of kind * -> *
18:06:27 [betehess]
Either and Validation are of kind (* x *) -> *
18:06:36 [betehess]
you can't really alias them
18:08:32 [trueg]
trueg is now known as trueg_away
18:19:46 [melvster]
melvster (~melvin@p4FF963DD.dip.t-dialin.net) has joined #dig
18:20:51 [bblfish]
bblfish has quit (Remote host closed the connection)
18:28:11 [trueg_away]
trueg_away is now known as trueg
18:33:50 [bblfish]
bblfish (~bblfish@LPuteaux-156-16-100-112.w80-12.abo.wanadoo.fr) has joined #dig
18:40:42 [danbri]
danbri has quit (Remote host closed the connection)
18:52:11 [oshani]
oshani has quit (Quit: Mama nidi!)
19:00:40 [trueg]
trueg is now known as trueg_away
19:01:50 [Pipian_]
Pipian_ (~pipian@31-35-230.wireless.csail.mit.edu) has joined #dig
19:16:31 [bblfish]
bblfish has quit (Remote host closed the connection)
19:26:59 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
20:04:39 [bblfish]
bblfish (~bblfish@AAubervilliers-752-1-29-217.w90-61.abo.wanadoo.fr) has joined #dig
20:19:59 [bblfish]
bblfish has quit (Remote host closed the connection)
20:22:08 [bblfish]
bblfish (~bblfish@AAubervilliers-752-1-29-217.w90-61.abo.wanadoo.fr) has joined #dig
20:25:03 [RalphS]
RalphS has quit (Ping timeout: 244 seconds)
20:28:53 [scor]
scor has quit (Quit: scor)
20:29:21 [oshani]
Pipian_?
20:29:40 [Pipian_]
Yes
20:30:35 [oshani]
Pipian_, the auth file to add users to DIG SVN is at /afs/csail/group/dig/REPOS, right?
20:31:10 [oshani]
I tried adding dmiao (Daniela) to it, but seems like there is some permission issue
20:31:29 [oshani]
Even though
20:31:32 [oshani]
Access list for .htpasswd is
20:31:32 [oshani]
Normal rights:
20:31:33 [oshani]
svn rlidwk
20:31:33 [oshani]
dig-admin:dig-users rlidwk
20:31:33 [oshani]
dig-admin rlidwka
20:31:34 [oshani]
system:administrators rlidwka
20:31:34 [oshani]
system:anyuser l
20:31:34 [oshani]
oshani.cron rl
20:31:58 [oshani]
What am I missing?
20:32:48 [Pipian_]
I've never added a user to DIG SVN
20:32:58 [Pipian_]
So I'm not familiar with the issue
20:33:11 [Pipian_]
Nothing looks obviously wrong with the permissions
20:34:16 [oshani]
I also added dmiao to the dig-admin:dig-users group, but that doesn't seem to have worked either (as in she cannot still check out the repo)
20:38:25 [bblfish]
bblfish has quit (Ping timeout: 246 seconds)
20:41:22 [danbri]
danbri (~danbri@92.36.181.208) has joined #dig
20:49:29 [Pipian_]
Yeah, I know that SVN permissions are separate from that
20:49:39 [Pipian_]
But I've never had to add them myself.
20:50:01 [oshani]
It's okay Pipian_ , Lalana is taking care of this
21:04:24 [trueg_away]
trueg_away is now known as trueg
21:20:27 [trueg]
trueg is now known as trueg_away
21:21:48 [timbl]
timbl has quit (Quit: timbl)
21:41:58 [danbri]
danbri has quit (Remote host closed the connection)
21:42:16 [danbri]
danbri (~danbri@92.36.181.208) has joined #dig
22:01:23 [bblfish]
bblfish (~bblfish@AAubervilliers-651-1-253-14.w86-212.abo.wanadoo.fr) has joined #dig
22:16:02 [amy]
hey Joe?
22:17:31 [danbri]
danbri has quit (Remote host closed the connection)
22:18:05 [danbri]
danbri (~danbri@92.36.181.208) has joined #dig
22:19:01 [danbri_]
danbri_ (~danbri@92.36.189.46) has joined #dig
22:22:31 [danbri]
danbri has quit (Ping timeout: 245 seconds)
22:23:21 [timbl]
timbl (~timbl@c-24-62-225-11.hsd1.ma.comcast.net) has joined #dig
22:59:14 [melvster]
melvster has quit (Ping timeout: 260 seconds)