Logs: liberachat/#haskell
| 2021-07-01 15:37:20 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds) |
| 2021-07-01 15:37:33 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 15:42:23 | × | dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 258 seconds) |
| 2021-07-01 15:42:43 | × | lortabac quits (~lortabac@95.138.56.124) (Quit: WeeChat 2.8) |
| 2021-07-01 15:44:05 | → | dunkeln joins (~dunkeln@188.70.10.165) |
| 2021-07-01 15:44:29 | <nshepperd> | which is better depends what the list is for |
| 2021-07-01 15:46:52 | → | warnz joins (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) |
| 2021-07-01 15:48:19 | → | Morrow joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-01 15:50:33 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 15:53:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-01 15:53:09 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 15:56:31 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 2021-07-01 15:56:46 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
| 2021-07-01 15:57:39 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-07-01 15:59:56 | → | eight joins (~eight@user/eight) |
| 2021-07-01 16:00:41 | <monochrom> | Both are worse. |
| 2021-07-01 16:01:25 | <monochrom> | One of them doesn't make clear what length to expect. The other doesn't make clear what end to expect. |
| 2021-07-01 16:01:33 | <monochrom> | The only way to win is not to play. |
| 2021-07-01 16:02:39 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-07-01 16:02:43 | <monochrom> | perhaps s/make clear/spell out/ |
| 2021-07-01 16:02:50 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 256 seconds) |
| 2021-07-01 16:02:52 | <dolio> | Well, if the problem specification has the length of the list, which it does in the example, then it's easier to use the one that makes the length obvious. |
| 2021-07-01 16:02:56 | × | tenniscp25 quits (~textual@134.196.209.118) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-01 16:03:19 | <monochrom> | Ah, yes I agree. :) |
| 2021-07-01 16:03:25 | → | tenniscp25 joins (~textual@134.196.209.118) |
| 2021-07-01 16:04:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-01 16:04:41 | <nshepperd> | is that a koan? "there is no better, only worse" |
| 2021-07-01 16:04:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-07-01 16:04:50 | <monochrom> | Oh hey I have a cunning plan! take 10 [13, 26..13*10] |
| 2021-07-01 16:06:20 | <monochrom> | nshepperd, generally I think up pessimism jokes. For example, every silver lining has tarnish. >:) |
| 2021-07-01 16:07:24 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-01 16:09:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds) |
| 2021-07-01 16:13:46 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-01 16:14:52 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-01 16:16:13 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-01 16:16:42 | × | xff0x quits (~xff0x@2001:1a81:5237:1000:d9df:afaf:2f58:a5ba) (Ping timeout: 240 seconds) |
| 2021-07-01 16:16:45 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-07-01 16:18:49 | → | xff0x joins (~xff0x@141.98.255.146) |
| 2021-07-01 16:19:30 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 240 seconds) |
| 2021-07-01 16:22:46 | → | econo joins (uid147250@user/econo) |
| 2021-07-01 16:24:15 | × | romes2 quits (~romes2@44.190.189.46.rev.vodafone.pt) (Quit: Client closed) |
| 2021-07-01 16:25:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-01 16:25:07 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
| 2021-07-01 16:26:21 | × | qbt quits (~edun@user/edun) (Ping timeout: 268 seconds) |
| 2021-07-01 16:26:31 | × | tenniscp25 quits (~textual@134.196.209.118) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-01 16:27:41 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 16:27:50 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-07-01 16:28:42 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-01 16:28:55 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 16:29:37 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 16:30:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-01 16:32:57 | <DigitalKiwi> | not every thorn has a rose |
| 2021-07-01 16:33:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-07-01 16:33:54 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-07-01 16:34:30 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 16:34:57 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-07-01 16:35:08 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-01 16:37:12 | × | dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 258 seconds) |
| 2021-07-01 16:38:54 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-07-01 16:39:14 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-01 16:40:06 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-01 16:40:26 | <monochrom> | Even better: roses wither, thorns are forever >:) |
| 2021-07-01 16:41:12 | <qrpnxz> | thorns let roses live longer |
| 2021-07-01 16:44:03 | <DigitalKiwi> | oh here comes the go programmer telling us "thorns are good, actually" |
| 2021-07-01 16:44:33 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 16:47:20 | → | dunkeln joins (~dunkeln@188.70.10.165) |
| 2021-07-01 16:49:47 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
| 2021-07-01 16:49:50 | → | jess joins (~jess@libera/staff/jess) |
| 2021-07-01 16:50:22 | → | Guest9 joins (~Guest9@103.86.19.221) |
| 2021-07-01 16:51:49 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 16:53:53 | × | xff0x quits (~xff0x@141.98.255.146) (Ping timeout: 265 seconds) |
| 2021-07-01 16:54:43 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-01 16:55:15 | → | xff0x joins (~xff0x@2001:1a81:5237:1000:d9df:afaf:2f58:a5ba) |
| 2021-07-01 16:55:24 | × | azeem quits (~azeem@176.201.21.236) (Read error: Connection reset by peer) |
| 2021-07-01 16:56:19 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-01 17:00:04 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-07-01 17:02:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-01 17:04:02 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-07-01 17:05:10 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 256 seconds) |
| 2021-07-01 17:06:11 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 17:07:31 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-01 17:08:50 | × | azeem quits (~azeem@176.201.21.236) (Read error: Connection reset by peer) |
| 2021-07-01 17:10:10 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-01 17:11:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-07-01 17:11:52 | → | cheater joins (~Username@user/cheater) |
| 2021-07-01 17:14:11 | → | mikail_ joins (~mikail@213.205.242.43) |
| 2021-07-01 17:14:46 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds) |
| 2021-07-01 17:15:28 | → | nixtamalize joins (~nixtamali@117.222.65.230) |
| 2021-07-01 17:15:58 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-01 17:16:42 | × | mikail quits (~mikail@90.152.14.81) (Ping timeout: 240 seconds) |
| 2021-07-01 17:19:30 | → | ringo_ joins (~ringo@157.230.117.128) |
| 2021-07-01 17:20:18 | → | ph88 joins (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-07-01 17:22:36 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-01 17:23:18 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-2787-f5de-e687-987e.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2021-07-01 17:24:10 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-120.prtc.net) |
| 2021-07-01 17:30:17 | → | mikail__ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-01 17:31:54 | × | mikail_ quits (~mikail@213.205.242.43) (Ping timeout: 240 seconds) |
| 2021-07-01 17:32:24 | × | mikail__ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-01 17:33:00 | → | mikail__ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-01 17:33:41 | <qrpnxz> | xd |
All times are in UTC.