Logs: freenode/#haskell
| 2020-10-17 11:08:19 | → | m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 2020-10-17 11:08:57 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-10-17 11:12:05 | → | lnlsn joins (~lnlsn@189.100.212.150) |
| 2020-10-17 11:12:12 | × | jneira_ quits (~jneira@111.red-176-83-68.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-10-17 11:12:21 | → | jneira_ joins (~jneira@80.30.100.250) |
| 2020-10-17 11:18:13 | × | lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer) |
| 2020-10-17 11:18:14 | → | kish joins (~oracle@unaffiliated/oracle) |
| 2020-10-17 11:19:53 | → | solonarv joins (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) |
| 2020-10-17 11:20:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 11:22:23 | × | chaosmasttter quits (~chaosmast@p200300c4a710fa0165702c806d7b3e40.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-10-17 11:24:16 | → | hiroaki joins (~hiroaki@2a02:908:4b18:e20::a362) |
| 2020-10-17 11:25:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-10-17 11:26:17 | <tomjaguarpaw> | jophish: How are things going with dynamic python windows installer? |
| 2020-10-17 11:29:52 | → | knupfer joins (~Thunderbi@200116b82cc5f50010341dfffe74c338.dip.versatel-1u1.de) |
| 2020-10-17 11:29:52 | × | knupfer quits (~Thunderbi@200116b82cc5f50010341dfffe74c338.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-17 11:30:05 | → | knupfer joins (~Thunderbi@200116b82cc5f500182db56019d06096.dip.versatel-1u1.de) |
| 2020-10-17 11:30:36 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 2020-10-17 11:31:19 | → | kuribas joins (~user@ptr-25vy0i8tzgojz6gquv5.18120a2.ip6.access.telenet.be) |
| 2020-10-17 11:31:45 | → | Jonkimi727406120 joins (~Jonkimi@223.213.79.20) |
| 2020-10-17 11:32:33 | <jophish> | dynamic python windows installer? tomjaguarpaw |
| 2020-10-17 11:33:09 | <jophish> | sounds pretty horrible all round |
| 2020-10-17 11:33:19 | → | lnlsn joins (~lnlsn@189.100.212.150) |
| 2020-10-17 11:33:31 | × | thir quits (~thir@pd9e1b01f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-17 11:34:24 | → | alp_ joins (~alp@2a01:e0a:58b:4920:e85b:6e33:d06d:4253) |
| 2020-10-17 11:34:34 | → | karanlikmadde joins (~karanlikm@2a01:c23:641c:2200:c88d:7d7e:c962:437f) |
| 2020-10-17 11:35:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 11:36:05 | <jophish> | Ah, I understand! |
| 2020-10-17 11:36:13 | × | Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 264 seconds) |
| 2020-10-17 11:36:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-17 11:36:45 | <jophish> | tomjaguarpaw: poorly enough that I'm looking forward to the alternative! |
| 2020-10-17 11:37:58 | → | thir joins (~thir@p200300f27f2f01007c5b769b7a26171f.dip0.t-ipconnect.de) |
| 2020-10-17 11:38:09 | × | thir quits (~thir@p200300f27f2f01007c5b769b7a26171f.dip0.t-ipconnect.de) (Client Quit) |
| 2020-10-17 11:39:32 | × | jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 256 seconds) |
| 2020-10-17 11:40:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-17 11:40:32 | × | xff0x quits (~fox@2001:1a81:53c5:c200:980e:44c6:52dd:fd04) (Ping timeout: 260 seconds) |
| 2020-10-17 11:41:10 | → | jneira_ joins (~jneira@111.red-176-83-68.dynamicip.rima-tde.net) |
| 2020-10-17 11:41:25 | → | xff0x joins (~fox@2001:1a81:53c5:c200:800e:b588:fbcf:aa74) |
| 2020-10-17 11:41:31 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2020-10-17 11:49:18 | × | lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer) |
| 2020-10-17 11:49:40 | → | cdepillabout joins (~cdepillab@pl35600.ag1001.nttpc.ne.jp) |
| 2020-10-17 11:52:30 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Remote host closed the connection) |
| 2020-10-17 11:54:09 | → | da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com) |
| 2020-10-17 11:55:20 | × | dhil quits (~dhil@195.213.192.122) (Ping timeout: 258 seconds) |
| 2020-10-17 11:57:44 | <arahael> | ANd that alternative is: "Anything else!" ;) |
| 2020-10-17 12:00:02 | × | mterwoord quits (~mterwoord@178.162.204.238) () |
| 2020-10-17 12:00:03 | × | jneira_ quits (~jneira@111.red-176-83-68.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-10-17 12:03:25 | → | lnlsn joins (~lnlsn@189.100.212.150) |
| 2020-10-17 12:03:55 | <tomjaguarpaw> | jophish: We should play a game some time |
| 2020-10-17 12:04:59 | → | drbean joins (~drbean@TC210-63-209-144.static.apol.com.tw) |
| 2020-10-17 12:06:57 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 12:08:10 | × | jud quits (~jud@unaffiliated/jud) (Quit: Leaving) |
| 2020-10-17 12:08:48 | → | fragamus_ joins (~michaelgo@73.93.152.141) |
| 2020-10-17 12:10:06 | × | lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer) |
| 2020-10-17 12:10:49 | → | lnlsn joins (~lnlsn@189.100.212.150) |
| 2020-10-17 12:11:25 | × | knupfer quits (~Thunderbi@200116b82cc5f500182db56019d06096.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2020-10-17 12:11:28 | × | fragamus quits (~michaelgo@73.93.153.97) (Ping timeout: 260 seconds) |
| 2020-10-17 12:11:47 | × | alp_ quits (~alp@2a01:e0a:58b:4920:e85b:6e33:d06d:4253) (Ping timeout: 272 seconds) |
| 2020-10-17 12:12:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-17 12:12:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-17 12:13:44 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-10-17 12:15:10 | × | Buntspecht quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-10-17 12:15:10 | → | jpcooper joins (~user@unaffiliated/jpcooper) |
| 2020-10-17 12:15:41 | <jpcooper> | Hello. The documentation for ShowS (https://hackage.haskell.org/package/base-4.14.0.0/docs/Prelude.html#t:ShowS) mentions constant time concatenation of Strings. How does this work if Strings are just [Char]? |
| 2020-10-17 12:17:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-10-17 12:17:43 | → | Jonkimi727406120 joins (~Jonkimi@223.213.79.20) |
| 2020-10-17 12:18:28 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 2020-10-17 12:19:31 | <Cheery> | jpcooper: it's how it is accessed. |
| 2020-10-17 12:19:35 | <jophish> | tomjaguarpaw: I would like that very much |
| 2020-10-17 12:19:51 | <jpcooper> | Cheery: Yes good point. Thanks. Should have worked it out in my head |
| 2020-10-17 12:20:16 | → | supercoven_ joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-10-17 12:20:23 | <jophish> | tomjaguarpaw: I've been taking photos recently, if you'd like to look at an album: https://photos.app.goo.gl/yUVCPMRnks8cP4fHA |
| 2020-10-17 12:20:26 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2020-10-17 12:21:05 | → | jud joins (~jud@cpe-70-113-106-222.austin.res.rr.com) |
| 2020-10-17 12:21:05 | × | jud quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Changing host) |
| 2020-10-17 12:21:05 | → | jud joins (~jud@unaffiliated/jud) |
| 2020-10-17 12:21:08 | <Cheery> | jpcooper: you only need the first value when the structure is being accessed. |
| 2020-10-17 12:21:55 | → | Icewing joins (~Icewing@unaffiliated/icewing) |
| 2020-10-17 12:22:13 | <phadej> | jpcooper: https://wiki.haskell.org/Difference_list |
| 2020-10-17 12:22:25 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2020-10-17 12:22:40 | × | Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 272 seconds) |
| 2020-10-17 12:23:02 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 12:23:12 | × | daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Quit: daGrevis) |
| 2020-10-17 12:23:47 | <jpcooper> | Makes sense. Thanks |
| 2020-10-17 12:24:07 | × | Gerula quits (~Gerula@unaffiliated/gerula) (Read error: Connection reset by peer) |
| 2020-10-17 12:24:18 | <phadej> | https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/lists.pdf |
| 2020-10-17 12:24:21 | <phadej> | very old idea :) |
| 2020-10-17 12:24:25 | <Cheery> | for x ++ y, if x=(z:xs), then x ++ y = z:xs++y. |
| 2020-10-17 12:24:39 | → | daGrevis joins (~daGrevis@unaffiliated/dagrevis) |
| 2020-10-17 12:24:57 | hackage | polysemy-video 0.1.1.0 - https://hackage.haskell.org/package/polysemy-video-0.1.1.0 (locallycompact) |
| 2020-10-17 12:26:51 | × | lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer) |
| 2020-10-17 12:27:32 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-17 12:28:06 | × | dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 265 seconds) |
| 2020-10-17 12:29:15 | × | SanchayanM quits (~Sanchayan@136.185.169.16) (Quit: leaving) |
| 2020-10-17 12:32:46 | × | carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection) |
| 2020-10-17 12:37:03 | × | fendor quits (~fendor@046124068105.public.t-mobile.at) (Remote host closed the connection) |
| 2020-10-17 12:38:06 | → | geekosaur joins (ac3a8c49@172.58.140.73) |
| 2020-10-17 12:38:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 12:40:32 | → | lnlsn joins (~lnlsn@189.100.212.150) |
| 2020-10-17 12:43:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-17 12:44:02 | → | alp_ joins (~alp@2a01:e0a:58b:4920:8da2:3041:1462:f42) |
All times are in UTC.