Logs: freenode/#haskell
| 2021-05-21 00:24:06 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-21 00:24:10 | <kline> | oats, thankfully our infra guys are incredible, and have good coffee |
| 2021-05-21 00:24:18 | <kline> | i couldnt do what theyve been doing |
| 2021-05-21 00:24:47 | <oats> | y'all call in favors or something to get enough infrastructure to host 11k users or whatever you're up to now |
| 2021-05-21 00:26:53 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 2021-05-21 00:27:50 | sm[m] | sends a tray of foaming beers to the staff |
| 2021-05-21 00:29:38 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-21 00:31:11 | <blankhart> | if i understand, it is possible with current haskell extensions to take a string literal, reify it to a type, and use the type to retrieve some other value using a multiparameter typeclass; but not with an arbitrary runtime string. is that right |
| 2021-05-21 00:33:19 | <blankhart> | effectively the thing you want to reify needs to be a closed universe, which you have for literals but not arbitrary strings |
| 2021-05-21 00:33:42 | <blankhart> | closed at compile time i mean |
| 2021-05-21 00:34:10 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Quit: cyphase.com) |
| 2021-05-21 00:34:15 | × | argento quits (~argent0@168.227.96.51) (Ping timeout: 246 seconds) |
| 2021-05-21 00:34:21 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 2021-05-21 00:34:42 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 00:35:04 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:28d8:66fe:ae26:16e5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-21 00:35:32 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-pklxkyitfstsecbx) (Quit: Updating details, brb) |
| 2021-05-21 00:37:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:28d8:66fe:ae26:16e5) |
| 2021-05-21 00:38:02 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-iabiancpyfwjdtsd) |
| 2021-05-21 00:39:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-21 00:39:52 | yin | is now known as zzz |
| 2021-05-21 00:40:36 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9) |
| 2021-05-21 00:42:04 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2021-05-21 00:42:57 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-21 00:43:57 | zzz | is now known as rasengen |
| 2021-05-21 00:44:05 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-21 00:44:07 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-21 00:44:23 | × | zebrag quits (~inkbottle@alagny-155-1-30-195.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-21 00:44:30 | tim | is now known as Guest59010 |
| 2021-05-21 00:44:39 | → | steve-chavez joins (~steve-cha@190.237.35.88) |
| 2021-05-21 00:44:45 | → | zebrag joins (~inkbottle@alagny-155-1-30-195.w83-200.abo.wanadoo.fr) |
| 2021-05-21 00:45:29 | × | Guest59010 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-21 00:45:37 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Remote host closed the connection) |
| 2021-05-21 00:46:05 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-21 00:47:10 | → | CMCDragonkai1 joins (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-05-21 00:47:27 | rasengen | is now known as zzz |
| 2021-05-21 00:47:47 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-05-21 00:48:01 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-21 00:52:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-21 00:53:38 | ← | towel parts (~towel@unaffiliated/towel) ("Leaving") |
| 2021-05-21 00:53:56 | <Ankhers> | Is this channel being replacced by libera, or will both be active for the time being? |
| 2021-05-21 00:54:07 | <geekosaur> | the latter |
| 2021-05-21 00:54:11 | <Ankhers> | Thanks! |
| 2021-05-21 00:57:57 | → | ransom joins (~c4264035@70-59-14-200.hlrn.qwest.net) |
| 2021-05-21 00:58:54 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-21 01:03:44 | <kline> | geekosaur, is there anything blocking a move to libera in particular? |
| 2021-05-21 01:05:15 | <geekosaur> | last I heard the haskell foundation was still considering the whole thing. that said, various groups have already moved including all the #haskell ops and the ghc development channel |
| 2021-05-21 01:06:13 | <wroathe> | geekosaur: moved? Or just registered nicks in case of a move? |
| 2021-05-21 01:06:30 | <geekosaur> | present and have the same ops setup as here |
| 2021-05-21 01:06:51 | <geekosaur> | still mostly present on here just in case, since not everyone hsas moved over yet and ops may be necessary |
| 2021-05-21 01:07:13 | × | ransom quits (~c4264035@70-59-14-200.hlrn.qwest.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-21 01:07:52 | <wroathe> | Ok. I've been waiting on more definitive announcements from the channels I frequent to pull the trigger myself. |
| 2021-05-21 01:08:02 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-21 01:08:10 | <davean> | geekosaur: I'm curious where you heard that. |
| 2021-05-21 01:08:26 | <geekosaur> | here, earlier |
| 2021-05-21 01:09:05 | <geekosaur> | the last time someone asked about it |
| 2021-05-21 01:10:03 | <davean> | Weird. The only power they have over that is approving of it. Which they do. |
| 2021-05-21 01:11:06 | <geekosaur> | anyway, beyond that we had 1000 people in here and it'll take time for people to move over. and I don't know how many are using the matrix gateway but it'll take time for that to move as well (I think it's been requested) |
| 2021-05-21 01:11:32 | <geekosaur> | and other gateways (irccloud?) |
| 2021-05-21 01:12:59 | <geekosaur> | I'm somewhat surprised we're already up to 300, given how people normally procrastinate on these things :) |
| 2021-05-21 01:13:34 | × | CMCDragonkai1 quits (~Thunderbi@60-242-118-130.tpgi.com.au) (Quit: CMCDragonkai1) |
| 2021-05-21 01:13:44 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9529d40b670388347ddc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-21 01:14:30 | → | drbean_ joins (~drbean@TC210-63-209-18.static.apol.com.tw) |
| 2021-05-21 01:15:37 | <sm[m]> | personally I am accelerating thing because managing 3 (with matrix) chat networks hurts my brain! |
| 2021-05-21 01:15:44 | <wroathe> | geekosaur: Well, I wouldn't be surprised if a fair amount are sheep like I am, and expect there to be a more forceful announcement from the top :P |
| 2021-05-21 01:16:50 | <geekosaur> | fli[p side of which is I don't think anyone wants to pull the trigger. I know various people have said "yes we're moving" and then later backed off it to "we're talking about it", but I think most of us ops are in favor of the move |
| 2021-05-21 01:18:08 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-21 01:18:12 | <geekosaur> | sadly it's all adding up to confusion for everyone :( |
| 2021-05-21 01:18:26 | <davean> | Many people stated very certainly |
| 2021-05-21 01:18:36 | <davean> | Edward Kmeet for example |
| 2021-05-21 01:18:41 | × | plutoniix quits (~q@node-uhj.pool-125-24.dynamic.totinternet.net) (Ping timeout: 260 seconds) |
| 2021-05-21 01:18:47 | <wroathe> | His Reddit post didn't sound certain to me at all |
| 2021-05-21 01:18:53 | <davean> | That was WELL before |
| 2021-05-21 01:18:54 | <wroathe> | Maybe there's been further correspondence since |
| 2021-05-21 01:19:00 | <wroathe> | Ah |
| 2021-05-21 01:19:11 | <geekosaur> | what OI saw him saying was he was moving his own stuff certainbly, but the community was still up in the air |
| 2021-05-21 01:19:14 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-21 01:19:20 | <davean> | Once stuff actually happened he said "I'm going to be doing everything on libera and I'm parting freenode" basicly |
| 2021-05-21 01:19:31 | <davean> | yes, he said he's moving his own stuff |
| 2021-05-21 01:19:34 | <davean> | communities are their own thing |
| 2021-05-21 01:19:40 | <davean> | all anyone can do is move what they control |
| 2021-05-21 01:19:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-21 01:20:02 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-21 01:20:08 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-21 01:21:15 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-21 01:21:20 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-21 01:24:06 | <zzz> | im voting with my right feet and leaving my left one here so i can periodically tell people to migrate |
| 2021-05-21 01:24:19 | <zzz> | s/feet/foot |
| 2021-05-21 01:24:32 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-21 01:25:39 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-21 01:25:46 | × | zebrag quits (~inkbottle@alagny-155-1-30-195.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-21 01:26:08 | <zzz> | if it was up to me, topic would redirect people to libera and/or a link to a haskell.org page explaining what happened |
| 2021-05-21 01:26:28 | <zzz> | but leave the channel here because a lot of documentation points here |
| 2021-05-21 01:26:37 | <wroathe> | But it's not, and so here we be. |
| 2021-05-21 01:26:46 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-21 01:27:47 | <zzz> | on one hand i'm glad it's not |
| 2021-05-21 01:28:40 | <wroathe> | That just leaves you with one hand and no feet to spare. |
| 2021-05-21 01:28:51 | <zzz> | i was thinking the same thing! |
| 2021-05-21 01:29:22 | <wroathe> | ;) |
| 2021-05-21 01:30:43 | → | argento joins (~argent0@168.227.97.23) |
| 2021-05-21 01:32:30 | → | stree joins (~stree@68.36.8.116) |
All times are in UTC.