Logs: liberachat/#haskell
| 2021-07-15 03:28:38 | <lechner> | yeah, like a Ph.D. in group theory! |
| 2021-07-15 03:29:16 | <lechner> | eactually, category theory |
| 2021-07-15 03:29:20 | <roboto_el_gato> | lol i do not know if it is that in depth, regardless of the memes i have seen |
| 2021-07-15 03:29:27 | → | glguy joins (x@libera/staff/glguy) |
| 2021-07-15 03:29:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-15 03:30:02 | <roboto_el_gato> | logic seems to be a larger part of the process |
| 2021-07-15 03:31:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-15 03:31:40 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-15 03:32:23 | <geekosaur> | you can get by without one although some books may assume it |
| 2021-07-15 03:33:44 | <roboto_el_gato> | for functional programming, i have found that most of the books like to preach but struggle to teach from bare bones as other languages do. i find this odd |
| 2021-07-15 03:37:14 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-15 03:37:26 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-15 03:42:46 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:b922:8212:3ad1:17e7) (Ping timeout: 246 seconds) |
| 2021-07-15 03:42:54 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-15 03:43:34 | → | berberman joins (~berberman@user/berberman) |
| 2021-07-15 03:44:47 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-07-15 03:44:55 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 03:45:06 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 03:46:10 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-15 03:52:13 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-07-15 03:52:28 | → | roboto_el_gato joins (~roboto_el@2600:1700:7df0:4f30:b922:8212:3ad1:17e7) |
| 2021-07-15 03:52:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-15 03:52:55 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2021-07-15 03:53:08 | <lechner> | haskell is a religion |
| 2021-07-15 03:53:34 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 03:56:03 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 03:59:40 | × | wwalker quits (~wwalker@platinum.solid-constructs.com) (Ping timeout: 268 seconds) |
| 2021-07-15 03:59:50 | <DigitalKiwi> | programming in haskell by graham hutton is <3 |
| 2021-07-15 04:01:21 | → | wwalker joins (~wwalker@45.146.55.219) |
| 2021-07-15 04:05:08 | × | wwalker quits (~wwalker@45.146.55.219) (Remote host closed the connection) |
| 2021-07-15 04:05:08 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-15 04:08:09 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 04:15:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-15 04:19:49 | → | Guest23 joins (~Guest23@50.47.115.102) |
| 2021-07-15 04:23:08 | winny | is now known as ww |
| 2021-07-15 04:23:16 | ww | is now known as winny |
| 2021-07-15 04:26:52 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 2021-07-15 04:28:16 | → | beka joins (~beka@104.193.170-244.public.monkeybrains.net) |
| 2021-07-15 04:29:00 | × | ack_inc quits (~anirudh@2405:201:4010:7065:681c:bac8:1e93:82d9) (Quit: Leaving.) |
| 2021-07-15 04:29:23 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 04:29:38 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 04:30:31 | × | awth13 quits (~user@user/awth13) (Remote host closed the connection) |
| 2021-07-15 04:31:26 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-15 04:42:40 | × | andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Quit: fBNC - https://bnc4free.com) |
| 2021-07-15 04:42:41 | × | even4void quits (even4void@came.here.for-some.fun) (Quit: fBNC - https://bnc4free.com) |
| 2021-07-15 04:42:41 | × | xacktm quits (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2021-07-15 04:46:21 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-15 04:47:44 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-15 04:48:41 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-07-15 04:49:57 | × | smitop quits (~smitop@user/smitop) (Ping timeout: 255 seconds) |
| 2021-07-15 04:53:50 | → | andreas303 joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-07-15 04:54:02 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 265 seconds) |
| 2021-07-15 04:54:43 | → | even4void joins (even4void@came.here.for-some.fun) |
| 2021-07-15 04:54:45 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-07-15 04:55:17 | → | smitop joins (~smitop@user/smitop) |
| 2021-07-15 04:56:21 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 2021-07-15 04:58:22 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:b922:8212:3ad1:17e7) (Ping timeout: 246 seconds) |
| 2021-07-15 05:01:57 | → | xacktm joins (xacktm@user/xacktm) |
| 2021-07-15 05:03:00 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2021-07-15 05:03:55 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-15 05:04:44 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-15 05:11:38 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-15 05:11:47 | → | flukiluke joins (~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2021-07-15 05:14:46 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2021-07-15 05:14:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-15 05:16:36 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-15 05:16:57 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 05:22:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-15 05:24:37 | × | s_ quits (~s@50.34.81.185) (Quit: Leaving) |
| 2021-07-15 05:32:04 | → | Gurkenglas_ joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-15 05:33:29 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-15 05:34:14 | × | mcglk quits (~mcglk@131.191.49.120) (Quit: (seeya)) |
| 2021-07-15 05:34:17 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-15 05:36:39 | → | benin03697 joins (~benin@183.82.177.180) |
| 2021-07-15 05:37:15 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-07-15 05:37:45 | × | benin0369 quits (~benin@183.82.176.17) (Ping timeout: 258 seconds) |
| 2021-07-15 05:37:46 | benin03697 | is now known as benin0369 |
| 2021-07-15 05:38:14 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2021-07-15 05:39:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-15 05:39:59 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-07-15 05:40:22 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-07-15 05:43:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-15 05:43:58 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-15 05:46:58 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-15 05:47:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-15 05:47:11 | cheater1__ | is now known as cheater |
| 2021-07-15 05:47:40 | → | mei joins (~mei@user/mei) |
| 2021-07-15 05:49:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-15 05:51:09 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 2021-07-15 05:52:20 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-15 05:53:00 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-15 05:53:42 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-15 05:54:14 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-15 05:58:25 | → | dunj3 joins (~dunj3@2001:16b8:303f:a600:793c:65b7:43fd:f5ca) |
| 2021-07-15 05:58:41 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 2021-07-15 05:58:59 | → | prite joins (~pritam@user/pritambaral) |
| 2021-07-15 06:00:09 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-15 06:00:32 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-15 06:07:12 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-07-15 06:11:38 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
All times are in UTC.