Logs: freenode/#haskell
| 2021-05-21 01:34:59 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
| 2021-05-21 01:37:32 | × | carlomagno quits (~cararell@148.87.23.7) (Quit: Leaving.) |
| 2021-05-21 01:38:03 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-21 01:38:23 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-21 01:38:33 | → | abcBW joins (~abcBW@2001:12b4:231:3601:61ed:472a:a935:cbab) |
| 2021-05-21 01:38:38 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-05-21 01:39:30 | × | abcBW quits (~abcBW@2001:12b4:231:3601:61ed:472a:a935:cbab) (Client Quit) |
| 2021-05-21 01:41:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-21 01:41:56 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-05-21 01:42:28 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-05-21 01:42:53 | → | altern joins (~altern@altern.corbina.com.ua) |
| 2021-05-21 01:43:24 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-21 01:43:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-21 01:43:48 | tim | is now known as Guest72425 |
| 2021-05-21 01:45:41 | × | xff0x quits (~xff0x@2001:1a81:520e:9000:56ce:5c4d:1592:3849) (Ping timeout: 258 seconds) |
| 2021-05-21 01:46:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-21 01:46:56 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-21 01:47:35 | → | xff0x joins (~xff0x@2001:1a81:5247:5700:3ce8:ecd1:58e7:69e6) |
| 2021-05-21 01:48:06 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-xqngqcqyazccheyp) (Quit: Connection closed for inactivity) |
| 2021-05-21 01:48:30 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-21 01:49:57 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2021-05-21 01:50:18 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-05-21 01:50:43 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-21 01:52:14 | × | Guest72425 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-21 01:53:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-21 01:53:43 | <edwardk> | wroathe: i haven't written a more foreceful announcement because no due process has been followed, but as far as i'm concerned libera.chat is the new home |
| 2021-05-21 01:54:15 | <edwardk> | roughly a third of the community has moved over, no other alternatives are being seriously put forth, and i'm basically gone to there myself |
| 2021-05-21 01:54:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 01:54:49 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-21 01:54:54 | <shiraeeshi> | are logs taken care of in libera? |
| 2021-05-21 01:54:57 | <edwardk> | almost all of the ops who regularly join the channel have moved or are just logging into both servers |
| 2021-05-21 01:55:21 | <edwardk> | shiraeeshi: i haven't done anything to address it. who ifanyone does log the #haskell channel, anyways? |
| 2021-05-21 01:55:43 | <edwardk> | i remember there's the tunes.org logs, but what bot or person collects them? |
| 2021-05-21 01:55:47 | × | z0k quits (~user@101.50.108.132) (Ping timeout: 246 seconds) |
| 2021-05-21 01:56:08 | <shiraeeshi> | maybe tomsmedding can add a new url |
| 2021-05-21 01:56:17 | <edwardk> | seems worth it |
| 2021-05-21 01:56:32 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-05-21 01:56:37 | <edwardk> | tomsmeding: ? |
| 2021-05-21 01:56:51 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-05-21 01:57:28 | ← | Clint parts (~Clint@libre.fm/hacker/clint) () |
| 2021-05-21 01:57:48 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-21 01:58:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-21 01:58:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-21 02:00:03 | <mniip> | I can probably do it |
| 2021-05-21 02:00:49 | <mniip> | though I have a cringe web interface thing and not based plaintex files in a directory |
| 2021-05-21 02:00:56 | × | ulidtko quits (~ulidtko@194.54.80.38) (Read error: Connection reset by peer) |
| 2021-05-21 02:00:59 | → | ulidtko|k joins (~ulidtko@194.54.80.38) |
| 2021-05-21 02:01:58 | <wroathe> | edwardk: Does that imply that due process is going to be followed? If yes, does that mean due process could result in the decision to not migrate? |
| 2021-05-21 02:02:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-21 02:03:36 | → | a6a45081-2b83 joins (~aditya@122.163.149.247) |
| 2021-05-21 02:03:55 | × | ubert quits (~Thunderbi@p200300ecdf259d5ae6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-21 02:04:17 | → | ubert joins (~Thunderbi@p200300ecdf259d5ae6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-05-21 02:04:46 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-21 02:05:14 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 2021-05-21 02:06:04 | <a6a45081-2b83> | what would be the lens to get the key "foo" from a list of Objects (Aeson) ? I'm trying objs ^.. ix "foo" . _Integral (where objs :: [Object]) |
| 2021-05-21 02:06:47 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-21 02:07:49 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Read error: Connection reset by peer) |
| 2021-05-21 02:08:20 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-21 02:08:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:28d8:66fe:ae26:16e5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-21 02:09:42 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-21 02:10:13 | × | falafel quits (~falafel@2600:8800:4700:53f0:b4a5:fa93:bc1a:b3d6) (Ping timeout: 258 seconds) |
| 2021-05-21 02:10:23 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-05-21 02:10:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-21 02:11:04 | × | smerdyakov quits (~dan@5.146.195.164) (Read error: Connection reset by peer) |
| 2021-05-21 02:11:06 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-21 02:11:27 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2021-05-21 02:11:37 | → | smerdyakov joins (~dan@5.146.195.164) |
| 2021-05-21 02:12:01 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-21 02:12:50 | <a6a45081-2b83> | wait objs ^.. traversed . ix "foo" . _Integral worked. |
| 2021-05-21 02:15:31 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-21 02:16:39 | × | star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-21 02:17:21 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) () |
| 2021-05-21 02:17:52 | → | star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) |
| 2021-05-21 02:20:16 | <edwardk> | wroathe: no idea. no idea who is properly involved in such a process. we haven't needed to do it and never formulated a plan |
| 2021-05-21 02:20:45 | → | finn_elija joins (~finn_elij@89.233.72.104) |
| 2021-05-21 02:21:26 | <edwardk> | wroathe: i'd say usually it'd be the ops of the channel... and basically all of them have set up accounts on the other side and are sitting in the corresponding #haskell-ops channel. i think the major omissions are dcoutts and igloo who tend to lurk more than actively moderate |
| 2021-05-21 02:21:36 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:28d8:66fe:ae26:16e5) |
| 2021-05-21 02:22:07 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-05-21 02:22:45 | <wroathe> | edwardk: I'm sure my perspective is wrong on this, but to me that sounds like a group of people who are in charge, but don't know that they're in charge :P |
| 2021-05-21 02:23:11 | <wroathe> | edwardk: If all of the ops of this channel are on board, then to me that would seem to be the end of it. |
| 2021-05-21 02:23:12 | <edwardk> | were it up to me unilaterally to decide i'd say we move. i've moved myself and my stuff unilaterally. this is the last out of 40+ channels i'm in on freenode |
| 2021-05-21 02:23:42 | <edwardk> | but given i'm the one who raised the issue in the first place, it seems gauche to me to say 'ok, so now we're all moving to libera.chat' |
| 2021-05-21 02:23:49 | <edwardk> | which robs me of the power to make that the story |
| 2021-05-21 02:24:01 | × | FinnElija quits (~finn_elij@89.233.76.159) (Ping timeout: 260 seconds) |
| 2021-05-21 02:24:08 | <wroathe> | edwardk: Just get the other ops together and conduct a vote |
| 2021-05-21 02:24:10 | <edwardk> | sclv and tapas basically went 'choo choo' full speed ahead and set things up |
| 2021-05-21 02:24:37 | <wroathe> | edwardk: No need to make decision unilaterally. You're one conversation away from formalizing this with the rest of the group :P |
| 2021-05-21 02:24:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-21 02:25:09 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-21 02:25:10 | <edwardk> | wroathe: you may overestimate the number of spoons i have left in me. the last 2 days have been exhausting, and i'm moving this weekend |
| 2021-05-21 02:25:32 | <wroathe> | Yeah, I figured there was more to the story |
| 2021-05-21 02:25:37 | <edwardk> | (not irc servers, just myself and my wife and my cats and all my stuff back to berkeley) |
| 2021-05-21 02:25:45 | <davean> | I mean also IRC servers |
| 2021-05-21 02:25:54 | <davean> | It was a busy week |
| 2021-05-21 02:26:13 | <wroathe> | edwardk: You could delegate to another op, have them conduct the vote, and empower them to vote on your behalf by proxy |
| 2021-05-21 02:26:20 | <edwardk> | davean: i've finished that move for the most part. other than having to fit the last 600 people or so here into my suitcase, the packing is all done. |
| 2021-05-21 02:26:21 | <wroathe> | Just an idea |
| 2021-05-21 02:27:17 | <edwardk> | right now we have a bit over a third of the community moved. we have no relationships with any of the new ircops, and this channel is a nightmare to manage even with the fact that we usually have 2-3 resident ircops. now we have none |
| 2021-05-21 02:27:24 | <edwardk> | as far as i'm concerned freenode #haskell is a corpse |
| 2021-05-21 02:27:34 | <edwardk> | because even if i wanted to i don't have a way to salvage it |
All times are in UTC.