2023-05-03 00:04:41 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 00:09:41 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 00:10:28 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2023-05-03 00:14:37 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 00:18:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 00:19:27 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-05-03 00:26:09 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-03 00:26:51 +0200 | acidjnk | (~acidjnk@p200300d6e715c400492023c9075c5278.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-05-03 00:27:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 00:28:04 +0200 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 250 seconds) |
2023-05-03 00:29:57 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
2023-05-03 00:30:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-05-03 00:30:42 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 00:34:04 +0200 | jinsl | (~jinsl@123.120.169.188) (Ping timeout: 252 seconds) |
2023-05-03 00:35:03 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) |
2023-05-03 00:35:35 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 00:35:51 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:f753:ade8:fcc8:e633) (Ping timeout: 265 seconds) |
2023-05-03 00:35:51 +0200 | ub | ubert |
2023-05-03 00:36:09 +0200 | zeenk | (~zeenk@2a02:2f04:a20f:5200::7fe) (Quit: Konversation terminated!) |
2023-05-03 00:41:20 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-05-03 00:45:04 +0200 | Square2 | (~Square4@user/square) |
2023-05-03 00:48:32 +0200 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 268 seconds) |
2023-05-03 00:51:16 +0200 | <ncf> | try (Pair <$> term <* comma <*> term) <|> term -- is there a standard idiom to make this not backtrack horribly? |
2023-05-03 00:51:46 +0200 | puke | (~puke@user/puke) |
2023-05-03 00:51:55 +0200 | <ncf> | i went with do t <- term; Pair t <$ comma <*> term <|> pure t but that feels clunky |
2023-05-03 00:52:07 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2023-05-03 00:52:50 +0200 | <ncf> | (context: parsing a haskell-like language using megaparsec) |
2023-05-03 00:53:35 +0200 | <ncf> | (nested (applications (incur (an (exponential (slowdown (because (they (could (be (pairs))))))))))) |
2023-05-03 00:54:52 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 00:59:08 +0200 | <monochrom> | liftA2 f term (optional (comma *> term)), where f handles the Just vs Nothing cases. |
2023-05-03 01:00:08 +0200 | <monochrom> | The clunkiness is then in f. :) |
2023-05-03 01:00:14 +0200 | <ncf> | yeah |
2023-05-03 01:00:19 +0200 | <ncf> | not sure what more i'm looking for tbf |
2023-05-03 01:00:51 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 01:02:33 +0200 | <monochrom> | "do t <- term; (do comma; u <- term; pure (Pair t u)) <|> pure t" is longer but my students actually understand it, so I say it is not clunky, or at least it is less unnatural. |
2023-05-03 01:05:08 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 01:05:12 +0200 | <ncf> | actually i might go with f <$> term `sepBy` comma , where f handles lists of length 0, 1 and 2 |
2023-05-03 01:05:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 01:07:20 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2023-05-03 01:07:29 +0200 | <jackdk> | ncf: Did you see https://www.reddit.com/r/haskell/comments/133mbyb/haskell_2021_design_patterns_for_parser/ ? I don't think it answers your exact question, but it codifies good parser combinator folklore. |
2023-05-03 01:07:56 +0200 | <ncf> | cool, thanks |
2023-05-03 01:09:18 +0200 | ncf | makes f handle arbitrary lists by nesting tuples to the right, while he's at it |
2023-05-03 01:09:23 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
2023-05-03 01:12:55 +0200 | Square2 | Square |
2023-05-03 01:16:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2023-05-03 01:20:05 +0200 | xff0x_ | (~xff0x@fsa056e3ab.kytj202.ap.nuro.jp) |
2023-05-03 01:26:05 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
2023-05-03 01:28:06 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2023-05-03 01:28:25 +0200 | paulpaul1076 | (~textual@95-29-5-210.broadband.corbina.ru) |
2023-05-03 01:34:06 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
2023-05-03 01:35:30 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2023-05-03 01:35:49 +0200 | mauke_ | (~mauke@user/mauke) |
2023-05-03 01:35:55 +0200 | puke | (~puke@user/puke) |
2023-05-03 01:38:04 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 276 seconds) |
2023-05-03 01:38:04 +0200 | mauke_ | mauke |
2023-05-03 01:40:01 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
2023-05-03 01:41:05 +0200 | xff0x_ | (~xff0x@fsa056e3ab.kytj202.ap.nuro.jp) (Ping timeout: 240 seconds) |
2023-05-03 01:41:46 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 01:43:20 +0200 | <sm> | G'day all |
2023-05-03 01:46:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 01:47:23 +0200 | <monochrom> | "the chains are useful for trimming the forest" hahaha |
2023-05-03 01:49:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-05-03 01:49:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-05-03 01:51:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Client Quit) |
2023-05-03 01:58:36 +0200 | Me-me | (~Me-me@user/me-me) |
2023-05-03 02:01:11 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 02:02:35 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Write error: Connection reset by peer) |
2023-05-03 02:02:54 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 02:03:38 +0200 | xff0x_ | (~xff0x@fsa056e3ab.kytj202.ap.nuro.jp) |
2023-05-03 02:05:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 02:12:48 +0200 | xff0x_ | (~xff0x@fsa056e3ab.kytj202.ap.nuro.jp) (Ping timeout: 240 seconds) |
2023-05-03 02:14:42 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-05-03 02:14:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2023-05-03 02:16:02 +0200 | Lord_of_Life_ | Lord_of_Life |
2023-05-03 02:23:33 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 02:27:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
2023-05-03 02:29:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
2023-05-03 02:36:45 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 02:40:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-03 02:40:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-03 02:40:01 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-03 02:50:47 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 02:54:45 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
2023-05-03 02:55:34 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 02:57:12 +0200 | cheater | (~Username@user/cheater) |
2023-05-03 02:58:08 +0200 | juri_ | (~juri@217.138.194.165) (Ping timeout: 248 seconds) |
2023-05-03 02:58:20 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
2023-05-03 02:58:51 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-05-03 03:10:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-05-03 03:10:22 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
2023-05-03 03:10:56 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-05-03 03:12:06 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: No Ping reply in 180 seconds.) |
2023-05-03 03:13:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2023-05-03 03:13:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2023-05-03 03:13:19 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-05-03 03:13:29 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
2023-05-03 03:13:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-05-03 03:13:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-05-03 03:16:12 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 03:16:24 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-05-03 03:20:58 +0200 | cheater | (~Username@user/cheater) |
2023-05-03 03:21:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-05-03 03:22:12 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-05-03 03:23:29 +0200 | bilegeek | (~bilegeek@2600:1008:b066:4741:90e7:9e90:b9cb:f461) |
2023-05-03 03:23:53 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-05-03 03:24:33 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 03:25:21 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
2023-05-03 03:25:44 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-05-03 03:28:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-05-03 03:29:03 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 03:30:22 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-05-03 03:30:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 03:30:43 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2023-05-03 03:33:29 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
2023-05-03 03:33:59 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-05-03 03:34:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds) |
2023-05-03 03:34:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-05-03 03:37:43 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-05-03 03:38:58 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-05-03 03:43:20 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-05-03 03:45:15 +0200 | oddline | (~oddline@user/oddline) () |
2023-05-03 03:45:45 +0200 | Manikariza | (~Manikariz@189.172.242.162) |
2023-05-03 03:49:24 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-05-03 03:52:10 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 03:52:45 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-05-03 03:53:00 +0200 | Manikariza | (~Manikariz@189.172.242.162) (K-Lined) |
2023-05-03 03:56:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 03:57:44 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-05-03 03:58:54 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-05-03 04:00:38 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
2023-05-03 04:03:20 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-05-03 04:06:47 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 04:08:20 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-05-03 04:09:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2023-05-03 04:09:14 +0200 | juri_ | (~juri@217.138.194.165) |
2023-05-03 04:09:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-05-03 04:09:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-05-03 04:10:21 +0200 | mestre | (~mestre@191.177.175.117) |
2023-05-03 04:10:48 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-05-03 04:13:06 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 04:15:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 04:16:35 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-03 04:18:12 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 04:25:36 +0200 | mestre | (~mestre@191.177.175.117) (Ping timeout: 268 seconds) |
2023-05-03 04:32:04 +0200 | mestre | (~mestre@191.177.175.117) |
2023-05-03 04:34:45 +0200 | bilegeek | (~bilegeek@2600:1008:b066:4741:90e7:9e90:b9cb:f461) (Quit: Leaving) |
2023-05-03 04:39:52 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
2023-05-03 04:42:24 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2023-05-03 04:44:19 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2023-05-03 04:48:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-05-03 04:48:44 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-05-03 04:48:44 +0200 | finn_elija | FinnElija |
2023-05-03 04:49:25 +0200 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 240 seconds) |
2023-05-03 04:51:21 +0200 | td_ | (~td@i53870903.versanet.de) |
2023-05-03 04:52:32 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Quit: Quit) |
2023-05-03 04:52:52 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-05-03 04:54:57 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-05-03 04:55:22 +0200 | Batzy | (~quassel@user/batzy) |
2023-05-03 04:55:41 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 04:58:54 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 250 seconds) |
2023-05-03 04:59:04 +0200 | cheater | (~Username@user/cheater) (Remote host closed the connection) |
2023-05-03 04:59:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 05:00:02 +0200 | mestre | (~mestre@191.177.175.117) (Quit: Lost terminal) |
2023-05-03 05:03:39 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 05:06:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-05-03 05:07:45 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-03 05:11:39 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
2023-05-03 05:12:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
2023-05-03 05:16:02 +0200 | hueso | (~root@user/hueso) (Ping timeout: 246 seconds) |
2023-05-03 05:16:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-05-03 05:18:48 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2023-05-03 05:25:40 +0200 | Skillingford | (~Skeeelton@189.172.17.68) |
2023-05-03 05:26:24 +0200 | dtman34_ | (~dtman34@76.156.89.180) (Ping timeout: 248 seconds) |
2023-05-03 05:28:21 +0200 | Skillingford | (~Skeeelton@189.172.17.68) (K-Lined) |
2023-05-03 05:29:07 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2023-05-03 05:31:36 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2023-05-03 05:36:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-05-03 05:36:16 +0200 | ub | (~Thunderbi@p200300ecdf15583fadacaf30e6b5a958.dip0.t-ipconnect.de) |
2023-05-03 05:38:22 +0200 | ubert | (~Thunderbi@p548c9793.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2023-05-03 05:38:22 +0200 | ub | ubert |
2023-05-03 05:39:40 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 05:40:17 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 05:41:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2023-05-03 05:43:29 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
2023-05-03 05:44:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-03 05:51:48 +0200 | ubert | (~Thunderbi@p200300ecdf15583fadacaf30e6b5a958.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-05-03 05:52:08 +0200 | ubert | (~Thunderbi@p548c9793.dip0.t-ipconnect.de) |
2023-05-03 05:56:46 +0200 | vizor | (~macroVizo@2601:602:77f:f0a0::c38a) |
2023-05-03 05:58:27 +0200 | hueso | (~root@user/hueso) |
2023-05-03 05:59:42 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:aba0:2b0:9983:9568) |
2023-05-03 06:02:18 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
2023-05-03 06:05:18 +0200 | offtherock | (~blurb@96.45.2.121) (Remote host closed the connection) |
2023-05-03 06:05:36 +0200 | offtherock | (~blurb@96.45.2.121) |
2023-05-03 06:08:32 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 246 seconds) |
2023-05-03 06:11:44 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2023-05-03 06:12:15 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-05-03 06:16:35 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Client Quit) |
2023-05-03 06:16:52 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2023-05-03 06:17:32 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-05-03 06:19:27 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 06:20:23 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
2023-05-03 06:22:29 +0200 | img | (~img@user/img) |
2023-05-03 06:23:11 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 06:23:54 +0200 | jargon_ | (~jargon@184.101.78.160) (Remote host closed the connection) |
2023-05-03 06:24:44 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-05-03 06:28:05 +0200 | repair | (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) |
2023-05-03 06:29:06 +0200 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
2023-05-03 06:29:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-05-03 06:29:59 +0200 | repair | (~user@2600:8801:1100:463:1dcc:6fb:3857:cc6b) (Remote host closed the connection) |
2023-05-03 06:31:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-05-03 06:35:08 +0200 | DeSantis | (~DeSantis@189.172.121.16) |
2023-05-03 06:35:54 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 06:37:51 +0200 | merijn | (~merijn@c-001-002-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 06:38:11 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-03 06:38:53 +0200 | krei-se- | (~krei-se@128.90.23.125) |
2023-05-03 06:38:59 +0200 | krei-se | (~krei-se@p57af2733.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-05-03 06:40:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 06:42:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-03 06:42:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-03 06:42:09 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-03 06:43:13 +0200 | DeSantis | (~DeSantis@189.172.121.16) (K-Lined) |
2023-05-03 06:49:55 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 06:53:08 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
2023-05-03 06:55:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 06:56:45 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-05-03 06:59:49 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
2023-05-03 07:00:25 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
2023-05-03 07:09:10 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 07:12:43 +0200 | merijn | (~merijn@c-001-002-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 07:13:25 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 07:14:43 +0200 | mbuf | (~Shakthi@49.207.178.186) |
2023-05-03 07:15:45 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-03 07:17:21 +0200 | CyberSoul | (~ray@2405:201:680a:b174:7b30:abcb:1d56:b23) (Quit: Leaving) |
2023-05-03 07:17:26 +0200 | ray_ | (~ray@2405:201:680a:b174:ca64:ecc9:98b0:81d3) (Quit: Leaving) |
2023-05-03 07:17:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-05-03 07:17:51 +0200 | ray_ | (~CyberSoul@2405:201:680a:b174:ca64:ecc9:98b0:81d3) |
2023-05-03 07:20:05 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2023-05-03 07:21:23 +0200 | <jade[m]> | I'm learning about a few very interesting topics, branching out from Core/System F(C) |
2023-05-03 07:21:36 +0200 | foul_owl | (~kerry@45.143.82.151) (Ping timeout: 248 seconds) |
2023-05-03 07:22:12 +0200 | <jade[m]> | I don't understand much, but the simply typed lambda calculus, lambda cube and related things are super cool |
2023-05-03 07:23:12 +0200 | ddellacosta | (~ddellacos@143.244.47.86) (Ping timeout: 268 seconds) |
2023-05-03 07:23:36 +0200 | <segfaultfizzbuzz> | you can give us a mini-irc lecture |
2023-05-03 07:23:53 +0200 | <segfaultfizzbuzz> | like a ted talk, but on irc |
2023-05-03 07:24:29 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
2023-05-03 07:24:45 +0200 | <segfaultfizzbuzz> | just imagine you are wearing a nice suit or dress and have a bunch of slides already made for you which alternate between a single word and some kind of stockart photo |
2023-05-03 07:26:22 +0200 | <jade[m]> | hahaha |
2023-05-03 07:27:31 +0200 | <jade[m]> | your confidence in me is charming but I doubt I have anywhere near the insight into such an advanced topic from reading a few articles as to give a talk about it |
2023-05-03 07:27:33 +0200 | <segfaultfizzbuzz> | i'll take that as a "next slide" signal... your first slide is a photograph of a palm tree |
2023-05-03 07:28:02 +0200 | <segfaultfizzbuzz> | well why don't you say what you know and then the wizards of #haskell irc can chime in and fix your understanding |
2023-05-03 07:28:48 +0200 | <jade[m]> | I've got a lot more reading up to do ... and then lets see |
2023-05-03 07:29:03 +0200 | <jade[m]> | keep the palm tree up |
2023-05-03 07:30:07 +0200 | <segfaultfizzbuzz> | that was a next slide queue, this slide says "boldness" |
2023-05-03 07:31:12 +0200 | <sm> | exciting! where will this presentation lead |
2023-05-03 07:33:33 +0200 | <jade[m]> | segfaultfizzbuzz: is the font bold? |
2023-05-03 07:33:41 +0200 | <jade[m]> | That'd be pretty funny |
2023-05-03 07:33:48 +0200 | <jade[m]> | and then it just goes to the next slide |
2023-05-03 07:35:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-05-03 07:36:03 +0200 | foul_owl | (~kerry@71.212.137.212) |
2023-05-03 07:36:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-05-03 07:36:46 +0200 | <segfaultfizzbuzz> | jade[m]: yes bold helvetica |
2023-05-03 07:36:49 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-05-03 07:36:50 +0200 | mncheck | (~mncheck@193.224.205.254) |
2023-05-03 07:37:07 +0200 | <segfaultfizzbuzz> | the next slide is a photo of a coffee mug and a french press half full of coffee |
2023-05-03 07:38:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 07:41:12 +0200 | jade[m] | stares at the slide in awkward silence |
2023-05-03 07:41:43 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
2023-05-03 07:41:55 +0200 | <jade[m]> | anyways, thank you for coming to my ted talk, next week I will talk about pine trees, itallicness and ways to brew tea |
2023-05-03 07:42:03 +0200 | <segfaultfizzbuzz> | the next slide says "lambda" |
2023-05-03 07:42:31 +0200 | <jade[m]> | hm |
2023-05-03 07:42:50 +0200 | <jade[m]> | this was supposed to thank you for your attention |
2023-05-03 07:42:51 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 07:42:53 +0200 | <segfaultfizzbuzz> | the next side is a picture of a dog salivating, but with a lot of emphasis on the saliva |
2023-05-03 07:43:07 +0200 | <jade[m]> | hm |
2023-05-03 07:43:17 +0200 | jade[m] | leaves the presentation stage |
2023-05-03 07:44:00 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
2023-05-03 07:44:02 +0200 | rlj | (~rlj@sessfw95-sesbfw95-85.ericsson.net) |
2023-05-03 07:44:06 +0200 | <segfaultfizzbuzz> | the next slide says "cartesian closed categories" |
2023-05-03 07:44:48 +0200 | <jade[m]> | I think the presentation has come alive |
2023-05-03 07:45:30 +0200 | <sm> | the audience starts looking around and muttering |
2023-05-03 07:46:21 +0200 | <segfaultfizzbuzz> | the next slide is a photo of a terminator T-800 |
2023-05-03 07:47:20 +0200 | jade[m] | sits down in the audience |
2023-05-03 07:47:55 +0200 | acidjnk | (~acidjnk@p200300d6e715c400492023c9075c5278.dip0.t-ipconnect.de) |
2023-05-03 07:48:32 +0200 | <segfaultfizzbuzz> | the next slide says "artificial intelligence" |
2023-05-03 07:49:41 +0200 | <jade[m]> | one lonely yell from the audience: I've heard about this |
2023-05-03 07:50:10 +0200 | <segfaultfizzbuzz> | the next slide is a photo of a matrix |
2023-05-03 07:51:15 +0200 | sm | discreetly edges towards the door |
2023-05-03 07:51:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-05-03 07:51:50 +0200 | segfaultfizzbuzz | the doors lock themselves automatically, electronically |
2023-05-03 07:52:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-05-03 07:52:45 +0200 | sm | angles for a better view and feigns great interest |
2023-05-03 07:53:34 +0200 | <segfaultfizzbuzz> | the next slide says "marketingbabble + machine learning = ..." |
2023-05-03 07:55:40 +0200 | <segfaultfizzbuzz> | the slide computer bluescreens |
2023-05-03 07:55:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
2023-05-03 07:56:53 +0200 | <jade[m]> | shame |
2023-05-03 07:56:55 +0200 | sm | quickly approaches the podium, closes the laptop, yanks power cable from projector |
2023-05-03 07:57:10 +0200 | <jade[m]> | I was just getting the story :( |
2023-05-03 08:05:08 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
2023-05-03 08:08:22 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 08:08:22 +0200 | <tdammers> | best TED talk ever |
2023-05-03 08:10:24 +0200 | p0lyph3m | (~polyphem@ip-109-43-49-185.web.vodafone.de) |
2023-05-03 08:11:10 +0200 | cheater | (~Username@user/cheater) |
2023-05-03 08:11:10 +0200 | polyphem | (~polyphem@ip-109-43-49-185.web.vodafone.de) (Remote host closed the connection) |
2023-05-03 08:14:52 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 08:20:33 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-03 08:23:51 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
2023-05-03 08:29:37 +0200 | kenran | (~user@user/kenran) |
2023-05-03 08:33:55 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 260 seconds) |
2023-05-03 08:35:40 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
2023-05-03 08:40:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6a5b:f824:6e12:29b1) |
2023-05-03 08:43:22 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 08:50:07 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 08:50:39 +0200 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-05-03 08:54:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-03 09:01:37 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-05-03 09:07:08 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
2023-05-03 09:16:18 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
2023-05-03 09:16:49 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
2023-05-03 09:20:58 +0200 | jonathan_ | (~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
2023-05-03 09:22:43 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 09:23:38 +0200 | phma | (~phma@host-67-44-208-157.hnremote.net) (Read error: Connection reset by peer) |
2023-05-03 09:23:50 +0200 | tr_ev | (~trev@user/trev) |
2023-05-03 09:24:37 +0200 | phma | (~phma@2001:5b0:215a:d888:a541:81b6:7d20:c3e7) |
2023-05-03 09:26:48 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-03 09:27:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
2023-05-03 09:29:01 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Ping timeout: 240 seconds) |
2023-05-03 09:29:02 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
2023-05-03 09:31:55 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:7fb1:4019:2d6f:d4aa) |
2023-05-03 09:32:22 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 09:32:30 +0200 | akegalj | (~akegalj@93-139-179-252.adsl.net.t-com.hr) |
2023-05-03 09:32:51 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) |
2023-05-03 09:32:58 +0200 | notzmv | (~zmv@user/notzmv) |
2023-05-03 09:35:34 +0200 | zeenk | (~zeenk@2a02:2f04:a20f:5200::7fe) |
2023-05-03 09:38:17 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-05-03 09:42:30 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2023-05-03 09:44:24 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-05-03 09:47:34 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-05-03 09:48:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-05-03 09:52:42 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-05-03 09:55:17 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-05-03 09:56:02 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 10:00:20 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2023-05-03 10:01:04 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-03 10:04:12 +0200 | tr_ev | trev |
2023-05-03 10:07:16 +0200 | mmhat | (~mmh@p200300f1c71c2d30ee086bfffe095315.dip0.t-ipconnect.de) |
2023-05-03 10:07:20 +0200 | mmhat | (~mmh@p200300f1c71c2d30ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
2023-05-03 10:10:57 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
2023-05-03 10:11:26 +0200 | JScript | (~JScript@103.137.12.134) (Ping timeout: 246 seconds) |
2023-05-03 10:14:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-05-03 10:15:46 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-05-03 10:17:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-05-03 10:17:09 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
2023-05-03 10:22:21 +0200 | akegalj | (~akegalj@93-139-179-252.adsl.net.t-com.hr) (Quit: leaving) |
2023-05-03 10:24:44 +0200 | p0lyph3m | (~polyphem@ip-109-43-49-185.web.vodafone.de) (Ping timeout: 246 seconds) |
2023-05-03 10:27:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-05-03 10:28:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 10:32:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 246 seconds) |
2023-05-03 10:33:09 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 10:39:26 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
2023-05-03 10:39:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-05-03 10:42:17 +0200 | yoneda | (~mike@193.206.102.122) |
2023-05-03 10:42:38 +0200 | ray_ | (~CyberSoul@2405:201:680a:b174:ca64:ecc9:98b0:81d3) (Quit: Leaving) |
2023-05-03 10:43:09 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
2023-05-03 10:44:32 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 10:49:16 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
2023-05-03 10:51:01 +0200 | denbrahe | (~denbrahe@2001:470:69fc:105::19c0) |
2023-05-03 10:51:23 +0200 | JScript | (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) |
2023-05-03 10:51:28 +0200 | JScript | (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Max SendQ exceeded) |
2023-05-03 10:51:53 +0200 | JScript | (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) |
2023-05-03 10:57:52 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) (Ping timeout: 265 seconds) |
2023-05-03 10:59:28 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 10:59:44 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
2023-05-03 11:00:08 +0200 | jesser[m]1 | (~jesserjes@2001:470:69fc:105::3:3cd5) (Quit: You have been kicked for being idle) |
2023-05-03 11:00:08 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) (Quit: You have been kicked for being idle) |
2023-05-03 11:01:30 +0200 | pyook | (~puke@user/puke) (Ping timeout: 268 seconds) |
2023-05-03 11:03:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 11:06:12 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 252 seconds) |
2023-05-03 11:07:03 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
2023-05-03 11:08:33 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
2023-05-03 11:09:19 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Remote host closed the connection) |
2023-05-03 11:09:29 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
2023-05-03 11:15:04 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 268 seconds) |
2023-05-03 11:16:24 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 11:16:42 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) |
2023-05-03 11:16:48 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-05-03 11:16:55 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-03 11:17:30 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
2023-05-03 11:19:47 +0200 | JScript | (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Read error: Connection reset by peer) |
2023-05-03 11:20:14 +0200 | JScript | (~JScript@103.137.12.173) |
2023-05-03 11:20:19 +0200 | JScript | (~JScript@103.137.12.173) (Max SendQ exceeded) |
2023-05-03 11:20:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-03 11:20:47 +0200 | damax | (~damax@gateway/tor-sasl/damax) |
2023-05-03 11:21:07 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 11:21:51 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2023-05-03 11:23:13 +0200 | JScript | (~JScript@103.137.12.173) |
2023-05-03 11:25:08 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-03 11:26:25 +0200 | <damax> | Hello everyone, I'm having some problems with GHCi occasionally crashing on linux with segmentation fault errors. The full error is ghc: mmap 4096 bytes at (nil): Cannot allocate memory | ghc: Try specifying an address with +RTS -xm<addr> -RTS | Segmentation fault (core dumped). I seem to have this problem probably since an update, I suspect of the linux kernel, but unfortunately I have no way of knowing |
2023-05-03 11:26:31 +0200 | <damax> | for sure. I have arch linux with kernel 6.2.13-arch1-1, ghcup-hs-bin 0.1.19.2-1, stack 2.9.3, hls 1.10.0.0, cabal 3.6.2 and ghc 9.2.7 |
2023-05-03 11:26:40 +0200 | <merijn> | damax: linux kernel bug |
2023-05-03 11:27:03 +0200 | <merijn> | damax: https://bbs.archlinux.org/viewtopic.php?id=282429 |
2023-05-03 11:27:44 +0200 | <merijn> | ah, actually interesting, it should be fixed in kernel 6.2.9, but still broken on arch 6.2.13? :O |
2023-05-03 11:27:59 +0200 | <damax> | merijn: I had already seen some thread about it, but what I had found was relatively old. I do understand now it probably came back after it was apparently fixed in 6.2.9 |
2023-05-03 11:28:33 +0200 | <damax> | I guess it's just a regression error |
2023-05-03 11:28:38 +0200 | <merijn> | damax: tbh, the easiest workaround, I think, is updating to ghc 9.4, since that uses a different method for mmaping which avoids the issue |
2023-05-03 11:28:47 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-05-03 11:28:59 +0200 | <merijn> | damax: I mean, that threat is from beginning of April, I wouldn't really call that "old" :p |
2023-05-03 11:29:07 +0200 | <merijn> | *thread |
2023-05-03 11:29:14 +0200 | <damax> | Unfortunate, not breaking, but still somewhat annoying |
2023-05-03 11:30:08 +0200 | <damax> | merijn: You're right, it's just a few months from the start of the entire discussion, and understandable. I might update to latest versions instead of recommended ones. Thank you all for giving me some more insight |
2023-05-03 11:31:12 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:7fb1:4019:2d6f:d4aa) (Ping timeout: 248 seconds) |
2023-05-03 11:31:50 +0200 | <merijn> | Maybe the GHC issue tracker has an issue for it (can't quickly find it atm) with more suggestions for workarounds |
2023-05-03 11:32:50 +0200 | <damax> | Will search for it |
2023-05-03 11:33:01 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
2023-05-03 11:33:12 +0200 | <merijn> | damax: oh, actually: https://lore.kernel.org/lkml/e6108286ac025c268964a7ead3aab9899f9bc6e9.camel@spotco.us/ |
2023-05-03 11:33:19 +0200 | <merijn> | 6.2.12 is fixed, 6.2.13 is regressed |
2023-05-03 11:33:43 +0200 | <merijn> | RIP |
2023-05-03 11:35:42 +0200 | <damax> | Ahah, that's nice, thank you for finding it on the kernel thingie directly. Guess I could also just wait a bit for another patch, which could fix it again. I'll think about it |
2023-05-03 11:44:40 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds) |
2023-05-03 11:45:07 +0200 | damax | (~damax@gateway/tor-sasl/damax) () |
2023-05-03 11:46:18 +0200 | xff0x_ | (~xff0x@178.255.149.135) |
2023-05-03 11:48:22 +0200 | rlj | (~rlj@sessfw95-sesbfw95-85.ericsson.net) (Quit: Client closed) |
2023-05-03 11:49:08 +0200 | acidjnk | (~acidjnk@p200300d6e715c400492023c9075c5278.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-05-03 11:50:08 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
2023-05-03 11:51:17 +0200 | freeside | (~mengwong@122.11.212.195) |
2023-05-03 11:52:37 +0200 | acidjnk | (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) |
2023-05-03 11:56:50 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 246 seconds) |
2023-05-03 11:58:21 +0200 | freeside | (~mengwong@122.11.212.195) (Read error: Connection reset by peer) |
2023-05-03 11:59:12 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
2023-05-03 12:00:43 +0200 | xff0x_ | (~xff0x@178.255.149.135) (Ping timeout: 248 seconds) |
2023-05-03 12:02:29 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) |
2023-05-03 12:03:41 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 12:04:38 +0200 | rlj | (~rlj@sessfw95-sesbfw95-85.ericsson.net) |
2023-05-03 12:06:28 +0200 | CiaoSen | (~Jura@p200300c5af2e67002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2023-05-03 12:08:43 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-03 12:09:02 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-05-03 12:15:47 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
2023-05-03 12:15:56 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
2023-05-03 12:16:55 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
2023-05-03 12:17:23 +0200 | MasseR[m] | (~masserauh@2001:470:69fc:105::3bd) |
2023-05-03 12:19:57 +0200 | mechap | (~mechap@user/mechap) |
2023-05-03 12:21:31 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 12:21:50 +0200 | <tomsmeding> | merijn: rip. Also /me happy that I accidentally have 6.2.12 currently |
2023-05-03 12:22:53 +0200 | <merijn> | I'm pretty sure the most recent linux I have to deal with is, like, 5.x :p |
2023-05-03 12:22:56 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:2226:8b00:a8fa:36b2) (Ping timeout: 265 seconds) |
2023-05-03 12:23:08 +0200 | <geekosaur> | same |
2023-05-03 12:24:47 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
2023-05-03 12:25:06 +0200 | <merijn> | ah, no |
2023-05-03 12:25:08 +0200 | <merijn> | 4.18 :p |
2023-05-03 12:25:38 +0200 | <merijn> | Apparently one of these is running linux 3.10 :p |
2023-05-03 12:28:27 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
2023-05-03 12:33:07 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-05-03 12:34:10 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 12:36:35 +0200 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
2023-05-03 12:36:49 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 12:41:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 12:41:18 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2023-05-03 12:41:57 +0200 | <Helle> | bleah, not a huge fan of Options.Applicative |
2023-05-03 12:44:16 +0200 | <Helle> | not that I have a better suggestion of how to do this, but still |
2023-05-03 12:47:19 +0200 | <Helle> | Trying to just implement --version with it is a pain (because it seems tricky to make it go "if --version is given, ignore all other parameters") |
2023-05-03 12:51:07 +0200 | <merijn> | Helle: hmm? |
2023-05-03 12:51:30 +0200 | <merijn> | You can just literally do "versionFlag <|> regularRest" and call it a day |
2023-05-03 12:54:20 +0200 | <Helle> | I thought so, I must be misreading something in the existing code |
2023-05-03 12:55:09 +0200 | <merijn> | optarse doesn't actually do anything with the parsed parameters anyway, that's up to the logic actually handling the result |
2023-05-03 12:56:34 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 12:58:25 +0200 | <Helle> | merijn: the problem I hit initially was that it still requires required parameters, but indeed compositing two option parsers should side step that |
2023-05-03 12:58:39 +0200 | <Helle> | I am just slightly confused on what on earth someone was doing in this code before |
2023-05-03 12:58:48 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-03 12:59:26 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 13:00:05 +0200 | hueso | (~root@user/hueso) (Ping timeout: 240 seconds) |
2023-05-03 13:00:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-03 13:00:28 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 13:00:48 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
2023-05-03 13:01:03 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-05-03 13:03:11 +0200 | hueso | (~root@user/hueso) |
2023-05-03 13:10:31 +0200 | jpds3 | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 13:10:54 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2023-05-03 13:11:09 +0200 | <geekosaur> | I wonder that a lot. especially when it's my own code 🙂 |
2023-05-03 13:15:05 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 13:16:56 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
2023-05-03 13:17:10 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 13:17:41 +0200 | <Helle> | I am being very newbie at actual (larger) programs in Haskell and this is code with some history to it |
2023-05-03 13:18:34 +0200 | <merijn> | geekosaur: I know I've become a decent engineer because I can look at code I wrote 5 years ago and it still looks mostly sensible after not looking at it for that time |
2023-05-03 13:18:39 +0200 | <Helle> | as always, types to the rescue |
2023-05-03 13:18:50 +0200 | <Helle> | I would be unable to work without ghci at the moment |
2023-05-03 13:21:11 +0200 | freeside_ | (~mengwong@103.252.202.85) |
2023-05-03 13:21:39 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:adb5:c76d:d6c1:df1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2023-05-03 13:22:00 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:1cb0:311a:b5fe:ccc6) |
2023-05-03 13:22:35 +0200 | <freeside_> | what are my options for Haskell consulting? I mean, I would like to pay someone to go resolve an issue or two in Github. I would do it myself except it would probably be more efficient for someone better at Haskell. Is there some standard forum where these kinds of services are offered? |
2023-05-03 13:23:41 +0200 | rlj | (~rlj@sessfw95-sesbfw95-85.ericsson.net) (Quit: Client closed) |
2023-05-03 13:23:42 +0200 | <freeside_> | oops, i am doubly instantiated |
2023-05-03 13:23:43 +0200 | freeside_ | (~mengwong@103.252.202.85) (Client Quit) |
2023-05-03 13:23:49 +0200 | coot | (~coot@213.134.170.228) |
2023-05-03 13:24:01 +0200 | <freeside> | the issue in question is https://github.com/Gabriella439/optparse-generic/issues/105 |
2023-05-03 13:28:25 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-05-03 13:28:48 +0200 | coot | (~coot@213.134.170.228) (Ping timeout: 240 seconds) |
2023-05-03 13:29:17 +0200 | coot_ | coot |
2023-05-03 13:30:20 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 13:31:33 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 13:31:41 +0200 | drdo | (~drdo@bl14-14-164.dsl.telepac.pt) |
2023-05-03 13:31:58 +0200 | jpds4 | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 13:32:01 +0200 | drdo | (~drdo@bl14-14-164.dsl.telepac.pt) (Remote host closed the connection) |
2023-05-03 13:32:52 +0200 | drdo | (~drdo@bl14-14-164.dsl.telepac.pt) |
2023-05-03 13:33:29 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 13:33:37 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-05-03 13:33:44 +0200 | jpds3 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-05-03 13:36:23 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-05-03 13:37:40 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
2023-05-03 13:39:08 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-05-03 13:43:10 +0200 | CiaoSen | (~Jura@p200300c5af2e67002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2023-05-03 13:43:14 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-05-03 13:45:26 +0200 | <eldritchcookie[m> | hello i want to make a refactor in GHC after i do that how can i compare and see if it had a performance penalty/benefit? i've never benchmarked haskell code before |
2023-05-03 13:45:48 +0200 | <geekosaur> | there's a ghc-specific benchmark suite (nofib) |
2023-05-03 13:46:55 +0200 | <geekosaur> | it includes some tools to compare between runs (e.g. with changes) and tell you how time, allocations, etc. changed |
2023-05-03 13:47:19 +0200 | CiaoSen | (~Jura@p200300c5af034c002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2023-05-03 13:48:33 +0200 | <geekosaur> | nemmind, I see bgamari is giving you more specific instructions |
2023-05-03 13:49:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
2023-05-03 13:49:38 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
2023-05-03 13:49:48 +0200 | acidjnk | (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-05-03 13:52:48 +0200 | <dminuoso> | What does nofib stand for anyway? |
2023-05-03 13:53:43 +0200 | <geekosaur> | I don't think anyone knows at this point? urban legend says "not fibonacci" |
2023-05-03 13:55:27 +0200 | <dminuoso> | That's what edwardk seems to believe if https://www.schoolofhaskell.com/user/edwardk/fibonacci is to be believed |
2023-05-03 13:55:41 +0200 | <dminuoso> | http://web.mit.edu/~ezyang/Public/10.1.1.53.4124.pdf suggests "nfib" to be rather old. |
2023-05-03 13:56:44 +0200 | <ski> | ("naïve fibonacci", iirc) |
2023-05-03 13:57:11 +0200 | <dminuoso> | https://users.ece.cmu.edu/~koopman/tigre/chap5.pdf |
2023-05-03 13:57:20 +0200 | <dminuoso> | `The nfib benchmark is similar to fib, except that it returns the number of recursions taken in computing the nth Fibonacci number instead of the actual Fibonacci number. ` |
2023-05-03 13:57:35 +0200 | CyberSoul | (~CyberSoul@2405:201:680a:b174:5756:9d66:9d0:607a) |
2023-05-03 13:57:49 +0200 | <ski> | ah, Philip Koopman's thesis :) |
2023-05-03 13:58:42 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2023-05-03 13:59:07 +0200 | <dminuoso> | But maybe `nofib` standing for `not fibonacci` might be reasonable if its just a play on `nfib`, `fib` and `skifib`. |
2023-05-03 13:59:27 +0200 | <dminuoso> | ski: Look, there's even a benchmark that tests how fast you compute a given fibonacci number. |
2023-05-03 13:59:43 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 13:59:50 +0200 | <ski> | would that be `fib (max 0 (n - 1))' ? (or perhaps one less ?) |
2023-05-03 14:00:21 +0200 | <ski> | which given fibonacci number ? |
2023-05-03 14:00:40 +0200 | <dminuoso> | ski: Oh, I was just taking note of `skifib`, that's all. |
2023-05-03 14:01:12 +0200 | acidjnk | (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) |
2023-05-03 14:01:23 +0200 | <dminuoso> | One thing that is interesting, is that `nofib` existed since at least 1993, given that its mentioned in 10.1007/978-1-4471-3215-8_17 |
2023-05-03 14:01:29 +0200 | <ski> | i'm pretty sure i've seen `nfib' being referred to as "naïve fibonacci", in some paper |
2023-05-03 14:01:34 +0200 | <dminuoso> | Philip Koopman's thesis is from 1997 I believe |
2023-05-03 14:01:44 +0200 | <ski> | (dunno about `nofib') |
2023-05-03 14:01:57 +0200 | <dminuoso> | ski: There's probably ambiguitiy. Different authors using the same word but to mean different things. |
2023-05-03 14:02:08 +0200 | <ski> | yea, that's quite possible |
2023-05-03 14:03:20 +0200 | <dminuoso> | nofib meaning "not fibonacci" seems reasonable if you read "The nofib Benchmark Suite of Haskell Programs" |
2023-05-03 14:04:10 +0200 | <dminuoso> | Though, it mentions that nofib is structured into "real", "spectral" and "imaginary" programs. |
2023-05-03 14:04:20 +0200 | <dminuoso> | And fibonacci would certainly fit into the "imaginary" section (but is not mentioned there) |
2023-05-03 14:04:28 +0200 | CiaoSen | (~Jura@p200300c5af034c002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-05-03 14:05:10 +0200 | <dminuoso> | But perhaps it just matters that the "imaginary" subset is considered largely irrelevant |
2023-05-03 14:05:50 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 14:05:52 +0200 | <ski> | book from 1990, apparently |
2023-05-03 14:06:04 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:3247:bb76:c4f:b257) |
2023-05-03 14:07:07 +0200 | chomwitt | (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) |
2023-05-03 14:18:58 +0200 | Me-me | (~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.) |
2023-05-03 14:19:09 +0200 | vulfe_ | (~vulfe@207.229.148.168) |
2023-05-03 14:24:58 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-05-03 14:26:19 +0200 | chomwitt | (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-05-03 14:27:20 +0200 | jpds4 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-05-03 14:28:42 +0200 | freeside | (~mengwong@122.11.212.195) |
2023-05-03 14:31:19 +0200 | jpds4 | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 14:39:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2023-05-03 14:39:48 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 14:41:59 +0200 | freeside | (~mengwong@122.11.212.195) (Read error: Connection reset by peer) |
2023-05-03 14:44:05 +0200 | Novichok | (~Semih@194.94.7.251) |
2023-05-03 14:44:13 +0200 | defanor | (~defanor@tart.uberspace.net) (Quit: .) |
2023-05-03 14:45:00 +0200 | defanor | (~defanor@tart.uberspace.net) |
2023-05-03 14:45:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
2023-05-03 14:46:31 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-05-03 14:46:51 +0200 | Novichok | (~Semih@194.94.7.251) (Quit: Konversation terminated!) |
2023-05-03 14:50:21 +0200 | haveo | (~haveo@51.15.176.9) (Ping timeout: 265 seconds) |
2023-05-03 14:52:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-05-03 14:55:40 +0200 | <eldritchcookie[m> | hello does GHC use SIMD operations? |
2023-05-03 14:56:02 +0200 | <dminuoso> | eldritchcookie[m: GHC has primops for SIMD. |
2023-05-03 14:56:13 +0200 | <dminuoso> | A few years ago there was some research into autovectorization |
2023-05-03 14:56:50 +0200 | <dminuoso> | So the current state is this: Outside of LLVM backend, auto-vectorization does not really exist. But libraries can use SIMD primops as they want |
2023-05-03 14:57:23 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
2023-05-03 14:57:41 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
2023-05-03 14:57:55 +0200 | <dminuoso> | https://hackage.haskell.org/package/ghc-prim-0.10.0/docs/GHC-Prim.html#g:40 |
2023-05-03 14:57:56 +0200 | <eldritchcookie[m> | cool do the default libraries use them ? like vector? |
2023-05-03 14:58:22 +0200 | <dminuoso> | afaik SIMD primops are only available on the LLVM backend |
2023-05-03 14:58:43 +0200 | <dminuoso> | Not sure whether you have CPP macros to branch between LLVM or non-LLVM backend |
2023-05-03 14:58:54 +0200 | <dminuoso> | If there's not, then that would tie a library directly to LLVM |
2023-05-03 15:00:42 +0200 | <dminuoso> | Ah it seems there is __GLASGOW_HASKELL_LLVM__ |
2023-05-03 15:01:45 +0200 | <dminuoso> | eldritchcookie[m: vector doesnt really offer an interface that you could sensibly use SIMD primops on. |
2023-05-03 15:04:45 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-05-03 15:04:57 +0200 | <dminuoso> | eldritchcookie[m: https://github.com/nh2/hackage-download |
2023-05-03 15:05:03 +0200 | <dminuoso> | You can use this, and then grep for simd primops |
2023-05-03 15:09:54 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 15:10:29 +0200 | <dminuoso> | Heh, it might be that its virtually unused on hackage. :-) |
2023-05-03 15:10:40 +0200 | <dminuoso> | neural-network-blashs is the only package that I could find that uses at least *some* SIMD primops |
2023-05-03 15:11:47 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
2023-05-03 15:12:18 +0200 | <dminuoso> | Which seems left unmaintained |
2023-05-03 15:12:27 +0200 | <dminuoso> | Abandoned even. |
2023-05-03 15:14:20 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 15:18:27 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-03 15:21:24 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 15:22:13 +0200 | vulfe | (~vulfe@207.229.148.168) |
2023-05-03 15:23:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2023-05-03 15:23:20 +0200 | vulfe_ | (~vulfe@207.229.148.168) (Ping timeout: 250 seconds) |
2023-05-03 15:23:35 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) |
2023-05-03 15:26:03 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-03 15:28:37 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
2023-05-03 15:29:01 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-05-03 15:32:21 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
2023-05-03 15:32:52 +0200 | jpds4 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2023-05-03 15:33:14 +0200 | feliix42 | (~felix@gibbs.uberspace.de) |
2023-05-03 15:33:36 +0200 | jpds4 | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 15:36:16 +0200 | MQ-17J | (~MQ-17J@104.28.216.166) |
2023-05-03 15:36:36 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
2023-05-03 15:36:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-03 15:36:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-03 15:36:58 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-03 15:38:42 +0200 | vulfe | (~vulfe@207.229.148.168) (Remote host closed the connection) |
2023-05-03 15:40:50 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
2023-05-03 15:41:46 +0200 | fbytez | (~uid@user/fbytez) (Quit: byte byte) |
2023-05-03 15:41:52 +0200 | acidjnk | (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-05-03 15:42:50 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
2023-05-03 15:42:50 +0200 | MQ-17J | (~MQ-17J@104.28.216.166) (Ping timeout: 250 seconds) |
2023-05-03 15:43:07 +0200 | fbytez | (~uid@2001:bc8:2117:100::) |
2023-05-03 15:47:02 +0200 | acidjnk | (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) |
2023-05-03 15:54:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-03 15:54:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-03 15:54:31 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-03 15:54:43 +0200 | <maralorn> | freeside: Why do you need that specific issue to be fixed? |
2023-05-03 16:00:39 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
2023-05-03 16:03:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-05-03 16:06:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6a5b:f824:6e12:29b1) (Quit: WeeChat 2.8) |
2023-05-03 16:07:42 +0200 | cheater_ | (~Username@user/cheater) |
2023-05-03 16:09:03 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-05-03 16:09:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
2023-05-03 16:09:47 +0200 | cheater_ | cheater |
2023-05-03 16:11:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2023-05-03 16:19:19 +0200 | chomwitt | (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) |
2023-05-03 16:20:56 +0200 | jpds4 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-05-03 16:21:03 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 16:22:41 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
2023-05-03 16:27:57 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 16:32:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
2023-05-03 16:37:31 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-05-03 16:38:12 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2023-05-03 16:38:46 +0200 | akegalj | (~akegalj@210-142.dsl.iskon.hr) |
2023-05-03 16:41:55 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-05-03 16:42:48 +0200 | chomwitt | (~chomwitt@2a02:587:7a1d:9d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
2023-05-03 16:43:06 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 16:43:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-05-03 16:44:22 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-05-03 16:46:49 +0200 | mei | (~mei@user/mei) |
2023-05-03 16:49:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 16:53:55 +0200 | CyberSoul | (~CyberSoul@2405:201:680a:b174:5756:9d66:9d0:607a) (Quit: Leaving) |
2023-05-03 16:55:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 16:56:32 +0200 | michalz | (~michalz@185.246.207.203) |
2023-05-03 16:57:59 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-05-03 16:59:06 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-15.home.otenet.gr) |
2023-05-03 17:01:03 +0200 | JScript | (~JScript@103.137.12.173) (Ping timeout: 260 seconds) |
2023-05-03 17:02:15 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
2023-05-03 17:03:45 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-05-03 17:04:21 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-05-03 17:04:24 +0200 | JScript | (~JScript@103.137.12.174) |
2023-05-03 17:06:49 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 17:07:15 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
2023-05-03 17:07:44 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-05-03 17:09:02 +0200 | michalz | (~michalz@185.246.207.203) (Ping timeout: 268 seconds) |
2023-05-03 17:09:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 17:11:30 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 17:13:00 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-03 17:14:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 17:15:06 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-05-03 17:15:20 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-05-03 17:15:48 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2023-05-03 17:16:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
2023-05-03 17:17:09 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
2023-05-03 17:17:31 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
2023-05-03 17:17:32 +0200 | mei | (~mei@user/mei) |
2023-05-03 17:18:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 17:19:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
2023-05-03 17:21:15 +0200 | rapture-_ | (~reidiens@169.139.0.21) |
2023-05-03 17:21:30 +0200 | <rapture-_> | hey gang |
2023-05-03 17:21:48 +0200 | <rapture-_> | i keep gettingan error in ghci whenever i try to load anything from a loaded module |
2023-05-03 17:23:22 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-05-03 17:24:50 +0200 | <rapture-_> | nvm it just started working i guess |
2023-05-03 17:24:53 +0200 | <rapture-_> | ? |
2023-05-03 17:25:10 +0200 | <rapture-_> | literally started working out of nowhere |
2023-05-03 17:25:16 +0200 | <rapture-_> | exit |
2023-05-03 17:25:18 +0200 | <rapture-_> | exit |
2023-05-03 17:25:22 +0200 | <rapture-_> | woops |
2023-05-03 17:25:29 +0200 | <rapture-_> | thought i was in a terminal |
2023-05-03 17:25:31 +0200 | rapture-_ | (~reidiens@169.139.0.21) (Client Quit) |
2023-05-03 17:28:00 +0200 | <mechap> | https://wiki.haskell.org/What_a_Monad_is_not it is said that monads are not a replacement for applicative functors, but aren't monads a kind of applicative functors ? |
2023-05-03 17:28:55 +0200 | <gurkenglas> | @let type Precategory q = Path q s t -> q s t -- how annoying that implicit forall doesn't apply to type |
2023-05-03 17:28:56 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:160:29: error: Not in scope: type variable ‘s’ |
2023-05-03 17:28:56 +0200 | <lambdabot> | | |
2023-05-03 17:28:56 +0200 | <lambdabot> | 160 | type Precategory q = Path q s t -> q s t |
2023-05-03 17:30:26 +0200 | <ncf> | mechap: yes, but code written for monads will not in general work with applicative functors |
2023-05-03 17:30:40 +0200 | <ncf> | hence it's useful to "use only what you need" |
2023-05-03 17:31:36 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-15.home.otenet.gr) (Remote host closed the connection) |
2023-05-03 17:32:46 +0200 | gurkengl1s | (~gurkengla@dynamic-046-114-177-198.46.114.pool.telefonica.de) |
2023-05-03 17:34:12 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 17:34:21 +0200 | <gurkengl1s> | @let type Precategory q = Path q s t -> q s t -- how annoying that implicit forall doesn't apply to type |
2023-05-03 17:34:22 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:162:1: error: |
2023-05-03 17:34:22 +0200 | <lambdabot> | Multiple declarations of ‘Precategory’ |
2023-05-03 17:34:22 +0200 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:160:1 |
2023-05-03 17:34:58 +0200 | <gurkengl1s> | (dangit, apparently that message to lambdabot went through even though it didnt respond) |
2023-05-03 17:35:21 +0200 | <gurkengl1s> | @let type Precategory q = Path q s t -> q s t -- there, that should demonstrate the annoyance |
2023-05-03 17:35:22 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:160:29: error: Not in scope: type variable ‘s’ |
2023-05-03 17:35:22 +0200 | <lambdabot> | | |
2023-05-03 17:35:22 +0200 | <lambdabot> | 160 | type Precategory q = Path q s t -> q s t |
2023-05-03 17:35:31 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-223.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
2023-05-03 17:36:38 +0200 | <ski> | gurkengl1s : why annoying ? |
2023-05-03 17:37:39 +0200 | <gurkengl1s> | ski: because if i have many top-level definitions that look like "Path q s t -> s t" I would like to be able to assign an alias to that without dropping the implicitness of foralls for no reason |
2023-05-03 17:37:57 +0200 | chomwitt | (~chomwitt@2a02:587:7a09:a300:1ac0:4dff:fedb:a3f1) |
2023-05-03 17:38:01 +0200 | <gurkengl1s> | s/-> s t/-> q s t/ :D |
2023-05-03 17:38:49 +0200 | <ski> | i don't understand "dropping the implicitness of foralls" |
2023-05-03 17:39:13 +0200 | <ski> | what's the problem with spelling out the `forall' in the type synonym ? |
2023-05-03 17:39:43 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 17:40:08 +0200 | <gurkengl1s> | in "compose :: forall s t. Path (->) s t -> (->) s t", the "forall s t." is optional. What was the problem with spelling out the forall in type signatures of functions? |
2023-05-03 17:40:20 +0200 | <ski> | i could understand it possibly being annoying, if it was the other way around, you having to use implicit `forall' instead of explicit, since then you'd lost control over abstraction order, for use with `TypeApplications' |
2023-05-03 17:41:21 +0200 | <ski> | i wouldn't mind too much if `forall's were mandatorily explicit everywhere |
2023-05-03 17:42:04 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-05-03 17:42:10 +0200 | <ski> | it only being a matter of convenience, not of say expressivity or reasonability |
2023-05-03 17:42:24 +0200 | <gurkengl1s> | fair enough, i can say "inconvenient" instead of "annoying" :P |
2023-05-03 17:42:43 +0200 | <geekosaur> | you don't want an implicit forall there because it doesn't mean what it looks like |
2023-05-03 17:42:52 +0200 | <gurkengl1s> | geekosaur: what does it mean? |
2023-05-03 17:43:14 +0200 | <geekosaur> | the problem is that the `s` there becomes private to the type synonym, i.e. existential |
2023-05-03 17:43:27 +0200 | <ski> | why would it become existential ? |
2023-05-03 17:43:31 +0200 | <geekosaur> | so you have to say you want that explicitly and ypou understand the consequences |
2023-05-03 17:43:41 +0200 | <gurkengl1s> | geekosaur: why would it, when it doesn't in function type signatures? |
2023-05-03 17:43:41 +0200 | econo | (uid147250@user/econo) |
2023-05-03 17:43:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-05-03 17:43:50 +0200 | <geekosaur> | in effect it's expanded with parens around it |
2023-05-03 17:43:58 +0200 | <geekosaur> | aiui |
2023-05-03 17:44:19 +0200 | <ski> | "it" ? clarify ? |
2023-05-03 17:44:33 +0200 | <geekosaur> | in any case if you don';t specify a tyvar as a parameter, it becomes local to the type alias |
2023-05-03 17:45:05 +0200 | cheater_ | (~Username@user/cheater) |
2023-05-03 17:45:08 +0200 | <geekosaur> | I dunno, maybe I misunderstand what was going on when I tried it (once; never making that mistake again) and that's how it behaved |
2023-05-03 17:45:42 +0200 | <geekosaur> | either you specify it as a parameter or you have to explicitly forall it, and in the latter case it won't unify with anything outside the type alias |
2023-05-03 17:45:43 +0200 | <gurkengl1s> | yes, the fact that i have a type parameter local to a subexpression is why that expression deserves a type alias |
2023-05-03 17:45:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 17:46:58 +0200 | <geekosaur> | then you have to say so explicitly with a forall |
2023-05-03 17:47:21 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 17:47:50 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2023-05-03 17:47:51 +0200 | cheater_ | cheater |
2023-05-03 17:48:04 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
2023-05-03 17:48:12 +0200 | <ncf> | type Id = forall a. a -> a |
2023-05-03 17:48:13 +0200 | <ncf> | what :: Id -> Id |
2023-05-03 17:48:14 +0200 | <ncf> | what id = id id |
2023-05-03 17:48:17 +0200 | <gurkengl1s> | (at least even without type aliases, i already needed to write the forall whenever the subexpression was proper) |
2023-05-03 17:48:21 +0200 | <ncf> | this typechecks -- doesn't seem existential to me |
2023-05-03 17:48:59 +0200 | <ncf> | maybe you're thinking of the syntax for existential data types, where forall means exists? |
2023-05-03 17:49:07 +0200 | <geekosaur> | probably |
2023-05-03 17:49:11 +0200 | <ski> | i would still like to be able to declare `type's, `data's, `newtype's, `instance's, and possibly `class'es, inside `let', and `where', at some point in the future. coupled with `ScopedTypeVariables', such declarations ought to be able to refer to non-local type variables. introducing more situations in which implicit `forall's are inserted complicates reasoning about this |
2023-05-03 17:49:13 +0200 | <geekosaur> | I'm always confused by that |
2023-05-03 17:49:27 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 17:50:28 +0200 | chomwitt | (~chomwitt@2a02:587:7a09:a300:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
2023-05-03 17:50:39 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-05-03 17:50:56 +0200 | <ncf> | you have to imagine that data Foo = forall a. Foo a desugars to data Foo where Foo :: forall a. a -> Foo , i.e. Foo :: (exists a. a) -> Foo |
2023-05-03 17:51:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 17:51:42 +0200 | <ncf> | as opposed to data Foo = Foo (forall a. a) , which means Foo :: (forall a. a) -> Foo |
2023-05-03 17:51:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection) |
2023-05-03 17:52:27 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
2023-05-03 17:52:36 +0200 | <gurkengl1s> | and also Foo :: exists a. a -> Foo -- *runs* |
2023-05-03 17:52:37 +0200 | <ski> | given `data Expr a = Val a | forall b. App (Expr (b -> a)) (Expr b)', this means (for all `a') that if `x :: a', then `Val x :: Expr a'; and also, for all `b', if `ef :: Expr (b -> a)' and `ex :: Expr b', then `App ef ex :: Expr a' |
2023-05-03 17:52:49 +0200 | <ncf> | gurkengl1s: no! |
2023-05-03 17:53:37 +0200 | <ski> | iow, the `Val a' yields `Val :: forall a. a -> Expr a', and the `forall b. App (Expr (b -> a)) (Expr b)' yields `App :: forall a. forall b. Expr (b -> a) -> Expr b -> Expr a' |
2023-05-03 17:54:03 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-03 17:54:03 +0200 | michalz | (~michalz@185.246.207.203) |
2023-05-03 17:54:44 +0200 | <ski> | where `uncurry App :: forall a b. (Expr (b -> a),Expr b) -> Expr a' happens to be logically equivalent to `uncurry App :: forall a. (exists b. (Expr (b -> a),Expr b)) -> Expr a' .. similarly to how `length :: forall a. [a] -> Int' is equivalent to `length :: (exists a. [a]) -> Int' |
2023-05-03 17:54:54 +0200 | <gurkengl1s> | (maybe we should have strikethrough syntax in IRC so I can say something like that with less danger of people believing it) |
2023-05-03 17:55:35 +0200 | <ski> | (perhaps that strike-through should only trigger after say, a minute or so ?) |
2023-05-03 17:55:48 +0200 | Joao003 | (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) |
2023-05-03 17:56:01 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
2023-05-03 17:57:20 +0200 | <ski> | (anyway .. strikethrough already exists .. supported in Textual, apparently. see <https://modern.ircdocs.horse/formatting.html#characters>) |
2023-05-03 17:58:49 +0200 | <monochrom> | Yeah my hexchat gets the strikethrough effect alright. |
2023-05-03 17:59:41 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 18:00:03 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Quit: You have been kicked for being idle) |
2023-05-03 18:00:43 +0200 | <gurkengl1s> | (ncf: i said that with the technical truth in mind that Foo matches the type signature "exists a. a -> Foo" in the sense that you could pass Foo to something of type "forall a. (a -> Foo) -> Bar" aka there *exists* some way GHC sees to fill in the type hole in "asd = Foo :: _ -> Foo") |
2023-05-03 18:01:28 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-05-03 18:01:47 +0200 | <ski> | gurkengl1s : yes. iow, `(exists a. a -> Foo) -> Bar' |
2023-05-03 18:04:15 +0200 | <ncf> | if you believe in impredicative types, sure |
2023-05-03 18:05:19 +0200 | <ncf> | (or if your `exists` is one level higher than Foo's `forall`, i guess) |
2023-05-03 18:05:58 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 18:05:59 +0200 | <ski> | (it's a general logical law that `forall a. (..a.. -> ...)' is equivalent to `(exists a. ..a..) -> ...'. `length :: forall a. ([a] -> Int)' means that, *for* *all* types `a', `length' *can* be applied to a list of `a's, resulting in an `Int'. while `length :: (exists a. [a]) -> Int' means that, calling `length' will result in an `Int', as long as there *exists* some type `a' such that `length' is being |
2023-05-03 18:06:05 +0200 | <ski> | applied to a list of `a's) |
2023-05-03 18:07:03 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-05-03 18:07:37 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
2023-05-03 18:08:32 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
2023-05-03 18:09:28 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 268 seconds) |
2023-05-03 18:09:37 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-05-03 18:11:01 +0200 | <kuribas> | (a:Type ** (a -> Foo)) -> Bar |
2023-05-03 18:13:06 +0200 | <kuribas> | which is equivalent to (a:Type) -> (a -> Foo) -> Bar |
2023-05-03 18:13:14 +0200 | <ski> | yea, from a type-passing perspective, this is currying/uncurrying |
2023-05-03 18:13:19 +0200 | <kuribas> | Does this match the fact that (a, b) -> c == a -> b -> c? |
2023-05-03 18:13:26 +0200 | <ski> | yes |
2023-05-03 18:13:27 +0200 | <kuribas> | right :) |
2023-05-03 18:14:47 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 18:17:47 +0200 | <ski> | @type curryArray |
2023-05-03 18:17:49 +0200 | <lambdabot> | (Ix i, Ix j) => Array (i, j) a -> Array i (Array j a) |
2023-05-03 18:20:33 +0200 | <ncf> | (the usual curry/uncurry comes from the × ⊣ → adjunction, which itself comes from composing both ends of the ∃a ⊣ a* ⊣ ∀a adjoint triple in dependent type theory) |
2023-05-03 18:21:28 +0200 | <ncf> | (applying ∃a to something that does not depend on a is the same as taking the product a × -, and applying ∀a to something that does not depend on a is the same as taking the function space a → -) |
2023-05-03 18:21:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 18:22:20 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2023-05-03 18:22:25 +0200 | JScript | (~JScript@103.137.12.174) (Ping timeout: 268 seconds) |
2023-05-03 18:23:53 +0200 | Joao003 | (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) (Quit: Leaving) |
2023-05-03 18:27:03 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
2023-05-03 18:27:19 +0200 | elevenkb58 | (~elevenkb@105.224.32.75) |
2023-05-03 18:27:24 +0200 | paulpaul1076 | (~textual@95-29-5-210.broadband.corbina.ru) (Quit: Textual IRC Client: www.textualapp.com) |
2023-05-03 18:27:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-05-03 18:30:02 +0200 | paulpaul1076 | (~textual@95-29-5-210.broadband.corbina.ru) |
2023-05-03 18:32:06 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
2023-05-03 18:33:33 +0200 | mu[m] | (~mumixnatu@2001:470:69fc:105::3:52c3) |
2023-05-03 18:33:40 +0200 | JScript | (~JScript@103.137.12.172) |
2023-05-03 18:33:45 +0200 | JScript | (~JScript@103.137.12.172) (Max SendQ exceeded) |
2023-05-03 18:36:00 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
2023-05-03 18:36:48 +0200 | zeenk | (~zeenk@2a02:2f04:a20f:5200::7fe) (Quit: Konversation terminated!) |
2023-05-03 18:36:50 +0200 | JScript | (~JScript@103.137.12.172) |
2023-05-03 18:36:53 +0200 | JScript | (~JScript@103.137.12.172) (Max SendQ exceeded) |
2023-05-03 18:37:22 +0200 | JScript | (~JScript@103.137.12.172) |
2023-05-03 18:37:25 +0200 | JScript | (~JScript@103.137.12.172) (Max SendQ exceeded) |
2023-05-03 18:38:50 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-05-03 18:39:45 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
2023-05-03 18:40:05 +0200 | mbuf | (~Shakthi@49.207.178.186) |
2023-05-03 18:40:35 +0200 | JScript | (~JScript@103.137.12.172) |
2023-05-03 18:41:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2023-05-03 18:45:34 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) |
2023-05-03 18:47:10 +0200 | elevenkb58 | (~elevenkb@105.224.32.75) (Quit: Client closed) |
2023-05-03 18:48:23 +0200 | <jean-paul[m]> | my https requests made via servant-client and http-client-tls are failing with ConnectionTimeout after the underlying TCP connection succeeds and the client sends 310 bytes to the server... my manager settings are pretty trivial (just trying to get it to work at all) - https://whetstone.private.storage/privatestorage/gbs-downloader/-/blob/2.integrate-gbs/src/Tahoe/D… - anyone notice anything obviously wrong here? |
2023-05-03 18:49:42 +0200 | <[exa]> | jean-paul[m]: it's pretty good to try switching both client and server to see if it works |
2023-05-03 18:50:27 +0200 | <[exa]> | for client you can use either a browser or curl or gnutls-cli for tls debugging, for server you can fake it using gnutls-serv or just point it to any public https thing to see if it "at least fails differently" |
2023-05-03 18:50:29 +0200 | <jean-paul[m]> | Other clients work against the server. Guess I'll try this client against some other server... |
2023-05-03 18:51:37 +0200 | <jean-paul[m]> | client works against google.com :/ |
2023-05-03 18:52:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 18:52:54 +0200 | <[exa]> | ha, complicated case then. Maybe try the absolutely barebone http-client-tls client program in haskell, just to make sure there's nothing else interfering |
2023-05-03 18:53:08 +0200 | <[exa]> | (btw the programs do not share anything and are run completely independent, right?) |
2023-05-03 18:53:29 +0200 | <jean-paul[m]> | client and server are completely separate pieces of software, yea |
2023-05-03 18:53:56 +0200 | <[exa]> | hopefully no weird local networking issues |
2023-05-03 18:55:23 +0200 | <jean-paul[m]> | over loopback |
2023-05-03 18:56:02 +0200 | <[exa]> | ok so hopefully completely minimal networking issues |
2023-05-03 18:56:29 +0200 | <jean-paul[m]> | Network.HTTP.Client.httpLbs also times out making an https request to the same local server :/ |
2023-05-03 18:56:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 246 seconds) |
2023-05-03 18:56:50 +0200 | <jean-paul[m]> | Oh, I strace'd the server and saw it receives 310 bytes from the client, so I think the tcp connection itself is fine. |
2023-05-03 18:58:01 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-05-03 18:58:21 +0200 | califax | (~califax@user/califx) |
2023-05-03 18:58:35 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-05-03 18:59:25 +0200 | mbuf | (~Shakthi@49.207.178.186) (Remote host closed the connection) |
2023-05-03 19:00:26 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 19:03:00 +0200 | <jean-paul[m]> | tcpdump says a ClientHello is delivered and then silence for 30 seconds, then FIN/FIN|ACK |
2023-05-03 19:03:07 +0200 | <jean-paul[m]> | I guess the server is not pleased with the greeting. |
2023-05-03 19:03:47 +0200 | <jean-paul[m]> | wireshark says it is a TLS 1.0 handshake ... that seems ... bad but I dunno if wireshark is trustworthy in this regard |
2023-05-03 19:04:06 +0200 | <jean-paul[m]> | ah, there, more deeply nested it says it is 1.2 instead |
2023-05-03 19:04:12 +0200 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2023-05-03 19:04:46 +0200 | <jean-paul[m]> | if it were a version or cipher suite problem I would at least expect an error though |
2023-05-03 19:05:05 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 19:05:23 +0200 | mechap | (~mechap@user/mechap) (*.net *.split) |
2023-05-03 19:05:23 +0200 | denbrahe | (~denbrahe@2001:470:69fc:105::19c0) (*.net *.split) |
2023-05-03 19:05:23 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (*.net *.split) |
2023-05-03 19:05:23 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:95de:ea8b:4618:4a8d) (*.net *.split) |
2023-05-03 19:05:23 +0200 | bgamari | (~bgamari@64.223.233.113) (*.net *.split) |
2023-05-03 19:05:23 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | buhman | (sid411355@user/buhman) (*.net *.split) |
2023-05-03 19:05:23 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | sa | (sid1055@2a03:5180:f::41f) (*.net *.split) |
2023-05-03 19:05:23 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
2023-05-03 19:05:23 +0200 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | sus0 | (zero@user/zeromomentum) (*.net *.split) |
2023-05-03 19:05:23 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
2023-05-03 19:05:23 +0200 | gonz_______ | (sid304396@id-304396.lymington.irccloud.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | agander_m | (sid407952@2a03:5180:f::6:3990) (*.net *.split) |
2023-05-03 19:05:23 +0200 | Kamuela | (sid111576@2a03:5180:f::1:b3d8) (*.net *.split) |
2023-05-03 19:05:23 +0200 | rune | (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
2023-05-03 19:05:23 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | kaskal | (~kaskal@213-147-167-152.nat.highway.webapn.at) (*.net *.split) |
2023-05-03 19:05:23 +0200 | robertm | (robertm@lattice.rojoma.com) (*.net *.split) |
2023-05-03 19:05:23 +0200 | teo | (~teo@user/teo) (*.net *.split) |
2023-05-03 19:05:23 +0200 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
2023-05-03 19:05:23 +0200 | naine[m] | (~naine-env@2001:470:69fc:105::3:2e57) (*.net *.split) |
2023-05-03 19:05:23 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
2023-05-03 19:05:24 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
2023-05-03 19:05:24 +0200 | ariady[m] | (~riadymatr@2001:470:69fc:105::3:4dc5) (*.net *.split) |
2023-05-03 19:05:24 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (*.net *.split) |
2023-05-03 19:05:24 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (*.net *.split) |
2023-05-03 19:05:24 +0200 | auri | (~auri@fsf/member/auri) (*.net *.split) |
2023-05-03 19:05:24 +0200 | jil | (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
2023-05-03 19:05:24 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (*.net *.split) |
2023-05-03 19:05:24 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (*.net *.split) |
2023-05-03 19:05:24 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (*.net *.split) |
2023-05-03 19:05:24 +0200 | winny | (~weechat@user/winny) (*.net *.split) |
2023-05-03 19:05:24 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
2023-05-03 19:05:24 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
2023-05-03 19:05:24 +0200 | Guest585 | (~mike@user/feetwind) (*.net *.split) |
2023-05-03 19:05:24 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
2023-05-03 19:05:24 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
2023-05-03 19:05:24 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
2023-05-03 19:05:25 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
2023-05-03 19:05:26 +0200 | alinab_ | (sid468903@id-468903.helmsley.irccloud.com) |
2023-05-03 19:05:27 +0200 | auri_ | (~auri@fsf/member/auri) |
2023-05-03 19:05:29 +0200 | sgarcia_ | (sgarcia@swarm.znchost.com) |
2023-05-03 19:05:33 +0200 | peutri_ | (~peutri@bobo.desast.re) |
2023-05-03 19:05:36 +0200 | jackdk_ | (sid373013@cssa/jackdk) |
2023-05-03 19:05:37 +0200 | mustafa_ | (sid502723@rockylinux/releng/mustafa) |
2023-05-03 19:05:37 +0200 | T_S__ | (sid501726@id-501726.uxbridge.irccloud.com) |
2023-05-03 19:05:39 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:b9e5:3e3b:33cb:18de) |
2023-05-03 19:05:39 +0200 | sa_ | (sid1055@id-1055.tinside.irccloud.com) |
2023-05-03 19:05:40 +0200 | integral_ | (sid296274@user/integral) |
2023-05-03 19:05:41 +0200 | gonz________ | (sid304396@id-304396.lymington.irccloud.com) |
2023-05-03 19:05:43 +0200 | buhman_ | (sid411355@user/buhman) |
2023-05-03 19:05:44 +0200 | Kamuela_ | (sid111576@id-111576.tinside.irccloud.com) |
2023-05-03 19:05:46 +0200 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) |
2023-05-03 19:05:48 +0200 | JSharp_ | (sid4580@id-4580.lymington.irccloud.com) |
2023-05-03 19:05:48 +0200 | robertm | (robertm@lattice.rojoma.com) |
2023-05-03 19:05:49 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
2023-05-03 19:05:57 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
2023-05-03 19:06:02 +0200 | winny | (~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) |
2023-05-03 19:06:06 +0200 | NiKaN_ | (sid385034@id-385034.helmsley.irccloud.com) |
2023-05-03 19:06:07 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
2023-05-03 19:06:10 +0200 | winny | (~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) (Changing host) |
2023-05-03 19:06:10 +0200 | winny | (~weechat@user/winny) |
2023-05-03 19:06:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 19:06:29 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
2023-05-03 19:06:31 +0200 | mechap | (~mechap@user/mechap) |
2023-05-03 19:06:32 +0200 | teo | (~teo@user/teo) |
2023-05-03 19:06:32 +0200 | naine[m] | (~naine-env@2001:470:69fc:105::3:2e57) |
2023-05-03 19:06:39 +0200 | kaskal | (~kaskal@213-147-167-152.nat.highway.webapn.at) |
2023-05-03 19:06:46 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Client Quit) |
2023-05-03 19:06:50 +0200 | integral_ | integral |
2023-05-03 19:06:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-05-03 19:06:56 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
2023-05-03 19:07:02 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
2023-05-03 19:07:26 +0200 | ariady[m] | (~riadymatr@2001:470:69fc:105::3:4dc5) |
2023-05-03 19:07:36 +0200 | bgamari | (~bgamari@64.223.233.113) |
2023-05-03 19:08:21 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2023-05-03 19:08:33 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
2023-05-03 19:10:33 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
2023-05-03 19:10:33 +0200 | jil | (~user@vps-15050500.vps.ovh.net) |
2023-05-03 19:10:33 +0200 | Guest585 | (~mike@user/feetwind) |
2023-05-03 19:10:56 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) |
2023-05-03 19:11:04 +0200 | raym | (~ray@user/raym) (Ping timeout: 276 seconds) |
2023-05-03 19:11:18 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2023-05-03 19:11:22 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2023-05-03 19:11:34 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
2023-05-03 19:11:37 +0200 | raym | (~ray@user/raym) |
2023-05-03 19:12:10 +0200 | denbrahe | (~denbrahe@2001:470:69fc:105::19c0) |
2023-05-03 19:20:03 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-03 19:24:28 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
2023-05-03 19:25:07 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-03 19:25:54 +0200 | Joao003 | (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) |
2023-05-03 19:26:17 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 19:26:31 +0200 | mmhat | (~mmh@p200300f1c714ef90ee086bfffe095315.dip0.t-ipconnect.de) |
2023-05-03 19:33:31 +0200 | Joao003 | (~Joao003@2804:840:8311:b700:2c48:bff1:59ed:b8af) (Quit: Leaving) |
2023-05-03 19:38:53 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 19:51:20 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
2023-05-03 19:51:58 +0200 | mechap | (~mechap@user/mechap) |
2023-05-03 20:05:48 +0200 | paulpaul1076 | (~textual@95-29-5-210.broadband.corbina.ru) (Ping timeout: 240 seconds) |
2023-05-03 20:06:51 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 20:07:29 +0200 | opticblast | (~Thunderbi@172.58.87.122) |
2023-05-03 20:09:06 +0200 | <nomagno> | Is there a name for Just a in the definition of Maybe a? It seems weird to me in a meta-language kind of way, since you can literally replace it with anything. Can it be thought of as just an arbitrary label conatenated to a type to make it a different type? |
2023-05-03 20:09:39 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-05-03 20:09:50 +0200 | <mauke> | Just is a data constructor (taking one argument) |
2023-05-03 20:09:56 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-05-03 20:10:10 +0200 | <nomagno> | Yes but it has no definition, no? |
2023-05-03 20:10:15 +0200 | <nomagno> | Or does it have a definition? |
2023-05-03 20:10:29 +0200 | <mauke> | data Maybe a = Nothing | Just a is the definition |
2023-05-03 20:10:40 +0200 | <nomagno> | Yes |
2023-05-03 20:10:47 +0200 | <mauke> | it defines one type constructor (Maybe) and two data constructors (Nothing, Just) |
2023-05-03 20:10:52 +0200 | trev | (~trev@user/trev) |
2023-05-03 20:11:20 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 20:11:32 +0200 | <nomagno> | But Just a is a constructor that... Builds something... With what properties? |
2023-05-03 20:11:45 +0200 | <nomagno> | I guess from the point if view of monads it doesn't matter |
2023-05-03 20:11:56 +0200 | <jade[m]> | it literally just encapsulates one value of type a |
2023-05-03 20:12:01 +0200 | <jade[m]> | as it says in the definition |
2023-05-03 20:12:43 +0200 | <mauke> | :t Just |
2023-05-03 20:12:44 +0200 | <lambdabot> | a -> Maybe a |
2023-05-03 20:12:56 +0200 | <mauke> | that's pretty much the properties :-) |
2023-05-03 20:13:21 +0200 | <nomagno> | That's a recursive definition aaaaa |
2023-05-03 20:13:25 +0200 | <nomagno> | Like yes, it's just unit |
2023-05-03 20:13:28 +0200 | <jade[m]> | no it's not |
2023-05-03 20:13:32 +0200 | <nomagno> | I get it |
2023-05-03 20:14:07 +0200 | <nomagno> | I understand what it does. But it still messes with my head how ghc would deal with it |
2023-05-03 20:14:20 +0200 | <mauke> | are you familiar with C++ or C? |
2023-05-03 20:14:26 +0200 | <nomagno> | Yes |
2023-05-03 20:14:48 +0200 | <jade[m]> | mauke: I just wanted to bring up structs, but I'll leave it to you :^) |
2023-05-03 20:14:59 +0200 | <mauke> | template<typename A> struct Just { A value; }; // not quite |
2023-05-03 20:15:33 +0200 | <mauke> | but if you squint and ignore the Nothing case ... |
2023-05-03 20:15:53 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 20:16:24 +0200 | <nomagno> | So, yes it's basically just a concatenated label to the value to distinguish it from its original, unencapsulated type |
2023-05-03 20:16:53 +0200 | <jade[m]> | yes, but in haskell terms |
2023-05-03 20:16:57 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2023-05-03 20:17:06 +0200 | <monochrom> | I am happy to say that "Just" and "Nothing" are labels/tags. Hell, I say tags to my students. |
2023-05-03 20:17:26 +0200 | <monochrom> | But clearly the label is not "Just 5". |
2023-05-03 20:17:27 +0200 | Square | (~Square4@user/square) |
2023-05-03 20:18:01 +0200 | <nomagno> | Yeah I get that |
2023-05-03 20:18:06 +0200 | <monochrom> | In fact by the time you tie sum types back to tagged disjoint unions in math, "tag" is exactly right. |
2023-05-03 20:18:25 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 20:19:09 +0200 | <jade[m]> | I'm not sure if it's helpful, but my intuition comes from sealed interfaces in java... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/78dde54031b43e4a999f79420fe5a0c81931…>) |
2023-05-03 20:19:34 +0200 | <jade[m]> | in that sense the term "constructor" also makes more sense |
2023-05-03 20:19:45 +0200 | <mauke> | template<typename A> struct Maybe { enum { Nothing, Just } tag; union { A value; }; }; // probably silly |
2023-05-03 20:20:14 +0200 | <monochrom> | Oh, we have been saying "data constructors" for forever too. :) |
2023-05-03 20:20:39 +0200 | <jade[m]> | * I'm not sure if it's helpful, but my intuition comes from sealed interfaces in java... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/600f392d0b0118a3ee31eef737e4cd2d5a12…>) |
2023-05-03 20:20:57 +0200 | <jade[m]> | * I'm not sure if it's helpful, but my intuition comes from sealed interfaces in java... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/cd85984ccc2da947be463636152de84ceb8f…>) |
2023-05-03 20:21:53 +0200 | <mauke> | records in java? |
2023-05-03 20:21:56 +0200 | <monochrom> | But the nice thing about meaningful words is that there are so many meanings to choose from. |
2023-05-03 20:21:57 +0200 | <mauke> | *record scratch* |
2023-05-03 20:22:01 +0200 | <mauke> | when did that happen? |
2023-05-03 20:22:12 +0200 | <jade[m]> | 16 |
2023-05-03 20:22:13 +0200 | <jade[m]> | * Java 16 |
2023-05-03 20:22:22 +0200 | <jade[m]> | or 15, I'm not 100% sure |
2023-05-03 20:22:40 +0200 | <jade[m]> | they are neat |
2023-05-03 20:22:48 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-05-03 20:22:54 +0200 | <jade[m]> | Oh, it was 14, nevermind |
2023-05-03 20:24:18 +0200 | <monochrom> | But here is how "constructor as in OOP" breaks when analogizing to Haskell. |
2023-05-03 20:24:54 +0200 | <monochrom> | Firstly the superficial syntactic effect that for a type C all its constructors are called C, they only differ in parameter types. |
2023-05-03 20:25:11 +0200 | <jade[m]> | It wasn't an analogy, I'm aware that there are _a lot_ of differences ;) |
2023-05-03 20:25:15 +0200 | <monochrom> | Whereas in Haskell you can't even say "data C = C Int | C Int Int" |
2023-05-03 20:25:31 +0200 | <mauke> | that's only true for some OOP |
2023-05-03 20:25:44 +0200 | <monochrom> | Secondly OOP constructors contain arbitrary code. They are more like "smart constructors" here. |
2023-05-03 20:25:45 +0200 | <mauke> | in Perl, the constructors must have different names |
2023-05-03 20:26:29 +0200 | <jade[m]> | monochrom: yep, that's why I used records which are actually pretty good product types |
2023-05-03 20:27:09 +0200 | <jade[m]> | just sum types are ... difficult which is why you use the sealed-interface as the Sum over subclasses that implement the dummy interface as product types |
2023-05-03 20:27:56 +0200 | <mauke> | (that's because Perl doesn't have built-in constructors, really. just class methods that manually assemble an object and slap a vtable on it so you can call methods on it) |
2023-05-03 20:28:04 +0200 | <monochrom> | This is when you use the word "encoding". |
2023-05-03 20:29:18 +0200 | CyberSoul | (~CyberSoul@2405:201:680a:b174:a44c:3c50:8b78:b6c0) |
2023-05-03 20:30:41 +0200 | akegalj | (~akegalj@210-142.dsl.iskon.hr) (Quit: leaving) |
2023-05-03 20:33:44 +0200 | <monochrom> | The joy of Turing completeness so you can encoding anything with anything. :) |
2023-05-03 20:35:40 +0200 | <mauke> | sub nothing() { sub ($nothing, $) { $nothing } } sub just($x) { sub ($, $just) { $just->($x) } } |
2023-05-03 20:35:52 +0200 | <monochrom> | >_< |
2023-05-03 20:36:40 +0200 | <monochrom> | Oh! Is that Church encoding of Maybe but using Perl? :) |
2023-05-03 20:36:50 +0200 | <mauke> | yes :-) |
2023-05-03 20:37:47 +0200 | <mauke> | sub fmap_maybe($f, $m) { $m->($m, sub ($x) { just $f->($x) }) } |
2023-05-03 20:37:50 +0200 | <xerox> | challenge: make that compile as haskell code |
2023-05-03 20:38:17 +0200 | <mauke> | I don't think that's possible with the { |
2023-05-03 20:38:22 +0200 | <monochrom> | Please do a fixed-point combinator such as Y in Perl >:) |
2023-05-03 20:38:44 +0200 | <mauke> | I have one, but it's cheating (maybe) |
2023-05-03 20:39:24 +0200 | <mauke> | https://metacpan.org/dist/Data-Munge/source/lib/Data/Munge.pm#L89-92 |
2023-05-03 20:41:25 +0200 | <mauke> | in principle this stuff isn't hard to do in perl |
2023-05-03 20:41:43 +0200 | <mauke> | you can just translate lambda calculus mechanically and go from there |
2023-05-03 20:42:41 +0200 | <monochrom> | Yeah I just want to have a laugh at the resulting glorious syntax. :) |
2023-05-03 20:42:43 +0200 | <mauke> | \VAR.BODY ==> sub ($VAR) { BODY } |
2023-05-03 20:42:58 +0200 | <monochrom> | "my God it's full of {}s" and all |
2023-05-03 20:43:00 +0200 | <mauke> | F X ==> F->(X) |
2023-05-03 20:43:09 +0200 | <mauke> | VAR ==> $VAR |
2023-05-03 20:43:27 +0200 | <mauke> | you get { } around function bodies, but it's pretty tame, I think |
2023-05-03 20:43:41 +0200 | <monochrom> | also $'s |
2023-05-03 20:44:34 +0200 | <monochrom> | OK I'm going to create a lambda calculus course in Perl syntax. OK maybe wait until next April. |
2023-05-03 20:44:38 +0200 | <mauke> | that's just how life is as a Lisp-5 :-) |
2023-05-03 20:45:25 +0200 | <mauke> | https://hop.perl.plover.com/ |
2023-05-03 20:45:32 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2023-05-03 20:45:42 +0200 | <monochrom> | \∩/ Markus Dominus |
2023-05-03 20:46:45 +0200 | <fbytez> | What's the recommended package for regex, preferably PCRE? |
2023-05-03 20:46:58 +0200 | <mauke> | tee hee |
2023-05-03 20:49:02 +0200 | <mauke> | https://hackage.haskell.org/packages/search?terms=pcre hmm, that's quite a few |
2023-05-03 20:49:45 +0200 | <sm> | regex or regex-tdfa I'd guess |
2023-05-03 20:50:50 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) (Remote host closed the connection) |
2023-05-03 20:51:22 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d153-c9b1-0894-c65f.rev.sfr.net) |
2023-05-03 20:54:28 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
2023-05-03 20:54:48 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
2023-05-03 20:58:28 +0200 | opticblast | (~Thunderbi@172.58.87.122) (Ping timeout: 240 seconds) |
2023-05-03 21:00:21 +0200 | opticblast | (~Thunderbi@172.58.87.122) |
2023-05-03 21:02:10 +0200 | <fbytez> | Thanks. regex-tdfa looks good. |
2023-05-03 21:11:42 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 21:14:07 +0200 | simendsjo | (~user@84.211.91.241) |
2023-05-03 21:16:15 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
2023-05-03 21:17:14 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-05-03 21:17:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 21:17:53 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
2023-05-03 21:18:12 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2023-05-03 21:18:22 +0200 | pavonia | (~user@user/siracusa) |
2023-05-03 21:19:04 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 21:21:15 +0200 | opticblast | (~Thunderbi@172.58.87.122) (Ping timeout: 268 seconds) |
2023-05-03 21:21:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds) |
2023-05-03 21:21:52 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-03 21:23:07 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-05-03 21:23:07 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-05-03 21:23:07 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-05-03 21:24:20 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 21:27:41 +0200 | chomwitt | (~chomwitt@2a02:587:7a14:6200:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
2023-05-03 21:28:47 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
2023-05-03 21:28:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) |
2023-05-03 21:29:35 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
2023-05-03 21:29:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
2023-05-03 21:33:35 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-05-03 21:35:26 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2023-05-03 21:38:40 +0200 | acidjnk | (~acidjnk@p200300d6e715c400245138ad51848ece.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-05-03 21:39:44 +0200 | vizor | (~macroVizo@2601:602:77f:f0a0::c38a) (Quit: WeeChat 3.8) |
2023-05-03 21:42:51 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-05-03 21:44:13 +0200 | acidjnk | (~acidjnk@p200300d6e715c489a51f576992b701b7.dip0.t-ipconnect.de) |
2023-05-03 21:48:54 +0200 | iteratee | (~kyle@162.218.222.207) |
2023-05-03 21:50:13 +0200 | <iteratee> | Does anyone know if Haskell exchange will happen again this year? I checked the wayback machine, and it was announced in april last year. |
2023-05-03 21:56:17 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
2023-05-03 22:02:01 +0200 | crns | (~netcrns@user/crns) (Ping timeout: 276 seconds) |
2023-05-03 22:03:07 +0200 | crns | (~netcrns@p5dc33767.dip0.t-ipconnect.de) |
2023-05-03 22:03:07 +0200 | crns | (~netcrns@p5dc33767.dip0.t-ipconnect.de) (Changing host) |
2023-05-03 22:03:07 +0200 | crns | (~netcrns@user/crns) |
2023-05-03 22:04:02 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 22:05:51 +0200 | zeenk | (~zeenk@2a02:2f04:a20f:5200::7fe) |
2023-05-03 22:08:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 22:10:20 +0200 | heraldo | (~heraldo@user/heraldo) |
2023-05-03 22:16:09 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-05-03 22:19:49 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
2023-05-03 22:20:19 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-05-03 22:25:06 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-05-03 22:26:08 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
2023-05-03 22:26:17 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2023-05-03 22:27:17 +0200 | mechap | (~mechap@user/mechap) |
2023-05-03 22:27:40 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 22:29:30 +0200 | biberu | (~biberu@user/biberu) |
2023-05-03 22:32:10 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
2023-05-03 22:35:10 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 276 seconds) |
2023-05-03 22:37:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-05-03 22:38:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-05-03 22:45:58 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-05-03 22:47:47 +0200 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
2023-05-03 22:47:48 +0200 | heraldo | (~heraldo@user/heraldo) (Quit: heraldo) |
2023-05-03 22:48:20 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2023-05-03 22:51:03 +0200 | ubert | (~Thunderbi@p548c9793.dip0.t-ipconnect.de) (Quit: ubert) |
2023-05-03 22:54:22 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-05-03 23:06:05 +0200 | gmg | (~user@user/gehmehgeh) |
2023-05-03 23:06:11 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
2023-05-03 23:08:48 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
2023-05-03 23:16:46 +0200 | Square2 | (~Square@user/square) |
2023-05-03 23:19:42 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:ca5b:76ff:fe29:f233) |
2023-05-03 23:21:35 +0200 | nate2 | (~nate@98.45.169.16) |
2023-05-03 23:21:48 +0200 | freeside | (~mengwong@103.252.202.85) |
2023-05-03 23:23:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2023-05-03 23:24:28 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
2023-05-03 23:25:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
2023-05-03 23:26:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
2023-05-03 23:26:20 +0200 | Ellenor | MelMalik |
2023-05-03 23:27:03 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
2023-05-03 23:30:39 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
2023-05-03 23:31:14 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-05-03 23:40:31 +0200 | mechap | (~mechap@user/mechap) |
2023-05-03 23:45:29 +0200 | opticblast | (~Thunderbi@172.58.87.122) |
2023-05-03 23:46:58 +0200 | Aarkon[m] | (~aarkonmat@2001:470:69fc:105::3:52fa) |
2023-05-03 23:47:16 +0200 | zeenk | (~zeenk@2a02:2f04:a20f:5200::7fe) (Quit: Konversation terminated!) |
2023-05-03 23:49:29 +0200 | mmhat | (~mmh@p200300f1c714ef90ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
2023-05-03 23:54:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
2023-05-03 23:56:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |