| 2021-05-14 00:03:47 +0200 | daphnis | (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds) |
| 2021-05-14 00:06:55 +0200 | joshproehl | (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) (Quit: Disappearing act!) |
| 2021-05-14 00:07:22 +0200 | joshproehl | (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) |
| 2021-05-14 00:08:35 +0200 | joshproehl | (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) (Client Quit) |
| 2021-05-14 00:08:49 +0200 | joshproehl | (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) |
| 2021-05-14 00:39:29 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-14 00:55:21 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-05-14 01:00:06 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-14 01:17:13 +0200 | seschwar | (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-05-14 02:36:35 +0200 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-14 03:10:22 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 03:29:03 +0200 | notis | (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 250 seconds) |
| 2021-05-14 03:44:40 +0200 | kajzer | (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-14 04:14:41 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 260 seconds) |
| 2021-05-14 04:15:26 +0200 | mohab | (~mohab@45.243.104.242) |
| 2021-05-14 04:24:25 +0200 | mohab | (~mohab@45.243.104.242) (Ping timeout: 260 seconds) |
| 2021-05-14 04:26:16 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 04:29:53 +0200 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-14 04:32:30 +0200 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-14 04:48:56 +0200 | theDon | (~td@muedsl-82-207-238-236.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-14 04:50:40 +0200 | theDon | (~td@muedsl-82-207-238-178.citykom.de) |
| 2021-05-14 04:57:49 +0200 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 06:02:03 +0200 | novas0x2a1 | (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-05-14 06:03:43 +0200 | novas0x2a | (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2021-05-14 06:53:56 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-05-14 06:54:39 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 07:00:55 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-14 07:08:11 +0200 | spider1 | (~spider@vps-951ce37a.vps.ovh.ca) |
| 2021-05-14 07:19:44 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 07:19:54 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-14 07:50:33 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-14 07:53:24 +0200 | thoros | (~thoros@193-154-185-59.adsl.highway.telekom.at) |
| 2021-05-14 07:54:07 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-14 07:59:07 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-05-14 08:00:51 +0200 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 08:01:04 +0200 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-14 08:08:32 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-14 08:17:56 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) () |
| 2021-05-14 08:30:11 +0200 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 2021-05-14 08:53:01 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 265 seconds) |
| 2021-05-14 09:01:11 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-14 10:01:42 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-14 10:07:21 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-14 10:08:14 +0200 | notis | (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) |
| 2021-05-14 10:08:21 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 10:14:02 +0200 | materiyolo | (~materiyol@112.205.57.255) (Read error: Connection reset by peer) |
| 2021-05-14 11:15:02 +0200 | kajzer | (~kajzer@unaffiliated/kajzer) |
| 2021-05-14 11:24:48 +0200 | crmaurei | (crmaurei@nat/qt/x-fqikwejinpnixucs) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-14 11:26:02 +0200 | crmaurei | (crmaurei@nat/qt/x-wqyvenfcfwoldomm) |
| 2021-05-14 11:28:29 +0200 | ChubaDuba | (~ChubaDuba@37.112.227.6) |
| 2021-05-14 11:28:45 +0200 | seschwar | (~seschwar@unaffiliated/seschwar) |
| 2021-05-14 12:10:06 +0200 | <Liskni_si> | I should perhaps reconsider my decision to add a property test for SubLayouts. This has been fun! |
| 2021-05-14 12:11:23 +0200 | <Liskni_si> | Developing against a property test that finishes a couple dozens of milliseconds after I save the file almost makes one forget how fucked up the Haskell build tooling is :-) |
| 2021-05-14 12:43:24 +0200 | <Solid> | :) |
| 2021-05-14 12:49:07 +0200 | materiyolo | (~materiyol@112.205.57.255) |
| 2021-05-14 12:52:20 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 246 seconds) |
| 2021-05-14 12:55:27 +0200 | <Solid> | I suppose it's arguable if the new implementation really is that much simpler, but I'm obviously biased :P |
| 2021-05-14 12:55:44 +0200 | <Solid> | but I like that it respects the state-changes on other visible workspaces as well, which is something I did indeed overlook |
| 2021-05-14 12:57:48 +0200 | <Liskni_si> | Yeah, I hoped I could come up with something way simpler, but didn't manage :-/ |
| 2021-05-14 12:58:09 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 12:58:17 +0200 | <Liskni_si> | The absence of insertAt and commonPrefix in Data.List is what got me :-D |
| 2021-05-14 13:14:49 +0200 | <Solid> | if I was a stickler I would now say that both traverse the list twice when they don't need to :> |
| 2021-05-14 13:15:27 +0200 | <Solid> | but in the spirit of keeping things comprehensible having one-line definitions for these is probably better |
| 2021-05-14 13:16:27 +0200 | <Liskni_si> | this obsession about the unimportant will make your life miserable :-) |
| 2021-05-14 13:16:40 +0200 | <Liskni_si> | (I should know) |
| 2021-05-14 13:16:42 +0200 | <Solid> | hahaha |
| 2021-05-14 13:20:49 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
| 2021-05-14 13:22:23 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-05-14 13:26:16 +0200 | ChubaDuba | (~ChubaDuba@37.112.227.6) (Quit: WeeChat 1.6) |
| 2021-05-14 13:34:09 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 13:36:55 +0200 | notis | (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 260 seconds) |
| 2021-05-14 13:40:26 +0200 | <Solid> | I'm going to merge #499 later today (the prelude thing) unless someone shouts at me in the meantime |
| 2021-05-14 13:40:49 +0200 | <Solid> | (it's quite a big change so I figured it's worth "pre-announcing" it here) |
| 2021-05-14 13:58:19 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
| 2021-05-14 14:06:08 +0200 | mohab | (~mohab@156.223.213.178) |
| 2021-05-14 14:13:54 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-14 14:18:28 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-14 14:24:46 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 14:57:31 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-05-14 16:48:56 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 16:50:42 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 16:51:41 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-14 16:57:08 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-14 17:04:11 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-14 17:05:36 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-14 17:12:04 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-05-14 17:44:17 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-14 17:44:22 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 17:49:04 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 17:55:42 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-14 17:57:49 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 18:01:02 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-14 18:14:04 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 18:23:30 +0200 | <Liskni_si> | geekosaur, byorgey, sibi: in case your e-mail setup doesn't distinguish between direct mentions and general notifications, I'd like to ask for your feedback on https://github.com/xmonad/xmonad-contrib/pull/544 |
| 2021-05-14 18:24:04 +0200 | davemq | (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-14 18:24:52 +0200 | mc47 | (~yecinem@89.246.239.190) |
| 2021-05-14 18:38:19 +0200 | materiyolo | (~materiyol@112.205.57.255) (Ping timeout: 252 seconds) |
| 2021-05-14 19:10:23 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-14 19:23:05 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 19:29:11 +0200 | growpotkin | (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-14 19:45:11 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-05-14 19:47:24 +0200 | a6a45081-2b83 | (~aditya@27.58.160.217) |
| 2021-05-14 19:49:16 +0200 | notis | (~notis@85.203.44.186) |
| 2021-05-14 19:51:27 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-14 19:53:43 +0200 | a6a45081-2b83 | (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 2021-05-14 20:12:08 +0200 | heck-to-the-gnom | (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) ("User left") |
| 2021-05-14 20:29:58 +0200 | pmj | (~pmj@188.194.145.157) |
| 2021-05-14 21:14:36 +0200 | admzmf | (ben@gateway/vpn/privateinternetaccess/admzmf) |
| 2021-05-14 21:28:16 +0200 | pmj | (~pmj@188.194.145.157) (Ping timeout: 252 seconds) |
| 2021-05-14 21:49:46 +0200 | thoros | (~thoros@193-154-185-59.adsl.highway.telekom.at) (Ping timeout: 268 seconds) |
| 2021-05-14 22:41:18 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-14 22:43:56 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 23:07:33 +0200 | mohab | (~mohab@156.223.213.178) (Ping timeout: 240 seconds) |
| 2021-05-14 23:08:54 +0200 | mohab | (~mohab@45.243.104.242) |
| 2021-05-14 23:11:14 +0200 | kelnoky | (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-14 23:14:04 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 23:14:23 +0200 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 23:19:03 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-05-14 23:31:26 +0200 | admzmf | (ben@gateway/vpn/privateinternetaccess/admzmf) (Ping timeout: 260 seconds) |
| 2021-05-14 23:31:46 +0200 | pmj | (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-14 23:32:29 +0200 | mohab | (~mohab@45.243.104.242) (Ping timeout: 245 seconds) |
| 2021-05-14 23:34:13 +0200 | notis | (~notis@85.203.44.186) (Ping timeout: 240 seconds) |
| 2021-05-14 23:36:30 +0200 | notis | (~notis@185.51.134.229) |