| 2022-09-08 00:00:18 +0000 | <Guest9068> | thank you so much ;-; |
| 2022-09-08 00:01:29 +0000 | <jackdk> | Guest9068: yes but function calls do not use brackets that way - `showRank (rank card)` is idiomatic - this becomes important when you start considering partial application, etc |
| 2022-09-08 00:02:31 +0000 | frost | (~frost@user/frost) |
| 2022-09-08 00:03:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 00:03:46 +0000 | <geekosaur> | I already said that but I'm not sure they understood 😕 |
| 2022-09-08 00:04:18 +0000 | <Guest9068> | oh okay, i removed them earlier and got an error, but i mustve done something wrong, tried it again just now and it worked |
| 2022-09-08 00:05:17 +0000 | <geekosaur> | don't remove all of them. showRank still needs them because you want to pass `rank card` to it, not separately `rank` and `card`. remember that Haskell is a functional language; passing a function as a parameter can make sense |
| 2022-09-08 00:05:38 +0000 | <geekosaur> | it's just wrong here, we want to pass the result of applying a function instead so we need the parentheses there |
| 2022-09-08 00:06:12 +0000 | <Guest9068> | yeah, like showRank(rank card) |
| 2022-09-08 00:06:19 +0000 | <geekosaur> | it doesn't matter for `rank card` because `card` is not itself a function application |
| 2022-09-08 00:06:57 +0000 | <geekosaur> | and we'd have a space between `showRank` and the open parenthesis |
| 2022-09-08 00:07:04 +0000 | <geekosaur> | as jackdk showed |
| 2022-09-08 00:07:23 +0000 | <geekosaur> | parentheses aren't part of the syntax for calling functions, theyre part of |
| 2022-09-08 00:07:27 +0000 | <geekosaur> | expressions |
| 2022-09-08 00:13:21 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
| 2022-09-08 00:14:15 +0000 | Successus | (~Successus@user/Successus) () |
| 2022-09-08 00:20:31 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-09-08 00:22:38 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-08 00:25:04 +0000 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-08 00:27:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 00:27:51 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2022-09-08 00:28:44 +0000 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-08 00:29:29 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-09-08 00:36:42 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Ping timeout: 264 seconds) |
| 2022-09-08 00:37:13 +0000 | gay9 | (~quassel@92-65-73-218.biz.kpn.net) |
| 2022-09-08 00:40:08 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-08 00:40:50 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 00:43:45 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-09-08 00:46:54 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-08 00:46:54 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit) |
| 2022-09-08 00:50:08 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-08 00:50:12 +0000 | cowboy8625 | (~cowboy@64.68.179.149) |
| 2022-09-08 00:50:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 00:50:53 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-09-08 00:58:13 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-08 00:58:59 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-08 01:00:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-08 01:00:55 +0000 | sammelweis | (~quassel@166.176.250.193) |
| 2022-09-08 01:01:30 +0000 | Guest9068 | (~Guest90@mainpc.lha.sgsnet.se) (Quit: Client closed) |
| 2022-09-08 01:01:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-08 01:04:01 +0000 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 268 seconds) |
| 2022-09-08 01:04:47 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 01:09:36 +0000 | sammelweis | (~quassel@166.176.250.193) (Read error: Connection reset by peer) |
| 2022-09-08 01:11:02 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-08 01:13:52 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 01:14:13 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-08 01:14:47 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 01:15:30 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-08 01:16:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-08 01:17:10 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-08 01:18:49 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
| 2022-09-08 01:23:05 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 01:24:45 +0000 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-09-08 01:25:29 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
| 2022-09-08 01:25:50 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Ping timeout: 252 seconds) |
| 2022-09-08 01:27:59 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-08 01:29:48 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 01:34:49 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 268 seconds) |
| 2022-09-08 01:35:26 +0000 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-09-08 01:36:28 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-08 01:38:54 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 01:40:35 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-08 01:42:17 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
| 2022-09-08 01:43:23 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 01:45:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 01:46:27 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 01:46:48 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 01:50:08 +0000 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-08 01:56:44 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 01:58:06 +0000 | raym | (~raym@user/raym) |
| 2022-09-08 02:00:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 02:01:15 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-08 02:02:25 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
| 2022-09-08 02:03:48 +0000 | nilradical | (~nilradica@user/naso) () |
| 2022-09-08 02:06:37 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 02:07:23 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-08 02:07:58 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-08 02:11:05 +0000 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-09-08 02:11:49 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 268 seconds) |
| 2022-09-08 02:11:49 +0000 | erisco_ | erisco |
| 2022-09-08 02:13:30 +0000 | mrmr0 | (~mrmr@user/mrmr) |
| 2022-09-08 02:14:17 +0000 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 268 seconds) |
| 2022-09-08 02:14:17 +0000 | mrmr0 | mrmr |
| 2022-09-08 02:16:50 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 02:22:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-08 02:30:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 02:31:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 02:35:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 02:36:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 02:38:45 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) |
| 2022-09-08 02:40:47 +0000 | td_ | (~td@muedsl-82-207-238-024.citykom.de) |
| 2022-09-08 02:41:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 02:42:54 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-08 02:47:46 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
| 2022-09-08 02:48:47 +0000 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 244 seconds) |
| 2022-09-08 02:49:25 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-08 02:49:25 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-08 02:51:23 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2022-09-08 02:52:23 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) |
| 2022-09-08 02:55:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-09-08 02:57:33 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
| 2022-09-08 02:57:58 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 03:00:32 +0000 | vglfr | (~vglfr@145.224.94.171) |
| 2022-09-08 03:01:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 03:03:11 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-08 03:06:45 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-08 03:07:21 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2022-09-08 03:12:02 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-08 03:12:59 +0000 | cowboy8625 | (~cowboy@64.68.179.149) (Quit: WeeChat 3.5) |
| 2022-09-08 03:17:12 +0000 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 244 seconds) |
| 2022-09-08 03:19:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 03:24:06 +0000 | frost | (~frost@user/frost) |
| 2022-09-08 03:24:10 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-09-08 03:30:49 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 03:33:10 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-08 03:33:26 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-08 03:37:41 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-08 03:38:15 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 03:41:47 +0000 | vglfr | (~vglfr@145.224.94.248) |
| 2022-09-08 03:42:32 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-08 03:47:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 03:50:07 +0000 | Vajb | (~Vajb@85-76-165-214-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-09-08 03:50:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-08 03:55:19 +0000 | mbuf | (~Shakthi@49.204.139.63) |
| 2022-09-08 03:56:06 +0000 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
| 2022-09-08 03:58:19 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2022-09-08 03:59:31 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-09-08 03:59:34 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-08 04:04:05 +0000 | inversed | (~inversed@90.209.137.56) |
| 2022-09-08 04:06:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 04:12:18 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 04:13:33 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-08 04:17:08 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-08 04:27:09 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-08 04:27:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-08 04:27:52 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-08 04:28:38 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 04:32:25 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
| 2022-09-08 04:33:10 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-08 04:34:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 04:37:55 +0000 | bgamari | (~bgamari@64.223.132.120) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-08 04:38:05 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) |
| 2022-09-08 04:38:59 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
| 2022-09-08 04:39:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 04:39:56 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Remote host closed the connection) |
| 2022-09-08 04:43:14 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 04:46:11 +0000 | bgamari | (~bgamari@64.223.132.120) |
| 2022-09-08 04:53:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 05:01:51 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-08 05:10:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 05:12:07 +0000 | jargon | (~jargon@184.101.185.66) (Remote host closed the connection) |
| 2022-09-08 05:12:50 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-08 05:12:59 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-08 05:23:23 +0000 | gay9 | (~quassel@92-65-73-218.biz.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 05:23:51 +0000 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-08 05:29:34 +0000 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) |
| 2022-09-08 05:30:14 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-09-08 05:30:31 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-08 05:38:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 05:43:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 05:56:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 05:59:53 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 06:04:24 +0000 | lottaquestions_ | (~nick@2607:fa49:503e:7100:1134:a996:3e20:f719) (Remote host closed the connection) |
| 2022-09-08 06:04:50 +0000 | lottaquestions_ | (~nick@2607:fa49:503e:7100:5b4a:f7a4:f3c:9f44) |
| 2022-09-08 06:05:11 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-08 06:08:58 +0000 | _xor | (~xor@74.215.182.83) (Quit: brb) |
| 2022-09-08 06:10:07 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2022-09-08 06:11:19 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-08 06:13:12 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-08 06:13:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 06:19:10 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:531:9af1:68b5:af54) |
| 2022-09-08 06:21:31 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-08 06:22:28 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-09-08 06:30:22 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-08 06:31:20 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-08 06:32:00 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-08 06:36:28 +0000 | brandonh | (~brandonh@151.36.189.63) |
| 2022-09-08 06:40:46 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-08 06:41:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 06:42:13 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2022-09-08 06:43:22 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-09-08 06:44:42 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-08 06:46:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 06:47:40 +0000 | brandonh | (~brandonh@151.36.189.63) (Quit: brandonh) |
| 2022-09-08 06:48:37 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-08 06:49:12 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-08 06:49:52 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-08 06:50:02 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-08 06:50:58 +0000 | brandonh | (~brandonh@151.36.151.152) |
| 2022-09-08 06:56:30 +0000 | brandonh | (~brandonh@151.36.151.152) (Quit: brandonh) |
| 2022-09-08 06:57:24 +0000 | brandonh | (~brandonh@151.36.151.152) |
| 2022-09-08 06:58:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-08 06:59:30 +0000 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Ping timeout: 252 seconds) |
| 2022-09-08 07:00:07 +0000 | brandonh | (~brandonh@151.36.151.152) (Client Quit) |
| 2022-09-08 07:00:31 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-08 07:01:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 07:02:33 +0000 | brandonh | (~brandonh@151.38.166.239) |
| 2022-09-08 07:03:20 +0000 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
| 2022-09-08 07:05:22 +0000 | bahamas | (~lucian@78.87.133.233) |
| 2022-09-08 07:05:27 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-08 07:06:39 +0000 | brandonh | (~brandonh@151.38.166.239) (Client Quit) |
| 2022-09-08 07:06:44 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-08 07:07:57 +0000 | beteigeuze | (~Thunderbi@89.187.168.47) |
| 2022-09-08 07:12:24 +0000 | <bahamas> | hello. I'm seeing some unexpected behavior in a function and I wonder if you could shed some light. this is the function https://bpa.st/NCPA and this is output that it generates https://bpa.st/KLPA |
| 2022-09-08 07:13:10 +0000 | <bahamas> | if you notice, the last `span` has the `class` attribute twice. I would have expected that it first concatenated `textSize` to the string and treat that as one string |
| 2022-09-08 07:16:56 +0000 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) (Ping timeout: 244 seconds) |
| 2022-09-08 07:25:39 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-08 07:28:01 +0000 | lottaquestions | (~nick@104.221.24.83) |
| 2022-09-08 07:28:05 +0000 | lottaquestions | (~nick@104.221.24.83) (Client Quit) |
| 2022-09-08 07:28:29 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-08 07:28:40 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 07:30:22 +0000 | lottaquestions_ | (~nick@2607:fa49:503e:7100:5b4a:f7a4:f3c:9f44) (Ping timeout: 244 seconds) |
| 2022-09-08 07:30:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 07:30:38 +0000 | <Axman6> | what is the type of textSize? |
| 2022-09-08 07:31:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 07:32:27 +0000 | <bahamas> | Axman6: are you asking whether it's String or Text? |
| 2022-09-08 07:33:14 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 07:33:55 +0000 | <bahamas> | Axman6: this is the type of `H.span` H.span |
| 2022-09-08 07:33:55 +0000 | <bahamas> | :: [(Data.Text.Internal.Text, H.Prop m a)] |
| 2022-09-08 07:33:56 +0000 | <bahamas> | -> [H.Html m a] -> H.Html m a |
| 2022-09-08 07:34:40 +0000 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-08 07:35:08 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-08 07:37:40 +0000 | <tdammers> | So the first argument to H.span is a list of pairs of names to property values, and naturally, its monoidal append operation (<>) is list concatenation. Blaze makes it look like a string by providing an IsString instance, and it looks like you have enabled the OverloadedStrings extension, which means that GHC will automatically convert your string literals to whatever type is demanded, via its |
| 2022-09-08 07:37:42 +0000 | <tdammers> | IsString instance |
| 2022-09-08 07:37:58 +0000 | <tdammers> | so while "block md:hidden" looks like a string, it really is not |
| 2022-09-08 07:38:11 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-08 07:38:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 07:39:03 +0000 | <tdammers> | wait, this isn't blaze... blaze uses the (!) combinator to add attributes |
| 2022-09-08 07:41:23 +0000 | <bahamas> | tdammers: this is a library called shpadoinkle. but maybe it's doing the same thing as blaze |
| 2022-09-08 07:42:55 +0000 | <bahamas> | so even though I expect string concatenation, it's actually treating the two string as two values from which to generate `class` attributes, if I understood your explanation |
| 2022-09-08 07:43:28 +0000 | frost | (~frost@user/frost) |
| 2022-09-08 07:43:42 +0000 | <Axman6> | it's using the OverloadedStrings extension |
| 2022-09-08 07:44:47 +0000 | <Hecate> | bahamas: sorry for saying this but you should really be using Lucid instead :) |
| 2022-09-08 07:46:05 +0000 | <bahamas> | Hecate: I'll write down your suggestion and maybe I'll be able to put it into practice. this library was chosen before I started working on this project |
| 2022-09-08 07:46:54 +0000 | <Hecate> | bahamas: hence me being sorry, I know it's not always up to someone :) |
| 2022-09-08 07:48:58 +0000 | beteigeuze | (~Thunderbi@89.187.168.47) (Ping timeout: 244 seconds) |
| 2022-09-08 07:49:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 07:51:58 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-08 07:54:39 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-08 07:55:52 +0000 | Guest114 | (~Guest11@2601:602:a080:fa0::54ff) |
| 2022-09-08 07:56:17 +0000 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) |
| 2022-09-08 07:58:07 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-08 08:00:05 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-08 08:02:30 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 264 seconds) |
| 2022-09-08 08:03:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 08:03:53 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 08:04:43 +0000 | tv | (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2022-09-08 08:04:44 +0000 | <dminuoso> | Enabling CPP alters the behavior of this function: https://gist.github.com/dminuoso/fb291c4edd29dda6f114b5571c73d436 |
| 2022-09-08 08:05:05 +0000 | <dminuoso> | Am I going crazy, or does foldCase_ have some silly bug that gets randomly triggered if CPP is enabled? |
| 2022-09-08 08:05:10 +0000 | <dminuoso> | Or is this an actual GHC bug? |
| 2022-09-08 08:05:21 +0000 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-08 08:05:26 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-08 08:06:45 +0000 | kazaf | (~kazaf@94.180.63.53) |
| 2022-09-08 08:07:16 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-08 08:08:15 +0000 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) |
| 2022-09-08 08:08:18 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-08 08:09:16 +0000 | <Athas> | dminuoso: my guess is that CPP processes the \ at the end of lines, and has different behaviour than GHC. |
| 2022-09-08 08:09:27 +0000 | <Athas> | Shot in the dark: CPP preserves the leading whitespace on the following lines. |
| 2022-09-08 08:09:38 +0000 | <dminuoso> | Oh gosh.. |
| 2022-09-08 08:10:06 +0000 | <Athas> | This stuff is why GHC using CPP is a tragic misdesign that should never have happened. |
| 2022-09-08 08:10:28 +0000 | <Athas> | CPP does different things (C tokenisation rules) and more things (this shit) than what it's really intended for in Haskell. |
| 2022-09-08 08:11:22 +0000 | kazaf | (~kazaf@94.180.63.53) (Ping timeout: 252 seconds) |
| 2022-09-08 08:11:28 +0000 | <dminuoso> | Mmm, why would CPP do this.. :( |
| 2022-09-08 08:11:41 +0000 | <dminuoso> | But oh well, I guess I can just move this code into a different module that does not have CPP enabled |
| 2022-09-08 08:11:49 +0000 | <Athas> | CPP is where the trailing backslash behaviour is implemented. |
| 2022-09-08 08:12:02 +0000 | <Athas> | And yes, running 'cpp' manually shows that it preserves the whitespace on the following lines. |
| 2022-09-08 08:12:21 +0000 | <Athas> | Well, for _C_, the preprocessor is where the trailing backslash is implemented. For Haskell, it's somewhere else. |
| 2022-09-08 08:12:28 +0000 | <Athas> | But you get both! |
| 2022-09-08 08:13:20 +0000 | <dminuoso> | Well, this is one hell of a surprising feature I must say. I stared in disbelief when my test suite failed after just enabling CPP.. |
| 2022-09-08 08:13:41 +0000 | <Athas> | CPP was a mistake. |
| 2022-09-08 08:15:28 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) |
| 2022-09-08 08:15:28 +0000 | acidjnk | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) |
| 2022-09-08 08:15:45 +0000 | <dminuoso> | Do you have a better solution for how to deal with supporting multiple library versions? |
| 2022-09-08 08:16:00 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 08:16:03 +0000 | <dminuoso> | Duplicated modules, and picking them in cabal maybe? |
| 2022-09-08 08:16:42 +0000 | <Athas> | I have lots of extremist opinions on this, perhaps because I've never had to actually maintain backwards compatibility with lots of versions. |
| 2022-09-08 08:17:08 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-08 08:17:11 +0000 | <Athas> | But yes, I would use the build system. Define compability layers consisting of duplicate modules. |
| 2022-09-08 08:17:11 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-08 08:17:11 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 08:17:17 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-08 08:17:19 +0000 | <Athas> | I have no idea whether this plan would survive contact with the enemy. |
| 2022-09-08 08:18:01 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-08 08:19:25 +0000 | tv | (~tv@user/tv) |
| 2022-09-08 08:20:29 +0000 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) (Remote host closed the connection) |
| 2022-09-08 08:20:50 +0000 | fserucas_|EoD | (~fserucas|@89.214.127.144) |
| 2022-09-08 08:21:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 08:21:02 +0000 | fserucas_|EoD | (~fserucas|@89.214.127.144) (Client Quit) |
| 2022-09-08 08:21:08 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
| 2022-09-08 08:21:21 +0000 | fserucas|EoD | (~fserucas|@89.214.127.144) |
| 2022-09-08 08:21:29 +0000 | MoC | (~moc@user/moc) |
| 2022-09-08 08:21:34 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-08 08:23:10 +0000 | Guest114 | (~Guest11@2601:602:a080:fa0::54ff) (Quit: Client closed) |
| 2022-09-08 08:23:56 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 08:25:09 +0000 | akegalj | (~akegalj@cpe-109-60-8-78.st3.cable.xnet.hr) |
| 2022-09-08 08:25:39 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 08:25:40 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 08:26:53 +0000 | <dminuoso> | Unrelated, if I relax bytestring to allow for `bytestring ^>= { 0.10.0, 0.11.0 }`, cabal will still pick 0.10.12.1, instead of 0.11.3.1. Does cabal have a preference over boot library versions that I cant find documentation for? |
| 2022-09-08 08:27:14 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-08 08:27:16 +0000 | <dminuoso> | (If I just specify ^>= 0.11.0 it picks 0.11.3.1 just fine) |
| 2022-09-08 08:29:51 +0000 | <tomsmeding> | dminuoso: what happens if you write { 0.11.0, 0.10.0 } |
| 2022-09-08 08:30:19 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-08 08:30:52 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) |
| 2022-09-08 08:31:28 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-09-08 08:31:39 +0000 | <dminuoso> | tomsmeding: Same behavior. Also same if I just write >= 0.10.0 |
| 2022-09-08 08:32:07 +0000 | <tomsmeding> | was worth a try :p |
| 2022-09-08 08:32:33 +0000 | <dminuoso> | Yes, I did try this before too. :) |
| 2022-09-08 08:33:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-08 08:33:52 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-08 08:34:11 +0000 | acidjnk | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 08:34:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 08:35:52 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-08 08:40:40 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 08:42:12 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 08:42:12 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 08:46:35 +0000 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-08 08:50:11 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-08 08:50:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 08:50:33 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-09-08 08:57:24 +0000 | benin0 | (~benin@183.82.29.130) |
| 2022-09-08 08:57:48 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-08 09:03:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 09:03:56 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 09:04:26 +0000 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) |
| 2022-09-08 09:05:14 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 09:07:33 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 09:08:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 09:09:03 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 09:09:04 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 09:09:09 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-08 09:10:31 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-08 09:12:10 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-09-08 09:14:30 +0000 | <Hecate> | tomjaguarpaw: I amended by Discourse post :) |
| 2022-09-08 09:19:35 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 09:21:27 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 09:21:28 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 09:24:56 +0000 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) (Ping timeout: 260 seconds) |
| 2022-09-08 09:26:06 +0000 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 09:30:44 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 09:33:21 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-08 09:33:21 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 09:35:20 +0000 | <tdammers> | bahamas: https://shpadoinkle.org/html/Shpadoinkle-Html.html#t:Prop shows an IsString instance for `[(Text, Prop m a)]` |
| 2022-09-08 09:36:12 +0000 | <tdammers> | so each of your string literals there expands into [("class", "...")], and obviously if you then use <> to concatenate them, you get multiple class attributes, rather than a single class attribute with the values concatenated |
| 2022-09-08 09:36:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-08 09:38:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 09:38:52 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 09:39:01 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-08 09:39:04 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
| 2022-09-08 09:39:06 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
| 2022-09-08 09:40:03 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-08 09:40:03 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 09:41:03 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-08 09:42:44 +0000 | brandonh | (~brandonh@77.43.32.218) |
| 2022-09-08 09:43:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 09:43:33 +0000 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-09-08 09:45:24 +0000 | <bahamas> | tdammers: thanks! |
| 2022-09-08 09:45:38 +0000 | <tdammers> | IMO that IsString instance wasn't such a great design decision btw |
| 2022-09-08 09:46:06 +0000 | <bahamas> | tdammers: that's what I wanted to say. it breaks the expectation that `<>` concatenates 2 strings |
| 2022-09-08 09:46:14 +0000 | <tdammers> | exactly |
| 2022-09-08 09:46:17 +0000 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2022-09-08 09:46:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-08 09:46:43 +0000 | <bahamas> | thanks for clarifying and for digging for the explanation |
| 2022-09-08 09:47:06 +0000 | <tdammers> | I'm not sure whether it's documented as a typeclass law for IsString, but the expectation would be that fromString (a <> b) === fromString a <> fromString b |
| 2022-09-08 09:51:09 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 09:51:52 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 09:53:15 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-08 09:53:15 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 09:56:33 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-08 10:03:28 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 10:04:15 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-08 10:04:16 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
| 2022-09-08 10:04:43 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-08 10:05:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 10:06:05 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-08 10:06:05 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 10:11:01 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-08 10:12:37 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-09-08 10:13:37 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 10:13:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 10:14:30 +0000 | <ph88> | Hey guys, i am using streamly and i have this code which works https://bpa.st/4D3A just that it doesn't run in parallel. How can i make it run parallely ? i am trying to read hundreds of files and write results about them into a 1 or 2 files |
| 2022-09-08 10:15:17 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2022-09-08 10:15:41 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-08 10:15:54 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-08 10:15:55 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 10:16:28 +0000 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-08 10:16:47 +0000 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) |
| 2022-09-08 10:17:31 +0000 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2022-09-08 10:17:48 +0000 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-09-08 10:22:41 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 10:23:06 +0000 | brandonh | (~brandonh@77.43.32.218) (Quit: brandonh) |
| 2022-09-08 10:25:01 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-08 10:25:02 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 10:25:33 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-09-08 10:26:36 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
| 2022-09-08 10:27:01 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-08 10:29:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 10:30:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-08 10:31:17 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-08 10:31:36 +0000 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-08 10:34:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 10:37:33 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-08 10:38:25 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 10:38:59 +0000 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2022-09-08 10:43:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-08 10:43:55 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-09-08 10:45:36 +0000 | califax | (~califax@user/califx) |
| 2022-09-08 10:46:36 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-09-08 10:47:31 +0000 | arahael | (~arahael@14-200-135-92.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-09-08 10:48:59 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-08 10:49:58 +0000 | <ph88> | is it maybe because i was using a normal map instead of streamly map ? |
| 2022-09-08 10:50:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 10:51:21 +0000 | bahamas | (~lucian@78.87.133.233) (Ping timeout: 244 seconds) |
| 2022-09-08 10:52:51 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-08 10:53:13 +0000 | benin0 | (~benin@183.82.29.130) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-08 10:56:16 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 10:57:45 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-08 10:58:04 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 10:58:05 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 11:01:05 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-08 11:03:16 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2022-09-08 11:03:25 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 11:04:45 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-08 11:04:46 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 11:05:05 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-08 11:05:06 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-09-08 11:07:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 11:07:01 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 11:08:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 11:10:28 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-08 11:12:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-08 11:14:23 +0000 | Successus | (~Successus@user/Successus) |
| 2022-09-08 11:15:42 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-08 11:18:16 +0000 | califax | (~califax@user/califx) |
| 2022-09-08 11:18:27 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 11:20:07 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
| 2022-09-08 11:20:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
| 2022-09-08 11:20:26 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-08 11:20:27 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 11:20:37 +0000 | bahamas | (~lucian@78.87.133.233) |
| 2022-09-08 11:23:57 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-08 11:25:35 +0000 | bahamas | (~lucian@78.87.133.233) (Ping timeout: 268 seconds) |
| 2022-09-08 11:30:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-08 11:31:16 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-08 11:31:49 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-08 11:35:25 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-08 11:35:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 11:38:38 +0000 | benin0 | (~benin@183.82.28.141) |
| 2022-09-08 11:39:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 11:43:11 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 11:46:05 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-08 11:46:25 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-08 11:47:29 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-09-08 11:50:21 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 11:52:25 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-08 11:52:25 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 11:53:36 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-08 11:55:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 11:57:22 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 11:57:24 +0000 | faultline | (~christian@200116b82b5bf1006d07b0d5d6738787.dip.versatel-1u1.de) |
| 2022-09-08 11:58:00 +0000 | bahamas | (~lucian@78.87.133.233) |
| 2022-09-08 11:59:02 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 11:59:03 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 12:02:24 +0000 | akegalj | (~akegalj@cpe-109-60-8-78.st3.cable.xnet.hr) (Quit: leaving) |
| 2022-09-08 12:04:30 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-08 12:06:46 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-08 12:07:45 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 12:08:43 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-09-08 12:08:44 +0000 | faultline | (~christian@200116b82b5bf1006d07b0d5d6738787.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2022-09-08 12:12:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 12:12:31 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 12:12:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-08 12:13:30 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 12:13:32 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 12:13:51 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-08 12:14:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 12:16:17 +0000 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) |
| 2022-09-08 12:22:58 +0000 | <sylvo> | :) |
| 2022-09-08 12:23:12 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-08 12:23:20 +0000 | yvan-sraka | (~yvan-srak@37.171.65.132) |
| 2022-09-08 12:24:11 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-09-08 12:27:43 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 12:28:58 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-08 12:29:40 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-08 12:30:20 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-08 12:30:20 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 12:34:11 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-08 12:35:15 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-08 12:35:49 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-08 12:37:02 +0000 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) (Remote host closed the connection) |
| 2022-09-08 12:37:27 +0000 | `\` | (~blop@user/blop) (Ping timeout: 258 seconds) |
| 2022-09-08 12:37:30 +0000 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) |
| 2022-09-08 12:39:45 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-09-08 12:41:55 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 12:42:10 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-09-08 12:42:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 12:43:35 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-09-08 12:46:37 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-08 12:47:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 12:47:56 +0000 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 12:50:55 +0000 | yvan-sraka | (~yvan-srak@37.171.65.132) (Remote host closed the connection) |
| 2022-09-08 12:52:37 +0000 | mikoto-chan | (~mikoto-ch@85-76-18-135-nat.elisa-mobile.fi) |
| 2022-09-08 12:53:16 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-09-08 12:57:03 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 12:57:28 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-08 12:57:29 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 12:57:37 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Quit: Leaving) |
| 2022-09-08 13:00:06 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-08 13:01:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 13:04:07 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-08 13:04:13 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 13:04:24 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-08 13:04:45 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-09-08 13:04:46 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-09-08 13:05:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
| 2022-09-08 13:05:08 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
| 2022-09-08 13:05:41 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 13:05:42 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 13:05:49 +0000 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) (Leaving) |
| 2022-09-08 13:11:15 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-08 13:12:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 13:12:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 13:13:15 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-08 13:18:06 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 244 seconds) |
| 2022-09-08 13:20:46 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 13:22:13 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 13:22:14 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 13:26:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-09-08 13:26:47 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-09-08 13:26:47 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-08 13:26:47 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-08 13:27:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-08 13:27:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-08 13:28:10 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-08 13:28:19 +0000 | potash | (~foghorn@user/foghorn) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-08 13:28:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-08 13:28:49 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-09-08 13:29:02 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-08 13:31:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 13:31:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 13:33:54 +0000 | johnw | (~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) (Quit: ZNC - http://znc.in) |
| 2022-09-08 13:35:00 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-09-08 13:36:05 +0000 | potash | (~foghorn@user/foghorn) |
| 2022-09-08 13:37:31 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2022-09-08 13:39:31 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 13:41:51 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 13:42:53 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2022-09-08 13:42:54 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 13:51:59 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
| 2022-09-08 13:53:23 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 13:53:51 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-09-08 13:53:52 +0000 | ccntrq1 | ccntrq |
| 2022-09-08 13:54:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 13:55:41 +0000 | <tomsmeding> | maerwald: ghcup tui is not a thing on windows? Or am I doing something wrong? |
| 2022-09-08 13:56:06 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-08 13:57:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 13:57:51 +0000 | <ph88> | I run these commands: stack clean && stack build --ghc-options="-eventlog -threaded" && stack exec – myprogram +RTS -l And i get while executing: the flag -l requires the program to be built with -eventlog, -prof or -debug .. what do i need to do to analyse my stack program with threadscope ? |
| 2022-09-08 13:58:11 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-08 13:59:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-08 14:00:46 +0000 | mastarija | (~mastarija@95.168.107.19) |
| 2022-09-08 14:00:51 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 260 seconds) |
| 2022-09-08 14:02:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-08 14:03:59 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-08 14:04:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-08 14:04:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 14:09:48 +0000 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-09-08 14:12:13 +0000 | bahamas | (~lucian@78.87.133.233) (Quit: leaving) |
| 2022-09-08 14:12:42 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-08 14:13:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 14:13:57 +0000 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) () |
| 2022-09-08 14:14:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-08 14:16:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 14:16:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 14:16:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-08 14:16:50 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-08 14:18:37 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
| 2022-09-08 14:19:04 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-08 14:19:31 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-08 14:20:07 +0000 | infinity0 | (~infinity0@185.112.146.113) (Remote host closed the connection) |
| 2022-09-08 14:20:40 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-08 14:22:00 +0000 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-09-08 14:23:13 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-08 14:25:15 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-09-08 14:25:31 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-08 14:26:31 +0000 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-09-08 14:26:31 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-08 14:26:52 +0000 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) |
| 2022-09-08 14:28:26 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-08 14:33:01 +0000 | mikoto-chan | (~mikoto-ch@85-76-18-135-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2022-09-08 14:37:28 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-09-08 14:37:55 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit) |
| 2022-09-08 14:40:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-08 14:41:02 +0000 | califax | (~califax@user/califx) |
| 2022-09-08 14:43:54 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-08 14:45:30 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 14:47:51 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 14:49:53 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-08 14:51:33 +0000 | mastarija | (~mastarija@95.168.107.19) (Ping timeout: 268 seconds) |
| 2022-09-08 14:53:49 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-08 14:56:41 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-08 14:57:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-08 15:00:13 +0000 | kenran | (~kenran@200116b82b35c500d49ee51ae685b856.dip.versatel-1u1.de) |
| 2022-09-08 15:00:55 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-08 15:02:49 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-08 15:04:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-08 15:06:09 +0000 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-08 15:10:26 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 15:10:37 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) |
| 2022-09-08 15:11:21 +0000 | kazaf | (~kazaf@94.180.63.53) |
| 2022-09-08 15:11:37 +0000 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
| 2022-09-08 15:13:58 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:d87c:4e75:f46f:408a) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-09-08 15:14:18 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:fce9:8620:712c:392d) |
| 2022-09-08 15:15:42 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-08 15:16:00 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-08 15:16:42 +0000 | kazaf | (~kazaf@94.180.63.53) (Ping timeout: 252 seconds) |
| 2022-09-08 15:18:17 +0000 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-09-08 15:18:17 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-08 15:18:17 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-08 15:18:43 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-08 15:19:14 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 15:19:14 +0000 | califax | (~califax@user/califx) |
| 2022-09-08 15:26:58 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-08 15:30:57 +0000 | MoC | (~moc@user/moc) (Read error: Connection reset by peer) |
| 2022-09-08 15:31:12 +0000 | MoC | (~moc@user/moc) |
| 2022-09-08 15:32:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 15:36:11 +0000 | kaptch | (~user@212.58.121.169) |
| 2022-09-08 15:37:25 +0000 | kaptch | (~user@212.58.121.169) (Client Quit) |
| 2022-09-08 15:38:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 15:38:53 +0000 | kaptch | (~user@212.58.121.169) |
| 2022-09-08 15:39:27 +0000 | kaptch | (~user@212.58.121.169) (Remote host closed the connection) |
| 2022-09-08 15:40:02 +0000 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 260 seconds) |
| 2022-09-08 15:40:10 +0000 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-08 15:42:15 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-08 15:42:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:531:9af1:68b5:af54) (Ping timeout: 244 seconds) |
| 2022-09-08 15:44:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-08 15:44:42 +0000 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
| 2022-09-08 15:48:11 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-08 15:49:16 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-08 15:53:25 +0000 | kaptch | (~user@212.58.121.169) |
| 2022-09-08 15:55:54 +0000 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
| 2022-09-08 15:56:16 +0000 | kaptch | (~user@212.58.121.169) (Read error: Connection reset by peer) |
| 2022-09-08 15:57:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 15:57:56 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-08 15:58:02 +0000 | kaptch | (~user@212.58.121.169) |
| 2022-09-08 15:58:59 +0000 | nilradical | (~nilradica@user/naso) () |
| 2022-09-08 15:59:41 +0000 | mbuf | (~Shakthi@49.204.139.63) (Quit: Leaving) |
| 2022-09-08 16:03:54 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-08 16:05:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-08 16:06:32 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-08 16:07:09 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-08 16:10:21 +0000 | kenran | (~kenran@200116b82b35c500d49ee51ae685b856.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2022-09-08 16:13:35 +0000 | johnw | (~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) |
| 2022-09-08 16:14:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 16:14:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 16:16:03 +0000 | kenran | (~kenran@200116b82b35c500f21c6a4e5f1ed901.dip.versatel-1u1.de) |
| 2022-09-08 16:25:31 +0000 | kadobanana | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2022-09-08 16:27:38 +0000 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-09-08 16:29:21 +0000 | kadobanana | (~mud@user/kadoban) |
| 2022-09-08 16:32:36 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-09-08 16:36:23 +0000 | kenran | (~kenran@200116b82b35c500f21c6a4e5f1ed901.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-08 16:36:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 16:36:41 +0000 | razetime | (~quassel@117.193.7.156) |
| 2022-09-08 16:38:34 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-08 16:40:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2022-09-08 16:40:57 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 16:41:36 +0000 | kaptch | (~user@212.58.121.169) (Remote host closed the connection) |
| 2022-09-08 16:41:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-08 16:41:52 +0000 | kaptch | (~user@212.58.121.169) |
| 2022-09-08 16:42:17 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-08 16:42:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-08 16:44:39 +0000 | kaptch | (~user@212.58.121.169) () |
| 2022-09-08 16:47:36 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-08 16:52:43 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-08 16:52:45 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-08 16:53:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-08 17:02:07 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-08 17:06:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-08 17:07:16 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-08 17:07:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-08 17:12:25 +0000 | slack1256 | (~slack1256@191.125.99.222) |
| 2022-09-08 17:12:53 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 17:13:21 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-09-08 17:15:45 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-09-08 17:16:08 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-08 17:17:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-08 17:25:05 +0000 | slack1400 | (~slack1256@181.42.44.123) |
| 2022-09-08 17:26:18 +0000 | slack1400 | (~slack1256@181.42.44.123) (Remote host closed the connection) |
| 2022-09-08 17:27:21 +0000 | slack1256 | (~slack1256@191.125.99.222) (Ping timeout: 260 seconds) |
| 2022-09-08 17:27:59 +0000 | slack1256 | (~slack1256@181.42.44.123) |
| 2022-09-08 17:29:37 +0000 | guyst | (~guyst@213.205.241.242) |
| 2022-09-08 17:29:54 +0000 | <guyst> | hi, i have been working on machine learning in haskell. |
| 2022-09-08 17:30:16 +0000 | <guyst> | previously i have used python using tensorflow, pandas, and pytorch |
| 2022-09-08 17:30:38 +0000 | <guyst> | i would like to undertake a machine learning project within haskell |
| 2022-09-08 17:31:11 +0000 | <guyst> | as i understand it, python is not a good tool for scientific education (i had to use it as part of my chemistry phd, and struggled with runtime errors) |
| 2022-09-08 17:31:52 +0000 | <guyst> | im also aware that the haskell machine lerning infrastructure is not yet sufficient for it to reasonably be suggested to use haskell over python in such situations |
| 2022-09-08 17:32:12 +0000 | <guyst> | this is not something i can change without support from the haskell community, so I'm asking here |
| 2022-09-08 17:32:51 +0000 | kenran | (~kenran@200116b82b35c5000593d10e895952fe.dip.versatel-1u1.de) |
| 2022-09-08 17:33:24 +0000 | econo | (uid147250@user/econo) |
| 2022-09-08 17:34:06 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-08 17:34:31 +0000 | kenran | (~kenran@200116b82b35c5000593d10e895952fe.dip.versatel-1u1.de) (Client Quit) |
| 2022-09-08 17:35:53 +0000 | <guyst> | specifically, im wondering what tools would be needed for the haskell community to develop, in order that haskell become competative with python for use in scientific education |
| 2022-09-08 17:36:15 +0000 | <guyst> | and also what community resources exist to aid with such an undertaking |
| 2022-09-08 17:36:55 +0000 | <guyst> | from what i can tell, all the major things like tensorflow are ported |
| 2022-09-08 17:37:26 +0000 | <guyst> | but im not familiar enough with the python "workflow" to understand which bits of infrastructure haskell is lacking |
| 2022-09-08 17:38:01 +0000 | <guyst> | (personally, i write type safe nets and training routines in pure haskell when i need them, but i suppose this isnt normally an option) |
| 2022-09-08 17:38:32 +0000 | <guyst> | has anyone got any ideas along those lines? |
| 2022-09-08 17:41:27 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::191) |
| 2022-09-08 17:41:36 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 244 seconds) |
| 2022-09-08 17:43:34 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-08 17:44:22 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 17:46:24 +0000 | <ph88> | guyst, i think first thing that is lacking are the tutorials |
| 2022-09-08 17:49:05 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) |
| 2022-09-08 17:51:12 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-08 17:51:12 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-08 17:51:45 +0000 | <monochrom> | I may actually think that the haskell workflow does not need to follow the python workflow, so you are not missing anything. |
| 2022-09-08 17:51:53 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-08 17:51:58 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 17:52:03 +0000 | <Athas> | guyst: I think one challenge is that it is not clear Haskell has much advantage compared to Python in this domain. |
| 2022-09-08 17:52:03 +0000 | <monochrom> | But I don't do machine learning, my opinion on this is worth 0. |
| 2022-09-08 17:52:25 +0000 | <Athas> | Haskell is great for dealing with complicated data structures. Deep learning, at least, does not have any of that. |
| 2022-09-08 17:52:42 +0000 | <monochrom> | Athas, I think that guyst is unhappy with python untypedness, in which case haskell is an attraction. |
| 2022-09-08 17:53:16 +0000 | <monochrom> | Then again Fortran could do just fine too, heh. |
| 2022-09-08 17:53:34 +0000 | <Athas> | monochrom: at least for deep learning, the most annoying type errors are mismatched array sizes. You can encode that stuff in the Haskell type system, but it's not very pleasant IMO. |
| 2022-09-08 17:54:16 +0000 | <monochrom> | OK yeah that's true, haskell is not prettier here. Just uglyly doable. |
| 2022-09-08 17:54:22 +0000 | <[exa]> | guyst: one of the problems with ML and haskell is that people who're not really interested in learning to program would have to invest time into learning to program |
| 2022-09-08 17:54:52 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 17:55:02 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-09-08 17:55:13 +0000 | <monochrom> | Ugh does that mean that they want the machine to learn programming so they don't have to? >:) |
| 2022-09-08 17:55:41 +0000 | <[exa]> | guyst: for the others there are actually pretty nice solutions around, e.g. this https://hackage.haskell.org/package/grenade |
| 2022-09-08 17:56:44 +0000 | <[exa]> | monochrom: sad story, right? |
| 2022-09-08 17:57:48 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-08 17:57:55 +0000 | <[exa]> | anyway it is technically true, if you want to do ML you want to organize your neural net or somthing and feed it datas, _not_ try to spend a month finding a monad tutorial that breaks the curse. :] |
| 2022-09-08 17:58:11 +0000 | <monochrom> | All I know about python is that 3Blue1Brown ditched python for julia so I recommend any current or prospective python users to follow suit >:) |
| 2022-09-08 17:58:18 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-08 17:58:35 +0000 | <[exa]> | yeah actually I did the same for most of the dirty sci-scripting. :] |
| 2022-09-08 17:58:59 +0000 | <monochrom> | And julia actually has an interesting subtyping system. |
| 2022-09-08 17:59:34 +0000 | <monochrom> | I forgot whether it's static or dynamic, but it's interesting and useful even for a dynamic one. |
| 2022-09-08 18:00:15 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-08 18:00:18 +0000 | <[exa]> | it's a weird combo of static and dynamic |
| 2022-09-08 18:00:31 +0000 | <[exa]> | but it's veeeeeery practical |
| 2022-09-08 18:01:25 +0000 | <ph88> | hey guys, now that you are here ... any idea how to get -eventlog going with stack ? i want to use threadscope |
| 2022-09-08 18:01:51 +0000 | Guest|94 | (~Guest|94@130.15.33.217) |
| 2022-09-08 18:01:54 +0000 | Guest|94 | (~Guest|94@130.15.33.217) (Client Quit) |
| 2022-09-08 18:02:34 +0000 | <guyst> | Athas: i tried to use python in a workshop. it wasted all the time in the workshop. i wouldnt have had length errors i couldnt find in time, had i been using haskell |
| 2022-09-08 18:04:54 +0000 | <Athas> | Maybe. You never have problems with the tool you didn't use. |
| 2022-09-08 18:08:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-08 18:10:58 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 18:11:02 +0000 | razetime | (~quassel@117.193.7.156) (Ping timeout: 244 seconds) |
| 2022-09-08 18:12:12 +0000 | beteigeuze | (~Thunderbi@89.187.168.238) |
| 2022-09-08 18:12:23 +0000 | <[exa]> | guyst: try julia tbh :] |
| 2022-09-08 18:12:51 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-08 18:14:47 +0000 | <[exa]> | guyst: anyway I guess there could be many libs for haskell that just do precisely the thing that you need. This "array bookkeeping" and the possibilities are typically not a property of the used programming language, but a property of how much time was invested to make the libraries error-prone. |
| 2022-09-08 18:16:22 +0000 | <monochrom> | Haha, I thought I was the only one who invest time to make anything error-prone, i.e., I make my homeworks and exams error-prone to keep the class average low... |
| 2022-09-08 18:16:54 +0000 | <[exa]> | oh noes |
| 2022-09-08 18:16:58 +0000 | <[exa]> | error-proof |
| 2022-09-08 18:17:00 +0000 | <monochrom> | hehehe |
| 2022-09-08 18:17:08 +0000 | <[exa]> | the keys are so close |
| 2022-09-08 18:18:01 +0000 | <monochrom> | I am particularly devious in that though. |
| 2022-09-08 18:18:47 +0000 | <monochrom> | For example I include a question like "re-implement this recursive function by an application of foldr". |
| 2022-09-08 18:19:05 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-08 18:19:26 +0000 | <monochrom> | The best way to answer such a question is to just look at the code structure and extract the foldr pattern. |
| 2022-09-08 18:19:45 +0000 | <monochrom> | The worst way is to try to understand the function. |
| 2022-09-08 18:20:49 +0000 | <monochrom> | And I have a part (a) to ask "what does this function do?" to trick students into understanding the function! |
| 2022-09-08 18:22:48 +0000 | <guyst> | " how much time was invested to make the libraries error-prone." lol |
| 2022-09-08 18:23:08 +0000 | <guyst> | error-prof more like |
| 2022-09-08 18:23:23 +0000 | <int-e> | monochrom: f x == foldr (const f) x [undefined] |
| 2022-09-08 18:23:25 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.129) |
| 2022-09-08 18:24:09 +0000 | <guyst> | :t ((tanh . sum) .) . zipWith (*) |
| 2022-09-08 18:24:10 +0000 | <lambdabot> | Floating c => [c] -> [c] -> c |
| 2022-09-08 18:24:23 +0000 | <guyst> | where are the peripherals!! |
| 2022-09-08 18:24:37 +0000 | <int-e> | on the boundary |
| 2022-09-08 18:24:55 +0000 | <guyst> | zipWith is lazy, it will still produce *some* numbers... |
| 2022-09-08 18:25:02 +0000 | <monochrom> | int-e: I sometimes include a "don't use your own recursion" clause. |
| 2022-09-08 18:25:51 +0000 | Alex_test | (~al_test@178.34.151.32) (Ping timeout: 252 seconds) |
| 2022-09-08 18:25:52 +0000 | <guyst> | dont cheat! |
| 2022-09-08 18:26:11 +0000 | <monochrom> | zipWith is so lazy, it won't produce some numbers until you provide some numbers. |
| 2022-09-08 18:26:13 +0000 | AlexZenon | (~alzenon@178.34.151.32) (Ping timeout: 252 seconds) |
| 2022-09-08 18:26:23 +0000 | <guyst> | i just mean if the boundaries dont match up |
| 2022-09-08 18:26:31 +0000 | <guyst> | sure the net will be totally wrong, but whatever |
| 2022-09-08 18:26:38 +0000 | AlexNoo | (~AlexNoo@178.34.151.32) (Ping timeout: 240 seconds) |
| 2022-09-08 18:27:04 +0000 | <guyst> | so then i do some type safe length checking (should out to grenade above) |
| 2022-09-08 18:27:13 +0000 | <guyst> | and then im like "whats up with python anyway" |
| 2022-09-08 18:27:23 +0000 | <guyst> | people needing IDE's apparently |
| 2022-09-08 18:27:38 +0000 | <guyst> | shout* |
| 2022-09-08 18:30:33 +0000 | fserucas|EoD | (~fserucas|@89.214.127.144) (Quit: Leaving) |
| 2022-09-08 18:31:11 +0000 | Alex_test | (~al_test@178.34.161.129) |
| 2022-09-08 18:32:18 +0000 | AlexZenon | (~alzenon@178.34.161.129) |
| 2022-09-08 18:36:15 +0000 | mastarija | (~mastarija@46.188.135.255) |
| 2022-09-08 18:37:24 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::191) (Ping timeout: 244 seconds) |
| 2022-09-08 18:38:18 +0000 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-09-08 18:41:57 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 18:43:05 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 18:43:20 +0000 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 2022-09-08 18:43:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-09-08 18:44:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-08 18:48:14 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-08 18:54:18 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-08 18:56:44 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-08 18:58:21 +0000 | inversed | (~inversed@90.209.137.56) (Ping timeout: 260 seconds) |
| 2022-09-08 18:59:22 +0000 | neceve_ | (~neceve@user/neceve) |
| 2022-09-08 19:00:02 +0000 | neceve_ | (~neceve@user/neceve) (Client Quit) |
| 2022-09-08 19:01:16 +0000 | inversed | (~inversed@90.209.137.56) |
| 2022-09-08 19:07:40 +0000 | slac76358 | (~slack1256@191.125.227.90) |
| 2022-09-08 19:08:27 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-08 19:08:52 +0000 | califax | (~califax@user/califx) |
| 2022-09-08 19:09:56 +0000 | slack1256 | (~slack1256@181.42.44.123) (Ping timeout: 268 seconds) |
| 2022-09-08 19:15:26 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-08 19:16:36 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 19:20:16 +0000 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 244 seconds) |
| 2022-09-08 19:22:30 +0000 | AlexNoo_ | AlexNoo |
| 2022-09-08 19:23:14 +0000 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-09-08 19:25:26 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-09-08 19:26:02 +0000 | <qrpnxz> | i think some times haskell gets a bad rep for inscrutable operators, but they are only inscrutable until you learn them. On the flip side without them, or at least infix ticks, applicative, monad, monoid, would always be a mess. Therefore I find paren-free function application and infix notation and operators, to be a key feature, not just a minor syntactical difference. I think other languages |
| 2022-09-08 19:26:04 +0000 | <qrpnxz> | could express things like applicative, although not equivalently to haskell type class, but rather close, but because of the syntax alone it would be highly discouraged. |
| 2022-09-08 19:27:35 +0000 | mastarija | (~mastarija@46.188.135.255) |
| 2022-09-08 19:29:45 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-08 19:30:01 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-08 19:30:28 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-08 19:34:39 +0000 | <guyst> | cf. first class functions re infix function arrows |
| 2022-09-08 19:35:23 +0000 | <guyst> | people not sure about burritos, also |
| 2022-09-08 19:35:40 +0000 | ducky | (~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) |
| 2022-09-08 19:35:56 +0000 | <guyst> | templates can do polymorphic class like stuff almost iiuc |
| 2022-09-08 19:36:11 +0000 | <guyst> | and the C coders hate it |
| 2022-09-08 19:39:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 19:40:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 19:41:32 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 19:48:18 +0000 | ducky | (~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) (Quit: Client closed) |
| 2022-09-08 19:50:41 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-08 19:52:49 +0000 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 244 seconds) |
| 2022-09-08 19:55:19 +0000 | mastarija | (~mastarija@46.188.135.255) |
| 2022-09-08 19:55:36 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-08 20:07:21 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 2022-09-08 20:07:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-08 20:08:05 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-08 20:08:24 +0000 | <dolio> | Yeah, it doesn't really make much sense when you think about it. Programmers at large just have a lot of arbitrary biases about what they're willing to learn. |
| 2022-09-08 20:08:58 +0000 | <dolio> | You can go overboard with operators, but that applies to anything. |
| 2022-09-08 20:09:13 +0000 | <Rembane> | I guess that's one of the woes of only learning languages from one family of languages. |
| 2022-09-08 20:10:42 +0000 | <guyst> | i think its more of a momentum thing, but like a specific kind which is hard to describe to do with fatalistic acceptance and the perpetuation of mistruth |
| 2022-09-08 20:10:57 +0000 | <guyst> | "haskell is slow" or whatever |
| 2022-09-08 20:11:01 +0000 | <guyst> | which i havent heard in ages |
| 2022-09-08 20:11:17 +0000 | <guyst> | since it became like blisteringly fast and nobody could challenge it on that anymore! |
| 2022-09-08 20:11:28 +0000 | Guest89 | (~Guest89@207-153-8-17.fttp.usinternet.com) |
| 2022-09-08 20:11:31 +0000 | <guyst> | *sings* i did the benchmarks, i didnt the benchmarks |
| 2022-09-08 20:11:43 +0000 | <dolio> | "Haskell is slow" has never made much sense given what people actually use. |
| 2022-09-08 20:11:44 +0000 | <guyst> | hey, who put that there |
| 2022-09-08 20:12:15 +0000 | <guyst> | dolio: right, but it used to be something youd have to say something like that to argue for |
| 2022-09-08 20:12:40 +0000 | <guyst> | but like, there are newer ones |
| 2022-09-08 20:12:47 +0000 | Guest89 | (~Guest89@207-153-8-17.fttp.usinternet.com) (Client Quit) |
| 2022-09-08 20:12:48 +0000 | <guyst> | "dont you use notepad" |
| 2022-09-08 20:12:54 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-08 20:13:13 +0000 | <guyst> | well, wordpad, but now notepad has an undo history longer than 1! |
| 2022-09-08 20:13:32 +0000 | <guyst> | "those constraints are ugly" |
| 2022-09-08 20:13:36 +0000 | <dolio> | People still say Java is slow like it's the late 90s or something. |
| 2022-09-08 20:13:36 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-08 20:13:40 +0000 | <guyst> | yeah, but what to do about it. |
| 2022-09-08 20:14:17 +0000 | <guyst> | man, all this talk of java is making me horney, id better have some caffine |
| 2022-09-08 20:14:48 +0000 | <guyst> | i think it kind of reminds me of acid for some reason. but i stopped drinking coffee |
| 2022-09-08 20:15:20 +0000 | <guyst> | i liked java |
| 2022-09-08 20:15:23 +0000 | <guyst> | nice objects |
| 2022-09-08 20:16:11 +0000 | <guyst> | i bought 4 boxes of proplus today, i hope i dont die |
| 2022-09-08 20:16:17 +0000 | <guyst> | bloody typesystem |
| 2022-09-08 20:17:12 +0000 | <guyst> | my keyboard melts as i fail to express typelevel lexers in cyrilic, and the political fallout is catastrophic |
| 2022-09-08 20:23:04 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-08 20:24:12 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-09-08 20:25:30 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-08 20:26:43 +0000 | <guyst> | who do you have to talk to to get anything *done* around here? |
| 2022-09-08 20:27:01 +0000 | <guyst> | all i seem to have been able to arrange is a python workshop |
| 2022-09-08 20:27:11 +0000 | <guyst> | like, pretty much the exact opposite of the intension |
| 2022-09-08 20:27:36 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 20:27:36 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 20:28:06 +0000 | <geekosaur> | we're not the ones who know what's missing… |
| 2022-09-08 20:28:29 +0000 | cowboy8625 | (~cowboy@64.68.179.149) |
| 2022-09-08 20:28:41 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-08 20:28:42 +0000 | <guyst> | just like, start using lambda expressions in public discourse, assume haskell is everyones first language from birth, and then... not make the mistake of "trying to do people a favour by teaching them python instead of haskell" |
| 2022-09-08 20:28:59 +0000 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 244 seconds) |
| 2022-09-08 20:29:40 +0000 | <geekosaur> | you're also fighting things like GvR and his cadre popularizing Python specifically as a first language |
| 2022-09-08 20:29:57 +0000 | <guyst> | encore with the python |
| 2022-09-08 20:30:20 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-08 20:30:51 +0000 | mastarija | (~mastarija@95.168.107.13) |
| 2022-09-08 20:30:55 +0000 | <guyst> | cadre, according to google, that interjects my python search with "cadre: military unit responsible for training the rest of the unit" |
| 2022-09-08 20:31:08 +0000 | <guyst> | "stop being bellends" |
| 2022-09-08 20:31:14 +0000 | <guyst> | ... no working |
| 2022-09-08 20:32:00 +0000 | <guyst> | "more overt leadership" ? really ? |
| 2022-09-08 20:32:23 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-08 20:33:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 20:34:03 +0000 | <guyst> | ok, here we go; https://arxiv.org/abs/2202.08557 |
| 2022-09-08 20:34:23 +0000 | <guyst> | no... |
| 2022-09-08 20:34:37 +0000 | <guyst> | not some obscure chinese paper on urban traffic flow |
| 2022-09-08 20:34:40 +0000 | geekosaur | wonders what that has to do with anything |
| 2022-09-08 20:34:45 +0000 | <guyst> | sorry |
| 2022-09-08 20:34:59 +0000 | <geekosaur> | the cadre is out to train new programmers to use and advocate python |
| 2022-09-08 20:35:12 +0000 | <geekosaur> | seems like a valid use to me |
| 2022-09-08 20:35:17 +0000 | <guyst> | im trying to find these apparently zeit-geist setting gateways to death by python |
| 2022-09-08 20:35:50 +0000 | <guyst> | i can see liliputians entering the picture at any minute |
| 2022-09-08 20:36:23 +0000 | <guyst> | oh GVR is a dude |
| 2022-09-08 20:36:27 +0000 | <guyst> | ok, so |
| 2022-09-08 20:36:34 +0000 | <guyst> | one person that works at google!? |
| 2022-09-08 20:36:41 +0000 | <guyst> | seems like an easy target |
| 2022-09-08 20:36:46 +0000 | <guyst> | argh! |
| 2022-09-08 20:37:17 +0000 | fhn | (~fhn@p200300ef971835a3e1b13651e3e353a6.dip0.t-ipconnect.de) |
| 2022-09-08 20:37:21 +0000 | <guyst> | stop wasting my time with this shit |
| 2022-09-08 20:37:23 +0000 | <guyst> | sorry... |
| 2022-09-08 20:37:30 +0000 | <guyst> | its quite funny |
| 2022-09-08 20:37:33 +0000 | <guyst> | anyway |
| 2022-09-08 20:37:35 +0000 | <geekosaur> | what |
| 2022-09-08 20:37:36 +0000 | <guyst> | ... |
| 2022-09-08 20:37:47 +0000 | <guyst> | i dont really care who GvR is, maybe i should |
| 2022-09-08 20:37:49 +0000 | <guyst> | idk |
| 2022-09-08 20:38:03 +0000 | <geekosaur> | he's the developer and chief advocate for python |
| 2022-09-08 20:38:09 +0000 | <geekosaur> | and directpr of its development |
| 2022-09-08 20:38:18 +0000 | <guyst> | so what im supposed to bang on his office and yell at him!? |
| 2022-09-08 20:38:31 +0000 | <guyst> | "what are you doing to people!?" |
| 2022-09-08 20:39:09 +0000 | <guyst> | to be fair, id imagine some people in the depths of typechecking arriving at a similar despair |
| 2022-09-08 20:39:24 +0000 | <guyst> | i could ask the ghc team for more lighthearted error messages |
| 2022-09-08 20:40:15 +0000 | <guyst> | yeah, ok well we already spoke about the thing with the scripting langauge for FFI |
| 2022-09-08 20:40:26 +0000 | <guyst> | "nobody can be bothered" was the conclusion |
| 2022-09-08 20:40:49 +0000 | <guyst> | "up to your end to have at least one pythoner to do the port" |
| 2022-09-08 20:41:15 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-09-08 20:41:19 +0000 | <guyst> | i think we need more haskellers... |
| 2022-09-08 20:41:58 +0000 | <guyst> | but like, to do python ports!? isnt there compensation for a reality this cruel? oh their is!? its also quite cruel!?!? |
| 2022-09-08 20:42:53 +0000 | benin0 | (~benin@183.82.28.141) (Read error: Connection reset by peer) |
| 2022-09-08 20:43:05 +0000 | benin0 | (~benin@183.82.29.130) |
| 2022-09-08 20:44:01 +0000 | <guyst> | at what point can we just get the AI to do it? |
| 2022-09-08 20:44:35 +0000 | <guyst> | "an ai for porting python projects to haskell, the last depths of pathos by guyst" |
| 2022-09-08 20:44:43 +0000 | vulpine | (xfnw@tilde.team) (Read error: Connection reset by peer) |
| 2022-09-08 20:45:16 +0000 | vulpine | (xfnw@tilde.team) |
| 2022-09-08 20:45:41 +0000 | <hippoid> | i know what a monad is, but i dont know what a burrito is. help? |
| 2022-09-08 20:46:13 +0000 | <tdammers> | a burrito is just an endofunctor in the category of mexican food, what's the problem |
| 2022-09-08 20:46:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 20:47:15 +0000 | <hippoid> | lol |
| 2022-09-08 20:51:07 +0000 | benin09 | (~benin@183.82.28.141) |
| 2022-09-08 20:52:53 +0000 | benin0 | (~benin@183.82.29.130) (Ping timeout: 252 seconds) |
| 2022-09-08 20:53:49 +0000 | cafkafk[m] | (~cafkafkma@2001:470:69fc:105::1:cea8) |
| 2022-09-08 20:53:49 +0000 | slac76358 | (~slack1256@191.125.227.90) (Read error: Connection reset by peer) |
| 2022-09-08 20:53:59 +0000 | <guyst> | idk why i find working on irc so f*** stressful |
| 2022-09-08 20:54:13 +0000 | <guyst> | the ML ports for haskell seem to be in decent order |
| 2022-09-08 20:54:21 +0000 | benin0 | (~benin@183.82.29.130) |
| 2022-09-08 20:54:22 +0000 | slack1256 | (~slack1256@181.42.44.123) |
| 2022-09-08 20:54:42 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-09-08 20:55:12 +0000 | <guyst> | he sais, with a sideways glance to the box of proplus grubily discarded on the desk beside |
| 2022-09-08 20:55:23 +0000 | <guyst> | and goes to eat more! |
| 2022-09-08 20:55:41 +0000 | <guyst> | Right! what else needs Done!? |
| 2022-09-08 20:55:44 +0000 | <guyst> | oh, all my work |
| 2022-09-08 20:55:51 +0000 | <guyst> | ok, legit procrastination |
| 2022-09-08 20:56:22 +0000 | benin09 | (~benin@183.82.28.141) (Ping timeout: 244 seconds) |
| 2022-09-08 20:56:37 +0000 | <guyst> | ok, right, yeah, that was the only decent myth we have is that apprently people dont know what a monad is |
| 2022-09-08 20:56:45 +0000 | <guyst> | which is a sneaky provocation |
| 2022-09-08 20:56:48 +0000 | <guyst> | if anything |
| 2022-09-08 20:56:56 +0000 | <guyst> | nay a reason people dont learn haskell |
| 2022-09-08 20:57:29 +0000 | <guyst> | but then all they learn is that its a burrito and thats all they know about haskell |
| 2022-09-08 20:57:53 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-08 20:57:57 +0000 | <guyst> | "burritos are like joining lists together inside another list" |
| 2022-09-08 20:58:10 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-09-08 20:58:12 +0000 | <guyst> | only they are really deep etc. |
| 2022-09-08 20:58:36 +0000 | <guyst> | and then you get monads for free, and a Wadler reference |
| 2022-09-08 20:58:46 +0000 | <guyst> | and then you actually look like a good TA |
| 2022-09-08 20:59:01 +0000 | <guyst> | and then your totally retarded and get fired |
| 2022-09-08 20:59:25 +0000 | <guyst> | "this is an institution of good repute!" |
| 2022-09-08 20:59:37 +0000 | <guyst> | oh, yeah, "head?" |
| 2022-09-08 20:59:53 +0000 | <guyst> | do you ed-in-bruV |
| 2022-09-08 21:00:34 +0000 | <guyst> | "grave threat to the minds of future civilians" |
| 2022-09-08 21:00:40 +0000 | <guyst> | bloody right they are |
| 2022-09-08 21:01:25 +0000 | <guyst> | nah, theyr alright, but theyl probably never get paid |
| 2022-09-08 21:01:41 +0000 | <guyst> | unless they stop procrastinating! |
| 2022-09-08 21:01:47 +0000 | guyst | (~guyst@213.205.241.242) (Quit: Leaving) |
| 2022-09-08 21:03:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-08 21:08:55 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-08 21:11:11 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-08 21:11:45 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-08 21:12:56 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 21:15:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-08 21:21:51 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
| 2022-09-08 21:22:50 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-08 21:24:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 21:26:39 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-08 21:26:50 +0000 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-08 21:29:28 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-08 21:31:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
| 2022-09-08 21:31:25 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
| 2022-09-08 21:31:36 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-08 21:35:38 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-08 21:37:34 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-08 21:39:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 21:39:21 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-08 21:40:52 +0000 | mmhat | (~mmh@p200300f1c728ccd3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-08 21:40:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 21:43:51 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-08 21:45:29 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-08 21:45:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 21:47:56 +0000 | phma | (phma@2001:5b0:210d:90d8:b062:feab:691c:8d5d) (Read error: Connection reset by peer) |
| 2022-09-08 21:48:55 +0000 | phma | (~phma@2001:5b0:212a:e868:2573:b9fa:6d3a:88fa) |
| 2022-09-08 21:50:34 +0000 | causal | (~user@50.35.83.177) |
| 2022-09-08 21:52:46 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-08 21:56:21 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-08 21:56:28 +0000 | <mastarija> | If I decode ByteString as ASCII using the `decodeASCII`, how do I get the same bytestring back? |
| 2022-09-08 21:56:43 +0000 | <mastarija> | There's no `encodeASCII :: Text -> ByteString` |
| 2022-09-08 21:58:02 +0000 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-103-208.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2022-09-08 21:58:02 +0000 | slack1256 | (~slack1256@181.42.44.123) (Remote host closed the connection) |
| 2022-09-08 21:58:31 +0000 | <hpc> | encodeASCII would be partial |
| 2022-09-08 21:58:45 +0000 | <hpc> | encodeUtf8 should work though, it's a strict superset |
| 2022-09-08 21:58:53 +0000 | mmhat | (~mmh@p200300f1c728ccd3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-08 21:58:56 +0000 | <hpc> | and 0-127 map to the same bytes |
| 2022-09-08 21:59:09 +0000 | <mastarija> | Thx |
| 2022-09-08 21:59:14 +0000 | <geekosaur> | note however that "ASCII" gets abused to mean ISO8859/1 |
| 2022-09-08 22:01:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 22:01:31 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-08 22:01:53 +0000 | _xor | (~xor@74.215.182.83) (Quit: bbiab) |
| 2022-09-08 22:04:12 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-08 22:11:33 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-09-08 22:13:32 +0000 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-08 22:14:38 +0000 | mastarija | (~mastarija@95.168.107.13) (Quit: WeeChat 3.5) |
| 2022-09-08 22:17:35 +0000 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
| 2022-09-08 22:20:55 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-08 22:24:19 +0000 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 2022-09-08 22:24:38 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-09-08 22:29:50 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-09-08 22:30:41 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-46.dsl.bell.ca) |
| 2022-09-08 22:30:53 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-08 22:37:08 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-46.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2022-09-08 22:41:12 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-08 22:48:25 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-08 22:48:25 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-09-08 22:48:25 +0000 | jinsun__ | jinsun |
| 2022-09-08 22:57:07 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-153.dsl.bell.ca) |
| 2022-09-08 22:57:18 +0000 | Successus | (~Successus@user/Successus) () |
| 2022-09-08 23:00:29 +0000 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-37.dsl.bell.ca) |
| 2022-09-08 23:01:36 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-153.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2022-09-08 23:02:57 +0000 | Sylvo | (~Sylvo@110-174-240-221.static.tpgi.com.au) |
| 2022-09-08 23:04:00 +0000 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-09-08 23:05:08 +0000 | arahael | (~arahael@203.217.43.212) |
| 2022-09-08 23:05:40 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-08 23:10:34 +0000 | <darkling> | ... of which it is a strict subset (IIRC) |
| 2022-09-08 23:13:04 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-08 23:15:28 +0000 | <geekosaur> | the codepoints are, but the conversion is not |
| 2022-09-08 23:15:36 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-09-08 23:17:52 +0000 | <geekosaur> | https://mincong.io/2019/04/07/understanding-iso-8859-1-and-utf-8/#character-mapping for example |
| 2022-09-08 23:19:01 +0000 | <darkling> | Yeah, but strict ASCII is <127, so equivalent to Unicode and to 8859-1, in that range. |
| 2022-09-08 23:22:11 +0000 | <geekosaur> | yes, but the whole reason I raised it is that many people use "ASCII" to include the range < 256 |
| 2022-09-08 23:22:24 +0000 | <darkling> | Bad and Wrong. :) |
| 2022-09-08 23:22:24 +0000 | <geekosaur> | incorrectly, but you do need to watch out for that |
| 2022-09-08 23:22:33 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-08 23:22:44 +0000 | <geekosaur> | assuming they're pedantic will get you corrupted data in that case |
| 2022-09-08 23:24:39 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 244 seconds) |
| 2022-09-08 23:25:20 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-08 23:26:31 +0000 | <darkling> | A few weeks ago, our team retrospective included the gem "darkling can read raw Unicode". Apparently this is a rare skill. |
| 2022-09-08 23:26:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 23:26:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 23:28:29 +0000 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) (Quit: WeeChat 3.5) |
| 2022-09-08 23:28:54 +0000 | <darkling> | I just thought it was a requirement. |
| 2022-09-08 23:29:31 +0000 | ddellacosta | (~ddellacos@static-198-44-136-38.cust.tzulo.com) |
| 2022-09-08 23:31:22 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-08 23:31:59 +0000 | <monochrom> | Next week, "darkling can actually write programs". >:) |
| 2022-09-08 23:32:35 +0000 | <darkling> | Oh, I wouldn't go *that* far. |
| 2022-09-08 23:33:30 +0000 | <darkling> | Although I had the "what's 2's complement?" moment two decades ago. |
| 2022-09-08 23:35:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-08 23:35:45 +0000 | <darkling> | (Someone else's question, not mine) |
| 2022-09-08 23:36:00 +0000 | jargon | (~jargon@184.101.185.66) |
| 2022-09-08 23:37:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 23:39:08 +0000 | <hpc> | heh, it's a good feeling having moments like that "can read raw unicode" thing |
| 2022-09-08 23:39:23 +0000 | <hpc> | once i was explaining email to someone and just started casually writing out an smtp transaction over telnet |
| 2022-09-08 23:39:41 +0000 | <hpc> | i go "and there you go" and the look on his face was amazing :D |
| 2022-09-08 23:39:45 +0000 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-09-08 23:40:10 +0000 | <darkling> | I'm starting to realise that I need to lean into the greybeard feeling these days. |
| 2022-09-08 23:40:19 +0000 | mmhat | (~mmh@p200300f1c728cc94ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-09-08 23:40:45 +0000 | <hpc> | definitely |
| 2022-09-08 23:40:51 +0000 | <geekosaur> | 🙂 |
| 2022-09-08 23:40:59 +0000 | <darkling> | It's npt even grey yet1 |
| 2022-09-08 23:41:03 +0000 | <hpc> | also make sure you learn a little bit of everything, and at the most fundamental level you can manage |
| 2022-09-08 23:41:06 +0000 | <darkling> | It's not even grey yet! |
| 2022-09-08 23:41:27 +0000 | <hpc> | i mainly do sysadmin, but had a bit of work that needed a bunch of async code |
| 2022-09-08 23:41:32 +0000 | <geekosaur> | mine starts to gray when I'm stressed, then regains its color whne I recover |
| 2022-09-08 23:41:36 +0000 | <darkling> | If you know the most fundamental levels, you can learn a little bit of everything. :) |
| 2022-09-08 23:41:40 +0000 | <geekosaur> | I figure that means it won't be long |
| 2022-09-08 23:41:41 +0000 | <hpc> | so i toss it over to a dev to make sure it's working right, he asks "i thought you were a sysadmin" |
| 2022-09-08 23:41:48 +0000 | <hpc> | i say "ppppf, async is a monad, anyone can do it" |
| 2022-09-08 23:42:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-08 23:42:14 +0000 | <hpc> | (this was in javascript) |
| 2022-09-08 23:42:17 +0000 | <darkling> | "You can't do that, it's not a regular language!" |
| 2022-09-08 23:42:36 +0000 | <darkling> | "Wait, what do you mean by 'regular language'?" |
| 2022-09-08 23:42:54 +0000 | <geekosaur> | *eyeroll |
| 2022-09-08 23:42:55 +0000 | <darkling> | Hold my beer... |
| 2022-09-08 23:43:02 +0000 | <hpc> | then i got the argument order for join wrong in python, but i don't think that one was my fault |
| 2022-09-08 23:43:15 +0000 | <darkling> | join in python is... odd? |
| 2022-09-08 23:43:19 +0000 | <geekosaur> | python is wrong 🙂 |
| 2022-09-08 23:43:29 +0000 | <hpc> | ",".join(["word", "word", "word"]) |
| 2022-09-08 23:43:40 +0000 | <darkling> | *bits* of python are wrong. |
| 2022-09-08 23:43:58 +0000 | <hpc> | bytes of python are wrong |
| 2022-09-08 23:44:30 +0000 | <darkling> | I came over to the FP side when I realised that I'd written multiple Python programmes without classes, and that the functional way was the True Path. :) |
| 2022-09-08 23:44:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 23:44:48 +0000 | Sylvo | (~Sylvo@110-174-240-221.static.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2022-09-08 23:45:05 +0000 | <hpc> | i like to tell people i learned haskell after realizing i was too stupid for python |
| 2022-09-08 23:45:13 +0000 | <hpc> | the only other language that's ever made as much sense for me is perl |
| 2022-09-08 23:45:20 +0000 | <darkling> | I came through Erlang on the way. |
| 2022-09-08 23:45:28 +0000 | <hpc> | ah, that's a nice detour |
| 2022-09-08 23:46:16 +0000 | <monochrom> | Dijkstra said that the reason you use algebra and let the symbols do the work is because your intuition is too stupid. |
| 2022-09-08 23:46:35 +0000 | <jackdk> | hpc: I'm not smart enough to use anything but Haskell either |
| 2022-09-08 23:48:04 +0000 | <darkling> | I had a pure maths lecturer who sometimes came down to: "OK, so we can't use the definitions... let's try to think a bit..." |
| 2022-09-08 23:48:17 +0000 | <darkling> | I'm starting to realise, 30 years later, what he meant. |
| 2022-09-08 23:48:21 +0000 | <darkling> | Bright lad. :) |
| 2022-09-08 23:48:39 +0000 | <monochrom> | I believe a bit of that myself. I use statically typed FP because I am too stupid to use untyped OOP, unlike Alan Kay. |
| 2022-09-08 23:48:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-08 23:49:24 +0000 | <monochrom> | Everything Alan Kay says about the benefits of his way requires a programmer as smart as him, otherwise it wouldn't work. |
| 2022-09-08 23:51:00 +0000 | <darkling> | hpc: At the time, I was doing some things that looked like distributed systems, so Erlang was a good choice. Haskell and Lisp were the other options, but I've never found a Lisp tutorial I liked, and Haskell didn't fit with the CSP/Actor/multiprocess stuff going on in my life at the time. |
| 2022-09-08 23:51:53 +0000 | <darkling> | I still need to spend a couple of years on Haskell to work out where I am, but it resonates. :) |
| 2022-09-08 23:52:00 +0000 | <hpc> | yeah, i have found the best way to write lisp is like you're just writing haskell instead |
| 2022-09-08 23:52:59 +0000 | <darkling> | (In other news, I had a slightly embarrasssing moment in the rum bar this evening, where I mis-heard "Haskell" as "Pascal") |
| 2022-09-08 23:53:19 +0000 | <hpc> | i noticed after a few years of haskell that i got really good at noticing the patterns of things in other languages |
| 2022-09-08 23:53:29 +0000 | <hpc> | like that async is a monad joke, but for real |
| 2022-09-08 23:53:35 +0000 | <darkling> | ROFL |
| 2022-09-08 23:53:45 +0000 | <darkling> | async is appalling. |
| 2022-09-08 23:54:04 +0000 | <hpc> | it's fine |
| 2022-09-08 23:54:32 +0000 | <hpc> | you just have to understand that it's baked into $language, and they don't have a generic facility for monads so they have to pick and choose the best ones for syntax |
| 2022-09-08 23:54:42 +0000 | <darkling> | But yes, even with my minimal Haskell, I can kind of see where the theory is trying to unify things. |
| 2022-09-08 23:54:48 +0000 | <hpc> | like rust's ? syntax |
| 2022-09-08 23:55:53 +0000 | <darkling> | My approach so far is to write things as I see them from JS/Python/Erlang and then generalise to the algebras that are made explicit in Haskell. |
| 2022-09-08 23:56:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-08 23:57:40 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7fec:5b1f:15d9:87be) |
| 2022-09-08 23:57:58 +0000 | <darkling> | (Where I can see them) |
| 2022-09-08 23:58:27 +0000 | <jackdk> | I remain fascinated by Erlang, but have not had reason to dig into it. Alas. |
| 2022-09-08 23:58:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-08 23:58:37 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-08 23:58:51 +0000 | <darkling> | The CSP/Actor thing is quite attractive. |
| 2022-09-08 23:59:03 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-08 23:59:21 +0000 | <darkling> | I'm glad I found it before Haskell. |
| 2022-09-08 23:59:52 +0000 | <darkling> | As I see it, there's a profound thread of pragmatism running through Erlang, |