[00:06:31] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel.
[00:11:51] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.).
[00:28:34] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel.
[02:13:32] * saml_ [saml_!~saml@cpe-24-102-97-97.nyc.res.rr.com] has quit (Ping timeout: 276 seconds).
[02:59:06] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.).
[04:06:18] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has quit (Ping timeout: 252 seconds).
[04:40:37] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 276 seconds).
[04:53:36] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel.
[05:09:15] * FreeFull_ [FreeFull_!~freefull@defocus/sausage-lover] has joined the channel.
[05:13:33] * m_hackerfoo [m_hackerfoo!~matrixirc@48.73.154.104.bc.googleusercontent.com] has quit (Ping timeout: 246 seconds).
[05:13:37] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Ping timeout: 246 seconds).
[06:37:29] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Read error: Connection reset by peer).
[06:39:24] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel.
[08:42:56] * pjdelport_ [pjdelport_!sid25146@gateway/web/irccloud.com/x-cuoxkvunleiplmjk] has joined the channel.
[08:43:46] * jeremyheiler_ [jeremyheiler_!sid81469@gateway/web/irccloud.com/x-oabldsfvloqxasee] has joined the channel.
[08:45:05] * pjdelport [pjdelport!sid25146@gateway/web/irccloud.com/x-rxvmiprimstqvqec] has quit (Killed (adams.freenode.net (Nickname regained by services))).
[08:45:05] * pjdelport_ is now known as pjdelport
[08:45:49] * jeaye_ [jeaye_!~jeaye@unaffiliated/jeaye] has joined the channel.
[08:46:20] * jeremyheiler [jeremyheiler!sid81469@gateway/web/irccloud.com/x-lavxwldymgcrjjdv] has quit (Ping timeout: 250 seconds).
[08:46:21] * cstrahan [cstrahan!sid36118@gateway/web/irccloud.com/x-jisbgekvyuhdnfwc] has quit (Ping timeout: 250 seconds).
[08:46:24] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has quit (Ping timeout: 250 seconds).
[08:46:31] * stackoid [stackoid!~stackoid@2001:4800:7814:0:2804:b05a:ff04:4ba7] has quit (Ping timeout: 250 seconds).
[08:46:48] * jeremyheiler_ is now known as jeremyheiler
[08:54:14] * cstrahan [cstrahan!sid36118@gateway/web/irccloud.com/x-mxkvsnddeegakrvq] has joined the channel.
[12:30:13] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has joined the channel.
[13:49:57] * cantstanya [cantstanya!~chatting@unaffiliated/cantstanya] has quit (Ping timeout: 260 seconds).
[13:58:33] * cantstanya [cantstanya!~chatting@unaffiliated/cantstanya] has joined the channel.
[16:39:59] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has quit (Ping timeout: 276 seconds).
[16:52:48] * jeaye_ is now known as jeaye
[17:02:21] * rgrinberg [rgrinberg!~rgrinberg@142.176.202.106] has joined the channel.
[17:08:53] * rgrinberg [rgrinberg!~rgrinberg@142.176.202.106] has quit (Read error: Connection reset by peer).
[17:18:16] * rgrinberg [rgrinberg!~rgrinberg@142.176.202.106] has joined the channel.
[18:51:30] * jtimon [jtimon!~quassel@245.30.134.37.dynamic.jazztel.es] has joined the channel.
[18:51:34] * jtimon [jtimon!~quassel@245.30.134.37.dynamic.jazztel.es] has quit (Remote host closed the connection).
[19:11:07] * rgrinberg [rgrinberg!~rgrinberg@142.176.202.106] has quit (Ping timeout: 250 seconds).
[20:30:52] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has joined the channel.
[20:35:40] * delvinj [delvinj!Miranda@173-160-116-46-Minnesota.hfc.comcastbusiness.net] has quit (Quit: it's the end).
[21:10:30] <Sonderblade> hi
[21:27:22] <erg> hi Sonderblade 
[21:57:51] <Sonderblade> erg: it is time to make a new factor release soon. i think
[22:16:23] * defanor [defanor!~defanor@2a02:7aa0:1619::ca46:4831] has joined the channel.
[22:18:06] <defanor> hi. i've just built kitten, trying to figure what's it about. is there some language reference, and is its type system described somewhere?
[22:31:15] <gnooth> http://kittenlang.org/intro/
[22:34:45] <defanor> gnooth: thanks, but i haven't found much of description there
[22:36:28] <defanor> i see sum and product types, and polymorphism, and built-in types, but a more technical/formal description would probably help to see the whole picture better
[22:41:00] <defanor> is there a way to load a file into the current session?
[22:41:13] <defanor> ah, found :help and :load
[22:58:18] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has quit (Ping timeout: 276 seconds).
[23:22:42] * evincar [evincar!~jonathanp@173-228-12-231.dsl.dynamic.fusionbroadband.com] has joined the channel.
[23:24:54] <evincar> So...can we authenticate the logbot or something? I miss being able to logread. :<