Logs: freenode/#xmonad
| 2021-05-13 17:25:25 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds) |
| 2021-05-13 17:34:17 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-13 17:36:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-05-13 17:46:11 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 240 seconds) |
| 2021-05-13 17:46:26 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-13 17:51:22 | → | pmj joins (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) |
| 2021-05-13 17:51:44 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 246 seconds) |
| 2021-05-13 18:30:18 | × | pmj quits (~pmj@ipbcc2919d.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2021-05-13 18:33:21 | × | notis quits (~notis@85.203.44.149) (Ping timeout: 252 seconds) |
| 2021-05-13 18:48:22 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-13 19:17:42 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-13 19:36:34 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-13 19:41:36 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-13 19:43:54 | → | _ashbreeze_ joins (~mark@199.187.161.140) |
| 2021-05-13 19:44:41 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-13 19:49:51 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 268 seconds) |
| 2021-05-13 19:59:15 | × | joshproehl quits (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) (Ping timeout: 248 seconds) |
| 2021-05-13 20:06:08 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 2021-05-13 20:09:24 | × | bendo quits (~bendo@130.61.122.121) (*.net *.split) |
| 2021-05-13 20:09:38 | → | bendo joins (~bendo@130.61.122.121) |
| 2021-05-13 20:11:38 | × | thoros quits (~thoros@193-154-185-59.adsl.highway.telekom.at) (Ping timeout: 265 seconds) |
| 2021-05-13 20:16:27 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-13 20:25:55 | → | joshproehl joins (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) |
| 2021-05-13 20:42:16 | → | daphnis joins (~daphnis@cm-84.214.179.98.getinternet.no) |
| 2021-05-13 20:57:33 | × | kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-13 20:59:43 | × | mohab quits (~mohab@156.223.213.178) (Remote host closed the connection) |
| 2021-05-13 21:09:51 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 2021-05-13 21:13:10 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-13 21:15:07 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-13 21:17:44 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-13 21:18:02 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-13 21:21:51 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-13 21:25:50 | → | notis joins (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) |
| 2021-05-13 22:03:47 | × | daphnis quits (~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds) |
| 2021-05-13 22:06:55 | × | joshproehl quits (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) (Quit: Disappearing act!) |
| 2021-05-13 22:07:22 | → | joshproehl joins (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) |
| 2021-05-13 22:08:35 | × | joshproehl quits (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) (Client Quit) |
| 2021-05-13 22:08:49 | → | joshproehl joins (~quassel@dtools-d10-tx-1.inf.daedalusdreams.com) |
| 2021-05-13 22:39:29 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-13 22:55:21 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-05-13 23:00:06 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-13 23:17:13 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-05-14 00:36:35 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 2021-05-14 01:10:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 01:29:03 | × | notis quits (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) (Ping timeout: 250 seconds) |
| 2021-05-14 01:44:40 | × | kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-14 02:14:41 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 260 seconds) |
| 2021-05-14 02:15:26 | → | mohab joins (~mohab@45.243.104.242) |
| 2021-05-14 02:24:25 | × | mohab quits (~mohab@45.243.104.242) (Ping timeout: 260 seconds) |
| 2021-05-14 02:26:16 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-14 02:29:53 | × | davemq quits (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-14 02:32:30 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-14 02:48:56 | × | theDon quits (~td@muedsl-82-207-238-236.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-14 02:50:40 | → | theDon joins (~td@muedsl-82-207-238-178.citykom.de) |
| 2021-05-14 02:57:49 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 04:02:03 | → | novas0x2a1 joins (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-05-14 04:03:43 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2021-05-14 04:53:56 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-05-14 04:54:39 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 05:00:55 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-14 05:08:11 | → | spider1 joins (~spider@vps-951ce37a.vps.ovh.ca) |
| 2021-05-14 05:19:44 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-14 05:19:54 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-14 05:50:33 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-14 05:53:24 | → | thoros joins (~thoros@193-154-185-59.adsl.highway.telekom.at) |
| 2021-05-14 05:54:07 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-14 05:59:07 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-05-14 06:00:51 | → | werneta_ joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 06:01:04 | × | werneta_ quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-14 06:08:32 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-14 06:17:56 | ← | abhixec parts (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) () |
| 2021-05-14 06:30:11 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 2021-05-14 06:53:01 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 265 seconds) |
| 2021-05-14 07:01:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-14 08:01:42 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-14 08:07:21 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-14 08:08:14 | → | notis joins (~notis@2a02:2149:87b6:a300:e002:82a:4fda:33c0) |
| 2021-05-14 08:08:21 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-14 08:14:02 | × | materiyolo quits (~materiyol@112.205.57.255) (Read error: Connection reset by peer) |
| 2021-05-14 09:15:02 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 2021-05-14 09:24:48 | × | crmaurei quits (crmaurei@nat/qt/x-fqikwejinpnixucs) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-14 09:26:02 | → | crmaurei joins (crmaurei@nat/qt/x-wqyvenfcfwoldomm) |
| 2021-05-14 09:28:29 | → | ChubaDuba joins (~ChubaDuba@37.112.227.6) |
| 2021-05-14 09:28:45 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-05-14 10:10:06 | <Liskni_si> | I should perhaps reconsider my decision to add a property test for SubLayouts. This has been fun! |
| 2021-05-14 10:11:23 | <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 10:43:24 | <Solid> | :) |
| 2021-05-14 10:49:07 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 2021-05-14 10:52:20 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 246 seconds) |
| 2021-05-14 10:55:27 | <Solid> | I suppose it's arguable if the new implementation really is that much simpler, but I'm obviously biased :P |
| 2021-05-14 10:55:44 | <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 10:57:48 | <Liskni_si> | Yeah, I hoped I could come up with something way simpler, but didn't manage :-/ |
| 2021-05-14 10:58:09 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-14 10:58:17 | <Liskni_si> | The absence of insertAt and commonPrefix in Data.List is what got me :-D |
| 2021-05-14 11:14:49 | <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 11:15:27 | <Solid> | but in the spirit of keeping things comprehensible having one-line definitions for these is probably better |
| 2021-05-14 11:16:27 | <Liskni_si> | this obsession about the unimportant will make your life miserable :-) |
| 2021-05-14 11:16:40 | <Liskni_si> | (I should know) |
| 2021-05-14 11:16:42 | <Solid> | hahaha |
| 2021-05-14 11:20:49 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 245 seconds) |
All times are in UTC.