| 2022-10-02 00:02:30 +0000 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2022-10-02 00:02:46 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 260 seconds) |
| 2022-10-02 00:03:32 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 00:04:25 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 00:05:55 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-10-02 00:06:41 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 00:07:27 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-02 00:07:27 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-02 00:08:18 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 00:08:48 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-02 00:09:01 +0000 | califax | (~califax@user/califx) |
| 2022-10-02 00:10:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 00:10:10 +0000 | Guest10 | (~Guest10@ip68-98-67-32.ph.ph.cox.net) |
| 2022-10-02 00:10:54 +0000 | Guest10 | (~Guest10@ip68-98-67-32.ph.ph.cox.net) (Client Quit) |
| 2022-10-02 00:11:47 +0000 | bilegeek | (~bilegeek@2600:1008:b002:b2ec:358b:cb9d:394e:5d0b) |
| 2022-10-02 00:12:59 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 00:13:07 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 00:15:42 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-10-02 00:20:09 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 00:20:10 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 00:20:10 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 00:21:26 +0000 | danso | (danso@danso.ca) (Quit: ZNC - https://znc.in) |
| 2022-10-02 00:22:31 +0000 | danso | (~danso@danso.ca) |
| 2022-10-02 00:31:13 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-10-02 00:33:24 +0000 | vglfr | (~vglfr@145.224.100.164) (Ping timeout: 264 seconds) |
| 2022-10-02 00:33:39 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 00:35:27 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-02 00:46:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 00:48:16 +0000 | <sm> | maralorn: ha.. bad luck |
| 2022-10-02 00:48:28 +0000 | <sm> | very easy to do |
| 2022-10-02 00:49:32 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 00:51:54 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-02 00:52:55 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 00:54:12 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 01:00:31 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Ping timeout: 260 seconds) |
| 2022-10-02 01:01:59 +0000 | asivitz | (uid178348@id-178348.tinside.irccloud.com) |
| 2022-10-02 01:03:31 +0000 | causal | (~user@50.35.83.177) |
| 2022-10-02 01:04:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-02 01:04:41 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 01:08:12 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 264 seconds) |
| 2022-10-02 01:10:46 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-02 01:16:53 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-02 01:19:27 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-10-02 01:19:37 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) |
| 2022-10-02 01:19:45 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) (Remote host closed the connection) |
| 2022-10-02 01:23:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-10-02 01:26:21 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 01:26:48 +0000 | Furor | Haematophage |
| 2022-10-02 01:28:58 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 01:30:56 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 01:31:08 +0000 | Topsi | (~Topsi@dyndsl-095-033-018-041.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-02 01:35:04 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-10-02 01:36:06 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-02 01:42:06 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:f9de:fbcb:2100:7597) (Remote host closed the connection) |
| 2022-10-02 01:43:59 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 01:44:31 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-10-02 01:47:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 01:51:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-10-02 01:51:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 260 seconds) |
| 2022-10-02 01:53:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 01:57:51 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 02:02:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 02:06:23 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 02:08:07 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 02:11:32 +0000 | td_ | (~td@94.134.91.190) (Ping timeout: 265 seconds) |
| 2022-10-02 02:11:47 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2022-10-02 02:13:04 +0000 | td_ | (~td@94.134.91.231) |
| 2022-10-02 02:14:38 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-10-02 02:17:19 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-02 02:17:19 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 02:17:19 +0000 | finn_elija | FinnElija |
| 2022-10-02 02:20:24 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-10-02 02:20:40 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 02:25:41 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-02 02:26:31 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 2022-10-02 02:27:52 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 02:30:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-02 02:31:20 +0000 | jargon | (~jargon@184.101.88.60) (Remote host closed the connection) |
| 2022-10-02 02:32:34 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 02:35:37 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 02:35:43 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-10-02 02:37:27 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-02 02:42:59 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 02:45:18 +0000 | jargon | (~jargon@184.101.88.60) |
| 2022-10-02 02:47:31 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 2022-10-02 02:48:24 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2022-10-02 02:50:11 +0000 | razetime | (~quassel@117.193.1.240) |
| 2022-10-02 02:53:33 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-10-02 02:54:34 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 02:54:56 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-10-02 02:57:53 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 03:02:12 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 03:11:48 +0000 | rburkholder | (~blurb@96.45.2.121) |
| 2022-10-02 03:15:20 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 03:15:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-10-02 03:20:10 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 03:27:00 +0000 | Inst | (~Liam@172.109.205.98) |
| 2022-10-02 03:27:41 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 03:28:06 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-02 03:29:36 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-02 03:33:30 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-10-02 03:35:19 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-02 03:35:59 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-10-02 03:38:47 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 03:40:38 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 03:41:55 +0000 | razetime | (~quassel@117.193.1.240) (Ping timeout: 265 seconds) |
| 2022-10-02 03:45:09 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-10-02 03:45:58 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-10-02 03:46:33 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-10-02 03:53:05 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-02 03:55:56 +0000 | phma | (~phma@2001:5b0:211b:e328:5893:8a41:b371:1ef) (Read error: Connection reset by peer) |
| 2022-10-02 03:57:13 +0000 | phma | (~phma@host-67-44-208-215.hnremote.net) |
| 2022-10-02 04:03:52 +0000 | lambdap23 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap23) |
| 2022-10-02 04:03:58 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 04:04:26 +0000 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-10-02 04:06:53 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 04:08:06 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Remote host closed the connection) |
| 2022-10-02 04:08:27 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-02 04:09:36 +0000 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-10-02 04:12:30 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-10-02 04:12:51 +0000 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 265 seconds) |
| 2022-10-02 04:15:28 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-10-02 04:15:34 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 04:15:59 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 04:17:01 +0000 | coot | (~coot@213.134.165.79) |
| 2022-10-02 04:19:37 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2022-10-02 04:20:35 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-02 04:21:43 +0000 | jargon | (~jargon@184.101.88.60) (Remote host closed the connection) |
| 2022-10-02 04:22:16 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 04:28:34 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 04:30:34 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 04:31:04 +0000 | coot | (~coot@213.134.165.79) (Quit: coot) |
| 2022-10-02 04:31:06 +0000 | vglfr | (~vglfr@145.224.100.164) (Ping timeout: 260 seconds) |
| 2022-10-02 04:37:51 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Ping timeout: 268 seconds) |
| 2022-10-02 04:39:48 +0000 | Guest1698 | (~Guest1698@20.83.116.49) (Remote host closed the connection) |
| 2022-10-02 04:46:12 +0000 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-10-02 04:47:18 +0000 | nate4 | (~nate@2600:1010:b02d:e8f9:5c7f:11d0:c4c5:46df) |
| 2022-10-02 04:50:04 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 04:56:57 +0000 | razetime | (~quassel@117.193.1.240) |
| 2022-10-02 04:59:35 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:7264:29d6:8e89:14af) (Quit: Ping timeout (120 seconds)) |
| 2022-10-02 04:59:55 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:43e9:ccab:b409:cf4f) |
| 2022-10-02 05:04:07 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 05:04:44 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 05:08:51 +0000 | nate4 | (~nate@2600:1010:b02d:e8f9:5c7f:11d0:c4c5:46df) (Ping timeout: 248 seconds) |
| 2022-10-02 05:09:02 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 05:13:18 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 05:24:06 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-10-02 05:26:08 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 05:28:44 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 265 seconds) |
| 2022-10-02 05:31:38 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 05:34:05 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 05:36:07 +0000 | jargon | (~jargon@184.101.88.60) |
| 2022-10-02 05:39:29 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 05:39:42 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 05:42:52 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 05:45:24 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-02 05:46:56 +0000 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-02 05:46:56 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-10-02 05:51:10 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 05:54:44 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 05:54:44 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 05:54:44 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 06:06:59 +0000 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-10-02 06:13:03 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 06:14:09 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-02 06:14:58 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 06:15:26 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-10-02 06:23:04 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 06:24:35 +0000 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) |
| 2022-10-02 06:39:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 06:39:40 +0000 | shapr | (~user@68.54.166.125) |
| 2022-10-02 06:43:10 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 06:45:05 +0000 | mbuf | (~Shakthi@49.204.116.212) |
| 2022-10-02 06:51:54 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 06:54:46 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-02 06:57:44 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-02 07:00:44 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 07:04:14 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 07:06:22 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 07:11:06 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 07:18:19 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 07:20:55 +0000 | bilegeek | (~bilegeek@2600:1008:b002:b2ec:358b:cb9d:394e:5d0b) (Ping timeout: 244 seconds) |
| 2022-10-02 07:30:58 +0000 | bilegeek | (~bilegeek@23.sub-174-209-37.myvzw.com) |
| 2022-10-02 07:31:21 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-02 07:32:21 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 07:35:12 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2022-10-02 07:40:05 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 07:41:20 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a32a8f89e31b171299c.dip0.t-ipconnect.de) |
| 2022-10-02 07:42:58 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-10-02 07:43:37 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 07:44:00 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: rebooting) |
| 2022-10-02 07:44:42 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 07:45:22 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 246 seconds) |
| 2022-10-02 07:46:29 +0000 | bilegeek | (~bilegeek@23.sub-174-209-37.myvzw.com) (Ping timeout: 265 seconds) |
| 2022-10-02 07:47:57 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 07:48:22 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-02 07:48:44 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-02 07:48:56 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2022-10-02 07:50:12 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 07:50:26 +0000 | bilegeek | (~bilegeek@135.sub-174-209-38.myvzw.com) |
| 2022-10-02 07:50:30 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 07:54:25 +0000 | bilegeek | (~bilegeek@135.sub-174-209-38.myvzw.com) (Client Quit) |
| 2022-10-02 07:55:11 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) (Quit: quite.) |
| 2022-10-02 07:55:58 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-10-02 07:58:18 +0000 | waldo | (~waldo@user/waldo) |
| 2022-10-02 08:01:30 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-02 08:02:31 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2022-10-02 08:03:19 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 08:09:39 +0000 | razetime | (~quassel@117.193.1.240) (Ping timeout: 252 seconds) |
| 2022-10-02 08:15:23 +0000 | phma | (~phma@host-67-44-208-215.hnremote.net) (Read error: Connection reset by peer) |
| 2022-10-02 08:15:39 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-10-02 08:16:46 +0000 | phma | (phma@2001:5b0:212a:9038:ee27:41c9:caf6:d84c) |
| 2022-10-02 08:23:57 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
| 2022-10-02 08:25:03 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 08:29:58 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-02 08:31:03 +0000 | razetime | (~quassel@117.193.1.240) |
| 2022-10-02 08:37:13 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 250 seconds) |
| 2022-10-02 08:38:41 +0000 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-10-02 08:40:47 +0000 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) (Ping timeout: 268 seconds) |
| 2022-10-02 08:42:28 +0000 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-10-02 08:44:29 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:a32a:b352:8166:ebb2) |
| 2022-10-02 08:55:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-10-02 08:57:02 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-02 08:57:20 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-02 09:00:05 +0000 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: You have been kicked for being idle) |
| 2022-10-02 09:01:02 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-02 09:01:20 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-02 09:02:53 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) (Quit: quite.) |
| 2022-10-02 09:03:38 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-10-02 09:11:52 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-10-02 09:11:56 +0000 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) |
| 2022-10-02 09:12:02 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-02 09:13:38 +0000 | frost | (~frost@user/frost) |
| 2022-10-02 09:16:36 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-10-02 09:25:56 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 09:32:28 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2022-10-02 09:36:19 +0000 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) (Ping timeout: 268 seconds) |
| 2022-10-02 09:38:57 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 09:39:24 +0000 | kenran | (~user@user/kenran) |
| 2022-10-02 09:39:26 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-02 09:47:33 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 09:48:10 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 09:48:51 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:baf8:17de:5af6:42e4) |
| 2022-10-02 09:57:46 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-02 10:01:33 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 10:04:22 +0000 | kaskal | (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) (Quit: ZNC - https://znc.in) |
| 2022-10-02 10:04:53 +0000 | kaskal | (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) |
| 2022-10-02 10:05:54 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-02 10:07:02 +0000 | waldo | (~waldo@user/waldo) |
| 2022-10-02 10:10:31 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 265 seconds) |
| 2022-10-02 10:14:09 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 10:20:04 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-02 10:21:17 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 10:21:30 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-02 10:26:21 +0000 | simendsjo | (~user@84.211.91.241) |
| 2022-10-02 10:49:09 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 10:50:09 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-10-02 10:50:55 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-10-02 10:53:51 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 10:53:59 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-10-02 10:54:29 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 11:00:33 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-02 11:12:10 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-10-02 11:12:38 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.5) |
| 2022-10-02 11:13:25 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 11:13:47 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 11:18:16 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-02 11:21:08 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-02 11:22:00 +0000 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) |
| 2022-10-02 11:22:28 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-10-02 11:23:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 11:24:20 +0000 | <Guest73> | Is something like "... -> Constraint" considered to be a type? |
| 2022-10-02 11:25:49 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 11:27:40 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2022-10-02 11:28:15 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 11:28:38 +0000 | <Guest73> | Example: Is (Type -> Type) -> Constraint (e.g. Functor, Monad type class) a type? And a higher kinded one because it takes a (Type -> Type)? |
| 2022-10-02 11:29:13 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 11:30:38 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 11:30:59 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-02 11:31:36 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 264 seconds) |
| 2022-10-02 11:34:27 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 248 seconds) |
| 2022-10-02 11:35:18 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-02 11:37:02 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 11:37:33 +0000 | <ncf> | it's a kind |
| 2022-10-02 11:38:25 +0000 | <chreekat> | ... and kinds are types |
| 2022-10-02 11:38:43 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: gathering Alsa logs...) |
| 2022-10-02 11:38:56 +0000 | <probie> | kinds are types, but not `Type`s |
| 2022-10-02 11:39:39 +0000 | <Guest73> | So it's correct to say that the kind (which is a type) of the Functor type class is a higher-kinded type because it takes a (Type -> Type)? |
| 2022-10-02 11:39:55 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 11:41:06 +0000 | <ncf> | i think the higher-kinded type would be Functor, because its kind is higher-order |
| 2022-10-02 11:41:57 +0000 | <chreekat> | I thought GHC had unified everything at some point, but I could be thinking of something else, and I could also be confusing language details with implementation details |
| 2022-10-02 11:42:27 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2022-10-02 11:42:48 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 11:43:59 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 11:44:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 11:48:02 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 11:48:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 244 seconds) |
| 2022-10-02 11:48:59 +0000 | <jackdk> | The kind of types-that-may-have-values is `Type`, and I think the kind of `Type` is `Type`, which you sometimes see written `Type :: Type` (enabled by the now-default `TypeInType` extension) |
| 2022-10-02 11:49:20 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-02 11:54:12 +0000 | <ski> | Guest73 : `(Type -> Type) -> Constraint' is a kind, but `Functor' is not a kind. `Functor' is a higher-order type class, yes |
| 2022-10-02 11:54:25 +0000 | <ski> | ncf : its kind is not higher-order |
| 2022-10-02 11:55:18 +0000 | <ski> | (just like `(String -> String) -> IO ()' is not higher-order (its kind is `Type'). `interact' (having the former as its type) is higher-order) |
| 2022-10-02 11:56:41 +0000 | ski | . o O ( "inhabitable/concrete types" ) |
| 2022-10-02 11:57:41 +0000 | mmhat | (~mmh@p200300f1c706232fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-02 12:00:04 +0000 | <ncf> | the terminology is a bit confusing, i guess, because a "higher-order thing" is a thing whose *type* has a certain property |
| 2022-10-02 12:00:45 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-02 12:00:47 +0000 | <ncf> | IMO it would make more sense to call that property "higher-order" and to call the elements "higher-typed" (just like we have "higher-kinded"), but that's maybe not the convention |
| 2022-10-02 12:02:08 +0000 | <ski> | `interact' is higher-order because it accepts a function as parameter |
| 2022-10-02 12:02:37 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-02 12:02:38 +0000 | <ski> | we can describe this as its type being a function type where the argument type is also a function type |
| 2022-10-02 12:03:06 +0000 | ski | thinks "higher-kinded" is an abomination |
| 2022-10-02 12:03:41 +0000 | coot | (~coot@213.134.165.79) |
| 2022-10-02 12:05:20 +0000 | waldo | (~waldo@user/waldo) |
| 2022-10-02 12:05:36 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 12:08:02 +0000 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-10-02 12:08:55 +0000 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) |
| 2022-10-02 12:09:54 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2022-10-02 12:11:23 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) |
| 2022-10-02 12:14:17 +0000 | gera | (~gera@user/gera) |
| 2022-10-02 12:16:42 +0000 | gera | (~gera@user/gera) (Client Quit) |
| 2022-10-02 12:24:04 +0000 | coot | (~coot@213.134.165.79) (Quit: coot) |
| 2022-10-02 12:26:32 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-10-02 12:31:24 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-02 12:33:29 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 12:34:59 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-02 12:38:28 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 12:45:40 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-02 12:46:25 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 12:52:36 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-02 12:53:32 +0000 | Midjak2 | (~Midjak@82.66.147.146) |
| 2022-10-02 12:53:39 +0000 | Midjak | (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 2022-10-02 12:55:16 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 12:58:18 +0000 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) (Quit: Leaving.) |
| 2022-10-02 12:58:41 +0000 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 12:59:44 +0000 | Alex_test | (~al_test@94.233.240.222) (Quit: ;-) |
| 2022-10-02 12:59:59 +0000 | AlexZenon | (~alzenon@94.233.240.222) (Quit: ;-) |
| 2022-10-02 13:00:48 +0000 | AlexNoo | (~AlexNoo@94.233.240.222) (Quit: Leaving) |
| 2022-10-02 13:00:50 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-02 13:03:43 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 13:06:52 +0000 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 13:06:58 +0000 | AlexZenon | (~alzenon@94.233.240.222) (Remote host closed the connection) |
| 2022-10-02 13:09:03 +0000 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 13:10:22 +0000 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-10-02 13:11:27 +0000 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) |
| 2022-10-02 13:12:44 +0000 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 265 seconds) |
| 2022-10-02 13:14:22 +0000 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-02 13:16:08 +0000 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) |
| 2022-10-02 13:21:01 +0000 | AlexNoo | (~AlexNoo@94.233.240.222) |
| 2022-10-02 13:22:06 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-02 13:23:28 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 13:23:46 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:147f:3b81:19e2:2a18) |
| 2022-10-02 13:26:01 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2022-10-02 13:27:51 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:480c:865f:f737:f9a4) |
| 2022-10-02 13:34:17 +0000 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) |
| 2022-10-02 13:35:06 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 13:41:12 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2022-10-02 13:42:27 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2022-10-02 13:43:30 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 13:44:20 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) |
| 2022-10-02 13:45:05 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 13:46:31 +0000 | k8yun | (~k8yun@user/k8yun) (Remote host closed the connection) |
| 2022-10-02 13:49:36 +0000 | Guest73 | (~Guest73@p200300ef971835496116330cf30d712d.dip0.t-ipconnect.de) |
| 2022-10-02 13:53:13 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-02 13:53:16 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 13:54:16 +0000 | k8yun | (~k8yun@user/k8yun) (Remote host closed the connection) |
| 2022-10-02 13:54:18 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-10-02 13:54:41 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 13:55:33 +0000 | Guest73 | (~Guest73@p200300ef971835496116330cf30d712d.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2022-10-02 13:57:24 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 13:58:05 +0000 | AlexNoo | (~AlexNoo@94.233.240.222) (Remote host closed the connection) |
| 2022-10-02 13:58:07 +0000 | AlexZenon | (~alzenon@94.233.240.222) (Quit: ;-) |
| 2022-10-02 13:58:12 +0000 | Alex_test | (~al_test@94.233.240.222) (Quit: ;-) |
| 2022-10-02 13:59:05 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-10-02 13:59:50 +0000 | Midjak2 | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-10-02 14:00:09 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-10-02 14:00:28 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 14:00:32 +0000 | Midjak2 | (~Midjak@82.66.147.146) |
| 2022-10-02 14:00:37 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 14:01:06 +0000 | Midjak2 | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-10-02 14:01:06 +0000 | Midjak | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-10-02 14:01:41 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 14:02:10 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-02 14:03:31 +0000 | Midjak | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-10-02 14:04:10 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 14:05:11 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-10-02 14:05:48 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a32a8f89e31b171299c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-02 14:09:41 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:480c:865f:f737:f9a4) (Quit: WeeChat 3.5) |
| 2022-10-02 14:11:14 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 14:16:46 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:147f:3b81:19e2:2a18) (Remote host closed the connection) |
| 2022-10-02 14:16:55 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 14:22:32 +0000 | waldo | (~waldo@user/waldo) |
| 2022-10-02 14:23:14 +0000 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 14:27:47 +0000 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 248 seconds) |
| 2022-10-02 14:29:23 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 14:35:30 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 14:38:50 +0000 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) (Quit: Ping timeout (120 seconds)) |
| 2022-10-02 14:39:20 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-02 14:39:47 +0000 | acidjnk_new | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 2022-10-02 14:42:16 +0000 | img | (~img@user/img) |
| 2022-10-02 14:43:42 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2022-10-02 14:45:53 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 14:50:06 +0000 | cheater | (~Username@user/cheater) |
| 2022-10-02 14:50:15 +0000 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) (Quit: Leaving.) |
| 2022-10-02 14:50:26 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 14:52:52 +0000 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) |
| 2022-10-02 14:58:06 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) |
| 2022-10-02 14:58:09 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) (Remote host closed the connection) |
| 2022-10-02 14:59:12 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-02 14:59:33 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2022-10-02 14:59:37 +0000 | cheater1__ | (~Username@user/cheater) |
| 2022-10-02 14:59:41 +0000 | cheater1__ | cheater |
| 2022-10-02 15:01:41 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 15:03:18 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) |
| 2022-10-02 15:07:08 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-10-02 15:10:31 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 15:24:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 15:31:55 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2022-10-02 15:32:08 +0000 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 15:36:15 +0000 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 252 seconds) |
| 2022-10-02 15:36:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-10-02 15:36:47 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:493c:f2cd:d7ed:ecef) (Read error: Connection reset by peer) |
| 2022-10-02 15:38:33 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 15:40:34 +0000 | raehik | (~raehik@2a00:23c6:4c83:a901:95bf:f7ec:7b7d:c21e) |
| 2022-10-02 15:46:36 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-02 15:48:19 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 15:50:19 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-10-02 15:54:42 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-02 15:55:47 +0000 | raehik | (~raehik@2a00:23c6:4c83:a901:95bf:f7ec:7b7d:c21e) (Ping timeout: 248 seconds) |
| 2022-10-02 15:56:33 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 2022-10-02 15:58:52 +0000 | k8yun | (~k8yun@user/k8yun) (Read error: Connection reset by peer) |
| 2022-10-02 16:00:10 +0000 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Quit: You have been kicked for being idle) |
| 2022-10-02 16:00:14 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-10-02 16:02:31 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 16:03:28 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-10-02 16:03:55 +0000 | <monochrom> | Follow McQueen and say "higher-order types" plus it has an exciting acronym HOT >:) |
| 2022-10-02 16:04:29 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-02 16:05:12 +0000 | <ski> | that one's fine :) |
| 2022-10-02 16:06:15 +0000 | <geekosaur> | seems to me "higher kinded type" should mean the result of DataKinds promotion |
| 2022-10-02 16:07:10 +0000 | <EvanR> | if a basic function has order zero, and a higher order function has order 1. Well, it's obviously higher order. What exactly is high about higher kinded .. things xD |
| 2022-10-02 16:07:28 +0000 | <EvanR> | kindedness? |
| 2022-10-02 16:08:08 +0000 | <EvanR> | I'm with sky |
| 2022-10-02 16:08:11 +0000 | <EvanR> | ski |
| 2022-10-02 16:08:21 +0000 | <geekosaur> | "data Bool = False | True", when promoted via DataKinds, makes 'Bool a higher kinded type, is my thinking |
| 2022-10-02 16:08:25 +0000 | <ski> | usually you'd say basic functions has order one, and non-functions order zero. `interact' having order two |
| 2022-10-02 16:08:36 +0000 | <EvanR> | oof, off by 1 |
| 2022-10-02 16:09:14 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 16:09:28 +0000 | <EvanR> | meanwhile the kindedness of Bool and Maybe are both "yes" |
| 2022-10-02 16:10:15 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-10-02 16:10:45 +0000 | <EvanR> | datakinds don't seem particularly ordered vs * |
| 2022-10-02 16:11:34 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 16:11:49 +0000 | vglfr | (~vglfr@145.224.100.164) (Ping timeout: 252 seconds) |
| 2022-10-02 16:12:41 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 16:14:55 +0000 | <ski> | sorry, no idea what "kindedness" here is supposed to mean |
| 2022-10-02 16:15:05 +0000 | <ski> | (and i second that about "higher") |
| 2022-10-02 16:16:05 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 16:19:43 +0000 | <EvanR> | that it has a kind at all, yes |
| 2022-10-02 16:20:48 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-02 16:22:14 +0000 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) |
| 2022-10-02 16:22:15 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 16:25:22 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 16:26:54 +0000 | <ski> | @quote OlinShivers |
| 2022-10-02 16:26:54 +0000 | <lambdabot> | OlinShivers says: Just as C has no string type, Lisp has no list type. |
| 2022-10-02 16:27:01 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-10-02 16:27:52 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 16:27:52 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 16:27:52 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 16:29:13 +0000 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) |
| 2022-10-02 16:31:43 +0000 | _73 | (~user@pool-173-76-236-42.bstnma.fios.verizon.net) |
| 2022-10-02 16:33:00 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 16:33:48 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 16:34:46 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 16:35:48 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 16:36:12 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 16:41:03 +0000 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 16:41:32 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 16:45:24 +0000 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 265 seconds) |
| 2022-10-02 16:48:41 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 16:49:57 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 2022-10-02 16:52:58 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-10-02 16:57:49 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) (Ping timeout: 268 seconds) |
| 2022-10-02 16:58:13 +0000 | mbuf | (~Shakthi@49.204.116.212) (Quit: Leaving) |
| 2022-10-02 17:00:23 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-02 17:06:02 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-10-02 17:07:44 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-02 17:08:39 +0000 | AlexNoo | (~AlexNoo@94.233.240.222) |
| 2022-10-02 17:10:00 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-02 17:10:26 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 244 seconds) |
| 2022-10-02 17:10:39 +0000 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 17:10:43 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 250 seconds) |
| 2022-10-02 17:10:55 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-10-02 17:11:01 +0000 | Haematophage | (~colere@about/linux/staff/sauvin) (Ping timeout: 265 seconds) |
| 2022-10-02 17:13:08 +0000 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-10-02 17:14:35 +0000 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-02 17:15:55 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 250 seconds) |
| 2022-10-02 17:20:05 +0000 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) (Quit: Ping timeout (120 seconds)) |
| 2022-10-02 17:23:23 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 17:24:55 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 17:28:54 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 17:29:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-10-02 17:31:39 +0000 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 17:32:14 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 17:32:23 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 17:32:31 +0000 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 17:34:18 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 17:34:33 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 17:36:38 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2022-10-02 17:37:12 +0000 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 17:38:02 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 17:40:19 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:5b22:9f10:a150:9c02) |
| 2022-10-02 17:42:01 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-02 17:43:19 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-02 17:45:24 +0000 | raym | (~aritra@user/raym) (Ping timeout: 264 seconds) |
| 2022-10-02 17:45:55 +0000 | razetime | (~quassel@117.193.1.240) (Ping timeout: 268 seconds) |
| 2022-10-02 17:46:35 +0000 | kdaishi | (~Thunderbi@mobile-access-2e8403-164.dhcp.inet.fi) |
| 2022-10-02 17:51:21 +0000 | raym | (~aritra@user/raym) |
| 2022-10-02 17:54:09 +0000 | mixphix | (~cigsender@cpe9050ca1782b3-cm9050ca1782b0.sdns.net.rogers.com) |
| 2022-10-02 17:55:18 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-02 17:57:23 +0000 | waldo | (~waldo@user/waldo) |
| 2022-10-02 17:57:25 +0000 | raym | (~aritra@user/raym) (Ping timeout: 265 seconds) |
| 2022-10-02 17:59:17 +0000 | raym | (~aritra@user/raym) |
| 2022-10-02 18:03:55 +0000 | Oiyqlk | (~rscastilh@191-214-26-24.user.veloxzone.com.br) |
| 2022-10-02 18:05:23 +0000 | kdaishi | (~Thunderbi@mobile-access-2e8403-164.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2022-10-02 18:08:25 +0000 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) |
| 2022-10-02 18:10:54 +0000 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 18:11:28 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 18:17:13 +0000 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-10-02 18:18:36 +0000 | russruss | (~russruss@my.russellmcc.com) |
| 2022-10-02 18:24:23 +0000 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) (Quit: Client closed) |
| 2022-10-02 18:26:09 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 18:27:07 +0000 | Alex_test | (~al_test@94.233.240.222) (Ping timeout: 252 seconds) |
| 2022-10-02 18:27:16 +0000 | AlexZenon | (~alzenon@94.233.240.222) (Ping timeout: 268 seconds) |
| 2022-10-02 18:31:54 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:5b22:9f10:a150:9c02) (Quit: WeeChat 3.5) |
| 2022-10-02 18:32:19 +0000 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-02 18:32:38 +0000 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 18:33:48 +0000 | edrx | (~Eduardo@2804:56c:d2d3:4800:cf7d:b421:4c3a:392e) |
| 2022-10-02 18:35:17 +0000 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) (Ping timeout: 268 seconds) |
| 2022-10-02 18:39:06 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 18:42:28 +0000 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) |
| 2022-10-02 18:42:48 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 18:47:26 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:92c5:beda:2221:b83f) |
| 2022-10-02 18:58:04 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-02 18:59:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-10-02 19:00:49 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-10-02 19:00:57 +0000 | pavonia | (~user@user/siracusa) |
| 2022-10-02 19:23:59 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-02 19:24:41 +0000 | Oiyqlk | (~rscastilh@191-214-26-24.user.veloxzone.com.br) (Ping timeout: 252 seconds) |
| 2022-10-02 19:26:48 +0000 | Oiyqlk | (~rscastilh@191-214-26-24.user.veloxzone.com.br) |
| 2022-10-02 19:28:50 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-10-02 19:29:18 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 19:34:11 +0000 | mud | (~mud@user/kadoban) |
| 2022-10-02 19:35:27 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 2022-10-02 19:39:24 +0000 | mixphix | (~cigsender@cpe9050ca1782b3-cm9050ca1782b0.sdns.net.rogers.com) (Ping timeout: 265 seconds) |
| 2022-10-02 19:40:53 +0000 | Furor | Colere |
| 2022-10-02 19:43:24 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-10-02 19:43:57 +0000 | sagax | (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 2022-10-02 19:44:24 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 19:46:49 +0000 | ddellacosta | (~ddellacos@89.45.224.248) |
| 2022-10-02 19:51:58 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2022-10-02 19:54:41 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 19:56:33 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2022-10-02 19:58:03 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-02 20:00:54 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-10-02 20:03:16 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 260 seconds) |
| 2022-10-02 20:04:32 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2022-10-02 20:04:51 +0000 | <hololeap> | EvanR: you might be interested in this: https://hackage.haskell.org/package/generic-data-1.0.0.0/docs/Generic-Data.html#t:GShow1 |
| 2022-10-02 20:05:19 +0000 | <EvanR> | probably |
| 2022-10-02 20:05:35 +0000 | <EvanR> | though I completed the Show1 instance last night, it works great |
| 2022-10-02 20:06:08 +0000 | <EvanR> | I need to step up my generics fu at some point |
| 2022-10-02 20:06:17 +0000 | <geekosaur> | that was what I originally suggested, in fact |
| 2022-10-02 20:06:30 +0000 | <geekosaur> | wel, "go via generics" |
| 2022-10-02 20:06:48 +0000 | <geekosaur> | "GShow1" follows from that if you know the naming style |
| 2022-10-02 20:08:29 +0000 | <hololeap> | I think the Generically newtype is a really neat addition, or maybe I just never noticed it before. |
| 2022-10-02 20:08:49 +0000 | <hololeap> | (or maybe I didn't understand DerivingVia at the time) |
| 2022-10-02 20:10:14 +0000 | <hololeap> | I'm curious how well generically deriving Applicative and Alternative would work |
| 2022-10-02 20:11:15 +0000 | <hololeap> | seems a bit odd to try it at all, considering something as simple as a list has (at least) two possible valid Applicative instances |
| 2022-10-02 20:12:16 +0000 | ddellacosta | (~ddellacos@89.45.224.248) (Ping timeout: 265 seconds) |
| 2022-10-02 20:13:45 +0000 | Guest1698 | (~Guest1698@20.83.116.49) (Remote host closed the connection) |
| 2022-10-02 20:14:04 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-10-02 20:14:10 +0000 | ddellacosta | (~ddellacos@89.45.224.27) |
| 2022-10-02 20:15:03 +0000 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-10-02 20:15:23 +0000 | michalz | (~michalz@185.246.207.201) |
| 2022-10-02 20:15:48 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-10-02 20:16:08 +0000 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-10-02 20:18:00 +0000 | kilolympus | (~kilolympu@213.144.144.24) |
| 2022-10-02 20:18:06 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2022-10-02 20:18:06 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-10-02 20:18:06 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 20:18:08 +0000 | <EvanR> | deriving (Semigroup, Monoid) via Generically MyType, what is this alien tech |
| 2022-10-02 20:19:22 +0000 | <kilolympus> | Hi! The behaviour of "cabal configure" seems to have changed when upgrading cabal from 3.6 to 3.8, but I have found no changelog regarding this -- does anyone know more about it? |
| 2022-10-02 20:19:42 +0000 | <kilolympus> | It is specifically 1. no longer printing anything to stdout, and 2. no longer generating a plan.json |
| 2022-10-02 20:21:20 +0000 | Guest1698 | (~Guest1698@20.83.116.49) (Read error: Connection reset by peer) |
| 2022-10-02 20:22:33 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:92c5:beda:2221:b83f) (Quit: WeeChat 3.5) |
| 2022-10-02 20:23:31 +0000 | <geekosaur> | the latter is a known issue, `cabal build --dry-run` |
| 2022-10-02 20:24:02 +0000 | <geekosaur> | beyond that, try asking in #hackage |
| 2022-10-02 20:24:13 +0000 | <kilolympus> | Ah that's brilliant, the dry-run generated the plan. |
| 2022-10-02 20:24:21 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 20:24:22 +0000 | <kilolympus> | I'll do so, thanks geekosaur ! |
| 2022-10-02 20:24:52 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 20:32:21 +0000 | <hololeap> | yeah deriving Semigroup/Monoid doesn't make sense to me either, unless I'm missing something |
| 2022-10-02 20:32:54 +0000 | <hololeap> | might try it with Int and see what it does |
| 2022-10-02 20:34:21 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-02 20:35:46 +0000 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-10-02 20:35:47 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 248 seconds) |
| 2022-10-02 20:36:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 20:40:11 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 20:40:16 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 20:40:52 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 20:40:53 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 20:41:16 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 20:42:01 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-10-02 20:43:35 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-10-02 20:45:15 +0000 | <probie> | hololeap: I assume it'll complain about not having a Monoid instance on Int. I assume to be able to derive monoid, the type needs to have a single constructor and all fields must be monoids |
| 2022-10-02 20:45:34 +0000 | <hololeap> | yeah that's what I realized |
| 2022-10-02 20:46:28 +0000 | <hololeap> | still very cool considering sometimes you want to use records instead of newtype A = (X,Y,Z) haha |
| 2022-10-02 20:46:57 +0000 | <ski> | could conceivably work with multiple constructors of a GADT, in case they've disjoint indices |
| 2022-10-02 20:47:46 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-10-02 20:47:49 +0000 | <probie> | Can you derive generic on a GADT with disjoint indices? |
| 2022-10-02 20:49:01 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 20:49:05 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2022-10-02 20:49:05 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-10-02 20:49:05 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 20:51:29 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 20:59:01 +0000 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-10-02 21:00:11 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 21:00:30 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-10-02 21:01:27 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 21:01:57 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 21:01:58 +0000 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 246 seconds) |
| 2022-10-02 21:03:10 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 21:05:39 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 21:08:28 +0000 | <EvanR> | hololeap, Int is a Generic? |
| 2022-10-02 21:12:09 +0000 | beteigeuze1 | (~Thunderbi@89.187.168.55) |
| 2022-10-02 21:13:31 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Ping timeout: 246 seconds) |
| 2022-10-02 21:13:32 +0000 | beteigeuze1 | beteigeuze |
| 2022-10-02 21:13:52 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 21:14:51 +0000 | kdaishi | (~Thunderbi@mobile-access-bceec1-62.dhcp.inet.fi) |
| 2022-10-02 21:15:21 +0000 | <hololeap> | well, I was trying it on a newtype wrapper around Int |
| 2022-10-02 21:19:36 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-02 21:26:11 +0000 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-02 21:26:11 +0000 | mmhat | (~mmh@p200300f1c706232fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-10-02 21:29:36 +0000 | ddellacosta | (~ddellacos@89.45.224.27) (Ping timeout: 265 seconds) |
| 2022-10-02 21:31:28 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 21:31:32 +0000 | ddellacosta | (~ddellacos@143.244.47.77) |
| 2022-10-02 21:34:46 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2022-10-02 21:36:42 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 21:39:29 +0000 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) (Remote host closed the connection) |
| 2022-10-02 21:39:29 +0000 | mmhat | (~mmh@p200300f1c70623b9ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-02 21:41:07 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 250 seconds) |
| 2022-10-02 21:46:47 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-10-02 21:56:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 22:01:30 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 22:02:17 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 22:02:21 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 2022-10-02 22:06:17 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-02 22:10:03 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2022-10-02 22:13:23 +0000 | kdaishi | (~Thunderbi@mobile-access-bceec1-62.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-02 22:13:54 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 22:14:05 +0000 | kdaishi | (~Thunderbi@94.191.136.74.mobile.tre.se) |
| 2022-10-02 22:14:48 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2022-10-02 22:22:14 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-10-02 22:22:36 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-10-02 22:23:44 +0000 | acidjnk_new | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-10-02 22:28:25 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 22:35:58 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 22:41:16 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-10-02 22:41:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 22:42:29 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 22:43:47 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-02 22:45:04 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Read error: Connection reset by peer) |
| 2022-10-02 22:46:56 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 22:50:58 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-10-02 22:51:36 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 22:53:21 +0000 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-10-02 22:53:39 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 22:54:11 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-10-02 22:55:36 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:baf8:17de:5af6:42e4) (Ping timeout: 264 seconds) |
| 2022-10-02 22:59:10 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-02 22:59:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-02 23:03:46 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 246 seconds) |
| 2022-10-02 23:04:09 +0000 | gqplox | (~textual@97e654ef.skybroadband.com) |
| 2022-10-02 23:04:20 +0000 | <gqplox> | hello |
| 2022-10-02 23:04:32 +0000 | <geekosaur> | hi |
| 2022-10-02 23:04:44 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-10-02 23:04:59 +0000 | <gqplox> | i just started learning haskell, could you give a quick review of my program please? |
| 2022-10-02 23:05:14 +0000 | <geekosaur> | @where paste |
| 2022-10-02 23:05:15 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-10-02 23:05:34 +0000 | <geekosaur> | it's best not to paste code into the channel, it's hard to follow and harder to reference things |
| 2022-10-02 23:06:25 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-10-02 23:06:26 +0000 | <gqplox> | ok great thank you |
| 2022-10-02 23:06:29 +0000 | <gqplox> | here is my paste |
| 2022-10-02 23:06:32 +0000 | <gqplox> | https://paste.tomsmeding.com/ezI0M5WK |
| 2022-10-02 23:06:44 +0000 | <gqplox> | i started this online course harvard cs50 where they each some c |
| 2022-10-02 23:06:48 +0000 | <ski> | that is C, not Haskell |
| 2022-10-02 23:06:51 +0000 | <gqplox> | i tried to convert the c program to haskell |
| 2022-10-02 23:06:54 +0000 | <gqplox> | the second file is haskell |
| 2022-10-02 23:07:03 +0000 | <gqplox> | i give for reference what im trying to do in first one |
| 2022-10-02 23:07:04 +0000 | <ski> | hm, ok |
| 2022-10-02 23:07:07 +0000 | <gqplox> | (sorry if it's not allowed) |
| 2022-10-02 23:07:27 +0000 | <jackdk> | gqplox: welcome to #haskell. BTW, it is completely fine to ask your question as soon as you join. |
| 2022-10-02 23:07:42 +0000 | <ski> | what if there's multiple adjacent spaces, for `count_words' ? |
| 2022-10-02 23:07:50 +0000 | <gqplox> | great, thank you Jack i will keep this in mind |
| 2022-10-02 23:08:17 +0000 | <ski> | (although i guess the C `count_words' does the same thing) |
| 2022-10-02 23:08:21 +0000 | <gqplox> | in the problem statement for it they gave some assumptions so it is kind of allowed |
| 2022-10-02 23:08:49 +0000 | <gqplox> | (i know it's not a very robust program but i just wanted to check quickly that i have the right kind of idea in haskell so far before) |
| 2022-10-02 23:08:53 +0000 | <ski> | elem c ['!', '?', '.'] |
| 2022-10-02 23:08:56 +0000 | <ski> | could be written as |
| 2022-10-02 23:09:10 +0000 | <ski> | c `elem` "!?." |
| 2022-10-02 23:09:38 +0000 | <gqplox> | oh cool |
| 2022-10-02 23:09:48 +0000 | <gqplox> | oh yeah because string is just array of chars so it's the same right? |
| 2022-10-02 23:09:53 +0000 | <jackdk> | (asking straight-up means that you formulate your question clearly before asking, which can help you solve it. It also means that people who wouldn't answer "yes" to questions like "are you an expert at FOO?" might look at it and be able to help for other reasons.) |
| 2022-10-02 23:10:00 +0000 | <ski> | is there a `typedef char *string;', in `cs50.h' ? |
| 2022-10-02 23:10:29 +0000 | <ski> | s/array/list/, but yes |
| 2022-10-02 23:10:41 +0000 | <ski> | (lists in Haskell are (single-)linked lists) |
| 2022-10-02 23:10:42 +0000 | <gqplox> | yeah probably something like that, this is the second lecture and they introduce pointers/memory management in lecture 4 so the provided some helper things |
| 2022-10-02 23:10:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-10-02 23:10:57 +0000 | <gqplox> | oh right yep thanks |
| 2022-10-02 23:11:07 +0000 | <jackdk> | The common Haskell style uses camelCase instead of snake_case for function and variable names, so that looks a bit odd to me. |
| 2022-10-02 23:11:13 +0000 | <gqplox> | ok thanks Jack, next time i'll ask right away |
| 2022-10-02 23:11:14 +0000 | <ski> | yes |
| 2022-10-02 23:11:21 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 23:11:25 +0000 | <gqplox> | Oh right yeah good point, ill change that now |
| 2022-10-02 23:11:57 +0000 | <probie> | For count_words, you could also use the prelude function `words` (although that will differ in behaviour from your C implementation if there a multiple consecutive spaces |
| 2022-10-02 23:12:11 +0000 | <probie> | > words "here are some words" |
| 2022-10-02 23:12:13 +0000 | <lambdabot> | ["here","are","some","words"] |
| 2022-10-02 23:12:21 +0000 | <ski> | brackets in `calculateColmanLiauIndex' (apart from the ones for `round') are redundant |
| 2022-10-02 23:12:39 +0000 | <probie> | > length (words "here are some words") |
| 2022-10-02 23:12:41 +0000 | <lambdabot> | 4 |
| 2022-10-02 23:13:31 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 23:14:12 +0000 | <jackdk> | I'd drop the prefix `calculate_` from `calculate_colman_liau_index`, since it feels like one of those "do nothing" words that turn up in function names. What is a function for, if not to perform calculations? |
| 2022-10-02 23:14:22 +0000 | <gqplox> | ah nice i've removed the brackets thank you |
| 2022-10-02 23:14:31 +0000 | <ski> | gqplox : better to use `puts' (or `fputs'), rather than `printf', in `print_reading_level', for the first two calls, since they're not doing formatted printing anyway |
| 2022-10-02 23:15:19 +0000 | <gqplox> | oh cool i didn't even know about that haha |
| 2022-10-02 23:15:19 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-10-02 23:15:21 +0000 | <ski> | `string get_string(string prompt);' is also in `cs50.h', i presume |
| 2022-10-02 23:15:31 +0000 | <gqplox> | yep |
| 2022-10-02 23:15:35 +0000 | <gqplox> | how do i reply on irc? |
| 2022-10-02 23:15:44 +0000 | <ski> | (note : `puts' automatically adds a newline at the end. `fputs' doesn't) |
| 2022-10-02 23:15:48 +0000 | <ski> | just reply |
| 2022-10-02 23:16:12 +0000 | <gqplox> | when you and jack messaged i see it highlighted |
| 2022-10-02 23:16:20 +0000 | <ski> | mention the nickname of the person you want to reply to (or reference), if you want. e.g. beginning the message with the nickname, followed by a comma or a colon, and the meat of the message |
| 2022-10-02 23:16:26 +0000 | <gqplox> | ok cool |
| 2022-10-02 23:16:33 +0000 | <ski> | that's because we mentioned your nickname |
| 2022-10-02 23:16:49 +0000 | <gqplox> | jackdk: yes true thanks |
| 2022-10-02 23:16:53 +0000 | <gqplox> | ah i see |
| 2022-10-02 23:17:12 +0000 | <gqplox> | cool thank you very much guys for all the help |
| 2022-10-02 23:17:15 +0000 | <jackdk> | As more of a software design point, I don't know if I'd ever get the arguments to `calculate_colman_liau_index` in the correct order. If you were up to modules in your course, I'd suggest making a separate module with a function `colmanLiauIndex :: String -> Int` and all the word/letter/sentence counting hidden inside |
| 2022-10-02 23:17:17 +0000 | <ski> | (most IRC clients will highlight/alert the user, in case the chosen nickname is the first thing in the message. not as many will do it, if it occurs later in the message) |
| 2022-10-02 23:18:09 +0000 | <DigitalKiwi> | i get notified for kiwi |
| 2022-10-02 23:18:09 +0000 | <jackdk> | I should also add that everything overall is fairly tidy and split up well, and most of what I'm posting are nitpicks |
| 2022-10-02 23:18:21 +0000 | <gqplox> | ah yes true, I agree that i should hide the implentation details |
| 2022-10-02 23:18:22 +0000 | <DigitalKiwi> | because i want to know when people are talking about me and not only to me |
| 2022-10-02 23:18:43 +0000 | <ski> | (and please don't add sigils (like prefixing with `@') to the nickname when referencing it. that would commonly stop the highlighting, in clients in general. also, `@' already meant something else on IRC .. channel operator) |
| 2022-10-02 23:18:44 +0000 | <jackdk> | `print_grade` should probably get a rename, as it doesn't actually do any printing. |
| 2022-10-02 23:18:48 +0000 | <geekosaur> | actually I've found those kind of menntions somewhat annoying |
| 2022-10-02 23:18:53 +0000 | <gqplox> | im currently reading programming in hsakell by Graham Hutton |
| 2022-10-02 23:19:09 +0000 | <DigitalKiwi> | ...which means i get notifications sometimes and they're talking about kiwi irc but w/e |
| 2022-10-02 23:19:10 +0000 | <gqplox> | thank you ski for the advice |
| 2022-10-02 23:19:20 +0000 | <geekosaur> | sometimes it's nice but often it's like "you pinged me at 3am for that?" |
| 2022-10-02 23:19:25 +0000 | <gqplox> | so far i am on chapter 6 |
| 2022-10-02 23:19:28 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 23:19:28 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 23:19:28 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 23:19:37 +0000 | <gqplox> | i guess modules and other things will come later |
| 2022-10-02 23:19:37 +0000 | <DigitalKiwi> | 3am is when i'm awake! |
| 2022-10-02 23:19:37 +0000 | <ski> | Hutton is nice |
| 2022-10-02 23:19:50 +0000 | <gqplox> | yes i am finding it good so far |
| 2022-10-02 23:20:15 +0000 | <geekosaur> | 3am is when everyone else in #xmonad is awake, it often seems 🙂 |
| 2022-10-02 23:20:50 +0000 | <gqplox> | by the way, are you guys using haskell professionally? |
| 2022-10-02 23:21:10 +0000 | <gqplox> | so far it seems quite cool but i've only heard about it in an academic context |
| 2022-10-02 23:21:51 +0000 | <ski> | gqplox : you can use `putStr' and `putStrLn' to actually print `String's (to standard output). there's also a `hFlush stdout' you could use, if you want to flush (when using line-buffering), before a newline (if you want to try to replicate `getString') |
| 2022-10-02 23:21:59 +0000 | <ski> | and `getLine' will read a line for you |
| 2022-10-02 23:22:09 +0000 | <ski> | @type putStr |
| 2022-10-02 23:22:10 +0000 | <lambdabot> | String -> IO () |
| 2022-10-02 23:22:11 +0000 | <ski> | @type putStrLn |
| 2022-10-02 23:22:12 +0000 | <lambdabot> | String -> IO () |
| 2022-10-02 23:22:14 +0000 | <ski> | @type getLine |
| 2022-10-02 23:22:16 +0000 | <lambdabot> | IO String |
| 2022-10-02 23:22:25 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-10-02 23:22:32 +0000 | <gqplox> | ah cool nice |
| 2022-10-02 23:23:00 +0000 | <gqplox> | i tried to search about it but it was talking about monads which i i haven't looked at yet |
| 2022-10-02 23:23:07 +0000 | <ski> | `main' is declared as having type `IO ()' in Haskell (well, technically you could use any type in place of `()' .. but it's ignored anyway, so ..) |
| 2022-10-02 23:23:36 +0000 | <geekosaur> | don't worry about them for now, worry about IO. (Monad means much less than you think) |
| 2022-10-02 23:23:38 +0000 | <gqplox> | it's a bit embarrasing i don't know how to make a proper program yet lol, i just do ghci readability.hs |
| 2022-10-02 23:23:51 +0000 | <gqplox> | but its quite cool |
| 2022-10-02 23:23:57 +0000 | <ski> | @wiki Introduction to IO |
| 2022-10-02 23:23:57 +0000 | <lambdabot> | https://wiki.haskell.org/Introduction_to_IO |
| 2022-10-02 23:24:05 +0000 | <ski> | you could take a glance at that ^ |
| 2022-10-02 23:24:10 +0000 | <gqplox> | like i can do :e and write my changes and see how it works |
| 2022-10-02 23:24:11 +0000 | <geekosaur> | @where IO.xhtml |
| 2022-10-02 23:24:12 +0000 | <lambdabot> | I know nothing about io.xhtml. |
| 2022-10-02 23:24:19 +0000 | <geekosaur> | @where iotut |
| 2022-10-02 23:24:19 +0000 | <lambdabot> | https://www.vex.net/~trebla/haskell/IO.xhtml |
| 2022-10-02 23:24:52 +0000 | <ski> | the interactor is nice to test out things, as you're writing them |
| 2022-10-02 23:25:18 +0000 | <gqplox> | yeah it's really cool |
| 2022-10-02 23:26:08 +0000 | <gqplox> | anyway guys I have to go now, thank you very much jack and ski for the help. very friendly introduction to irc :) |
| 2022-10-02 23:26:16 +0000 | <ski> | feel free to come back later |
| 2022-10-02 23:26:19 +0000 | <gqplox> | and i shall check out those links |
| 2022-10-02 23:26:27 +0000 | <gqplox> | i will for sure hahah, i have lots more to learn |
| 2022-10-02 23:26:28 +0000 | <ski> | to ask questions, or just lurk around, watching what people talk about |
| 2022-10-02 23:26:47 +0000 | <ski> | also, sometimes the channel is a bit silent. just stick around |
| 2022-10-02 23:26:48 +0000 | <gqplox> | yes seems like there are lots of knowledgeable people around |
| 2022-10-02 23:27:00 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
| 2022-10-02 23:27:01 +0000 | <ski> | (you may have to wait to get a reply) |
| 2022-10-02 23:28:25 +0000 | <gqplox> | ah right, guess i was lucky to get a quick reply today then :) |
| 2022-10-02 23:28:29 +0000 | <gqplox> | alright goodbye |
| 2022-10-02 23:28:30 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-02 23:28:42 +0000 | gqplox | (~textual@97e654ef.skybroadband.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-10-02 23:29:06 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
| 2022-10-02 23:29:35 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-02 23:31:40 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
| 2022-10-02 23:32:11 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-02 23:34:48 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
| 2022-10-02 23:36:12 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-02 23:40:35 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 23:41:34 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:a32a:b352:8166:ebb2) (Remote host closed the connection) |
| 2022-10-02 23:47:20 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-10-02 23:47:41 +0000 | doyougnu- | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-02 23:48:08 +0000 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2022-10-02 23:48:19 +0000 | kdaishi | (~Thunderbi@94.191.136.74.mobile.tre.se) (Ping timeout: 265 seconds) |
| 2022-10-02 23:52:11 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 23:52:52 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-10-02 23:53:04 +0000 | doyougnu- | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
| 2022-10-02 23:54:35 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-10-02 23:58:13 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |