Note: This channel on freenode is currently not being logged anymore. The logs are reproduced here for posterity.

2020-09-16 23:00:35 +0200 <monochrom> Please always apply Occam's razor to human motivation. You'll be more realistic and cynical.
2020-09-16 23:00:37 +0200 <sm[m]> Graypup_: great, this should be perfect for you then
2020-09-16 23:00:37 +0200 <Graypup_> so I can /absolutely/ stomach nix hahahaha
2020-09-16 23:01:14 +0200mdunnio(~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-09-16 23:01:29 +0200 <monochrom> hyperisco: Good point, yeah.
2020-09-16 23:02:00 +0200 <maerwald> glguy: and I was gonna debate Thomas Aquinas god proofs
2020-09-16 23:02:07 +0200 <maerwald> but they didn't stay long enough
2020-09-16 23:02:55 +0200 <monochrom> "beware of mathematicians, category theorists, and Haskellers" >:)
2020-09-16 23:04:12 +0200board_control(~board_con@50-46-195-209.evrt.wa.frontiernet.net) (Remote host closed the connection)
2020-09-16 23:04:38 +0200__Joker(~Joker@180.151.106.108)
2020-09-16 23:06:02 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-09-16 23:06:33 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-16 23:07:25 +0200whiteline(~whiteline@unaffiliated/whiteline) (Ping timeout: 246 seconds)
2020-09-16 23:07:43 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 272 seconds)
2020-09-16 23:08:01 +0200darjeeling_(~darjeelin@115.215.41.222) (Ping timeout: 264 seconds)
2020-09-16 23:09:05 +0200dhouthoo_(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-09-16 23:09:09 +0200__Joker(~Joker@180.151.106.108) (Ping timeout: 260 seconds)
2020-09-16 23:10:38 +0200darjeeling_(~darjeelin@115.215.41.222)
2020-09-16 23:10:51 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2020-09-16 23:12:24 +0200heatsink(~heatsink@2600:1700:bef1:5e10:bd17:aa8d:6e1d:595d) (Remote host closed the connection)
2020-09-16 23:14:54 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-16 23:16:11 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-16 23:19:02 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-09-16 23:19:19 +0200 <aldum> I thought the complaint was that (most) haskellers are in the intersection of the former two
2020-09-16 23:19:57 +0200 <MarcelineVQ> most haskellers just want to be Free
2020-09-16 23:20:05 +0200 <dolio> That's not true at all, really.
2020-09-16 23:21:01 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-16 23:21:05 +0200Tops2(~Tobias@dyndsl-095-033-025-182.ewe-ip-backbone.de)
2020-09-16 23:21:58 +0200 <monochrom> It's an understandable complaint if you add weights by how vocal each Haskeller is.
2020-09-16 23:22:05 +0200Suntop1(~Suntop@217.146.82.202)
2020-09-16 23:24:18 +0200 <dolio> I don't know if it's even true then, unless your standards for being a 'category theorist' are pretty low.
2020-09-16 23:24:25 +0200 <dolio> Or 'mathematician'.
2020-09-16 23:24:45 +0200 <monochrom> I believe that's exactly what happens in many people's minds.
2020-09-16 23:24:56 +0200knupfer(~Thunderbi@i5E86B4D3.versanet.de) (Ping timeout: 272 seconds)
2020-09-16 23:25:22 +0200 <monochrom> Right? Yesterday's smbc (https://www.smbc-comics.com/comic/number-hunt) is very revealing.
2020-09-16 23:26:15 +0200 <monochrom> People fear what they haven't heard of, and that fear leads to hyperboles and exaggerations.
2020-09-16 23:28:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-16 23:28:47 +0200irc_user(uid423822@gateway/web/irccloud.com/x-tyuxnghfcjihygmo) (Quit: Connection closed for inactivity)
2020-09-16 23:30:01 +0200 <monochrom> Or it's a psychological defense mechanism. To feel better that you have a rationalization for why the other person knows something you don't know.
2020-09-16 23:32:54 +0200g-belmonte(~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d)
2020-09-16 23:33:08 +0200 <int-e> monochrom: you're 1 million percent wrong
2020-09-16 23:33:22 +0200 <dolio> Wow, that's pretty wrong.
2020-09-16 23:33:44 +0200 <monochrom> OK, what's right then?
2020-09-16 23:33:55 +0200 <int-e> Sorry, I got stuck on the hyperbole stage.
2020-09-16 23:34:05 +0200 <monochrom> haha OK
2020-09-16 23:34:38 +0200 <MarcelineVQ> trancendentally wrong
2020-09-16 23:35:14 +0200lembot(~lembot@179.8.176.163)
2020-09-16 23:35:37 +0200 <monochrom> A cunning fox, more cunning than the previous one, came across a lot of grapes hung pretty high. The fox really wanted the grapes, but couldn't reach them.
2020-09-16 23:35:43 +0200 <MarcelineVQ> you're extremely wrong, but luckily figuring out how wrong you are is only log_w you
2020-09-16 23:35:54 +0200mdunnio(~mdunnio@208.59.170.5)
2020-09-16 23:35:59 +0200 <monochrom> This fox is more cunning than the previous one, so it wouldn't lie to itself "I don't want these grapes anyway".
2020-09-16 23:36:15 +0200revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2020-09-16 23:36:24 +0200heatsink(~heatsink@2600:1700:bef1:5e10:99ca:18ad:4e5f:ffdf)
2020-09-16 23:36:30 +0200 <ski> oh, fable time :)
2020-09-16 23:36:34 +0200 <monochrom> Its more cunning excuse is "these grapes are for animals with wings. But I'm proudly down-to-earth".
2020-09-16 23:37:00 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-16 23:37:06 +0200revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-16 23:37:32 +0200falafel__(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-16 23:39:03 +0200bennofs(~quassel@dslb-188-103-036-188.188.103.pools.vodafone-ip.de)
2020-09-16 23:41:08 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 258 seconds)
2020-09-16 23:41:23 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-16 23:42:11 +0200bennofs_(~quassel@dslb-094-222-082-201.094.222.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2020-09-16 23:44:13 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-16 23:44:55 +0200ph88(~ph88@ip1f11e5d4.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-09-16 23:45:22 +0200ph88(~ph88@31.17.229.212)
2020-09-16 23:49:32 +0200darjeeling_(~darjeelin@115.215.41.222) (Ping timeout: 256 seconds)
2020-09-16 23:51:25 +0200xff0x_(~fox@2001:1a81:52d0:6b00:59b8:5104:189c:a88e) (Ping timeout: 272 seconds)
2020-09-16 23:51:46 +0200xff0x_(~fox@2001:1a81:52d0:6b00:7599:d48:f5dc:5fef)
2020-09-16 23:51:54 +0200inkbottle(~inkbottle@aaubervilliers-654-1-114-91.w86-198.abo.wanadoo.fr)
2020-09-16 23:52:01 +0200darjeeling_(~darjeelin@115.215.41.222)
2020-09-16 23:52:03 +0200ph88(~ph88@31.17.229.212) (Ping timeout: 272 seconds)
2020-09-16 23:52:25 +0200zebrag(~inkbottle@aaubervilliers-654-1-78-61.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-09-16 23:52:52 +0200aveltras(uid364989@gateway/web/irccloud.com/x-ttqvxrriizsavlbb) (Quit: Connection closed for inactivity)
2020-09-16 23:56:50 +0200falafel__falafel
2020-09-16 23:57:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-16 23:57:51 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-17 00:00:11 +0200banner(~banner@116-255-17-98.ip4.superloop.com)
2020-09-17 00:00:49 +0200Rudd0(~Rudd0@185.189.115.98)
2020-09-17 00:02:11 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-17 00:02:17 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-09-17 00:02:17 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-09-17 00:02:45 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-17 00:02:59 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-09-17 00:02:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-17 00:03:13 +0200frdg(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-17 00:03:54 +0200 <frdg> what is a nice way to visit every element in a list and perform an IO () on every visit?
2020-09-17 00:04:07 +0200 <monochrom> mapM_
2020-09-17 00:04:18 +0200 <frdg> ok
2020-09-17 00:04:36 +0200WeaponX(~WeaponX@178.239.173.252)
2020-09-17 00:04:46 +0200 <monochrom> Example: mapM_ putStrLn ["1st line", "2nd line"]
2020-09-17 00:04:48 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-09-17 00:06:20 +0200WeaponX(~WeaponX@178.239.173.252) (Quit: Leaving)
2020-09-17 00:06:26 +0200MorrowM(~max@147.161.8.74) (Ping timeout: 258 seconds)
2020-09-17 00:06:32 +0200 <hpc> it may also be more comfortable to do forM_ ["1st line", "2nd line"] $ do {...}
2020-09-17 00:06:50 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-09-17 00:07:53 +0200 <monochrom> you missed a lambda. forM_ ["1st line", "2nd line"] $ \x -> do {...}
2020-09-17 00:08:04 +0200rihards(~rihards@balticom-142-78-50.balticom.lv) (Quit: rihards)
2020-09-17 00:09:02 +0200irc_user(uid423822@gateway/web/irccloud.com/x-cbxmaikgpxapbiip)
2020-09-17 00:09:20 +0200rihards(~rihards@balticom-142-78-50.balticom.lv)
2020-09-17 00:09:56 +0200 <hpc> oh yeah, i did