Conversation with #inferno at Tue Dec  4 23:17:42 2018 on powerman@chat.freenode.net (irc)
(23:17:42) #inferno: Topic for #inferno set by anth at 19:45:51 on 04/07/15
(02:07:01) qrstuv left the room (quit: Ping timeout: 268 seconds).
(02:21:43) qrstuv [~heh@2602:306:36f0:2970:584c:fd0:d69a:c5e3] entered the room.
(10:12:57) qrstuv left the room (quit: Ping timeout: 268 seconds).
(10:14:40) shymega left the room (quit: Quit: Ciao.).
(10:15:02) qrstuv [~heh@99-111-2-151.lightspeed.tnpkil.sbcglobal.net] entered the room.
(10:31:24) shymega [~shymega@unaffiliated/shymega] entered the room.
(15:33:27) rogpeppe1 left the room (quit: Ping timeout: 244 seconds).
(16:40:17) rogpeppe1 [~rog@213.205.241.138] entered the room.
(17:07:33) rogpeppe1 left the room (quit: Ping timeout: 245 seconds).
(17:07:40) rogpeppe1 [~rog@94.197.121.172.threembb.co.uk] entered the room.
(18:03:08) yellow_apple [~Yellow@92.38.123.144] entered the room.
(19:07:13) rogpeppe1 left the room (quit: Read error: Connection reset by peer).
(19:19:59) rogpeppe1 [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(19:39:48) rogpeppe [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(19:41:30) rogpeppe1 left the room (quit: Read error: Connection reset by peer).
(19:41:41) rogpeppe1 [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(19:45:54) rogpeppe left the room (quit: Ping timeout: 250 seconds).
(20:01:56) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(21:36:36) qrstuv left the room (quit: Remote host closed the connection).
(23:23:46) rogpeppe1 [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(23:48:38) rogpeppe1 left the room (quit: Ping timeout: 272 seconds).
(23:50:48) qrstuv [~heh@50.106.246.110] entered the room.
(23:59:35) rogpeppe1 [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(00:10:14) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(00:16:46) rogpeppe1 [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(00:17:10) rogpeppe [~rog@81-5-138-97.dsl.eclipse.net.uk] entered the room.
(00:20:58) rogpeppe1 left the room (quit: Ping timeout: 244 seconds).
(00:30:47) rogpeppe left the room (quit: Ping timeout: 244 seconds).
(10:07:16) rogpeppe [~rog@host-92-26-144-107.as13285.net] entered the room.
(12:26:11) yellow_apple left the room (quit: Remote host closed the connection).
(14:46:01) yellow_apple [~Yellow@92.38.123.144] entered the room.
(23:48:06) leg [~jorge@089144218024.atnat0027.highway.a1.net] entered the room.
(00:14:58) leg left the room (quit: Ping timeout: 250 seconds).
(00:18:38) leg [~jorge@089144218024.atnat0027.highway.a1.net] entered the room.
(00:31:53) leg left the room (quit: Ping timeout: 246 seconds).
(00:33:49) leg [~jorge@089144218024.atnat0027.highway.a1.net] entered the room.
(00:38:22) leg left the room (quit: Ping timeout: 250 seconds).
(00:41:01) leg [~jorge@089144218024.atnat0027.highway.a1.net] entered the room.
(00:45:12) leg left the room (quit: Ping timeout: 244 seconds).
(02:43:14) xealits [~alex@a95-92-221-133.cpe.netcabo.pt] entered the room.
(02:43:27) xealits left the room.
(11:12:35) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(11:13:21) rogpeppe left the room (quit: Ping timeout: 252 seconds).
(12:42:20) rogpeppe1 left the room (quit: Ping timeout: 244 seconds).
(12:58:39) rogpeppe1 [~rog@92.26.144.107] entered the room.
(16:09:53) rogpeppe1 left the room (quit: Ping timeout: 246 seconds).
(01:19:41) leg [~jorge@213.147.164.233] entered the room.
(01:33:46) leg left the room (quit: Quit: Leaving.).
(10:36:01) yellow_apple left the room (quit: Ping timeout: 246 seconds).
(10:45:47) leg [~jorge@213.147.164.233] entered the room.
(11:58:36) leg left the room (quit: Quit: Leaving.).
(12:01:33) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(12:55:26) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(13:04:10) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(13:13:37) yellow_apple [~Yellow@ip226-118-245-80.crelcom.ru] entered the room.
(13:14:27) rogpeppe1 left the room (quit: Ping timeout: 240 seconds).
(13:45:37) pfallenop left the room (quit: Remote host closed the connection).
(14:04:46) pfallenop [~pfallenop@unaffiliated/contempt] entered the room.
(14:38:43) yellow_apple left the room (quit: Remote host closed the connection).
(14:39:07) yellow_apple [~Yellow@ip226-118-245-80.crelcom.ru] entered the room.
(17:01:49) yellow_apple left the room (quit: Remote host closed the connection).
(18:32:43) yellow_apple [~Yellow@ip226-118-245-80.crelcom.ru] entered the room.
(18:37:29) yellow_apple left the room (quit: Remote host closed the connection).
(18:40:13) yellow_apple [~Yellow@ip226-118-245-80.crelcom.ru] entered the room.
(02:43:58) fgudin left the room (quit: Ping timeout: 250 seconds).
(12:03:47) yellow_apple left the room (quit: Ping timeout: 240 seconds).
(17:40:02) yellow_apple [~Yellow@92.38.123.144] entered the room.
(02:35:53) acmeuser [~acmeuser@176.107.84.109] entered the room.
(02:36:01) acmeuser left the room (quit: Remote host closed the connection).
(07:34:42) leetspete1 left the room (quit: Ping timeout: 250 seconds).
(07:35:34) leetspete left the room (quit: Ping timeout: 272 seconds).
(07:57:37) leetspete [~pete@cpe-23-240-248-165.socal.res.rr.com] entered the room.
(08:45:04) henesy left the room (quit: Quit: Connection closed for inactivity).
(10:19:14) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(16:34:05) leetspete1 [~none@cpe-23-240-248-165.socal.res.rr.com] entered the room.
(19:06:07) rogpeppe1 left the room (quit: Quit: Konversation terminated!).
(19:20:25) rogpeppe [~rog@host-92-26-144-107.as13285.net] entered the room.
(21:26:10) leg [~jorge@089144222056.atnat0031.highway.bob.at] entered the room.
(21:42:08) leg left the room (quit: Quit: Leaving.).
(23:19:07) fgudin [fgudin@odin.sdf-eu.org] entered the room.
(00:04:47) henesy [uid56330@gateway/web/irccloud.com/x-vccvorolsxwvbuny] entered the room.
(05:33:23) fgudin left the room (quit: Ping timeout: 245 seconds).
(05:40:57) fgudin [fgudin@odin.sdf-eu.org] entered the room.
(09:33:25) ][_R_][ left the room (quit: Ping timeout: 246 seconds).
(11:58:56) ][_R_][ [~quassel@genoce.org] entered the room.
(20:31:38) rogpeppe left the room (quit: Ping timeout: 250 seconds).
(20:31:44) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(01:46:59) rogpeppe1 left the room (quit: Ping timeout: 246 seconds).
(10:05:55) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(17:20:45) rogpeppe [~rog@host-92-26-144-107.as13285.net] entered the room.
(17:24:44) rogpeppe1 left the room (quit: Ping timeout: 268 seconds).
(17:41:47) charh [~charh@unaffiliated/charh] entered the room.
(21:59:54) leg [~jorge@213-147-161-145.nat.highway.bob.at] entered the room.
(23:43:28) leg left the room (quit: Quit: Leaving.).
(05:11:24) Fish left the room (quit: Ping timeout: 252 seconds).
(05:18:48) Fish [~Fish@cartwheel.9grid.fr] entered the room.
(12:03:14) deuteron [~deuteron@58.170.123.122] entered the room.
(16:12:36) deuteron left the room (quit: Quit: Buh-bye).
(17:35:02) rogpeppe left the room (quit: Quit: Konversation terminated!).
(17:35:10) rogpeppe [~rog@host-92-26-144-107.as13285.net] entered the room.
(19:07:26) fgudin left the room (quit: Ping timeout: 246 seconds).
(19:18:55) fgudin [fgudin@odin.sdf-eu.org] entered the room.
(20:29:32) rogpeppe left the room (quit: Quit: Konversation terminated!).
(20:29:40) rogpeppe [~rog@host-92-26-144-107.as13285.net] entered the room.
(21:12:06) leg [~jorge@89.144.218.26] entered the room.
(05:43:45) Hazelesque left the room (quit: Ping timeout: 252 seconds).
(05:51:56) Hazelesque [~hazel@lopsa/member/hazelesque] entered the room.
(07:08:34) leg left the room (quit: Ping timeout: 250 seconds).
(21:30:16) leg [~jorge@089144218026.atnat0027.highway.a1.net] entered the room.
(23:45:12) henesy left the room (quit: Quit: Connection closed for inactivity).
(01:46:24) leg left the room (quit: Quit: Leaving.).
(10:35:06) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(10:35:27) rogpeppe left the room (quit: Ping timeout: 240 seconds).
(10:54:08) rogpeppe1 left the room (quit: Ping timeout: 268 seconds).
(12:13:15) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(14:03:27) rogpeppe1 left the room (quit: Ping timeout: 268 seconds).
(14:48:59) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(16:37:30) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(17:07:30) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(18:27:07) rogpeppe1 left the room (quit: Ping timeout: 240 seconds).
(18:30:04) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(18:47:47) rogpeppe1 left the room (quit: Ping timeout: 240 seconds).
(23:06:42) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(23:50:27) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(14:49:38) apache2 [apache2@anubis.0x90.dk] entered the room.
(14:51:58) apache2: hey :) I'm not very experienced with Infero, anyone tell me what the name for the .m files containing IPC interface definitions is? would it be correct to refer to them as "inferno dis module files"?
(14:54:37) qrstuv: nobody cares
(14:54:41) qrstuv: call them what you want
(15:05:16) apache2: I want to call them something other people will understand, and be able to look up
(15:05:57) qrstuv: call them what you want
(15:06:04) qrstuv: we're not the word police
(15:06:54) qrstuv: i am however skeptical that there is a legitimate reason to refer to them aloud or in prose
(15:07:06) apache2: qrstuv: I'm not asking out of fear for stepping on people's toes, I'm asking because I'm afraid people will have a hard time looking the concept up if I mention it during a discussion and use my own made-up term
(15:07:41) qrstuv: there is no dictionary of inferno terms
(15:08:07) apache2: I usually refer to them by link ;) https://bitbucket.org/mjl/ircfs/src/1ba7ba841eb68eba41f332ef24b61743a23e3eed/module/irc.m?at=default&fileviewer=file-view-default
(15:08:25) apache2: qrstuv: you've never had to say "the module file" or similar?
(15:10:29) apache2: I think it's an interesting case of an easy-to-read IPC/DDL specification syntax with ADTs and concrete values
(15:12:36) qrstuv: i'm beginning to become skeptical of your stated intention to communicate clearly
(15:12:57) apache2: besides asn.1 I can't point to anything similar from before mid-2000s
(15:26:07) apache2: qrstuv: :-(
(21:50:36) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(22:07:53) leg [~jorge@089144218026.atnat0027.highway.a1.net] entered the room.
(22:12:26) leg left the room (quit: Ping timeout: 250 seconds).
(22:15:46) leg [~jorge@089144218026.atnat0027.highway.a1.net] entered the room.
(22:18:01) rogpeppe1 left the room (quit: Ping timeout: 246 seconds).
(23:05:25) leg left the room (quit: Ping timeout: 268 seconds).
(23:22:57) leg [~jorge@089144218026.atnat0027.highway.a1.net] entered the room.
(23:23:31) leg left the room (quit: Client Quit).
(04:53:56) henesy [uid56330@gateway/web/irccloud.com/x-hnreanzffdtezyll] entered the room.
(11:17:03) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(12:16:29) rogpeppe1 left the room (quit: Ping timeout: 246 seconds).
(12:19:24) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(13:13:48) rogpeppe1 left the room (quit: Ping timeout: 245 seconds).
(13:21:50) henesy left the room (quit: Quit: Connection closed for inactivity).
(15:42:49) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(21:30:57) leg [~jorge@213-147-160-121.nat.highway.bob.at] entered the room.
(23:36:17) leg left the room (quit: Quit: Leaving.).
(23:49:40) leg [~jorge@213-147-160-121.nat.highway.bob.at] entered the room.
(00:53:34) leg left the room (quit: Quit: Leaving.).
(05:37:23) charh left the room (quit: Remote host closed the connection).
(14:09:19) deuteron [~deuteron@1.123.12.201] entered the room.
(15:44:17) rogpeppe1 left the room (quit: Ping timeout: 246 seconds).
(16:11:51) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(16:27:53) deuteron left the room (quit: Remote host closed the connection).
(19:27:46) rogpeppe1 left the room (quit: Ping timeout: 272 seconds).
(22:10:49) yellow_apple left the room (quit: Remote host closed the connection).
(02:35:28) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(02:41:28) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(14:39:05) rogpeppe1 [~rog@host-92-26-144-107.as13285.net] entered the room.
(14:50:20) rogpeppe1 left the room (quit: Ping timeout: 250 seconds).
(21:48:25) leg [~jorge@213-147-160-121.nat.highway.bob.at] entered the room.
(00:33:24) leg left the room (quit: Quit: Leaving.).
(20:46:17) pbb left the room (quit: Remote host closed the connection).
(20:46:44) pbb [~quassel@pbb4.pbb.lc] entered the room.
(20:46:57) pbb left the room (quit: Remote host closed the connection).
(20:53:28) pbb [~quassel@pbb4.pbb.lc] entered the room.
(20:53:28) pbb left the room (quit: Client Quit).
(21:10:28) pbb [~quassel@pbb4.pbb.lc] entered the room.
(21:59:41) pbb left the room (quit: Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
(22:02:09) pbb [~quassel@pbb4.pbb.lc] entered the room.
(00:09:19) leg [~jorge@213-147-160-121.nat.highway.bob.at] entered the room.
(00:29:04) pbb left the room (quit: Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
(00:29:38) pbb [~quassel@pbb4.pbb.lc] entered the room.
(02:46:33) leg left the room (quit: Quit: Leaving.).
(11:34:05) leg [~jorge@213-147-160-121.nat.highway.bob.at] entered the room.
(12:10:48) leg left the room (quit: Ping timeout: 250 seconds).
(20:20:13) leg [~jorge@213-147-163-215.nat.highway.bob.at] entered the room.
(21:09:36) leg left the room (quit: Ping timeout: 268 seconds).
(21:13:18) fgudin left the room (quit: Ping timeout: 268 seconds).
(23:09:03) nordmike left the room (quit: Ping timeout: 252 seconds).
(23:46:57) nordmike [~nordmike@broadband-178-140-232-25.ip.moscow.rt.ru] entered the room.
(21:48:19) leg [~jorge@213-147-163-215.nat.highway.bob.at] entered the room.
(00:22:26) leg left the room (quit: Quit: Leaving.).
(17:07:47) X-Scale left the room (quit: Read error: Connection reset by peer).
(17:25:52) fgudin [fgudin@sdf-eu.org] entered the room.
(20:43:20) qrstuv left the room (quit: Ping timeout: 250 seconds).
(21:58:36) Ralsei [~AllegroVi@aefr31.neoplus.adsl.tpnet.pl] entered the room.
(22:01:15) Ralsei is now known as MillenniumFalcon
(22:01:27) MillenniumFalcon is now known as Ralsei
(23:06:39) Ralsei left the room (quit: Ping timeout: 244 seconds).
(07:31:56) darvon left the room (quit: Remote host closed the connection).
(07:34:41) HanSolo left the room (quit: Remote host closed the connection).
(07:42:13) darvon [~darvon@107.191.100.185] entered the room.
(07:47:40) FalconMillennium [Elite20419@gateway/shell/elitebnc/x-pmhzkmybxqtqhazr] entered the room.
(09:18:01) Ralsei [~AllegroVi@aefr31.neoplus.adsl.tpnet.pl] entered the room.
(10:38:32) Asriel [~AllegroVi@aefr31.neoplus.adsl.tpnet.pl] entered the room.
(10:41:43) Ralsei left the room (quit: Ping timeout: 245 seconds).
(11:08:04) qrstuv [~heh@50.106.246.110] entered the room.
(11:19:42) Asriel left the room (quit: Quit: Han Solo needs me!).
(11:19:58) Ralsei [~AllegroVi@aefr31.neoplus.adsl.tpnet.pl] entered the room.
(11:21:10) Ralsei is now known as Asriel
(11:21:18) Asriel is now known as Ralsei
(13:33:09) The account has disconnected and you are no longer in this chat. You will automatically rejoin the chat when the account reconnects.