Logs: liberachat/#haskell
| 2021-06-21 18:35:21 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:35:58 | → | MoC joins (~moc@user/moc) |
| 2021-06-21 18:36:30 | × | ddellacosta quits (~ddellacos@ool-44c73afc.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-06-21 18:36:53 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:37:21 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-21 18:38:22 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-21 18:39:06 | <_73`> | ski: ok I see. I did initially try this but I wasn't able to get my `Either Error Value` functions lifted in. Do I need to rethink the Either functions as well? Before with the `ExceptT Error (State PS.ProgramState) ()` I was able to just use liftEither to get them lifted in, but now I cant come up with a way to get these functions to work with the Cont Monad. Is this ever going to work?: http://dpaste.com/C2ZEWRKHN |
| 2021-06-21 18:39:27 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-21 18:39:40 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:39:47 | <_73`> | This problem lead me to do: `ContT PS.ProgramState (ExceptT Error (State PS.ProgramState)) Value`, but I think this may defeat the purpose. |
| 2021-06-21 18:40:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-21 18:40:40 | → | ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net) |
| 2021-06-21 18:41:14 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:41:36 | → | ddellaco_ joins (~ddellacos@ool-44c73aff.dyn.optonline.net) |
| 2021-06-21 18:41:43 | → | Topsi joins (~Tobias@dyndsl-091-249-082-141.ewe-ip-backbone.de) |
| 2021-06-21 18:42:07 | → | BSTMatAoUYek joins (~BSTMatAoU@37.73.15.135) |
| 2021-06-21 18:42:07 | <BSTMatAoUYek> | 9o baCk to fReen0De OR N0rtH kOr3A nuke5 Y0u |
| 2021-06-21 18:42:07 | × | BSTMatAoUYek quits (~BSTMatAoU@37.73.15.135) (Client Quit) |
| 2021-06-21 18:42:48 | × | ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-21 18:42:56 | × | Izem quits (~Izem@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) (Quit: Izem) |
| 2021-06-21 18:43:05 | <sshine> | I thought it was south korea. |
| 2021-06-21 18:43:10 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2021-06-21 18:43:10 | → | ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net) |
| 2021-06-21 18:43:13 | → | Izem joins (~Izem@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) |
| 2021-06-21 18:43:47 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 258 seconds) |
| 2021-06-21 18:44:04 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:45:22 | × | ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-21 18:45:30 | → | lTcLPewPJLOs joins (~lTcLPewPJ@37.73.15.135) |
| 2021-06-21 18:45:30 | <lTcLPewPJLOs> | jo1n fr3Enode sIDE, we hAv3 CookieS&fRe3 bnc |
| 2021-06-21 18:45:31 | × | lTcLPewPJLOs quits (~lTcLPewPJ@37.73.15.135) (Client Quit) |
| 2021-06-21 18:45:37 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:46:17 | × | ddellaco_ quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-21 18:47:00 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-06-21 18:48:44 | → | Guest9 joins (~Guest9@43.250.158.43) |
| 2021-06-21 18:54:53 | betelgeuse7 | is now known as betelgeuse |
| 2021-06-21 18:55:31 | × | brandonh quits (~brandonh@151.34.22.105) (Quit: brandonh) |
| 2021-06-21 18:58:29 | amirouche` | is now known as amirouche |
| 2021-06-21 18:58:42 | <tomsmeding> | well at least they're mindful enough to approach the issue from both sides: scare us away from here and lure us to the other side |
| 2021-06-21 18:59:17 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-21 18:59:59 | <monochrom> | Except when you go to the other side you also see them suggesting you to come back here. |
| 2021-06-21 19:00:15 | <tomsmeding> | probably not the same "them" though |
| 2021-06-21 19:00:27 | <tomsmeding> | this at least was even the very same IP address :p |
| 2021-06-21 19:00:50 | <tomsmeding> | also the nicks were equally long and the messages were also (!) equally long |
| 2021-06-21 19:00:52 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-06-21 19:01:49 | <monochrom> | Same "them" is already the best scenerio. The worse scenerio is different "them" therefore akin to two government departments telling you "go to the other department, this is their problem". |
| 2021-06-21 19:02:55 | <monochrom> | But good eyes catching the lengths :) |
| 2021-06-21 19:04:23 | → | tzar_bomba joins (~tzar_bomb@78-56-41-78.static.zebra.lt) |
| 2021-06-21 19:05:13 | → | ystael joins (~ystael@user/ystael) |
| 2021-06-21 19:05:50 | <tomsmeding> | my client hiding joins/leaves of idle nicks does make it easier to spot :) |
| 2021-06-21 19:06:01 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-21 19:07:17 | <_73`> | ski: I now understand why my example was not going to work. |
| 2021-06-21 19:07:52 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-21 19:08:12 | → | ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net) |
| 2021-06-21 19:08:35 | ski | would think it's more likely to be the same "them" (or similarly motivated people), at least for the "/!\ ..."-style spam, that's been visible on multiple networks, lately |
| 2021-06-21 19:08:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-21 19:08:55 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-21 19:09:06 | <ski> | (i've seen that on five networks, and i haven't really bothered to look around more for it) |
| 2021-06-21 19:09:19 | → | rawles joins (~o@sputnik.rawles.net) |
| 2021-06-21 19:09:29 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-21 19:09:55 | × | rawles quits (~o@sputnik.rawles.net) (Changing host) |
| 2021-06-21 19:09:55 | → | rawles joins (~o@user/rawles) |
| 2021-06-21 19:11:07 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection) |
| 2021-06-21 19:11:12 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-21 19:11:36 | → | zeenk joins (~zeenk@2a02:2f04:a00e:6e00:d401:4c92:fecc:16f9) |
| 2021-06-21 19:12:26 | → | cyclosa joins (~cyclosa@2603-6011-4a41-8ada-0000-0000-0000-0eaa.res6.spectrum.com) |
| 2021-06-21 19:12:32 | <ski> | @unmtl ContT o (ExceptT e (StateT s m)) a |
| 2021-06-21 19:12:32 | <lambdabot> | (a -> s -> m (Either e o, s)) -> s -> m (Either e o, s) |
| 2021-06-21 19:12:36 | <ski> | @unmtl ExceptT e (ContT o (StateT s m)) a |
| 2021-06-21 19:12:36 | <lambdabot> | (Either e a -> s -> m (o, s)) -> s -> m (o, s) |
| 2021-06-21 19:12:38 | <ski> | @unmtl ExceptT e (StateT s (ContT o m)) a |
| 2021-06-21 19:12:39 | <lambdabot> | s -> (Either e a -> s -> m o) -> m o |
| 2021-06-21 19:14:27 | <ski> | _73` : the last one looks more promising, i'd think. although, perhaps (or perhaps not) it would be worth it to manually replace `(Either e a -> s -> m o) ->' by `(e -> s -> m o) -> (a -> s -> m o) ->' (having separate "normal exit" and "exceptional exit" paths) .. |
| 2021-06-21 19:15:11 | → | MoC joins (~moc@user/moc) |
| 2021-06-21 19:15:38 | amirouche | come to (free) deno side |
| 2021-06-21 19:15:40 | <amirouche> | quit |
| 2021-06-21 19:15:42 | <amirouche> | oops! |
| 2021-06-21 19:17:38 | <_73`> | I am going to have to consider this for some time. First I will see how far I can get with the last example. Thanks. |
| 2021-06-21 19:19:52 | × | Guest9 quits (~Guest9@43.250.158.43) (Quit: Ping timeout (120 seconds)) |
| 2021-06-21 19:20:02 | → | Morrow joins (~MorrowM_@147.161.9.243) |
| 2021-06-21 19:20:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-21 19:20:08 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-21 19:20:22 | → | Guest9 joins (~Guest9@43.250.158.43) |
| 2021-06-21 19:20:28 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 250 seconds) |
| 2021-06-21 19:20:35 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 258 seconds) |
| 2021-06-21 19:21:14 | × | haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 252 seconds) |
| 2021-06-21 19:27:46 | → | janiczek joins (~janiczek@89-24-215-117.customers.tmcz.cz) |
| 2021-06-21 19:32:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-06-21 19:32:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
| 2021-06-21 19:33:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-21 19:33:38 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-06-21 19:35:12 | × | shapr quits (~user@144.163.30.223) (Ping timeout: 268 seconds) |
| 2021-06-21 19:37:18 | × | jackhill quits (~jackhill@kalessin.dragonsnail.net) (Read error: Connection reset by peer) |
| 2021-06-21 19:38:34 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-06-21 19:38:57 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-06-21 19:41:00 | → | jackhill joins (~jackhill@kalessin.dragonsnail.net) |
| 2021-06-21 19:42:18 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-21 19:43:02 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-21 19:43:26 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-21 19:44:11 | → | shapr joins (~user@144.163.30.223) |
| 2021-06-21 19:44:47 | → | pavonia joins (~user@user/siracusa) |
All times are in UTC.