Logs: liberachat/#xmonad
| 2021-05-25 10:04:53 | <Solid> | both in base |
| 2021-05-25 10:04:56 | <Solid> | this is a lot of fun : |
| 2021-05-25 10:04:59 | <Solid> | :) |
| 2021-05-25 10:05:52 | <liskin> | oh, Type.Reflection even has your `theType` |
| 2021-05-25 10:05:57 | <liskin> | too bad it doesn't have cast :-( |
| 2021-05-25 10:07:01 | <liskin> | (I know one can piece that together with eqTypeRep, but then it becomes ugly again) |
| 2021-05-25 10:09:04 | <Solid> | it also can't really be put into a map as nicely (that I can see) |
| 2021-05-25 10:09:12 | <Solid> | we'd have to existentially qualify over the whole map |
| 2021-05-25 10:09:27 | <Solid> | I think Data.Typeable is definitely the better approach in our case |
| 2021-05-25 10:10:34 | <liskin> | right |
| 2021-05-25 10:23:51 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-05-25 11:05:37 | bsima1 | is now known as bsima |
| 2021-05-25 11:14:24 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-25 11:51:42 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-05-25 11:57:05 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-25 12:29:33 | → | a6a45081-2b83 joins (~aditya@171.76.149.211) |
| 2021-05-25 12:32:40 | → | f33f046c-a02e joins (~aditya@171.76.149.211) |
| 2021-05-25 12:33:12 | × | a6a45081-2b83 quits (~aditya@171.76.149.211) (Client Quit) |
| 2021-05-25 12:47:36 | → | a6a45081-2b83 joins (~aditya@27.58.166.71) |
| 2021-05-25 12:47:36 | × | f33f046c-a02e quits (~aditya@171.76.149.211) (Read error: Connection reset by peer) |
| 2021-05-25 12:51:46 | × | qbt quits (~edun@user/edun) (Ping timeout: 264 seconds) |
| 2021-05-25 13:00:43 | × | a6a45081-2b83 quits (~aditya@27.58.166.71) (Quit: Konversation terminated!) |
| 2021-05-25 13:26:30 | dmwit_ | is now known as dmwit |
| 2021-05-25 13:50:00 | → | qbt joins (~edun@user/edun) |
| 2021-05-25 15:42:13 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-25 15:50:21 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-05-25 16:29:10 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-05-25 17:15:37 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-25 17:18:18 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-25 17:23:06 | <geekosaur> | still nothing :( |
| 2021-05-25 17:25:30 | <liskin> | at this point I'd consider popping into #libera or something and asking where in the queue they are |
| 2021-05-25 17:34:08 | <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 17:34:14 | <fizzie> | project one.) |
| 2021-05-25 17:35:08 | <geekosaur> | and the first thing I see on joining is someone else asking the same thing :) |
| 2021-05-25 17:37:27 | <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 17:43:34 | <geekosaur> | oy |
| 2021-05-25 17:48:04 | <geekosaur> | suspect that's the best answer we're going to get |
| 2021-05-25 17:57:07 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-25 17:59:11 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-05-25 17:59:33 | allbery_b | is now known as geekosaur |
| 2021-05-25 19:45:38 | <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 19:46:08 | <geekosaur> | that is, I can't say `ppSort = getSortByXineramaPhysicalRule` |
| 2021-05-25 19:49:23 | <liskin> | geekosaur: are you referring to 756507e2b64786cca7e51263d59c51af1259c29d? |
| 2021-05-25 19:49:29 | <geekosaur> | n/m, followed the types |
| 2021-05-25 19:49:50 | <geekosaur> | the sort now can be by id or rectangle, I guess? |
| 2021-05-25 19:56:15 | ← | boxscape parts (~boxscape@user/boxscape) () |
| 2021-05-25 19:57:27 | <geekosaur> | well that was annoying.,. took 3 tries to figure out the right function to use |
| 2021-05-25 19:57:53 | <geekosaur> | might do with better docs for ppSort indeed |
| 2021-05-25 21:18:38 | → | ElKowar4 joins (~ElKowar@srv-fin.xware-gmbh.de) |
| 2021-05-25 21:19:53 | → | Solid_ joins (~slot@2a01:4f8:c2c:d600::2) |
| 2021-05-25 21:20:30 | × | liskin quits (~liskin@ackle.nomi.cz) (Ping timeout: 272 seconds) |
| 2021-05-25 21:20:39 | × | jato quits (~jato@68.183.0.207) (Read error: Connection reset by peer) |
| 2021-05-25 21:20:41 | × | piele quits (~piele@tbonesteak.creativeserver.net) (Read error: Connection reset by peer) |
| 2021-05-25 21:20:47 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2021-05-25 21:20:50 | → | liskin joins (~liskin@ackle.nomi.cz) |
| 2021-05-25 21:20:57 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-05-25 21:21:08 | × | ElKowar quits (~ElKowar@srv-fin.xware-gmbh.de) (Ping timeout: 272 seconds) |
| 2021-05-25 21:21:21 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 2021-05-25 21:22:59 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-05-25 21:23:01 | × | Solid quits (~slot@static.220.87.47.78.clients.your-server.de) (Ping timeout: 272 seconds) |
| 2021-05-25 22:32:51 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-05-26 01:01:22 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-26 01:02:16 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-26 01:26:51 | × | themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-05-26 02:37:02 | × | td_ quits (~td@muedsl-82-207-238-005.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-26 02:38:46 | → | td_ joins (~td@94.134.91.198) |
| 2021-05-26 04:42:55 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 04:43:04 | ← | thunderrd parts (~thunderrd@183.182.115.71) () |
| 2021-05-26 05:07:38 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 05:08:54 | × | thunderrd quits (~thunderrd@183.182.115.71) (Quit: If it wasn't written down it didn't happen...) |
| 2021-05-26 05:34:09 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 05:56:21 | × | thunderrd quits (~thunderrd@183.182.115.71) (Quit: If it wasn't written down it didn't happen...) |
| 2021-05-26 05:58:14 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 06:09:27 | × | thunderrd quits (~thunderrd@183.182.115.71) (Quit: If it wasn't written down it didn't happen...) |
| 2021-05-26 06:10:16 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 06:14:09 | × | thunderrd quits (~thunderrd@183.182.115.71) (Client Quit) |
| 2021-05-26 06:20:46 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 06:21:49 | × | thunderrd quits (~thunderrd@183.182.115.71) (Client Quit) |
| 2021-05-26 06:22:13 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 06:24:05 | × | thunderrd quits (~thunderrd@183.182.115.71) (Client Quit) |
| 2021-05-26 06:24:26 | → | thunderrd joins (~thunderrd@183.182.115.71) |
| 2021-05-26 06:34:39 | <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 06:34:44 | <Solid_> | they actually kicked us off |
| 2021-05-26 06:34:46 | <Solid_> | lol |
| 2021-05-26 06:34:49 | Solid_ | is now known as Solid |
| 2021-05-26 06:39:19 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-05-26 06:48:46 | → | qbt joins (~edun@user/edun) |
| 2021-05-26 07:17:40 | amenonsen | wakes up and performs routine check of xmonad-contrib#396 |
| 2021-05-26 08:00:39 | → | treetip joins (~globe@stonebay32.com) |
| 2021-05-26 08:02:01 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-26 08:17:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-26 08:20:34 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-26 08:39:45 | <Solitary> | Solid, yes they are stealing lot of channels |
| 2021-05-26 09:01:06 | → | scardinal joins (~supreme@87-59-138-136-cable.dk.customer.tdc.net) |
| 2021-05-26 09:05:45 | → | themainman joins (~themainma@user/themainman) |
| 2021-05-26 09:10:56 | <amenonsen> | stealing? you mean liberating! from all those tyrannical channel owners who are forcing poor innocent users to switch from freenode. |
| 2021-05-26 09:14:08 | <Solid> | amazing |
| 2021-05-26 09:16:35 | <amenonsen> | the freenode (web) front page even has a rant about it. |
| 2021-05-26 09:16:55 | <amenonsen> | how cancel culture is destroying poor freenode. |
| 2021-05-26 09:22:24 | <mc47> | facebook messenger ftw |
All times are in UTC.