Logs: liberachat/#haskell
| 2021-05-25 09:30:51 | × | Erutuon quits (~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-25 09:31:34 | <dminuoso> | Guest56: The main thing to realize, is that IRC is just a generic chat protocol, and a "network" - while in principle could be multiple physical servers - is better thought of as a single (conceptual) server perhaps. |
| 2021-05-25 09:32:03 | × | jonathanclarke quits (~jonathanc@110.44.115.239) (Ping timeout: 264 seconds) |
| 2021-05-25 09:32:12 | <dminuoso> | It's similar to say Slack, where you can connect to multiple networks - and each one requires separate registration of nicknames. |
| 2021-05-25 09:32:36 | <Guest56> | thanks dminuoso and int-e, i found a blogpost,i will read ait and comeback with basic understanding! |
| 2021-05-25 09:32:41 | <Guest56> | have a great day! |
| 2021-05-25 09:32:50 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:c481:4314:38df:6304) (Remote host closed the connection) |
| 2021-05-25 09:32:52 | <dminuoso> | You too. |
| 2021-05-25 09:33:15 | × | Guest56 quits (~Guest56@157.45.6.211) (Quit: Connection closed) |
| 2021-05-25 09:33:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-25 09:35:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 09:35:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-25 09:43:35 | → | jonathanclarke joins (~jonathanc@202-51-76-36.vianet.com.np) |
| 2021-05-25 09:44:24 | → | magthe joins (~magthe@c83-252-48-230.bredband.tele2.se) |
| 2021-05-25 09:45:33 | <magthe> | @pl \xs n -> take n xs |
| 2021-05-25 09:45:33 | <lambdabot> | flip take |
| 2021-05-25 09:45:54 | <magthe> | @pl \a b -> fmap (a,) b |
| 2021-05-25 09:45:54 | <lambdabot> | (line 1, column 16): |
| 2021-05-25 09:45:54 | <lambdabot> | unexpected "," |
| 2021-05-25 09:45:54 | <lambdabot> | expecting letter or digit, variable, "(", operator or ")" |
| 2021-05-25 09:46:23 | <magthe> | @pl \a b -> fmap (a +) b |
| 2021-05-25 09:46:23 | <lambdabot> | fmap . (+) |
| 2021-05-25 09:46:46 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-25 09:51:23 | <kritzefitz> | @pl \a b -> fmap (+ a) b |
| 2021-05-25 09:51:24 | <lambdabot> | fmap . (+) |
| 2021-05-25 09:51:39 | <kritzefitz> | Isn't that wrong, depending on the definition of (+)? |
| 2021-05-25 09:53:26 | <chddr> | @pl \a b -> fmap (`const` a) b |
| 2021-05-25 09:53:26 | <lambdabot> | fmap . const id |
| 2021-05-25 09:53:36 | <dminuoso> | Nope |
| 2021-05-25 09:53:38 | <chddr> | @pl \a b -> fmap (a `const`) b |
| 2021-05-25 09:53:39 | <lambdabot> | fmap . const |
| 2021-05-25 09:53:46 | <dminuoso> | kritzefitz: Num is expected to have commutativity on (+) |
| 2021-05-25 09:53:56 | <dminuoso> | Well. "expected" |
| 2021-05-25 09:54:17 | <kritzefitz> | dminuoso, good point. Now I'm just surprised that lambdabot knows about this. |
| 2021-05-25 09:54:21 | <dminuoso> | But if base haddock says that, I'd find it reasonable if the @pl machinery assumes it |
| 2021-05-25 09:55:33 | <dminuoso> | In hindsight, perhaps `Num` should have been called `Ring` |
| 2021-05-25 09:55:55 | <tomsmeding> | @pl \a b -> fmap (a `f`) b |
| 2021-05-25 09:55:55 | <lambdabot> | fmap . f |
| 2021-05-25 09:56:00 | <tomsmeding> | @pl \a b -> fmap (`f` a) b |
| 2021-05-25 09:56:00 | <lambdabot> | fmap . flip f |
| 2021-05-25 09:57:15 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-25 10:00:24 | → | tose joins (~tose@ip-85-160-8-188.eurotel.cz) |
| 2021-05-25 10:01:22 | × | omen quits (~omen@user/omen) (Ping timeout: 264 seconds) |
| 2021-05-25 10:03:51 | → | petrus_ joins (~petrus@catv-86-101-33-147.catv.broadband.hu) |
| 2021-05-25 10:05:00 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Read error: Connection reset by peer) |
| 2021-05-25 10:06:29 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-25 10:10:58 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-25 10:12:59 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-05-25 10:13:35 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2021-05-25 10:15:49 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-25 10:16:38 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4d24:abb4:22ba:9c8c) |
| 2021-05-25 10:16:50 | × | Gurkenglas_ quits (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2021-05-25 10:17:22 | ← | petrus_ parts (~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1) |
| 2021-05-25 10:19:06 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-05-25 10:19:46 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-25 10:20:01 | → | omen joins (~omen@user/omen) |
| 2021-05-25 10:20:09 | → | Aran joins (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-25 10:20:39 | → | eggplant_ joins (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) |
| 2021-05-25 10:21:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4d24:abb4:22ba:9c8c) (Ping timeout: 264 seconds) |
| 2021-05-25 10:21:34 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-25 10:22:27 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Ping timeout: 264 seconds) |
| 2021-05-25 10:23:26 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-05-25 10:23:45 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-05-25 10:24:15 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-25 10:25:22 | × | eggplant_ quits (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Ping timeout: 264 seconds) |
| 2021-05-25 10:27:08 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-25 10:27:53 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-25 10:30:24 | × | SanchayanM quits (~Sanchayan@136.185.150.127) (Quit: SanchayanM) |
| 2021-05-25 10:30:44 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-25 10:30:46 | → | pretty_dumm_guy joins (~trottel@92.223.89.152) |
| 2021-05-25 10:30:51 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Ping timeout: 264 seconds) |
| 2021-05-25 10:31:12 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-25 10:33:45 | zzz | is now known as onion |
| 2021-05-25 10:34:35 | × | tose quits (~tose@ip-85-160-8-188.eurotel.cz) (Remote host closed the connection) |
| 2021-05-25 10:34:58 | onion | is now known as zzz |
| 2021-05-25 10:35:22 | × | hmmmas1 quits (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-25 10:36:14 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Remote host closed the connection) |
| 2021-05-25 10:36:49 | → | petrus_ joins (~petrus@catv-86-101-33-147.catv.broadband.hu) |
| 2021-05-25 10:38:16 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-25 10:38:43 | → | ddellacosta joins (~ddellacos@89.46.62.83) |
| 2021-05-25 10:39:23 | → | holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-25 10:40:02 | × | juhp quits (~juhp@128.106.188.199) (Ping timeout: 265 seconds) |
| 2021-05-25 10:40:18 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Read error: Connection reset by peer) |
| 2021-05-25 10:44:42 | Arsen | is now known as Arsen_ |
| 2021-05-25 10:45:56 | Arsen_ | is now known as Arsen |
| 2021-05-25 10:47:54 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-25 10:48:09 | × | holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer) |
| 2021-05-25 10:48:15 | → | nan` joins (~nan`@68.235.43.165) |
| 2021-05-25 10:48:18 | × | wolfshappen quits (~waff@irc.furworks.de) (Ping timeout: 264 seconds) |
| 2021-05-25 10:49:14 | ← | choucavalier parts (~choucaval@mail.peanutbuttervibes.com) (WeeChat 3.1) |
| 2021-05-25 10:52:36 | → | holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-25 10:52:51 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Read error: Connection reset by peer) |
| 2021-05-25 10:53:02 | → | curiousgay joins (~curiousga@178.217.208.8) |
| 2021-05-25 10:53:21 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-25 10:53:41 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 2021-05-25 10:54:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-25 10:55:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 10:55:39 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-05-25 10:58:23 | × | holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer) |
| 2021-05-25 10:59:17 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
All times are in UTC.