IRC log of dig on 2012-09-06

Timestamps are in UTC.

00:48:30 [scor]
scor has quit (Quit: scor)
00:50:06 [scor]
scor (~scor@c-98-216-39-127.hsd1.ma.comcast.net) has joined #dig
00:50:06 [scor]
scor has quit (Changing host)
00:50:06 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
00:54:59 [scor]
scor has quit (Client Quit)
02:25:34 [oshani]
oshani has quit (Quit: Mama nidi!)
02:44:08 [scor]
scor (~scor@c-98-216-39-127.hsd1.ma.comcast.net) has joined #dig
02:44:09 [scor]
scor has quit (Changing host)
02:44:09 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
03:39:38 [kennyluck]
kennyluck (~kennyluck@119.161.158.96) has joined #dig
06:07:32 [rszeno]
rszeno has quit (Quit: Leaving.)
06:29:58 [scor]
scor has quit (Quit: scor)
06:31:07 [timbl]
timbl (~timbl@host86-169-108-1.range86-169.btcentralplus.com) has joined #dig
06:40:08 [trueg_away]
trueg_away is now known as trueg
06:46:29 [timbl]
timbl has quit (Quit: timbl)
06:56:54 [trueg]
trueg is now known as trueg_away
06:57:25 [trueg_away]
trueg_away is now known as trueg
08:18:33 [trueg]
trueg is now known as trueg_away
08:23:07 [trueg_away]
trueg_away is now known as trueg
08:44:57 [rszeno]
rszeno (~rszeno@79.114.99.244) has joined #dig
08:55:53 [deiu]
deiu (~andrei@157.159.103.73) has joined #dig
08:55:54 [deiu]
deiu has quit (Changing host)
08:55:54 [deiu]
deiu (~andrei@unaffiliated/deiu) has joined #dig
09:52:39 [kennyluck]
kennyluck has quit (Quit: kennyluck)
10:15:33 [trueg]
trueg is now known as trueg_away
10:33:52 [kennyluck]
kennyluck (~kennyluck@1.202.37.117) has joined #dig
10:48:04 [scor]
scor (~scor@c-98-216-39-127.hsd1.ma.comcast.net) has joined #dig
10:48:04 [scor]
scor has quit (Changing host)
10:48:04 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
10:50:04 [scor]
scor has quit (Client Quit)
11:15:54 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
11:18:51 [trueg_away]
trueg_away is now known as trueg
11:24:18 [RalphS]
RalphS (RSwick@30-7-118.wireless.csail.mit.edu) has joined #dig
11:26:25 [deiu]
deiu has quit (Quit: Leaving)
11:29:12 [kennyluck]
kennyluck has quit (Quit: kennyluck)
11:49:16 [bblfish]
Hi betehess
11:49:25 [bblfish]
just reading up on Scalaz
11:51:35 [bblfish]
eg Scalaz state monads http://www.youtube.com/watch?v=Jg3Uv_YWJqI
12:01:58 [bblfish]
and also the learning scalaz series http://eed3si9n.com/learning-scalaz-day1
12:05:56 [betehess_laptop]
betehess_laptop (~betehess@31-33-101.wireless.csail.mit.edu) has joined #dig
12:21:53 [bblfish]
betehess_laptop: now reading http://eed3si9n.com/learning-scalaz-day4
12:47:55 [timbl]
timbl (~timbl@94.175.239.226) has joined #dig
13:04:47 [betehess_laptop]
betehess_laptop has quit (Quit: Leaving)
13:13:20 [oshani]
oshani has quit (Quit: Mama nidi!)
13:13:24 [timbl]
timbl has quit (Quit: timbl)
13:17:25 [bblfish]
oh "learning scalaz day 5" just came out yesterday http://eed3si9n.com/learning-scalaz-day5
13:18:20 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
13:24:01 [bblfish]
bblfish has quit (Remote host closed the connection)
13:24:17 [bblfish]
bblfish (~bblfish@AAubervilliers-651-1-51-23.w81-249.abo.wanadoo.fr) has joined #dig
13:34:37 [mhausenblas]
mhausenblas (~mhausenbl@wlan-nat.fwgal01.deri.ie) has joined #dig
13:51:42 [kennyluck]
kennyluck (~kennyluck@119.161.158.96) has joined #dig
13:57:05 [scor]
scor (~scor@ip-64-134-240-150.public.wayport.net) has joined #dig
13:57:05 [scor]
scor has quit (Changing host)
13:57:05 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
13:59:34 [oshani]
oshani has quit (Quit: Mama nidi!)
14:13:07 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
15:09:21 [scor]
scor has quit (Quit: scor)
15:38:34 [scor]
scor (~scor@132.183.243.165) has joined #dig
15:38:35 [scor]
scor has quit (Changing host)
15:38:35 [scor]
scor (~scor@drupal.org/user/52142/view) has joined #dig
16:02:16 [mhausenblas]
mhausenblas has quit (Quit: brb)
17:10:41 [trueg]
trueg is now known as trueg_away
17:16:13 [bblfish]
learning about Monad Transformers
17:16:17 [bblfish]
in scalaz
18:15:47 [trueg_away]
trueg_away is now known as trueg
18:16:06 [bblfish]
betehess: do we use monad transformers in banana?
18:16:20 [betehess]
nope
18:18:10 [bblfish]
they seem to use it a lot in scalamachine http://scalamachine.com/
18:18:48 [bblfish]
at least according to the talk http://marakana.com/s/video_monad_tranformers_in_scalamachine_scaliak,1232/index.html
18:19:51 [bblfish]
somehow your FutureValidation seems close to such a thing
18:22:59 [betehess]
FutureValidation will be largely deprecated by the new Future in Scala 2.10
18:23:07 [betehess]
thanks to Try
18:23:32 [bblfish]
essentially its about dealing with cases of M[O[A]] where M is a monad and O is one too
18:23:42 [betehess]
I know
18:23:55 [bblfish]
ah I saw some discussion on Try but I did not realise it was a new thing
18:24:30 [bblfish]
( context switching from philosophy, ... )
18:24:43 [bblfish]
( ... takes time )
18:26:21 [bblfish]
I wonder where Play2.1 is with respect to all of this.
18:26:26 [bblfish]
It's a bit difficult to follow.
18:26:50 [betehess]
until you see mention of Scala 2.10, then nothing new
18:27:06 [betehess]
no nothing new
18:27:11 [betehess]
s/no/so/
18:28:07 [bblfish]
ok. I want to see if I can get that last piece of the client side certificate done right, and then start implementing linked data profile
18:43:05 [trueg]
trueg is now known as trueg_away
20:03:55 [RalphS]
RalphS has quit (Ping timeout: 240 seconds)
20:05:18 [trueg_away]
trueg_away is now known as trueg
20:38:01 [dsheets]
betehess: timbl said you might know about ontologies for describing PL type systems
20:38:22 [dsheets]
any pointers?
20:39:17 [betehess]
errrr, not really :-)
20:39:21 [betehess]
sorry
20:39:49 [betehess]
he may have told you that because I'm interested in PL and type systems and semweb
20:40:00 [betehess]
but I don't know anything about these ontologies
20:48:42 [dsheets]
do you know if they exist?
20:49:26 [dsheets]
it is surprisingly difficult to search for ontologies describing type systems/pl semantics
20:49:37 [dsheets]
or perhaps i don't know the right domains to use
20:50:44 [betehess]
dsheets, I have no idea, but I'd be interested to know if this exists already
20:51:06 [dsheets]
betehess: hmm, all right, i'll keep you informed of what i find/make
20:51:13 [betehess]
thanks!
20:54:25 [oshani]
oshani has quit (Quit: Mama nidi!)
21:02:07 [trueg]
trueg has quit ()
21:04:44 [betehess]
bblfish, big change in banana-rdf
21:04:57 [bblfish]
ah
21:05:03 [betehess]
no more pending connections for sesame
21:05:37 [betehess]
the main interface for RDFStore changed significantly: it's now more like a virtual machine for a small language
21:06:05 [bblfish]
mhh, interesting :-)
21:06:05 [betehess]
this language is just a Free monad for the set of instructions
21:06:26 [betehess]
yeah, this gives us transactions for free
21:06:38 [betehess]
you check out Runar's talks about Free monads
21:06:43 [betehess]
let me find that for you
21:07:01 [bblfish]
ah thanks. It feels like I have a few missing concepts here :-)
21:07:03 [betehess]
here is one: http://skillsmatter.com/podcast/scala/stackless-scala-free-monads
21:07:32 [betehess]
and here is the second one: http://www.youtube.com/watch?v=ZasXwtTRkio
21:07:41 [betehess]
there is paper as well
21:08:05 [bblfish]
good. well that's going to be helpful.
21:08:06 [betehess]
http://days2012.scala-lang.org/sites/days2012/files/bjarnason_trampolines.pdf
21:08:12 [betehess]
very interesting talk
21:08:20 [betehess]
very useful for us :-)
21:08:25 [bblfish]
ah trampolines. they were mentioned a lot.
21:09:02 [bblfish]
I kept seeing them used in nomo
21:09:36 [betehess]
how surprising, paul and runar work together :-)
21:09:52 [betehess]
and they also did the Trampoline stuff in scalaz
21:10:03 [betehess]
or maybe not surprising at all ;-)
21:10:33 [bblfish]
ah! Well perhaps one day we can work out why my turtle parser was slow...
21:10:42 [betehess]
btw, I introduced a bug in your implementation, documented at https://github.com/w3c/banana-rdf/issues/32
21:11:07 [betehess]
I was fine with that as you didn't provide a test ^^
21:11:20 [betehess]
the fix is quite easy
21:11:35 [betehess]
I'll need to do a pass for cleaning things anyway
21:11:45 [betehess]
renaming some stuff
21:11:47 [betehess]
etc.
21:12:12 [bblfish]
ok, I'll be reading up on the concepts to understand this.
21:14:21 [betehess]
ok, I'm off for today, that was good work :-)
21:15:57 [bblfish]
indeed. I see he is already speaking of the State Monad...
22:10:19 [rszeno]
rszeno has quit (Quit: Leaving.)
22:34:17 [rszeno]
rszeno (~rszeno@79.114.63.17) has joined #dig
22:36:19 [kennyluck]
kennyluck has quit (Quit: kennyluck)
22:39:24 [scor]
scor has quit (Quit: scor)
23:18:04 [bblfish]
bblfish has quit (Read error: Connection reset by peer)
23:19:30 [bblfish]
bblfish (~bblfish@AAubervilliers-651-1-51-23.w81-249.abo.wanadoo.fr) has joined #dig
23:26:48 [oshani]
oshani (~oshani@30-6-18.wireless.csail.mit.edu) has joined #dig
23:28:56 [oshani]
oshani has quit (Client Quit)
23:31:51 [bblfish]
bblfish has quit (Ping timeout: 244 seconds)