Logs: liberachat/#haskell
| 2021-08-07 10:13:19 | × | tbg quits (~trueboxgu@user/trueboxguy) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-07 10:15:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-07 10:18:25 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-51.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-07 10:20:02 | → | znc_ joins (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 2021-08-07 10:27:52 | → | trueboxguy joins (~trueboxgu@user/trueboxguy) |
| 2021-08-07 10:28:17 | × | znc_ quits (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-08-07 10:31:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 10:33:44 | → | oldsk00l joins (~oldsk00l@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 2021-08-07 10:34:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 10:34:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 10:34:46 | ← | delYsid parts (~user@62-178-101-151.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-08-07 10:48:18 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 10:52:48 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 10:53:18 | × | Vajb quits (~Vajb@nzwkg4b83ts4sgjo-3.v6.elisa-mobile.fi) (Ping timeout: 258 seconds) |
| 2021-08-07 10:53:43 | → | Vajb joins (~Vajb@2001:999:40:943a:c6ba:d1d7:2c13:8b56) |
| 2021-08-07 10:55:30 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-07 11:02:36 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) |
| 2021-08-07 11:03:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-07 11:05:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 11:07:50 | → | henninb joins (~henninb@63-228-51-113.mpls.qwest.net) |
| 2021-08-07 11:09:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-07 11:12:02 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-08-07 11:12:17 | → | jess joins (~jess@libera/staff/jess) |
| 2021-08-07 11:14:25 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 11:17:44 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-07 11:21:15 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 11:25:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-07 11:26:40 | × | random-jellyfish quits (~Guest71@46.97.168.199) (Ping timeout: 246 seconds) |
| 2021-08-07 11:29:37 | × | phma quits (~phma@2001:5b0:210d:73a8:1482:7584:9a9a:de0a) (Read error: Connection reset by peer) |
| 2021-08-07 11:49:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-07 11:52:12 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) |
| 2021-08-07 11:53:17 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 11:54:08 | → | Melantha joins (~pyon@user/pyon) |
| 2021-08-07 11:56:30 | <Hecate> | hohai |
| 2021-08-07 11:56:54 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) (Client Quit) |
| 2021-08-07 11:56:58 | <Hecate> | is there a way to ensure that the RTS parallelises chains of Applicative effects? |
| 2021-08-07 11:57:10 | <Hecate> | (when one uses <*> and *>) |
| 2021-08-07 11:58:59 | <Hecate> | or do I need to do it at the userland level with the Par monad? |
| 2021-08-07 12:00:11 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2021-08-07 12:00:20 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 12:02:33 | <[exa]> | Hecate: by "chains of applicative effects", you mean any applicative effects? |
| 2021-08-07 12:02:55 | <[exa]> | in that case it won't; generally if there is no `par` there's no parallelization |
| 2021-08-07 12:03:49 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 2021-08-07 12:03:52 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 245 seconds) |
| 2021-08-07 12:07:55 | × | exarkun quits (~exarkun@user/exarkun) (Remote host closed the connection) |
| 2021-08-07 12:11:28 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-07 12:15:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 12:16:22 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-07 12:18:38 | × | ent quits (entgod@kapsi.fi) (Ping timeout: 265 seconds) |
| 2021-08-07 12:18:44 | → | ent joins (entgod@kapsi.fi) |
| 2021-08-07 12:28:32 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-08-07 12:29:59 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-07 12:35:56 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-07 12:41:58 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-07 12:47:39 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2021-08-07 13:01:06 | → | alx741 joins (~alx741@186.178.108.253) |
| 2021-08-07 13:01:36 | → | tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-07 13:06:30 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-07 13:10:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-08-07 13:17:07 | → | cheater joins (~Username@user/cheater) |
| 2021-08-07 13:18:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-07 13:19:15 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-07 13:22:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 13:27:28 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-08-07 13:30:39 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-07 13:33:15 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-07 13:33:20 | chris | is now known as Guest9465 |
| 2021-08-07 13:33:23 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 13:42:07 | × | kuribas quits (~user@ptr-25vy0ia3idn98h5k9s9.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-07 13:42:11 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-08-07 13:42:42 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-08-07 13:44:29 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 13:52:03 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-07 13:52:28 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-07 13:52:32 | × | henninb quits (~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving) |
| 2021-08-07 13:53:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-07 13:53:54 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 240 seconds) |
| 2021-08-07 13:54:19 | → | Topsi joins (~Tobias@dyndsl-095-033-095-062.ewe-ip-backbone.de) |
| 2021-08-07 13:59:02 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-08-07 13:59:40 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-07 13:59:41 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-08-07 14:03:25 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-08-07 14:05:27 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-07 14:12:04 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 14:12:09 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-07 14:22:13 | → | endlesseditions joins (~endlessed@205.220.252.162) |
| 2021-08-07 14:24:27 | → | MoC joins (~moc@user/moc) |
| 2021-08-07 14:24:43 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 2021-08-07 14:26:53 | allbery_b | is now known as geekosaur |
| 2021-08-07 14:29:10 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-07 14:35:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 14:35:39 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 14:38:13 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 2021-08-07 14:38:19 | × | pe200012_ quits (~pe200012@218.107.49.28) (Ping timeout: 258 seconds) |
| 2021-08-07 14:42:58 | → | futty joins (~futty@c83-252-75-55.bredband.tele2.se) |
| 2021-08-07 14:44:52 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-07 14:46:12 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-07 14:50:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-08-07 14:50:57 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-08-07 14:51:31 | → | kor1 joins (~kor1@user/kor1) |
All times are in UTC.