2021-05-25 12:04:53 +0200 <Solid> both in base
2021-05-25 12:04:56 +0200 <Solid> this is a lot of fun :
2021-05-25 12:04:59 +0200 <Solid> :)
2021-05-25 12:05:52 +0200 <liskin> oh, Type.Reflection even has your `theType`
2021-05-25 12:05:57 +0200 <liskin> too bad it doesn't have cast :-(
2021-05-25 12:07:01 +0200 <liskin> (I know one can piece that together with eqTypeRep, but then it becomes ugly again)
2021-05-25 12:09:04 +0200 <Solid> it also can't really be put into a map as nicely (that I can see)
2021-05-25 12:09:12 +0200 <Solid> we'd have to existentially qualify over the whole map
2021-05-25 12:09:27 +0200 <Solid> I think Data.Typeable is definitely the better approach in our case
2021-05-25 12:10:34 +0200 <liskin> right
2021-05-25 12:23:51 +0200terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-05-25 13:05:37 +0200bsima1bsima
2021-05-25 13:14:24 +0200boxscape(~boxscape@user/boxscape)
2021-05-25 13:51:42 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-05-25 13:57:05 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-05-25 14:29:33 +0200a6a45081-2b83(~aditya@171.76.149.211)
2021-05-25 14:32:40 +0200f33f046c-a02e(~aditya@171.76.149.211)
2021-05-25 14:33:12 +0200a6a45081-2b83(~aditya@171.76.149.211) (Client Quit)
2021-05-25 14:47:36 +0200a6a45081-2b83(~aditya@27.58.166.71)
2021-05-25 14:47:36 +0200f33f046c-a02e(~aditya@171.76.149.211) (Read error: Connection reset by peer)
2021-05-25 14:51:46 +0200qbt(~edun@user/edun) (Ping timeout: 264 seconds)
2021-05-25 15:00:43 +0200a6a45081-2b83(~aditya@27.58.166.71) (Quit: Konversation terminated!)
2021-05-25 15:26:30 +0200dmwit_dmwit
2021-05-25 15:50:00 +0200qbt(~edun@user/edun)
2021-05-25 17:42:13 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-25 17:50:21 +0200seschwar(~seschwar@user/seschwar)
2021-05-25 18:29:10 +0200boxscape(~boxscape@user/boxscape) (Quit: Connection closed)
2021-05-25 19:15:37 +0200boxscape(~boxscape@user/boxscape)
2021-05-25 19:18:18 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-25 19:23:06 +0200 <geekosaur> still nothing :(
2021-05-25 19:25:30 +0200 <liskin> at this point I'd consider popping into #libera or something and asking where in the queue they are
2021-05-25 19:34:08 +0200 <fizzie> On that note, FWIW, when I had our recommended pre-conversation with a staffer, they just set me as the relevant channel's founder and asked me to do the emails after-the-fact. So while it's not fully registered (re cloaks and whatever), at least we've got the right flags on the channel. So it sounds possible a staffer could help you get set up as well. (Though this was a community registration, not a
2021-05-25 19:34:14 +0200 <fizzie> project one.)
2021-05-25 19:35:08 +0200 <geekosaur> and the first thing I see on joining is someone else asking the same thing :)
2021-05-25 19:37:27 +0200 <geekosaur> main problems now being (1) I'm eating lunch (2) and having bad essential tremor today so I can barely type :(
2021-05-25 19:43:34 +0200 <geekosaur> oy
2021-05-25 19:48:04 +0200 <geekosaur> suspect that's the best answer we're going to get
2021-05-25 19:57:07 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-25 19:59:11 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-05-25 19:59:33 +0200allbery_bgeekosaur
2021-05-25 21:45:38 +0200 <geekosaur> did anyone test use of ppSort after reworking WorkspaceCompare? or if they did, perhaps we need migration documentation as it suggests the old form should work but it produces a type error now
2021-05-25 21:46:08 +0200 <geekosaur> that is, I can't say `ppSort = getSortByXineramaPhysicalRule`
2021-05-25 21:49:23 +0200 <liskin> geekosaur: are you referring to 756507e2b64786cca7e51263d59c51af1259c29d?
2021-05-25 21:49:29 +0200 <geekosaur> n/m, followed the types
2021-05-25 21:49:50 +0200 <geekosaur> the sort now can be by id or rectangle, I guess?
2021-05-25 21:56:15 +0200boxscape(~boxscape@user/boxscape) ()
2021-05-25 21:57:27 +0200 <geekosaur> well that was annoying.,. took 3 tries to figure out the right function to use
2021-05-25 21:57:53 +0200 <geekosaur> might do with better docs for ppSort indeed
2021-05-25 23:18:38 +0200ElKowar4(~ElKowar@srv-fin.xware-gmbh.de)
2021-05-25 23:19:53 +0200Solid_(~slot@2a01:4f8:c2c:d600::2)
2021-05-25 23:20:30 +0200liskin(~liskin@ackle.nomi.cz) (Ping timeout: 272 seconds)
2021-05-25 23:20:39 +0200jato(~jato@68.183.0.207) (Read error: Connection reset by peer)
2021-05-25 23:20:41 +0200piele(~piele@tbonesteak.creativeserver.net) (Read error: Connection reset by peer)
2021-05-25 23:20:47 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2021-05-25 23:20:50 +0200liskin(~liskin@ackle.nomi.cz)
2021-05-25 23:20:57 +0200seschwar(~seschwar@user/seschwar) (Quit: :wq)
2021-05-25 23:21:08 +0200ElKowar(~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 272 seconds)
2021-05-25 23:21:21 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-05-25 23:22:59 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-05-25 23:23:01 +0200Solid(~slot@static.220.87.47.78.clients.your-server.de) (Ping timeout: 272 seconds)
2021-05-26 00:32:51 +0200mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-05-26 03:01:22 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-05-26 03:02:16 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-26 03:26:51 +0200themainman(~themainma@user/themainman) (Quit: WeeChat 3.1)
2021-05-26 04:37:02 +0200td_(~td@muedsl-82-207-238-005.citykom.de) (Ping timeout: 265 seconds)
2021-05-26 04:38:46 +0200td_(~td@94.134.91.198)
2021-05-26 06:42:55 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 06:43:04 +0200thunderrd(~thunderrd@183.182.115.71) ()
2021-05-26 07:07:38 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 07:08:54 +0200thunderrd(~thunderrd@183.182.115.71) (Quit: If it wasn't written down it didn't happen...)
2021-05-26 07:34:09 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 07:56:21 +0200thunderrd(~thunderrd@183.182.115.71) (Quit: If it wasn't written down it didn't happen...)
2021-05-26 07:58:14 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 08:09:27 +0200thunderrd(~thunderrd@183.182.115.71) (Quit: If it wasn't written down it didn't happen...)
2021-05-26 08:10:16 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 08:14:09 +0200thunderrd(~thunderrd@183.182.115.71) (Client Quit)
2021-05-26 08:20:46 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 08:21:49 +0200thunderrd(~thunderrd@183.182.115.71) (Client Quit)
2021-05-26 08:22:13 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 08:24:05 +0200thunderrd(~thunderrd@183.182.115.71) (Client Quit)
2021-05-26 08:24:26 +0200thunderrd(~thunderrd@183.182.115.71)
2021-05-26 08:34:39 +0200 <Solid_> Topic for #xmonad is "This channel has moved to ##xmonad. The topic is in violation of freenode policy: https://freenode.net/policies"
2021-05-26 08:34:44 +0200 <Solid_> they actually kicked us off
2021-05-26 08:34:46 +0200 <Solid_> lol
2021-05-26 08:34:49 +0200Solid_Solid
2021-05-26 08:39:19 +0200berberman_(~berberman@user/berberman)
2021-05-26 08:48:46 +0200qbt(~edun@user/edun)
2021-05-26 09:17:40 +0200amenonsenwakes up and performs routine check of xmonad-contrib#396
2021-05-26 10:00:39 +0200treetip(~globe@stonebay32.com)
2021-05-26 10:02:01 +0200mc47(~yecinem@89.246.239.190)
2021-05-26 10:17:38 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-26 10:20:34 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-05-26 10:39:45 +0200 <Solitary> Solid, yes they are stealing lot of channels
2021-05-26 11:01:06 +0200scardinal(~supreme@87-59-138-136-cable.dk.customer.tdc.net)
2021-05-26 11:05:45 +0200themainman(~themainma@user/themainman)
2021-05-26 11:10:56 +0200 <amenonsen> stealing? you mean liberating! from all those tyrannical channel owners who are forcing poor innocent users to switch from freenode.
2021-05-26 11:14:08 +0200 <Solid> amazing
2021-05-26 11:16:35 +0200 <amenonsen> the freenode (web) front page even has a rant about it.
2021-05-26 11:16:55 +0200 <amenonsen> how cancel culture is destroying poor freenode.
2021-05-26 11:22:24 +0200 <mc47> facebook messenger ftw