00:10:20 <zzo38> The other thing about this variation of critical path method that I mention is that the graph will not necessary be acyclic (cycles can't be used with the normal critical path method, but in this case there is the possibility).
00:14:23 -!- oerjan has joined.
00:14:28 -!- sleffy has joined.
00:19:47 -!- jaboja has joined.
00:22:43 <zzo38> Do you know?
00:32:08 -!- augur has joined.
00:42:04 -!- SigmundYx has quit (Quit: See Ya.).
01:02:15 -!- MrBusiness has joined.
01:08:42 -!- Melvar` has joined.
01:10:17 -!- SigmundYx has joined.
01:10:55 -!- Melvar has quit (Disconnected by services).
01:10:59 -!- Melvar` has changed nick to Melvar.
01:28:05 <moonythedwarf> I dont understand. Can someone explain this madness? http://i.imgur.com/deoP869.png ( from http://blog.piston.rs/2017/09/08/what-is-happening-5/ )'
01:36:02 -!- jaboja has quit (Ping timeout: 240 seconds).
01:56:10 -!- imode has quit (Ping timeout: 264 seconds).
02:13:54 -!- imode has joined.
02:20:39 -!- wob_jonas has joined.
02:21:23 <wob_jonas> "<zzo38> I don't know, but foods are better in Canada; I have been in other places and the food is not as good, so I will stay here in Canada." => have you been to Hungary or anywhere in the Balcan?
02:21:53 <wob_jonas> Food is great here, and cheap too.
02:21:59 <zzo38> No, I have not, as far as I can remember.
02:48:42 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
02:57:13 -!- idris-bot has joined.
03:01:16 -!- ATMunn has quit (Quit: See ya! o/).
03:04:16 -!- SigmundYx has quit (Read error: Connection reset by peer).
03:28:38 -!- xkapastel has joined.
03:35:43 -!- sleffy has quit (Ping timeout: 248 seconds).
03:43:06 -!- tromp has joined.
03:47:32 -!- tromp has quit (Ping timeout: 240 seconds).
04:33:38 <HackEgo> [wiki] [[TheSingularity]]  https://esolangs.org/w/index.php?diff=53055&oldid=52814 * HereToAnnoy * (+2657) Clarification + 99BOB example
04:37:54 -!- tromp has joined.
04:42:02 -!- tromp has quit (Ping timeout: 240 seconds).
04:51:50 -!- SigmundYx has joined.
05:19:30 -!- `^_^v has joined.
05:31:49 -!- tromp has joined.
05:32:44 -!- SigmundYx_ has joined.
05:34:17 -!- SigmundYx has quit (Ping timeout: 260 seconds).
05:35:59 -!- tromp has quit (Ping timeout: 246 seconds).
05:39:55 -!- SigmundYx_ has quit (Remote host closed the connection).
05:51:08 -!- `^_^v has quit (Quit: This computer has gone to sleep).
05:53:52 -!- PinealGlandOptic has joined.
05:58:07 -!- Sgeo has quit (Ping timeout: 248 seconds).
06:01:09 -!- Sgeo has joined.
06:03:28 -!- Sgeo_ has joined.
06:06:07 -!- Sgeo has quit (Ping timeout: 248 seconds).
06:07:03 -!- PinealGlandOptic has quit (Quit: leaving).
06:41:07 -!- Challenger5 has joined.
06:45:31 -!- sleffy has joined.
06:47:07 -!- Challenger5 has quit (Quit: Page closed).
07:19:49 -!- tromp has joined.
07:24:21 -!- tromp has quit (Ping timeout: 240 seconds).
07:31:37 -!- augur has quit (Remote host closed the connection).
07:35:03 -!- doesthiswork has quit (Quit: Leaving.).
07:47:41 -!- augur has joined.
07:51:31 -!- augur has quit (Remote host closed the connection).
07:51:47 -!- augur has joined.
08:14:49 -!- tromp has joined.
08:15:01 -!- sleffy has quit (Ping timeout: 240 seconds).
08:19:05 -!- tromp has quit (Ping timeout: 240 seconds).
08:21:03 -!- oerjan has quit (Quit: Nite).
08:25:23 -!- Antoxyde has joined.
08:44:54 -!- tromp has joined.
08:45:18 <HackEgo> [wiki] [[Noid]]  https://esolangs.org/w/index.php?diff=53056&oldid=53045 * Zayne * (+40) /* Implementation */
08:45:36 <HackEgo> [wiki] [[Noid/decompile]] N https://esolangs.org/w/index.php?oldid=53057 * Zayne * (+965) Created page with "      import os       s = open(input("Run Script: "), 'r').read()       s = s.replace('a', '.')       s = s.replace('b', '!')       s = s.replace('c', '?')       s = s.replace..."
09:34:46 -!- tromp has quit (Remote host closed the connection).
10:00:15 -!- tromp has joined.
10:18:06 -!- imode has quit (Ping timeout: 252 seconds).
10:52:05 -!- xkapastel has quit (Quit: Connection closed for inactivity).
11:04:00 -!- augur has quit (Remote host closed the connection).
11:53:53 <fizzie> int-e: Why does lambdabot @hoogle give worse matches than web Hoogle? 
11:53:57 <fizzie> int-e: Look at this thing:
11:53:59 <fizzie> @hoogle Monad m => [m a] -> m [a]
11:54:00 <lambdabot> Control.Monad.Run mswitch :: (Monad m, MonadUnTrans MaybeAlg t) => [t m b] -> m b -> m b
11:54:00 <lambdabot> Control.Monad.Run mswitch0 :: (Monad m, MonadUnTrans MaybeAlg t) => [t m b] -> m b -> m b
11:54:00 <lambdabot> Control.Monad.Run mswitch1 :: (Monad m, MonadUnTrans MaybeAlg t) => [t m b] -> m b -> m b
11:54:22 <fizzie> https://www.haskell.org/hoogle/?hoogle=Monad+m+%3D%3E+%5Bm+a%5D+-%3E+m+%5Ba%5D  has sequence right at the top.
12:15:02 -!- Bowserinator has quit (Ping timeout: 240 seconds).
12:20:41 -!- Bowserinator has joined.
12:21:05 -!- Bowserinator has changed nick to Guest26272.
12:29:44 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
12:47:29 -!- AnotherTest has joined.
12:51:42 -!- augur has joined.
12:56:01 -!- augur has quit (Ping timeout: 240 seconds).
13:22:01 -!- augur has joined.
13:25:23 -!- tromp has quit (Remote host closed the connection).
13:25:41 -!- zseri has joined.
13:26:47 -!- augur has quit (Ping timeout: 260 seconds).
13:38:28 -!- augur has joined.
13:42:35 -!- augur has quit (Ping timeout: 240 seconds).
13:57:06 -!- tromp has joined.
14:00:34 -!- doesthiswork has joined.
14:01:21 -!- tromp has quit (Ping timeout: 248 seconds).
14:17:28 -!- tromp has joined.
14:40:49 -!- ATMunn has joined.
14:53:12 -!- tromp has quit (Remote host closed the connection).
15:00:38 -!- Guest26272 has changed nick to Bowserinator.
15:00:40 -!- Bowserinator has quit (Changing host).
15:00:40 -!- Bowserinator has joined.
15:07:02 -!- doesthiswork has quit (Quit: Leaving.).
15:19:53 -!- tromp has joined.
15:32:31 -!- MDude has quit (Ping timeout: 240 seconds).
15:32:48 -!- tromp has quit (Remote host closed the connection).
15:34:37 -!- tromp has joined.
15:47:14 -!- tromp has quit (Remote host closed the connection).
16:06:12 -!- augur has joined.
16:10:32 -!- augur has quit (Ping timeout: 246 seconds).
16:17:00 -!- tromp has joined.
16:21:39 -!- tromp has quit (Ping timeout: 252 seconds).
16:28:00 -!- augur has joined.
16:32:16 -!- augur has quit (Ping timeout: 246 seconds).
17:41:09 -!- imode has joined.
17:53:12 -!- fuyuu has joined.
17:56:53 -!- fuyuu has quit (Remote host closed the connection).
17:57:17 -!- fuyuu has joined.
18:05:01 -!- tromp has joined.
18:09:53 -!- tromp has quit (Ping timeout: 248 seconds).
18:10:50 -!- sftp has quit (Excess Flood).
18:11:14 -!- sftp has joined.
18:27:26 <shachaf> `olist 1097
18:27:30 <HackEgo> olist 1097: shachaf oerjan Sgeo FireFly boily nortti b_jonas
18:31:53 -!- tromp has joined.
18:33:41 -!- zseri has quit (Quit: Leaving).
18:35:24 -!- tromp has quit (Remote host closed the connection).
18:36:22 -!- MDude has joined.
18:37:34 -!- tromp has joined.
19:04:14 -!- tromp has quit (Remote host closed the connection).
19:07:14 -!- zseri has joined.
19:20:07 <HackEgo> [wiki] [[TEWNLSWAC]] M https://esolangs.org/w/index.php?diff=53058&oldid=53043 * Zseri * (-23) fix typos
19:28:07 -!- imode has quit (Ping timeout: 255 seconds).
19:30:55 -!- jaboja has joined.
19:32:11 -!- tromp has joined.
19:36:41 -!- tromp has quit (Ping timeout: 240 seconds).
19:46:57 -!- fuyuu has quit (Ping timeout: 248 seconds).
19:50:35 -!- xkapastel has joined.
19:50:57 -!- sleffy has joined.
19:59:55 -!- jaboja has quit (Read error: Connection reset by peer).
20:07:54 -!- jaboja has joined.
20:21:33 -!- jaboja has quit (Read error: Connection reset by peer).
20:24:07 -!- jaboja has joined.
20:26:52 -!- tromp has joined.
20:27:42 -!- tromp has quit (Remote host closed the connection).
20:27:57 -!- tromp has joined.
20:43:58 <HackEgo> [wiki] [[Special:Log/newusers]] create  * SirScrooble *  New user account
20:44:06 -!- tromp has quit (Remote host closed the connection).
20:45:15 -!- tromp has joined.
20:48:01 <HackEgo> [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=53059&oldid=53046 * SirScrooble * (+264) 
20:48:58 <HackEgo> [wiki] [[Brain-Flak]] M https://esolangs.org/w/index.php?diff=53060&oldid=52395 * SirScrooble * (-2) /* Removed incorrect apostrophe. */
21:12:48 -!- augur has joined.
21:14:37 -!- augur has quit (Remote host closed the connection).
21:14:50 -!- augur has joined.
21:34:42 -!- tromp has quit (Remote host closed the connection).
21:47:55 -!- tromp has joined.
21:49:55 -!- hppavilion[1] has joined.
21:51:45 -!- MDude has quit (Ping timeout: 248 seconds).
22:06:32 <int-e> @hoogle (Monad m, Traversable t) => t (m a) -> m (t a)
22:06:32 <lambdabot> Prelude sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
22:06:32 <lambdabot> Control.Monad sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
22:06:32 <lambdabot> Data.Traversable sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
22:07:39 <int-e> fizzie: that's some part of the answer, but I don't really know what the differences between the haskell.org hoogle and the command line hoogle are.
22:08:09 <int-e> @hoogle Prelude.sequence
22:08:09 <lambdabot> Prelude sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
22:08:10 <lambdabot> Pipes.Prelude sequence :: Monad m => Pipe (m a) a m r
22:08:10 <lambdabot> Streaming.Prelude sequence :: Monad m => Stream (Of (m a)) m r -> Stream (Of a) m r
22:09:35 <int-e> fizzie: note that the online hoogle does give the list type for Prelude.sequence, so maybe that's actually the full answer; the databases are different.
22:11:52 <int-e> fizzie: my setup of the hoogle command just uses 'hoogle generate', there may be room for tweaks.
22:20:59 -!- hppavilion[0] has joined.
22:21:59 -!- zseri has quit (Quit: Leaving).
22:22:34 -!- augur has quit (Remote host closed the connection).
22:24:15 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
22:30:33 <fizzie> int-e: There were some other "obvious" queries I did mostly just to verify which also didn't return the "expected" results.
22:30:44 <fizzie> @hoogle [a] -> (a -> m b) -> m ()
22:30:45 <lambdabot> Data.List nubBy :: (a -> a -> Bool) -> [a] -> [a]
22:30:45 <lambdabot> GHC.OldList nubBy :: (a -> a -> Bool) -> [a] -> [a]
22:30:45 <lambdabot> Distribution.Compat.Prelude.Internal nubBy :: () => (a -> a -> Bool) -> [a] -> [a]
22:31:07 <fizzie> On the interwebs,  forM_ :: Monad m => [a] -> (a -> m b) -> m ()  comes first.
22:31:36 <fizzie> @hoogle forM_
22:31:37 <lambdabot> Control.Monad forM_ :: (Foldable t, Monad m) => t a -> (a -> m b) -> m ()
22:31:37 <lambdabot> Data.Foldable forM_ :: (Foldable t, Monad m) => t a -> (a -> m b) -> m ()
22:31:37 <lambdabot> Data.Vector forM_ :: Monad m => Vector a -> (a -> m b) -> m ()
22:32:02 <fizzie> I guess it might be that -- your thing has the Foldable t instead of [].
22:32:12 <int-e> well by all appearances, the online version isn't encumberred by the burning bridges proposal
22:32:56 <int-e> and hoogle has no hack to restore the behavior, I wonder whether it has a bug report
22:39:29 <fizzie> Comments on a blog post: "What bother me most is the potential impact of such a change on tools like Hoogle or Hayoo! Will a search on the (a -> m b) -> [a] -> m [b] type still be able to find mapM ?"
22:42:31 <int-e> well, at this point in time, the answer is no.
22:43:03 -!- tromp has quit (Remote host closed the connection).
22:43:05 <int-e> even in the full list of tresults, of which there are 325
22:43:35 <int-e> (with the hoogle on lambdabot's VM)
22:43:57 <zzo38> What is the height of the printer of MIX expected to be?
22:46:46 -!- wob_jonas has joined.
22:46:58 <wob_jonas> zzo38: on sheet paper or leporello?
22:47:22 <fizzie> int-e: Heh, looks like the http://hoogle.haskell.org/ version works the same way as your bot.
22:48:01 <zzo38> wob_jonas: What does "leporello" mean?
22:48:08 -!- PinealGlandOptic has joined.
22:48:16 -!- PinealGlandOptic has quit (Client Quit).
22:49:28 -!- PinealGlandOptic has joined.
22:51:08 <wob_jonas> zzo38: long continuous stack of sheets folded in fan stack, the printer can see it as an almost infinite height paper, not feeding individual pages, around 70 g/m^2 density, with series of holes on the side so the printer can drive it more easily with a cogged rubber band on either side, but has perforations so humans can tear off the hole strip fr
22:51:08 <wob_jonas> om the sides and separate to A4 size pages
22:51:35 <wob_jonas> was used in dot matrix (and presumably daisy head) printers for printing bills cheaply in businesses that need that
22:52:54 <wob_jonas> there's also double layer carbon paper version of it for printing two copies of everything, also useful for bills
22:53:54 <wob_jonas> it's useful because it allows more stable feed than individual sheets
22:54:13 <zzo38> Yes, I know of such paper and have used it on dot matrix printers before, although MIX can command the printer to eject a page to start on the next page.
22:54:28 <wob_jonas> I think printers can still do that with leporello
22:54:45 <wob_jonas> which is useful for printing bills, because you want to tear at perforations between pages
22:55:02 <zzo38> (MIXPC just emits a ASCII form feed character when it is commanded.)
22:56:02 <zzo38> Don't the continuous paper need holes to feed the paper? So you will need a printer that feeds with such holes
22:58:47 <wob_jonas> zzo38: well, I think it's more like the holes make the feed more stable, especially for thin paper, but the whole point of a paper roll or leporello is less maintenance during printing, so both leporello and holes together helps
22:59:23 <zzo38> O, OK.
22:59:32 <wob_jonas> but I'm not really srue
23:00:00 <wob_jonas> I'm having a fun weekend and second half of the week
23:01:15 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
23:01:46 -!- wob_jonas has joined.
23:01:54 -!- wob_jonas has quit (Client Quit).
23:02:39 -!- jaboja has quit (Ping timeout: 248 seconds).
23:02:59 -!- wob_jonas has joined.
23:03:53 <wob_jonas> anyway, I expect around 60 to 70 lines per page
23:03:59 <wob_jonas> on a leporello
23:04:12 <wob_jonas> let's say 70 on a leporello, 50 on sheet paper
23:05:49 <wob_jonas> but since this is a 1960s computer, leporello would be the defalut
23:07:17 <zzo38> OK
23:08:21 <wob_jonas> but a MIX computer can be connected to various IO devices, and they can have different line length
23:08:32 <wob_jonas> different paper height
23:08:34 <wob_jonas> whatever
23:09:40 <zzo38> Well, as long as it does not exceed the limit it is OK. (Sometimes the number of lines printed may depend on user input, in which case the user input (possibly taken from a card) may specify the maximum number of lines per page. But I suppose due to what you mention, using 70 as the default (or maybe even a bit less than 70) can be reasonable.)
23:10:19 -!- augur has joined.
23:10:27 <zzo38> MIX anyways only cares about the width and not the height of various devices; the height may vary, but still is good to know a reasonable default value that can be assumed if not otherwise specified.
23:12:12 -!- jaboja has joined.
23:14:41 -!- augur has quit (Ping timeout: 240 seconds).
23:18:13 -!- tromp has joined.
23:25:05 -!- sleffy has quit (Ping timeout: 240 seconds).
23:29:29 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
23:30:31 -!- jaboja has quit (Ping timeout: 240 seconds).
23:33:06 -!- Antoxyde has quit (Quit: Leaving).
23:35:17 -!- sleffy has joined.
23:46:52 -!- AnotherTest has quit (Ping timeout: 255 seconds).
23:56:02 -!- tromp has quit (Remote host closed the connection).