Logs: freenode/#haskell
| 2021-05-19 18:07:45 | <lambdabot> | Unknown command, try @list |
| 2021-05-19 18:07:55 | <Heffalump> | edwardk: you reckon Libera is the natural destination? It's unclear to me why people didn't just head to OFTC (which came out of the last Freenode wars...) |
| 2021-05-19 18:07:55 | → | slack1256 joins (~slack1256@191.125.227.73) |
| 2021-05-19 18:07:56 | ArsenArsen | is now known as Arsen |
| 2021-05-19 18:08:03 | Arsen | is now known as ArsenArsen |
| 2021-05-19 18:08:03 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-19 18:08:23 | <geekosaur> | becuase the freenode opers left en masse and set up libera |
| 2021-05-19 18:09:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 18:09:59 | <Rembane> | What happened to Freenode? Is there a write-up of it? |
| 2021-05-19 18:10:21 | <mjrosenb> | mniip posted a link earlier. |
| 2021-05-19 18:10:37 | <geekosaur> | https://kline.sh/ |
| 2021-05-19 18:10:38 | <edwardk> | Heffalump: the fact that we know all the ops and will continue to enjoy the superpower of having folks like mniip and glguy right in the channel with us when the botspam inevitably comes goes a _LONG_ way with me from a personal pain perspective |
| 2021-05-19 18:10:40 | <slack1256> | There is also the discussion on the haskell's reddit. |
| 2021-05-19 18:10:45 | <styledash> | abandon ship! |
| 2021-05-19 18:11:05 | <Heffalump> | edwardk: fair enough, though it's a shame we now have a third network |
| 2021-05-19 18:11:18 | <styledash> | tfw freenode gets thanos snapped |
| 2021-05-19 18:11:50 | <mjrosenb> | irssi handles multiple servers decently well (that isn't to say there aren't headaches) |
| 2021-05-19 18:11:56 | <edwardk> | Heffalump: I always get sad when these things fragment. |
| 2021-05-19 18:11:57 | → | pera_ joins (~pera_@94.0.111.239) |
| 2021-05-19 18:12:35 | ← | styledash parts (~styledash@157.230.173.136) ("The Lounge - https://thelounge.chat") |
| 2021-05-19 18:13:04 | <edwardk> | The real thing is we just don't have the huge pile of relationships at oftc. if this blew up on a longer timescale rather than literally overnight? i'd probably have spent a lot more time shopping around there for my own dev efforts |
| 2021-05-19 18:13:24 | <geekosaur> | yeh :/ |
| 2021-05-19 18:14:23 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 18:14:29 | <Heffalump> | is there any chance of the two joining up? |
| 2021-05-19 18:14:44 | <jrp> | @lyxia fmap f p = AnyContT $ fmap f (unAnyContT p) worked (compiled) compiled fine! Thanks |
| 2021-05-19 18:14:44 | <lambdabot> | Unknown command, try @list |
| 2021-05-19 18:15:20 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) |
| 2021-05-19 18:15:27 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-05-19 18:15:29 | <edwardk> | i'm moving #haskell-lens to go wherever i can talk to glguy though. he's done a monstrous pile of work on it, and continuing to develop that in a place where he might not feel terribly safe, given rasengan seems to want to try to treat the leaked resignation letter as "slander" and lawyer up? seems like i'd be a shitty friend. |
| 2021-05-19 18:15:32 | <jrp> | @lyxia fmap f p = AnyContT $ fmap f (unAnyContT p) worked (compiled) fine, thanks! No I have some more errors... |
| 2021-05-19 18:15:33 | <lambdabot> | Unknown command, try @list |
| 2021-05-19 18:15:44 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-19 18:16:05 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org) |
| 2021-05-19 18:16:17 | <jrp> | @lyxia " fmap f p = AnyContT $ fmap f (unAnyContT p)" worked fine. Thanks. Now I have some more errors |
| 2021-05-19 18:16:17 | <lambdabot> | Unknown command, try @list |
| 2021-05-19 18:16:39 | <lyxia> | jrp: (you don't need to add @ before a nick) what errors |
| 2021-05-19 18:17:14 | <edwardk> | Heffalump: i don't actually know what if any bad blood there is between this last round of ircops here at freenode (now libera) and the oftc folks |
| 2021-05-19 18:17:23 | → | nckx joins (~nckx@tobias.gr) |
| 2021-05-19 18:17:28 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-19 18:17:37 | <jrp> | I'll add them to the paste (more of the same) |
| 2021-05-19 18:19:00 | <jrp> | added to https://paste.tomsmeding.com/WS04IGSZ |
| 2021-05-19 18:19:13 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Quit: ZNC - https://znc.in) |
| 2021-05-19 18:19:18 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-05-19 18:19:25 | <lyxia> | jrp: Well a general approach is if you're using . and $, to not use them and write plain applications with parentheses |
| 2021-05-19 18:20:10 | <jrp> | OK. Thanks. I'll see if I can figure it out. |
| 2021-05-19 18:20:50 | → | esp32_prog joins (~esp32_pro@193.27.14.138) |
| 2021-05-19 18:21:12 | × | timCF quits (~i.tkachuk@m91-129-99-246.cust.tele2.ee) (Quit: leaving) |
| 2021-05-19 18:21:18 | → | UpstreamSalmon joins (uid12077@gateway/web/irccloud.com/x-snywgrwttijwalca) |
| 2021-05-19 18:21:37 | × | esp32_prog quits (~esp32_pro@193.27.14.138) (Remote host closed the connection) |
| 2021-05-19 18:22:14 | <altern> | dminuoso, are you here? would you be able to help with another thing that I encountered while trying to embed gitlib code into a larger program? https://paste.tomsmeding.com/0SJOfuXk |
| 2021-05-19 18:25:04 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-19 18:25:41 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-19 18:26:16 | domenkozar[m] | is now known as DomenKoar[m] |
| 2021-05-19 18:26:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 18:28:38 | × | srk quits (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-19 18:28:49 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-19 18:30:06 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-19 18:30:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-19 18:31:00 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-19 18:31:13 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-19 18:31:40 | <Gurkenglas> | Should there be a bot crossposting messages between this channel and that one? |
| 2021-05-19 18:33:08 | <[exa]> | it might be useful but people can as well connect to both channels |
| 2021-05-19 18:33:41 | <[exa]> | s/channels/servers/ |
| 2021-05-19 18:34:00 | <Gurkenglas> | they might not notice the happenings. |
| 2021-05-19 18:34:25 | → | DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-19 18:34:56 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-19 18:34:59 | × | Heffalump quits (~ganesh@urchin.earth.li) (Quit: reconfiguring my IRC client after the Freenode chaos) |
| 2021-05-19 18:35:33 | <[exa]> | I guess topic will eventually get updated, etc |
| 2021-05-19 18:36:01 | <[exa]> | like, the whole thing happened (*looks at the clock*) 7 hours ago? |
| 2021-05-19 18:36:19 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-19 18:36:54 | <geekosaur> | it's not yet clear that the whole community will move, so far it's been individual ops and users and no official "we're moving" has been declared as such |
| 2021-05-19 18:37:09 | × | DTZUZU quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds) |
| 2021-05-19 18:37:19 | <geekosaur> | personally I'm in favor of moving but I'm only one op |
| 2021-05-19 18:37:38 | <geekosaur> | and not the most active |
| 2021-05-19 18:38:10 | <[exa]> | altern: you might need to supply a MonadMask instance for InputT (if that's your typeclass) |
| 2021-05-19 18:38:30 | <[exa]> | altern: (or add some lifting work I guess, but I'm not familiar with the whole thing) |
| 2021-05-19 18:38:56 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-19 18:39:08 | <[exa]> | geekosaur: given the speed the people are moving compared to the amount of announcement that's been there, I guess we'll eventually all move |
| 2021-05-19 18:39:36 | → | jared-w joins (uid405292@gateway/web/irccloud.com/x-yfrswvtkvkytmctp) |
| 2021-05-19 18:39:41 | <altern> | exa: I think I need to apply some transformers to openRepository call |
| 2021-05-19 18:39:47 | <[exa]> | there's some open issues (afaik, the missing matrix connection likely blocks a lot of people) |
| 2021-05-19 18:39:48 | × | ozzymcdu_ quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-19 18:40:01 | <altern> | exa: it does not make sense to implement MonadMask for InputT |
| 2021-05-19 18:40:08 | <[exa]> | altern: what's the type of openRepository? |
| 2021-05-19 18:40:41 | <altern> | exa: https://hackage.haskell.org/package/gitlib-3.1.3/docs/Git-Types.html#t:RepositoryFactory |
| 2021-05-19 18:40:52 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-yfrswvtkvkytmctp) (Client Quit) |
| 2021-05-19 18:41:13 | → | LKoen joins (~LKoen@2a01cb0407597a00507da683e519d440.ipv6.abo.wanadoo.fr) |
| 2021-05-19 18:42:15 | <altern> | exa: btw, I have MS type declared like this: type MS = ReaderT SearchFunc (StateT ProgramState IO) |
| 2021-05-19 18:43:05 | <[exa]> | that's weird, the first argument should be RepositoryOptions so no idea why it's asking for MonadMask |
| 2021-05-19 18:43:17 | → | tomferon[m] joins (tomferonmo@gateway/shell/matrix.org/x-btrorkksnzvhjqag) |
| 2021-05-19 18:43:48 | ArsenArsen | is now known as qookie |
| 2021-05-19 18:43:55 | qookie | is now known as ArsenArsen |
| 2021-05-19 18:44:43 | <[exa]> | ah noes sorry, misread the whole thing :D |
| 2021-05-19 18:45:03 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:9584:183a:ef58:a92d) (Ping timeout: 260 seconds) |
| 2021-05-19 18:46:31 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-19 18:47:00 | → | qwerty2o_ joins (~qwerty2o@89-138-23-24.bb.netvision.net.il) |
| 2021-05-19 18:47:41 | <[exa]> | altern: what's the type of the function around? (ie. what's the monad in there?) I guess something later in/around the function requires MonadMask |
| 2021-05-19 18:48:10 | × | belphegor666 quits (~satan@2a02:8071:429b:600:6c4a:bff:fede:7c09) (Quit: WeeChat 3.1) |
| 2021-05-19 18:48:17 | <altern> | exa: parseInput :: String -> InputT MS () |
| 2021-05-19 18:49:34 | <[exa]> | hm weird, no idea. Maybe if you could paste a bit of the code around |
All times are in UTC.