| 2023-04-09 00:00:07 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-09 00:01:35 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 00:01:59 +0200 | vysn | (~vysn@user/vysn) (Client Quit) |
| 2023-04-09 00:02:52 +0200 | chomwitt | (~chomwitt@2a02:587:7a0e:5000:1ac0:4dff:fedb:a3f1) |
| 2023-04-09 00:04:33 +0200 | zeenk2 | (~zeenk@2a02:2f04:a307:2300::fba) |
| 2023-04-09 00:05:11 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Ping timeout: 246 seconds) |
| 2023-04-09 00:10:37 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 00:11:44 +0200 | chomwitt | (~chomwitt@2a02:587:7a0e:5000:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 2023-04-09 00:13:31 +0200 | ddellacosta | (~ddellacos@146.70.166.132) (Ping timeout: 248 seconds) |
| 2023-04-09 00:13:51 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-176-015.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-09 00:14:24 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 00:14:41 +0200 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-04-09 00:15:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 00:15:48 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) |
| 2023-04-09 00:24:45 +0200 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-09 00:25:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 00:25:46 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 00:26:23 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-04-09 00:27:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-09 00:27:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-09 00:27:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-09 00:29:19 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-09 00:29:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-09 00:31:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-04-09 00:31:48 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-09 00:36:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 00:38:15 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 00:40:32 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-09 00:40:59 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 250 seconds) |
| 2023-04-09 00:48:56 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-09 00:56:14 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-09 00:58:00 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-09 01:00:15 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 01:01:18 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) |
| 2023-04-09 01:04:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-09 01:04:32 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-09 01:04:50 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-04-09 01:07:05 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-04-09 01:07:06 +0200 | mauke_ | mauke |
| 2023-04-09 01:11:57 +0200 | zeenk2 | (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
| 2023-04-09 01:17:36 +0200 | acidjnk | (~acidjnk@p200300d6e715c45269fa6b647c85025b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-04-09 01:18:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-09 01:19:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-09 01:21:16 +0200 | phma | (~phma@host-67-44-208-55.hnremote.net) (Read error: Connection reset by peer) |
| 2023-04-09 01:21:41 +0200 | phma | (phma@2001:5b0:215d:9858:4ed8:3c0:48bf:3008) |
| 2023-04-09 01:23:54 +0200 | fmlatghor | (~lcoogan@user/fmlatghor) (WeeChat 3.8) |
| 2023-04-09 01:25:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 01:33:24 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 2023-04-09 01:43:39 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2023-04-09 01:43:51 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-09 01:45:52 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-09 01:48:16 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-09 01:51:30 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-04-09 01:52:19 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-09 01:55:03 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-09 01:55:55 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-09 01:56:59 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 01:57:43 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-04-09 01:59:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2023-04-09 02:00:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-09 02:00:19 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-09 02:01:24 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-09 02:04:13 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 276 seconds) |
| 2023-04-09 02:13:27 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-04-09 02:23:38 +0200 | dipper_ | (~dipper@203.168.11.78) |
| 2023-04-09 02:25:50 +0200 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-04-09 02:31:30 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2023-04-09 02:33:09 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-09 02:36:45 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 02:38:17 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 02:40:51 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 02:46:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-09 02:50:44 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 2023-04-09 02:55:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 03:01:58 +0200 | ddellacosta | (~ddellacos@143.244.47.67) |
| 2023-04-09 03:10:20 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-09 03:10:31 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-09 03:14:25 +0200 | npmania | (~Thunderbi@121.128.226.31) (Ping timeout: 276 seconds) |
| 2023-04-09 03:16:27 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-09 03:30:03 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-09 03:31:43 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 03:35:57 +0200 | razetime | (~Thunderbi@49.207.214.243) |
| 2023-04-09 03:37:39 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-09 03:42:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-04-09 03:43:51 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 250 seconds) |
| 2023-04-09 03:44:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 03:47:27 +0200 | razetime | (~Thunderbi@49.207.214.243) (Quit: See You Space Cowboy) |
| 2023-04-09 03:47:45 +0200 | razetime | (~Thunderbi@49.207.214.243) |
| 2023-04-09 03:51:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-09 03:55:10 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-09 04:03:00 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-09 04:03:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-09 04:03:00 +0200 | finn_elija | FinnElija |
| 2023-04-09 04:03:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-04-09 04:11:36 +0200 | razetime | (~Thunderbi@49.207.214.243) (Ping timeout: 265 seconds) |
| 2023-04-09 04:18:15 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 268 seconds) |
| 2023-04-09 04:18:53 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2023-04-09 04:19:29 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-09 04:19:54 +0200 | td_ | (~td@i5387091C.versanet.de) |
| 2023-04-09 04:26:09 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 04:26:19 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-04-09 04:29:00 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 2023-04-09 04:38:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) |
| 2023-04-09 04:38:54 +0200 | nunggu | (~q@user/nunggu) |
| 2023-04-09 04:42:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Ping timeout: 260 seconds) |
| 2023-04-09 04:44:49 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-09 04:45:26 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-09 04:57:58 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 05:01:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-09 05:04:43 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-09 05:13:44 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-04-09 05:14:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-09 05:14:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-09 05:14:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-09 05:14:31 +0200 | brettgilio | (~brettgili@147.182.241.1) |
| 2023-04-09 05:22:14 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 05:23:25 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 05:28:12 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 05:30:03 +0200 | razetime | (~Thunderbi@49.207.214.243) |
| 2023-04-09 05:30:19 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 05:31:36 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 05:32:54 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-09 05:36:11 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 248 seconds) |
| 2023-04-09 05:37:10 +0200 | sudden | (~cat@user/sudden) |
| 2023-04-09 05:37:46 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-04-09 05:38:04 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2023-04-09 05:38:45 +0200 | mei | (~mei@user/mei) (Ping timeout: 260 seconds) |
| 2023-04-09 05:39:36 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-09 05:46:13 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-09 05:46:27 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:6907:a1b3:c864:bab5) |
| 2023-04-09 05:48:59 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-04-09 05:49:43 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-09 05:57:30 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 05:57:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 05:58:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 06:00:06 +0200 | <vlad> | Hi, I've created a ShowColored class to help display colored text |
| 2023-04-09 06:00:08 +0200 | <vlad> | data TxtChunk = TxtChunk Color String |
| 2023-04-09 06:00:10 +0200 | <vlad> | class ShowColor m where |
| 2023-04-09 06:00:12 +0200 | <vlad> | showColor :: m -> [TxtChunk] |
| 2023-04-09 06:00:14 +0200 | <vlad> | printLn :: [TxtChunk] -> IO() |
| 2023-04-09 06:00:18 +0200 | <vlad> | Obviously, if a type is an instance of ShowColor, we can easily get the string from the colored strings to implement Show |
| 2023-04-09 06:00:21 +0200 | <vlad> | So I wrote: |
| 2023-04-09 06:00:24 +0200 | <vlad> | instance ShowColor m => Show m where |
| 2023-04-09 06:00:25 +0200 | <vlad> | show m = showColor m >>= getStr |
| 2023-04-09 06:00:27 +0200 | <vlad> | where getStr (TxtChunk _ str) = str |
| 2023-04-09 06:00:29 +0200 | <vlad> | It works but: |
| 2023-04-09 06:00:31 +0200 | <vlad> | - I'm getting "no orphaned instances warning" |
| 2023-04-09 06:00:33 +0200 | <vlad> | -> this one makes sense |
| 2023-04-09 06:00:35 +0200 | <vlad> | - I had to enable 2 extensions (FlexibleInstances, UndecidableInstances) |
| 2023-04-09 06:00:37 +0200 | <vlad> | - The normal "show" method doesn't work anymore for anything that's not a ShowColor |
| 2023-04-09 06:00:39 +0200 | <vlad> | ie: |
| 2023-04-09 06:00:43 +0200 | <vlad> | show "abc" |
| 2023-04-09 06:00:49 +0200 | <vlad> | -> |
| 2023-04-09 06:00:51 +0200 | <vlad> | Overlapping instances for Show String |
| 2023-04-09 06:00:53 +0200 | <vlad> | arising from a use of ‘show’ |
| 2023-04-09 06:00:55 +0200 | <vlad> | Matching instances: |
| 2023-04-09 06:00:57 +0200 | <vlad> | instance ShowColor m => Show m |
| 2023-04-09 06:00:59 +0200 | <vlad> | am I doing this wrong / is there a way to accomplish this properly ? |
| 2023-04-09 06:02:35 +0200 | razetime | (~Thunderbi@49.207.214.243) (Quit: See You Space Cowboy) |
| 2023-04-09 06:02:47 +0200 | razetime | (~Thunderbi@49.207.214.243) |
| 2023-04-09 06:05:01 +0200 | <jackdk> | please use pastebin in future instead of pasting mass code into the channel. And yeah, you're misunderstanding instance resolution. Your `instance ShowColor m => Show m` instance matches every type, because GHC checks the shape of the type in the instance declaration and only then goes looking to see what other instances it requires. The common solution to this is to create a `newtype ViaShowColor a = ViaShowColor a`... |
| 2023-04-09 06:05:33 +0200 | <jackdk> | ... with `instance ShowColor a => Show (ViaShowColor a)`, which you can use with the `DerivingVia` extension |
| 2023-04-09 06:07:06 +0200 | razetime | (~Thunderbi@49.207.214.243) (Ping timeout: 255 seconds) |
| 2023-04-09 06:10:05 +0200 | <vlad> | (noted for pastebin). |
| 2023-04-09 06:10:05 +0200 | <vlad> | Ah yes, that makes sense (and consistent with the error). I'll lookup that extension. |
| 2023-04-09 06:10:05 +0200 | <vlad> | Thanks for the help! |
| 2023-04-09 06:10:20 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Quit: leaving) |
| 2023-04-09 06:12:31 +0200 | smallville7123_ | (~JScript@144.48.39.29) (Ping timeout: 240 seconds) |
| 2023-04-09 06:13:52 +0200 | <jackdk> | no worried, glad I could help |
| 2023-04-09 06:14:43 +0200 | <jackdk> | specifically, when you have a type with a ShowColor instance, you can say `data YourType = blabla deriving Show via ViaShowColor YourType` |
| 2023-04-09 06:14:56 +0200 | <jackdk> | There's also a form for standalone deriving which I can never remember |
| 2023-04-09 06:17:08 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-04-09 06:17:45 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-04-09 06:21:55 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) (Ping timeout: 260 seconds) |
| 2023-04-09 06:23:27 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 256 seconds) |
| 2023-04-09 06:24:22 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-04-09 06:31:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-04-09 06:32:40 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2023-04-09 06:38:12 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 06:42:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-09 06:56:58 +0200 | <vlad> | oh gosh, it took me a while, but I got it working now. When writing the types & classes with the constraints as arrows, I can see what the VIA means |
| 2023-04-09 06:57:14 +0200 | <vlad> | (I mean when writing these on paper) |
| 2023-04-09 06:59:26 +0200 | <vlad> | Thanks |
| 2023-04-09 07:05:48 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-04-09 07:11:15 +0200 | <vlad> | also, more interestingly while learning, I was trying to implement the bind operation for the continuation monad. |
| 2023-04-09 07:11:15 +0200 | <vlad> | I got stuck, then looked at how it's done in the Prelude |
| 2023-04-09 07:11:15 +0200 | <vlad> | From there, I wrote down an algorithm that could have written the function itself. |
| 2023-04-09 07:11:15 +0200 | <vlad> | https://rentry.co/hbpqh |
| 2023-04-09 07:11:15 +0200 | <vlad> | (this is pastebin but with markdown) |
| 2023-04-09 07:11:18 +0200 | <vlad> | Obviously that's possible because the types are polymorphic so there's very few operations we can do on them (the search tree is quite small) |
| 2023-04-09 07:11:21 +0200 | <vlad> | I thought that's pretty cool, I'm implementing that as my first haskell project |
| 2023-04-09 07:11:23 +0200 | <vlad> | It'd be pretty cool if hsl in vscode could complete functions in such a way |
| 2023-04-09 07:12:31 +0200 | vglfr | (~vglfr@46.96.169.53) (Ping timeout: 240 seconds) |
| 2023-04-09 07:13:19 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-09 07:16:51 +0200 | heraldo | (~heraldo@user/heraldo) (Quit: heraldo) |
| 2023-04-09 07:17:50 +0200 | dipper_ | (~dipper@203.168.11.78) (Remote host closed the connection) |
| 2023-04-09 07:27:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 07:42:10 +0200 | razetime | (~Thunderbi@49.207.214.243) |
| 2023-04-09 07:51:28 +0200 | <jackdk> | I think there was a project called "djinn" that did that, which might be interesting to look up |
| 2023-04-09 07:51:30 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 07:52:12 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) |
| 2023-04-09 07:53:24 +0200 | razetime | (~Thunderbi@49.207.214.243) (Quit: See You Space Cowboy) |
| 2023-04-09 07:56:33 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-04-09 08:01:39 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-09 08:14:39 +0200 | michalz | (~michalz@185.246.204.121) |
| 2023-04-09 08:24:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 08:25:27 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 08:26:26 +0200 | mei | (~mei@user/mei) |
| 2023-04-09 08:36:56 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-04-09 08:39:02 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-04-09 08:39:12 +0200 | cheater_ | cheater |
| 2023-04-09 08:41:26 +0200 | <geekosaur> | two: djinn can handle only a small set of types (and in particular not recursive types like lists) and exference (whyich handles lists and such but may not terminate as a result) |
| 2023-04-09 08:47:17 +0200 | JScript | (~JScript@203-221-220-146.static.tpgi.com.au) |
| 2023-04-09 08:47:25 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-04-09 08:48:55 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-04-09 08:48:56 +0200 | <vlad> | oh this is very cool, thanks - running it now and trying to workout how it works |
| 2023-04-09 08:48:56 +0200 | <vlad> | obviously, my ambitions were much less. But it'll be very interesting to try and understand what's involved in it |
| 2023-04-09 08:48:57 +0200 | <vlad> | My idea was simpler/less ambitious for sure |
| 2023-04-09 08:48:57 +0200 | <vlad> | I did not plan to describe types or rather: |
| 2023-04-09 08:48:57 +0200 | <vlad> | - if the type is a function -> |
| 2023-04-09 08:48:58 +0200 | <vlad> | represent it as (TypeFun Type Type) |
| 2023-04-09 08:49:01 +0200 | <vlad> | - if the type is not a function -> |
| 2023-04-09 08:49:03 +0200 | <vlad> | represent it as a symbol (TypeSym String) |
| 2023-04-09 08:49:07 +0200 | <vlad> | basically just using the rules of lambda calculus to resolve terms |
| 2023-04-09 08:50:50 +0200 | tr_ev | (~trev@user/trev) |
| 2023-04-09 08:51:15 +0200 | tr_ev | trev |
| 2023-04-09 08:51:19 +0200 | <geekosaur> | the paper "Theorems for free" gives some details |
| 2023-04-09 08:51:44 +0200 | <geekosaur> | iirc |
| 2023-04-09 08:56:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-09 08:57:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 08:58:31 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 09:00:23 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 09:00:48 +0200 | JScript | (~JScript@203-221-220-146.static.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2023-04-09 09:06:00 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-04-09 09:06:19 +0200 | <vlad> | it'd take me a while to read that (if I can manage). I imagine it's related to Yoneda's lemma (but I've only managed to go half as far in category theory for programmers) |
| 2023-04-09 09:06:37 +0200 | <vlad> | the Djinn :help also points to another paper |
| 2023-04-09 09:06:38 +0200 | <vlad> | Djinn interprets a Haskell type as a logic formula using the |
| 2023-04-09 09:06:38 +0200 | <vlad> | Curry-Howard isomorphism and then uses a decision procedure for |
| 2023-04-09 09:06:38 +0200 | <vlad> | Intuitionistic Propositional Calculus. This decision procedure is |
| 2023-04-09 09:06:38 +0200 | <vlad> | based on Gentzen's LJ sequent calculus, but in a modified form, LJT, |
| 2023-04-09 09:06:38 +0200 | <vlad> | that ensures termination. This variation on LJ has a long history, |
| 2023-04-09 09:06:40 +0200 | <vlad> | but the particular formulation used in Djinn is due to Roy Dyckhoff. |
| 2023-04-09 09:06:42 +0200 | <vlad> | The decision procedure has been extended to generate a proof object |
| 2023-04-09 09:06:44 +0200 | <vlad> | (i.e., a lambda term). It is this lambda term (in normal form) that |
| 2023-04-09 09:06:46 +0200 | <vlad> | constitutes the Haskell code. |
| 2023-04-09 09:06:49 +0200 | <vlad> | See http://www.dcs.st-and.ac.uk/~rd/publications/jsl57.pdf for more |
| 2023-04-09 09:06:52 +0200 | <vlad> | on the exact method used by Djinn. |
| 2023-04-09 09:07:07 +0200 | <vlad> | the links down, but I wonder if it's this one https://www.cs.cmu.edu/~fp/courses/atp/cmuonly/D92.pdf |
| 2023-04-09 09:13:35 +0200 | <jackdk> | you could also give wayback machine (web.archive.org) a try |
| 2023-04-09 09:15:58 +0200 | <vlad> | good idea, got it now (https://web.archive.org/web/20121203031932/http://www.cs.st-andrews.ac.uk/~rd/publications/jsl57.pdf) |
| 2023-04-09 09:17:53 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 2023-04-09 09:19:57 +0200 | nunggu | (~q@user/nunggu) |
| 2023-04-09 09:24:43 +0200 | JScript | (~JScript@144.48.39.38) |
| 2023-04-09 09:25:13 +0200 | <vlad> | actually theorems for free looks kind of approachable, this blog too looks good: http://blog.sigfpe.com/2006/11/yoneda-lemma.html |
| 2023-04-09 09:30:50 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-09 09:32:09 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2023-04-09 09:33:09 +0200 | acidjnk | (~acidjnk@p200300d6e715c47569fa6b647c85025b.dip0.t-ipconnect.de) |
| 2023-04-09 09:42:24 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 09:44:25 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2023-04-09 09:45:35 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-09 09:46:40 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-09 09:53:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 09:54:28 +0200 | highcloud | (~yyd@65.20.68.187) |
| 2023-04-09 09:56:50 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 09:58:46 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 09:59:39 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-09 10:00:17 +0200 | highcloud | (~yyd@65.20.68.187) (Quit: Leaving) |
| 2023-04-09 10:01:41 +0200 | highcloud | (~yyd@65.20.68.187) |
| 2023-04-09 10:02:19 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-09 10:03:06 +0200 | vysn | (~vysn@user/vysn) (Client Quit) |
| 2023-04-09 10:05:34 +0200 | razetime | (~Thunderbi@49.207.214.243) |
| 2023-04-09 10:09:22 +0200 | razetime | (~Thunderbi@49.207.214.243) (Remote host closed the connection) |
| 2023-04-09 10:21:22 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 10:21:23 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) |
| 2023-04-09 10:25:52 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-09 10:26:22 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-04-09 10:29:56 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-09 10:31:04 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-09 10:31:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) |
| 2023-04-09 10:35:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Ping timeout: 265 seconds) |
| 2023-04-09 10:37:43 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2023-04-09 10:37:50 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-04-09 10:38:57 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-09 10:43:52 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 10:51:16 +0200 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-09 10:51:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-09 10:51:55 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-09 10:53:00 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-09 11:00:13 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) (Quit: You have been kicked for being idle) |
| 2023-04-09 11:00:13 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) (Quit: You have been kicked for being idle) |
| 2023-04-09 11:01:06 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) |
| 2023-04-09 11:01:24 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 11:02:27 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-09 11:03:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-09 11:03:56 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-04-09 11:04:23 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-04-09 11:07:18 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:6907:a1b3:c864:bab5) (Quit: Leaving) |
| 2023-04-09 11:07:21 +0200 | Jozef | (~Jozef@91.90.180.21) |
| 2023-04-09 11:07:33 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 11:10:09 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 11:25:23 +0200 | mmhat | (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-04-09 11:25:55 +0200 | mmhat | (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-04-09 11:27:34 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 265 seconds) |
| 2023-04-09 11:37:57 +0200 | npmania | (~Thunderbi@121.128.226.31) |
| 2023-04-09 11:38:21 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-09 11:38:33 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-09 11:44:14 +0200 | Jozef | (~Jozef@91.90.180.21) (Quit: Client closed) |
| 2023-04-09 11:45:41 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2023-04-09 11:46:13 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-09 11:48:28 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2023-04-09 11:48:57 +0200 | nunggu | (~q@user/nunggu) |
| 2023-04-09 11:51:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-09 11:55:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-09 11:56:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-09 11:59:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 12:02:28 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 12:04:21 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 250 seconds) |
| 2023-04-09 12:04:26 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Remote host closed the connection) |
| 2023-04-09 12:04:48 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-09 12:05:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-09 12:05:29 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 12:05:45 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-09 12:10:46 +0200 | vysn | (~vysn@user/vysn) (Remote host closed the connection) |
| 2023-04-09 12:10:59 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 12:12:52 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-09 12:20:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 12:22:45 +0200 | kenran | (~user@user/kenran) |
| 2023-04-09 12:22:51 +0200 | adziahel[m] | adziahel |
| 2023-04-09 12:24:13 +0200 | vysn | (~vysn@user/vysn) (Remote host closed the connection) |
| 2023-04-09 12:24:21 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-04-09 12:24:27 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 12:30:52 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-04-09 12:31:13 +0200 | npmania | (~Thunderbi@121.128.226.31) (Quit: npmania) |
| 2023-04-09 12:31:21 +0200 | npmania1 | (~Thunderbi@121.128.226.31) |
| 2023-04-09 12:33:13 +0200 | haskl | (~haskl@user/haskl) |
| 2023-04-09 12:33:39 +0200 | npmania1 | npmania |
| 2023-04-09 12:42:43 +0200 | heraldo | (~heraldo@user/heraldo) (Quit: heraldo) |
| 2023-04-09 12:46:42 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 12:58:24 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-09 12:59:12 +0200 | mexpr | (~mexpr@user/mexpr) (Ping timeout: 248 seconds) |
| 2023-04-09 13:00:12 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-09 13:01:03 +0200 | mexpr | (~mexpr@user/mexpr) |
| 2023-04-09 13:13:05 +0200 | michalz | (~michalz@185.246.204.121) (Remote host closed the connection) |
| 2023-04-09 13:13:42 +0200 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-09 13:14:27 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-09 13:14:33 +0200 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-09 13:15:28 +0200 | dextaa2 | (~DV@user/dextaa) |
| 2023-04-09 13:16:50 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-09 13:16:51 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 255 seconds) |
| 2023-04-09 13:16:51 +0200 | dextaa2 | dextaa |
| 2023-04-09 13:22:42 +0200 | npmania | (~Thunderbi@121.128.226.31) (Ping timeout: 255 seconds) |
| 2023-04-09 13:39:20 +0200 | anikdhabal | (~anikdhaba@2405:201:8014:804f:55d7:ec98:e427:c2ff) |
| 2023-04-09 13:39:54 +0200 | anikdhabal | (~anikdhaba@2405:201:8014:804f:55d7:ec98:e427:c2ff) (Client Quit) |
| 2023-04-09 13:43:26 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-09 13:45:14 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-04-09 13:46:28 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit) |
| 2023-04-09 13:47:53 +0200 | kenran | (~user@user/kenran) |
| 2023-04-09 13:48:44 +0200 | Markus2 | (~markus@2a02:8071:684:9860:ee33:6939:67ee:4517) |
| 2023-04-09 13:51:05 +0200 | <Markus2> | Hi |
| 2023-04-09 13:51:15 +0200 | <Markus2> | How to talk to lamdabot? |
| 2023-04-09 13:52:09 +0200 | <ncf> | /query lambdabot |
| 2023-04-09 13:52:14 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-04-09 13:56:21 +0200 | Markus2 | (~markus@2a02:8071:684:9860:ee33:6939:67ee:4517) () |
| 2023-04-09 14:08:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-09 14:14:30 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-04-09 14:19:25 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2023-04-09 14:21:17 +0200 | mexpr | (~mexpr@user/mexpr) (Remote host closed the connection) |
| 2023-04-09 14:23:16 +0200 | nunggu | (~q@user/nunggu) |
| 2023-04-09 14:23:41 +0200 | shailangsa | (~shailangs@host165-120-169-78.range165-120.btcentralplus.com) |
| 2023-04-09 14:35:59 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-09 14:44:07 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 14:44:39 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 14:56:47 +0200 | Benzi-Junior | (~BenziJuni@88-149-67-225.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-09 15:15:24 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 15:16:51 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-09 15:18:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-09 15:19:42 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 15:21:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-09 15:22:25 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 15:26:51 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-09 15:27:04 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-04-09 15:29:18 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 15:34:45 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-04-09 15:36:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) |
| 2023-04-09 15:36:39 +0200 | pavonia | (~user@user/siracusa) |
| 2023-04-09 15:40:07 +0200 | a_coll | (~acoll@45.92.120.189) |
| 2023-04-09 15:40:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Ping timeout: 252 seconds) |
| 2023-04-09 15:42:17 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 265 seconds) |
| 2023-04-09 15:42:45 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 15:48:24 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 15:52:25 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 15:54:28 +0200 | vysn | (~vysn@user/vysn) (Client Quit) |
| 2023-04-09 15:57:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-09 16:09:44 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 16:12:51 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-04-09 16:13:42 +0200 | myme | (~myme@2a01:799:d60:e400:53f1:6d0a:f3a2:798b) (Ping timeout: 265 seconds) |
| 2023-04-09 16:14:36 +0200 | myme | (~myme@2a01:799:d60:e400:7be0:70c6:61f8:dad) |
| 2023-04-09 16:15:03 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-09 16:25:28 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-09 16:26:34 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 16:31:15 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-09 16:32:57 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 16:36:16 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-09 16:43:33 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
| 2023-04-09 16:45:50 +0200 | pyook | (~puke@user/puke) (Ping timeout: 246 seconds) |
| 2023-04-09 16:52:12 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-04-09 16:54:40 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-09 16:54:40 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-09 16:54:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-09 16:55:13 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-09 17:01:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 17:05:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-04-09 17:08:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-04-09 17:09:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) |
| 2023-04-09 17:18:46 +0200 | ddellacosta | (~ddellacos@143.244.47.67) (Ping timeout: 276 seconds) |
| 2023-04-09 17:22:06 +0200 | vglfr | (~vglfr@46.96.169.53) (Ping timeout: 255 seconds) |
| 2023-04-09 17:22:33 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 255 seconds) |
| 2023-04-09 17:22:55 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 17:23:32 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-04-09 17:27:02 +0200 | pyook | (~puke@user/puke) |
| 2023-04-09 17:27:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-09 17:35:32 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-04-09 17:38:19 +0200 | pyook | (~puke@user/puke) (Ping timeout: 248 seconds) |
| 2023-04-09 17:39:18 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-09 17:39:44 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 17:41:20 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-04-09 17:44:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-09 17:44:16 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-67-225.hive.is) |
| 2023-04-09 17:44:46 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 2023-04-09 17:53:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-09 17:55:14 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-09 17:59:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-04-09 18:00:13 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: You have been kicked for being idle) |
| 2023-04-09 18:02:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-09 18:07:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-09 18:08:39 +0200 | highcloud | (~yyd@65.20.68.187) (Remote host closed the connection) |
| 2023-04-09 18:14:53 +0200 | econo | (uid147250@user/econo) |
| 2023-04-09 18:18:29 +0200 | Guest40 | (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) |
| 2023-04-09 18:30:09 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-09 18:34:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 18:39:25 +0200 | pyook | (~puke@user/puke) |
| 2023-04-09 18:44:51 +0200 | ddellacosta | (~ddellacos@146.70.171.100) |
| 2023-04-09 18:45:47 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 2023-04-09 18:49:23 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2023-04-09 18:50:04 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Changing host) |
| 2023-04-09 18:50:04 +0200 | Angelz | (Angelz@user/angelz) |
| 2023-04-09 18:51:16 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 18:51:34 +0200 | Sauvin | (~sauvin@user/Sauvin) (Read error: Connection reset by peer) |
| 2023-04-09 18:52:19 +0200 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-04-09 18:52:43 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 18:56:26 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2023-04-09 18:56:43 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-04-09 18:59:47 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Remote host closed the connection) |
| 2023-04-09 19:03:31 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-09 19:05:11 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-09 19:08:40 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-09 19:14:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-04-09 19:19:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-04-09 19:20:22 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 19:24:52 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-04-09 19:25:22 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-04-09 19:31:24 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) |
| 2023-04-09 19:38:43 +0200 | <hololeap> | I'm curious, when is does it _not_ make sense to use foldMap' ? |
| 2023-04-09 19:40:03 +0200 | <monochrom> | When I don't have a monoid operation, e.g., start with $100000 but keep subtracting. |
| 2023-04-09 19:40:29 +0200 | <monochrom> | Oh nevermind, you mean foldMap' vs foldMap. |
| 2023-04-09 19:40:43 +0200 | <hololeap> | yeah, sorry I didn't make that clear |
| 2023-04-09 19:41:09 +0200 | <monochrom> | Perhaps if the output is a lazy tree. |
| 2023-04-09 19:42:09 +0200 | <hololeap> | when I use something like foldMap, I'm usually trying to condense a bunch of stuff into a single thing, which generally makes sense to do strictly |
| 2023-04-09 19:42:42 +0200 | <int-e> | Or || (hmm, I exprected Data.Monoid to have this) |
| 2023-04-09 19:43:19 +0200 | <hololeap> | but laziness in haskell is confusing. I'm tempted to deepseq the 'a' in (a -> m) |
| 2023-04-09 19:43:24 +0200 | <int-e> | So basically the usual answer... when you actually want laziness, and short-cutting for boolean operations is one such case. |
| 2023-04-09 19:44:52 +0200 | <hololeap> | yeah, that makes sense. First is another case |
| 2023-04-09 19:46:32 +0200 | <hololeap> | Data.Monoid.First |
| 2023-04-09 19:47:09 +0200 | <hololeap> | aka 'Alt Maybe' |
| 2023-04-09 19:47:46 +0200 | <int-e> | :t (`appEndo` False) . foldMap (Endo . (||)) |
| 2023-04-09 19:47:47 +0200 | <lambdabot> | Foldable t => t Bool -> Bool |
| 2023-04-09 19:48:13 +0200 | <int-e> | I guess there's always this (it's basically how you get `foldr` from `foldMap`) |
| 2023-04-09 19:48:24 +0200 | <hololeap> | :t Data.Maybe.Any |
| 2023-04-09 19:48:25 +0200 | <lambdabot> | error: |
| 2023-04-09 19:48:25 +0200 | <lambdabot> | Not in scope: data constructor ‘Data.Maybe.Any’ |
| 2023-04-09 19:48:25 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2023-04-09 19:48:46 +0200 | <hololeap> | Any is what you're looking for int-e |
| 2023-04-09 19:49:26 +0200 | <hololeap> | instance Semigroup Any where (<>) = coerce (||) |
| 2023-04-09 19:49:31 +0200 | <int-e> | Oh. In Data.Monoid. Thanks. |
| 2023-04-09 19:50:18 +0200 | <int-e> | :t (any, all, or, and) |
| 2023-04-09 19:50:19 +0200 | <lambdabot> | error: |
| 2023-04-09 19:50:19 +0200 | <lambdabot> | Ambiguous occurrence ‘or’ |
| 2023-04-09 19:50:19 +0200 | <lambdabot> | It could refer to |
| 2023-04-09 19:50:24 +0200 | <int-e> | meh |
| 2023-04-09 19:51:21 +0200 | <hololeap> | @undef or |
| 2023-04-09 19:51:21 +0200 | <lambdabot> | There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything. |
| 2023-04-09 19:51:30 +0200 | <hololeap> | @undefine |
| 2023-04-09 19:51:30 +0200 | <lambdabot> | Undefined. |
| 2023-04-09 19:51:35 +0200 | <int-e> | well, the type would've been awful anyway because it would have 4 different Foldables in its context. |
| 2023-04-09 19:52:21 +0200 | <hololeap> | yeah I meant Data.Monoid, not Data.Maybe XD |
| 2023-04-09 19:52:22 +0200 | <int-e> | The point was, that there are those 4 related functions and I only checked the last two as potential names in Data.Monoid :-/ |
| 2023-04-09 19:52:41 +0200 | int-e | should've used :browse. Or Hoogle. |
| 2023-04-09 19:53:23 +0200 | <hololeap> | I can never remember the difference between e.g. 'any' and 'or' |
| 2023-04-09 19:53:59 +0200 | <int-e> | Hmm, I can. `any` and `all` take predicates; `and` and `or` work on booleans. |
| 2023-04-09 19:54:20 +0200 | <int-e> | Which is of course *not* helpful for identifying the right name in Data.Monoid. |
| 2023-04-09 19:54:31 +0200 | <hololeap> | `and` and `or` work on [Bool] |
| 2023-04-09 19:54:57 +0200 | <int-e> | And if you know the right name in Data.Monoid then you'll get confused more easily by those functions. |
| 2023-04-09 19:55:00 +0200 | <int-e> | :/ |
| 2023-04-09 19:55:15 +0200 | <int-e> | I want a different colored bikeshed. |
| 2023-04-09 19:55:50 +0200 | <hololeap> | it's best just to memorize Data.Monoid haha. it's incredibly useful |
| 2023-04-09 19:56:13 +0200 | <hololeap> | and similarly, Data.Semigroup and Data.Foldable |
| 2023-04-09 19:56:21 +0200 | <hololeap> | just memorize base |
| 2023-04-09 19:56:23 +0200 | <hololeap> | haha |
| 2023-04-09 19:59:21 +0200 | <hololeap> | oh, wow. there's a lot of lovely explanations in Data.Foldable. was that a recend addition? |
| 2023-04-09 19:59:26 +0200 | <hololeap> | *recent |
| 2023-04-09 20:00:52 +0200 | <hololeap> | https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Foldable.html#g:7 |
| 2023-04-09 20:02:34 +0200 | <hololeap> | looks like it's since base-4.15.0.0 |
| 2023-04-09 20:03:04 +0200 | <hololeap> | I must have just overlooked it |
| 2023-04-09 20:03:14 +0200 | <c_wraith> | huh. Looks like *some* form of my feedback on the initial proposal made an impact |
| 2023-04-09 20:03:31 +0200 | <hololeap> | wdym c_wraith |
| 2023-04-09 20:04:02 +0200 | <c_wraith> | Initially it was going to claim that foldl and foldr always behave like they do on a list. But now there's a big section saying that it depends on the data structure. |
| 2023-04-09 20:04:09 +0200 | <c_wraith> | which is a massive improvement |
| 2023-04-09 20:04:46 +0200 | <hololeap> | nice |
| 2023-04-09 20:05:51 +0200 | <monochrom> | :) |
| 2023-04-09 20:06:20 +0200 | <c_wraith> | (though it still makes a weird claim that it's wrong to provide Foldable instances if the behavior is too different than it is on lists) |
| 2023-04-09 20:14:44 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-09 20:21:37 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 20:23:16 +0200 | Guest|35 | (~Guest|35@i59F7A61F.versanet.de) |
| 2023-04-09 20:24:43 +0200 | Guest|35 | (~Guest|35@i59F7A61F.versanet.de) (Client Quit) |
| 2023-04-09 20:28:54 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 20:29:18 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-04-09 20:29:51 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 20:31:05 +0200 | vysn | (~vysn@user/vysn) (Client Quit) |
| 2023-04-09 20:32:54 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-04-09 20:34:30 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 20:35:12 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-09 20:35:34 +0200 | a_coll | (~acoll@45.92.120.189) (Remote host closed the connection) |
| 2023-04-09 20:43:13 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 252 seconds) |
| 2023-04-09 20:43:26 +0200 | kuribas | (~user@ptr-17d51enbvbynpjq97pe.18120a2.ip6.access.telenet.be) (ERC (IRC client for Emacs 27.1)) |
| 2023-04-09 20:45:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 20:46:42 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-09 20:49:57 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-09 20:52:48 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 248 seconds) |
| 2023-04-09 20:52:48 +0200 | coot_ | coot |
| 2023-04-09 21:03:48 +0200 | michalz | (~michalz@185.246.204.125) |
| 2023-04-09 21:08:03 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-04-09 21:19:27 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-09 21:20:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-09 21:23:04 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-09 21:26:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 2023-04-09 21:31:38 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-09 21:32:22 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-09 21:32:22 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-09 21:32:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-09 21:33:16 +0200 | Guest40 | (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) (Quit: Client closed) |
| 2023-04-09 21:34:44 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-09 21:34:59 +0200 | markasoftware_ | (~quassel@107.161.26.124) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-04-09 21:36:04 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2023-04-09 21:36:53 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-09 21:38:43 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-09 21:39:09 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-09 21:39:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-09 21:47:51 +0200 | kenran | (~user@user/kenran) |
| 2023-04-09 21:48:40 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::8fbc) |
| 2023-04-09 21:51:35 +0200 | mmhat | (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-04-09 21:55:44 +0200 | _xor | (~xor@50.216.161.66.ded-dsl.fuse.net) (Quit: brb) |
| 2023-04-09 21:56:09 +0200 | mmhat | (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-04-09 21:56:42 +0200 | elevenkb | (~elevenkb@105.186.233.148) |
| 2023-04-09 21:59:47 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-04-09 22:10:20 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-09 22:11:26 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-09 22:12:58 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) |
| 2023-04-09 22:16:27 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) |
| 2023-04-09 22:16:49 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 22:18:38 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-09 22:21:22 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-09 22:23:48 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:b3e4:8625:799:d70d) |
| 2023-04-09 22:29:17 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-09 22:32:59 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2023-04-09 22:51:03 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-09 22:59:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-04-09 22:59:26 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-04-09 23:01:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-04-09 23:04:23 +0200 | cheater | (~Username@user/cheater) |
| 2023-04-09 23:09:32 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-04-09 23:09:40 +0200 | hammond | (proscan@gateway02.insomnia247.nl) |
| 2023-04-09 23:11:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-04-09 23:11:48 +0200 | cheater_ | cheater |
| 2023-04-09 23:13:17 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
| 2023-04-09 23:26:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-04-09 23:32:51 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-09 23:39:05 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::8fbc) (Quit: Where is it) |
| 2023-04-09 23:47:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-09 23:49:37 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:b3e4:8625:799:d70d) (Quit: WeeChat 3.7.1) |
| 2023-04-09 23:52:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-09 23:55:53 +0200 | elevenkb | (~elevenkb@105.186.233.148) (Ping timeout: 260 seconds) |
| 2023-04-09 23:56:17 +0200 | cmtay^ | (~cmtay@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-09 23:57:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Remote host closed the connection) |