| 2022-09-23 00:02:12 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2022-09-23 00:08:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-23 00:12:09 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-23 00:16:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 00:18:18 +0200 | cpli | aaaaaaaaaaaaaaaa |
| 2022-09-23 00:19:03 +0200 | aaaaaaaaaaaaaaaa | bbbbbbbbbbbbbbbb |
| 2022-09-23 00:19:15 +0200 | bbbbbbbbbbbbbbbb | cccccccccccccccc |
| 2022-09-23 00:19:29 +0200 | cccccccccccccccc | cpli |
| 2022-09-23 00:20:28 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f393002df2f41052616626.ipv6.abo.wanadoo.fr) |
| 2022-09-23 00:23:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 00:25:28 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 00:30:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-23 00:33:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-23 00:39:48 +0200 | pottsy | (~pottsy@90.pool85-52-231.static.orange.es) (Ping timeout: 268 seconds) |
| 2022-09-23 00:40:00 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-23 00:40:49 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-23 00:48:54 +0200 | Oiyqlk | (~IceChat95@2804:d45:8833:a600:b110:5345:c0fc:21cf) |
| 2022-09-23 00:50:50 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-23 00:52:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-09-23 00:52:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 00:53:20 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) () |
| 2022-09-23 00:53:32 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2022-09-23 00:54:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 00:57:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 01:02:31 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 01:05:41 +0200 | yin | zzz |
| 2022-09-23 01:09:19 +0200 | sagax | (~sagax_nb@user/sagax) (Excess Flood) |
| 2022-09-23 01:10:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-23 01:12:06 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) (Quit: EashanHatti) |
| 2022-09-23 01:12:33 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-09-23 01:21:56 +0200 | Oiyqlk | (~IceChat95@2804:d45:8833:a600:b110:5345:c0fc:21cf) (Quit: First shalt thou take out the Holy Pin. Then, shalt thou count to three. No more. No less.) |
| 2022-09-23 01:23:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 01:27:34 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-23 01:28:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 01:29:59 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-23 01:30:35 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 01:31:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-23 01:43:35 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:2dfd:13d3:f366:7e03) (Ping timeout: 244 seconds) |
| 2022-09-23 01:47:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 01:52:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 01:55:56 +0200 | slack1256 | (~slack1256@191.126.227.65) |
| 2022-09-23 01:57:48 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-23 01:58:30 +0200 | slac78474 | (~slack1256@181.43.224.87) (Ping timeout: 265 seconds) |
| 2022-09-23 01:59:43 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-09-23 02:01:17 +0200 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) |
| 2022-09-23 02:01:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-23 02:03:01 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 02:06:01 +0200 | ajb | (~ajb@mimas.whatbox.ca) (Quit: bye) |
| 2022-09-23 02:08:16 +0200 | Sciencentistguy7 | (~sciencent@hacksoc/ordinary-member) |
| 2022-09-23 02:08:28 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 246 seconds) |
| 2022-09-23 02:10:05 +0200 | <EvanR> | @src mapAccumL |
| 2022-09-23 02:10:05 +0200 | <lambdabot> | mapAccumL _ s [] = (s, []) |
| 2022-09-23 02:10:05 +0200 | <lambdabot> | mapAccumL f s (x:xs) = (s'',y:ys) |
| 2022-09-23 02:10:05 +0200 | <lambdabot> | where (s', y ) = f s x |
| 2022-09-23 02:10:05 +0200 | <lambdabot> | (s'',ys) = mapAccumL f s' xs |
| 2022-09-23 02:10:35 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 265 seconds) |
| 2022-09-23 02:10:36 +0200 | Sciencentistguy7 | Sciencentistguy |
| 2022-09-23 02:10:54 +0200 | <EvanR> | updateframes... damn |
| 2022-09-23 02:11:48 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 264 seconds) |
| 2022-09-23 02:13:07 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-09-23 02:13:22 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-23 02:16:46 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 02:18:58 +0200 | haskeller | (~haskeller@103.86.106.250) |
| 2022-09-23 02:20:12 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2022-09-23 02:21:18 +0200 | <haskeller> | anyone know how to get ^ and $ to work with regex-tdfa ? |
| 2022-09-23 02:21:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 02:25:06 +0200 | <sm> | they work for me ? maybe you're looking for https://hackage.haskell.org/package/regex-tdfa-1.3.2/docs/Text-Regex-TDFA.html#t:CompOption multiline ? |
| 2022-09-23 02:25:49 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 02:26:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 02:26:45 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-23 02:27:00 +0200 | <haskeller> | i did see it but i'm not sure how to use it |
| 2022-09-23 02:28:44 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 02:29:12 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-23 02:30:22 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 02:32:05 +0200 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-09-23 02:35:04 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2022-09-23 02:35:07 +0200 | ajb | (~ajb@mimas.whatbox.ca) (Quit: bye) |
| 2022-09-23 02:35:26 +0200 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-09-23 02:38:21 +0200 | ajb | (~ajb@mimas.whatbox.ca) (Client Quit) |
| 2022-09-23 02:43:39 +0200 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-09-23 02:46:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c9c6:ea14:444b:6072) (Ping timeout: 268 seconds) |
| 2022-09-23 02:48:38 +0200 | slac43228 | (~slack1256@181.43.224.87) |
| 2022-09-23 02:49:37 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Quit: king_gs) |
| 2022-09-23 02:50:07 +0200 | valzant | (~parsival@209.141.195.79) |
| 2022-09-23 02:50:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 02:51:11 +0200 | slack1256 | (~slack1256@191.126.227.65) (Ping timeout: 265 seconds) |
| 2022-09-23 02:52:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 02:54:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 02:56:30 +0200 | valzant | (~parsival@209.141.195.79) (Ping timeout: 265 seconds) |
| 2022-09-23 02:59:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 03:01:44 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-09-23 03:02:08 +0200 | <c209e6dc-4d76-47> | how are type synonyms with type variables parsed? |
| 2022-09-23 03:02:26 +0200 | <c209e6dc-4d76-47> | I am writing a compiler and the unficiation algorithm that I wrote works with meta type variables |
| 2022-09-23 03:02:46 +0200 | <c209e6dc-4d76-47> | should I be generating meta type variables from type variables? |
| 2022-09-23 03:07:25 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-23 03:07:46 +0200 | <haskeller> | https://paste.lurkmore.com/205d6a |
| 2022-09-23 03:08:29 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 03:09:31 +0200 | auri_ | (~auri@fsf/member/auri) () |
| 2022-09-23 03:09:42 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-23 03:10:31 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-23 03:10:48 +0200 | auri | (~auri@fsf/member/auri) |
| 2022-09-23 03:11:33 +0200 | <haskeller> | why does it match ? |
| 2022-09-23 03:12:52 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2022-09-23 03:14:52 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-23 03:16:11 +0200 | <pavonia> | That function is not documented, but I guess it tries to find any match in the string |
| 2022-09-23 03:16:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-23 03:17:03 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-09-23 03:17:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 03:19:02 +0200 | <Axman6> | yeah that's the usual behaviour of regular expressions, the match if there's a match anywhere in the string |
| 2022-09-23 03:19:05 +0200 | <haskeller> | ^ab*$ is what i'm trying to achieve |
| 2022-09-23 03:19:36 +0200 | <Axman6> | and that regex actually matches the the "a" and doesn't even need to check the b's, technically |
| 2022-09-23 03:19:54 +0200 | <Axman6> | are you sure you don't want "^ab+$"? |
| 2022-09-23 03:22:22 +0200 | <haskeller> | it matches as well |
| 2022-09-23 03:22:36 +0200 | <haskeller> | i want it to be False |
| 2022-09-23 03:24:05 +0200 | <Axman6> | if you're using ^ and $, don't you want multiline to be true? |
| 2022-09-23 03:24:15 +0200 | Null_A | (~null_a@2601:645:8700:ac10:655d:60dc:6144:b340) |
| 2022-09-23 03:24:39 +0200 | <Clint> | what do you think /ab*/ will match? |
| 2022-09-23 03:25:39 +0200 | <haskeller> | try ab* and ^ab*$ on aab https://regex101.com/ |
| 2022-09-23 03:26:35 +0200 | <Clint> | okay, now what |
| 2022-09-23 03:27:24 +0200 | <haskeller> | why does the code return True everytime |
| 2022-09-23 03:27:43 +0200 | <Clint> | because you're asking if it matches and it does |
| 2022-09-23 03:27:45 +0200 | <haskeller> | regardless of the multiline setting |
| 2022-09-23 03:28:10 +0200 | <Axman6> | what is "it", ab* or ^ab*$? |
| 2022-09-23 03:28:21 +0200 | <monochrom> | Since "aab" is barely one line, I don't think multiline settings matter. |
| 2022-09-23 03:28:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c9c6:ea14:444b:6072) |
| 2022-09-23 03:28:47 +0200 | <Axman6> | it might be needed for ^ and $ to work, but I can't remember |
| 2022-09-23 03:30:11 +0200 | <haskeller> | how can i get something ^ and $ to work with tdfa |
| 2022-09-23 03:31:41 +0200 | <haskeller> | can someone write a snippet that matches a regex within ^ and $ |
| 2022-09-23 03:32:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-23 03:33:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 03:34:02 +0200 | <EvanR> | is it that the task is to match a string that literally begins with ^ and ends with $ all along |
| 2022-09-23 03:34:13 +0200 | <EvanR> | that would be devious |
| 2022-09-23 03:34:28 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 03:35:13 +0200 | <haskeller> | no |
| 2022-09-23 03:35:49 +0200 | <haskeller> | bash equivalent would be |
| 2022-09-23 03:36:26 +0200 | <haskeller> | grep ab* <<<"aab" |
| 2022-09-23 03:36:28 +0200 | benin06 | (~benin@183.82.204.58) |
| 2022-09-23 03:36:36 +0200 | <haskeller> | grep ^ab*$ <<<"aab" |
| 2022-09-23 03:36:38 +0200 | <Axman6> | that should match though |
| 2022-09-23 03:36:47 +0200 | <Axman6> | ok, that shouldn't |
| 2022-09-23 03:36:50 +0200 | <haskeller> | latter shouldn't |
| 2022-09-23 03:37:09 +0200 | <haskeller> | how do i do that with tdfa |
| 2022-09-23 03:37:34 +0200 | <Axman6> | you can debug what's going on by actually inspecting the matches |
| 2022-09-23 03:37:36 +0200 | benin0 | (~benin@183.82.204.58) (Ping timeout: 265 seconds) |
| 2022-09-23 03:37:36 +0200 | benin06 | benin0 |
| 2022-09-23 03:38:23 +0200 | <Clint> | or by actually using the regex you want |
| 2022-09-23 03:38:38 +0200 | <Axman6> | where does `match` come from? I can't see it in the TDFA package |
| 2022-09-23 03:39:14 +0200 | <Axman6> | ah, Text.Regex.BAse |
| 2022-09-23 03:39:16 +0200 | <haskeller> | RegexContext(match) |
| 2022-09-23 03:39:50 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-23 03:40:34 +0200 | <haskeller> | im sleepy |
| 2022-09-23 03:40:43 +0200 | <Axman6> | what does main = print (match (regex "ab*") "aab" :: [MatchArray]) print? |
| 2022-09-23 03:42:15 +0200 | <haskeller> | [array (0,0) [(0,(1,2))]] |
| 2022-09-23 03:43:31 +0200 | <monochrom> | So ab* matches the first 'a' |
| 2022-09-23 03:44:08 +0200 | <monochrom> | Are you saying that you have tried ^ab*$ and it doesn't do what we expect? |
| 2022-09-23 03:44:24 +0200 | <Axman6> | what does main = print (match (regex "ab*") "aab" :: [MatchText String]) and main = print (match (regex "^ab*$") "aab" :: [MatchText String]) print? |
| 2022-09-23 03:44:49 +0200 | <haskeller> | shit |
| 2022-09-23 03:44:50 +0200 | <Axman6> | since that should actually include the matching text too |
| 2022-09-23 03:45:21 +0200 | <Axman6> | did you forget to recompile? :) |
| 2022-09-23 03:45:22 +0200 | <haskeller> | i forgot to put the ^ $ |
| 2022-09-23 03:45:27 +0200 | <Axman6> | ... |
| 2022-09-23 03:45:39 +0200 | <haskeller> | sorry lads |
| 2022-09-23 03:45:47 +0200 | <haskeller> | im sleepy |
| 2022-09-23 03:45:49 +0200 | <Axman6> | We've all been there |
| 2022-09-23 03:45:51 +0200 | <haskeller> | gn |
| 2022-09-23 03:45:57 +0200 | <Axman6> | congrats |
| 2022-09-23 03:46:03 +0200 | <haskeller> | and thank you |
| 2022-09-23 03:46:26 +0200 | <monochrom> | This is why I don't trust querents. |
| 2022-09-23 03:46:43 +0200 | haskeller | (~haskeller@103.86.106.250) () |
| 2022-09-23 03:46:53 +0200 | <Clint> | to be fair, there was 0 evidence that he had tried what he actually wanted |
| 2022-09-23 03:47:25 +0200 | <Axman6> | "11:28 Axman6: what is "it", ab* or ^ab*$? " - no answer |
| 2022-09-23 03:48:16 +0200 | <monochrom> | That too. All pronouns should be banned. |
| 2022-09-23 03:48:46 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 03:49:35 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 03:50:48 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-23 03:51:38 +0200 | <Axman6> | I'm doing a uni course on C at the moment, and when talking about abstraction, they asked us to give an example of abstraction in every day lives - I used the word "it", and referred to it repeatedly, it got pretty confusing |
| 2022-09-23 03:53:01 +0200 | <EvanR> | at least it isn't a verb yet |
| 2022-09-23 03:55:36 +0200 | <monochrom> | FILE is an abstraction. It is so abstract that stdio.h has simply "struct _IO_FILE; typedef struct _IO_FILE FILE;". Since you may only use FILE* anyway, you need not be told what's inside the struct. |
| 2022-09-23 03:55:39 +0200 | <Axman6> | I'll 'it you, mate |
| 2022-09-23 03:56:36 +0200 | <monochrom> | I don't think that "it" is an abstraction. It is an identifier wannabe, before math and programming invented real identifiers. |
| 2022-09-23 03:56:39 +0200 | <EvanR> | I stand corrected |
| 2022-09-23 03:57:05 +0200 | <monochrom> | However, "this app sucks" is an abstraction. |
| 2022-09-23 03:58:18 +0200 | <monochrom> | Oh wait, I'm wrong about _IO_FILE, I see that there is a complete definition later, I missed it last time I checked. |
| 2022-09-23 03:58:33 +0200 | <monochrom> | So now I know that I told a lie to my students haha. |
| 2022-09-23 03:58:56 +0200 | sm | imagines a structured support chat where the certain questions can be blockers, requiring a satisfactory answer to proceed further |
| 2022-09-23 03:59:13 +0200 | <EvanR> | an example of abstract in everyday life, just to get away from C for a second, Nope your life is indeed C |
| 2022-09-23 03:59:37 +0200 | <monochrom> | How about: Python is an abstraction. :) |
| 2022-09-23 04:00:06 +0200 | <sm> | unpleasant in normal human conversation, but possibly more efficient .. and very familiar from text adventures |
| 2022-09-23 04:00:24 +0200 | <EvanR> | give an example of a monad from everyday life. It's either a hard question or your life is haskell |
| 2022-09-23 04:01:19 +0200 | <EvanR> | and no jquery does not count |
| 2022-09-23 04:01:20 +0200 | <monochrom> | I was learning 3 monads from a draft probability theory book. http://www.cs.ru.nl/B.Jacobs/PAPERS/ProbabilisticReasoning.pdf |
| 2022-09-23 04:01:29 +0200 | <sm> | me! I know! cooking 🍳 |
| 2022-09-23 04:01:43 +0200 | <monochrom> | The 3 monads are: the list monad, the powerset monad, and the multiset monad. |
| 2022-09-23 04:01:50 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-23 04:02:01 +0200 | <EvanR> | cool monads bro |
| 2022-09-23 04:02:29 +0200 | <EvanR> | do you even lift |
| 2022-09-23 04:03:03 +0200 | jargon | (~jargon@184.101.186.15) |
| 2022-09-23 04:04:03 +0200 | <monochrom> | Everyday life, hell everyday speech, has many modal operators, some of them are monads. |
| 2022-09-23 04:04:19 +0200 | benin0 | (~benin@183.82.204.58) (Ping timeout: 246 seconds) |
| 2022-09-23 04:04:33 +0200 | <maerwald[m]> | No, I use complicated effects systems, because they blur control flow better and allow reasoning if you have two brains |
| 2022-09-23 04:06:59 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-23 04:08:03 +0200 | <monochrom> | sm: Structured support chat with mentor-mandated blocker questions can only happen when there is a monopolizing mentor, e.g., when I am holding office hours for students, I do that all the time. |
| 2022-09-23 04:08:55 +0200 | <monochrom> | The economy of internet help is flipped. The querent has monopoly over brownie points, and multiple mentors want those brownie points desperately. |
| 2022-09-23 04:09:15 +0200 | <monochrom> | Therefore all mentors kiss up to the querent, as opposed to doing the right thing. |
| 2022-09-23 04:10:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-23 04:11:49 +0200 | <monochrom> | For example next time when there is a "my code doesn't work, here is a blatantly incomplete excerpt", watch how many people rush to make blind guesses, how many do the right thing and press for "show the complete actual code". |
| 2022-09-23 04:12:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 04:12:56 +0200 | <monochrom> | Right? Because the former has some chances of landing the right guess by dumb luck and win a "thank you you are so helpful" brownie point, whereas the latest always begets the opposite "you are unhelpful because you make me do extra work". |
| 2022-09-23 04:14:22 +0200 | <EvanR> | 500 pages of probability... not bad |
| 2022-09-23 04:14:44 +0200 | <monochrom> | On that note I don't care for "pleasant conversation" either if it means mutual congratulations rather than getting problems solved properly. |
| 2022-09-23 04:16:53 +0200 | <sm> | monochrom: right, the dynamics are interesting. Here, I would say conditions are variable, depending on time of day, nature of question, current states of mind etc. |
| 2022-09-23 04:18:08 +0200 | <sm> | people have different needs and motivations and styles and we are all coexisting in one cramped noisy kitchen :) |
| 2022-09-23 04:21:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 04:21:34 +0200 | td_ | (~td@94.134.91.59) (Ping timeout: 265 seconds) |
| 2022-09-23 04:21:36 +0200 | <Clinton[m]> | Is `Blah` below something that has an actual name and defined in a library somewhere?... (full message at <https://libera.ems.host/_matrix/media/r0/download/libera.chat/b90c6fc92b313aa22003e15d2b513087d797…>) |
| 2022-09-23 04:22:46 +0200 | <sm> | I'm gonna say no |
| 2022-09-23 04:22:57 +0200 | td_ | (~td@muedsl-82-207-238-210.citykom.de) |
| 2022-09-23 04:22:58 +0200 | <Clinton[m]> | it kinda looks like an existential but https://hackage.haskell.org/package/exists-0.2/docs/src/Data-Exists-Internal.html#Exists seems too general. I don't need a constraint here (although I guess in theory I could represent `f` as a constraint). |
| 2022-09-23 04:23:50 +0200 | <EvanR> | it looks like a off the cuff example of a GADT with a polymorphic kind in a sig |
| 2022-09-23 04:24:02 +0200 | <EvanR> | syntax example |
| 2022-09-23 04:26:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-23 04:26:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-23 04:26:57 +0200 | benin0 | (~benin@183.82.24.8) |
| 2022-09-23 04:27:48 +0200 | <monochrom> | It is close to CoYoneda. https://hackage.haskell.org/package/for-free-0.1/docs/Control-ForFree.html#g:3 |
| 2022-09-23 04:28:24 +0200 | <monochrom> | But it has an extra a->x (their z is your a), and it presumes a :: * |
| 2022-09-23 04:31:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-23 04:32:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-23 04:33:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-23 04:41:43 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-23 04:43:08 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-23 04:44:12 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-09-23 04:45:17 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-23 04:49:21 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 252 seconds) |
| 2022-09-23 04:49:55 +0200 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-23 04:50:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 04:52:14 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-23 04:52:34 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-23 04:55:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-23 04:55:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 05:00:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-23 05:01:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-23 05:10:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-23 05:10:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-23 05:12:49 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-09-23 05:19:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 05:23:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-23 05:24:07 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-09-23 05:26:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 05:27:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 05:27:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 05:40:57 +0200 | raym | (~raym@user/raym) |
| 2022-09-23 05:41:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 05:44:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 05:48:12 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2022-09-23 05:51:32 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-09-23 05:51:45 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-23 05:52:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 06:00:29 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-23 06:07:10 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-09-23 06:08:02 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 06:09:10 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f393002df2f41052616626.ipv6.abo.wanadoo.fr) (Quit: au revoir) |
| 2022-09-23 06:12:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 06:12:46 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 244 seconds) |
| 2022-09-23 06:15:43 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-23 06:17:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 06:23:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 06:24:42 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-23 06:27:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 06:29:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-23 06:29:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-09-23 06:31:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 06:38:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-23 06:40:17 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 06:41:18 +0200 | Guest66 | (~Guest66@45.144.115.133) |
| 2022-09-23 06:41:29 +0200 | <Guest66> | Is there a way to filter Either Left or Right from a list? |
| 2022-09-23 06:44:04 +0200 | mbuf | (~Shakthi@49.204.141.111) |
| 2022-09-23 06:44:09 +0200 | <jao> | [r | Right r <- xs] |
| 2022-09-23 06:46:01 +0200 | <jao> | > [ r | Right r <- [Right 3, Left "a", Right 4]] :: [Int] |
| 2022-09-23 06:46:03 +0200 | <lambdabot> | [3,4] |
| 2022-09-23 06:47:02 +0200 | <Lears> | @hoogle [Either a b] -> ([a], [b]) |
| 2022-09-23 06:47:04 +0200 | <lambdabot> | Data.Either partitionEithers :: [Either a b] -> ([a], [b]) |
| 2022-09-23 06:47:04 +0200 | <lambdabot> | Data.List.HT unzipEithers :: [Either a b] -> ([a], [b]) |
| 2022-09-23 06:47:04 +0200 | <lambdabot> | Data.Strict.Either partitionEithers :: [Either a b] -> ([a], [b]) |
| 2022-09-23 06:47:25 +0200 | <Lears> | Guest66: This ^ is better if you want both parts. |
| 2022-09-23 06:47:32 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-09-23 06:48:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 06:48:34 +0200 | <Guest66> | jao's list comprehension is what I was looking for, didn't know you could filter it there, thanks |
| 2022-09-23 06:50:48 +0200 | <Guest66> | or I guess that's pattern matching |
| 2022-09-23 06:52:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 06:55:54 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Remote host closed the connection) |
| 2022-09-23 06:56:31 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-09-23 07:02:16 +0200 | <dsal> | @hoogle [Either a b] -> [a] |
| 2022-09-23 07:02:17 +0200 | <lambdabot> | Data.Either lefts :: [Either a b] -> [a] |
| 2022-09-23 07:02:17 +0200 | <lambdabot> | Data.Strict.Either lefts :: [Either a b] -> [a] |
| 2022-09-23 07:02:17 +0200 | <lambdabot> | Protolude lefts :: () => [Either a b] -> [a] |
| 2022-09-23 07:02:27 +0200 | <dsal> | @hoogle [Either a b] -> [b] |
| 2022-09-23 07:02:28 +0200 | <lambdabot> | Data.Either rights :: [Either a b] -> [b] |
| 2022-09-23 07:02:28 +0200 | <lambdabot> | Data.Strict.Either rights :: [Either a b] -> [b] |
| 2022-09-23 07:02:28 +0200 | <lambdabot> | Protolude rights :: () => [Either a b] -> [b] |
| 2022-09-23 07:02:36 +0200 | slac43228 | (~slack1256@181.43.224.87) (Remote host closed the connection) |
| 2022-09-23 07:02:49 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-09-23 07:03:14 +0200 | <dsal> | Guest66: No need for a list comprehension when the stdlib already has a named function for the thing you want. |
| 2022-09-23 07:03:47 +0200 | <dsal> | Ironically, it's implemented that way, but with this: {-# INLINEABLE rights #-} -- otherwise doesn't get an unfolding, see #13689 |
| 2022-09-23 07:08:34 +0200 | <Guest66> | ah ok, you're right, using the function works too |
| 2022-09-23 07:09:29 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-09-23 07:10:46 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-23 07:14:01 +0200 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-23 07:14:30 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 07:15:52 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-23 07:20:06 +0200 | Guest66 | (~Guest66@45.144.115.133) (Ping timeout: 252 seconds) |
| 2022-09-23 07:20:53 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 265 seconds) |
| 2022-09-23 07:23:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 07:23:58 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (Quit: Quit) |
| 2022-09-23 07:24:28 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-09-23 07:28:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 07:42:02 +0200 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-23 07:42:17 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-09-23 07:50:44 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-23 07:52:09 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-23 07:55:42 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Ping timeout: 265 seconds) |
| 2022-09-23 07:56:18 +0200 | gay9 | (~quassel@92-65-73-218.biz.kpn.net) |
| 2022-09-23 07:57:00 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-23 07:57:08 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 07:58:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 07:59:32 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-23 08:01:41 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-23 08:01:58 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 265 seconds) |
| 2022-09-23 08:02:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 08:06:31 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-23 08:08:30 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 08:09:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-23 08:11:52 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 08:16:15 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-09-23 08:16:27 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 08:19:05 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2022-09-23 08:19:10 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-09-23 08:19:27 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-23 08:19:45 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-09-23 08:19:47 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-23 08:24:32 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-09-23 08:24:55 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-23 08:31:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:431:c1f7:2793:a88d) |
| 2022-09-23 08:32:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 08:32:54 +0200 | gay9 | (~quassel@92-65-73-218.biz.kpn.net) (Ping timeout: 265 seconds) |
| 2022-09-23 08:33:45 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
| 2022-09-23 08:35:48 +0200 | kenran | (~kenran@200116b82b90a700e604c19a814c9950.dip.versatel-1u1.de) |
| 2022-09-23 08:37:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 08:39:37 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-032.client.tudelft.eduvpn.nl) |
| 2022-09-23 08:40:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a97958fabe0efe8f0df.dip0.t-ipconnect.de) |
| 2022-09-23 08:41:12 +0200 | gemmaro | (~user@240f:74:d1f0:1:f11e:7a22:c627:f177) |
| 2022-09-23 08:41:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-23 08:41:34 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-09-23 08:43:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-23 08:43:03 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 265 seconds) |
| 2022-09-23 08:45:04 +0200 | <dminuoso> | dsal: Though for what its worth, the list comprehension is really useful for arbitrary sum types here. |
| 2022-09-23 08:45:19 +0200 | <dsal> | Sure, it's good to know. |
| 2022-09-23 08:46:01 +0200 | <dminuoso> | Especially since you can use it as a poor mans prism/affine foldable |
| 2022-09-23 08:46:06 +0200 | <dminuoso> | Since it works nicely for nested things too |
| 2022-09-23 08:47:25 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-23 08:48:18 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-23 08:55:05 +0200 | jonathanx | (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) |
| 2022-09-23 08:56:49 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-23 08:58:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-23 08:59:02 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-23 09:04:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 09:08:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 09:10:39 +0200 | michalz | (~michalz@185.246.207.197) |
| 2022-09-23 09:17:14 +0200 | MoC | (~moc@user/moc) |
| 2022-09-23 09:17:46 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-23 09:22:18 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 09:23:35 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-23 09:23:35 +0200 | tcard_ | (~tcard@p696070-ipngn8501hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-23 09:24:39 +0200 | tcard | (~tcard@p696070-ipngn8501hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer) |
| 2022-09-23 09:32:10 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 09:35:35 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-23 09:37:26 +0200 | akegalj | (~akegalj@78-3-83-94.adsl.net.t-com.hr) |
| 2022-09-23 09:37:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 09:42:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 09:45:08 +0200 | haskeller | (~haskeller@103.86.106.250) |
| 2022-09-23 09:45:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-23 09:46:36 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-09-23 09:48:02 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 09:49:16 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 09:49:53 +0200 | gemmaro | (~user@240f:74:d1f0:1:f11e:7a22:c627:f177) (Remote host closed the connection) |
| 2022-09-23 09:50:22 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) |
| 2022-09-23 09:53:18 +0200 | haskeller | (~haskeller@103.86.106.250) () |
| 2022-09-23 09:54:03 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 268 seconds) |
| 2022-09-23 10:10:27 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-09-23 10:10:34 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-23 10:10:48 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-09-23 10:12:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 10:16:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 10:17:39 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-23 10:18:33 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-23 10:20:09 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-09-23 10:22:57 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 10:28:36 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 264 seconds) |
| 2022-09-23 10:29:32 +0200 | raehik | (~raehik@global-5-16.n-1.net.cam.ac.uk) |
| 2022-09-23 10:29:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-23 10:30:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-23 10:31:23 +0200 | trcc | (~trcc@87-57-134-11-cable.dk.customer.tdc.net) |
| 2022-09-23 10:32:08 +0200 | Guest503 | (~Guest50@192.182.150.125) |
| 2022-09-23 10:32:47 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-23 10:35:59 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a8f6:62e0:a0fa:7808) |
| 2022-09-23 10:40:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-23 10:41:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-23 10:42:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-23 10:43:46 +0200 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) |
| 2022-09-23 10:46:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 10:47:31 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-23 10:49:08 +0200 | <Guest503> | What's a good way to share state between an arbitrary number of threads? |
| 2022-09-23 10:49:08 +0200 | <Guest503> | My use case: I'm trying to implement a . I need multithreading to fetch URLS concurrently and state to |
| 2022-09-23 10:49:35 +0200 | <Guest503> | Sorry, accidentally hit enter while typing |
| 2022-09-23 10:50:12 +0200 | <Athas> | Guest503: the best way is to not do that. A starting point for doing that is to use an MVar. |
| 2022-09-23 10:50:26 +0200 | kuribas | (~user@ptr-17d51enb5v9fgypvpol.18120a2.ip6.access.telenet.be) |
| 2022-09-23 10:50:29 +0200 | <Athas> | An MVar is a properly synchronised concurrent mutable variable. |
| 2022-09-23 10:50:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 10:51:11 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection) |
| 2022-09-23 10:51:27 +0200 | <Athas> | I assume you already know the risks of contention and such. MVars can help avoid race conditions, but shared mutable state is always risky. You should read up on the potential problems if you're not already aware of them. |
| 2022-09-23 10:51:28 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-23 10:51:45 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-09-23 10:51:56 +0200 | <trcc> | I am looking a optparse-applicative and I have added a --version argument. I am using https://hackage.haskell.org/package/optparse-applicative-0.17.0.0/docs/Options-Applicative.html#v:… but why does it have to fail? Is there an alternative? |
| 2022-09-23 10:52:41 +0200 | <Guest503> | Basically I need a map from previously-accessed URLs to their XML content. I was thinking of 2 ways to do it: |
| 2022-09-23 10:52:41 +0200 | <Guest503> | 1. Using an MVar with an immutable map |
| 2022-09-23 10:52:42 +0200 | <Guest503> | 2. Using some sort of thread-safe mutable hashmap (I know mutable hashmaps exist for haskell but don't know if they're thread-safe) |
| 2022-09-23 10:52:42 +0200 | <Guest503> | I'm guessing you'd favor #1 |
| 2022-09-23 10:53:11 +0200 | <Athas> | Yes, I'd go with an MVar with an immutable map inside. Change it later if it turns out to be a bottle neck. |
| 2022-09-23 10:53:19 +0200 | <Athas> | But the starting point should never be a complex concurrent data structure! |
| 2022-09-23 10:53:38 +0200 | <Guest503> | Ok, thanks |
| 2022-09-23 10:55:13 +0200 | Guest503 | (~Guest50@192.182.150.125) (Quit: Client closed) |
| 2022-09-23 10:57:29 +0200 | <trcc> | Rephrasion. Is there a reason why Optparse-applicative encodes presenting a message as a parserfailure? More specifially, infoOption https://hackage.haskell.org/package/optparse-applicative-0.17.0.0/docs/Options-Applicative.html#v:… |
| 2022-09-23 10:57:36 +0200 | <trcc> | haha rephrasion. Rephrasing :) |
| 2022-09-23 10:59:51 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-23 11:01:30 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-23 11:01:30 +0200 | jinsun | Guest8317 |
| 2022-09-23 11:01:30 +0200 | Guest8317 | (~jinsun@user/jinsun) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2022-09-23 11:01:30 +0200 | jinsun__ | jinsun |
| 2022-09-23 11:03:37 +0200 | raehik | (~raehik@global-5-16.n-1.net.cam.ac.uk) (Ping timeout: 246 seconds) |
| 2022-09-23 11:08:48 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-23 11:11:08 +0200 | Batzy_ | (~quassel@user/batzy) |
| 2022-09-23 11:13:51 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 265 seconds) |
| 2022-09-23 11:14:08 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 11:15:24 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Quit: king_gs) |
| 2022-09-23 11:15:28 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-23 11:16:05 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-23 11:20:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 11:24:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 11:25:16 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-23 11:26:43 +0200 | trcc | (~trcc@87-57-134-11-cable.dk.customer.tdc.net) (Quit: Connection closed) |
| 2022-09-23 11:33:23 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-23 11:33:49 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-23 11:34:17 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-23 11:34:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-23 11:36:10 +0200 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 246 seconds) |
| 2022-09-23 11:36:42 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Quit: king_gs) |
| 2022-09-23 11:39:22 +0200 | thyriaen | (~thyriaen@2a02:8109:8340:686c:7383:e0e2:ad95:9fce) |
| 2022-09-23 11:47:14 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 11:48:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:431:c1f7:2793:a88d) (Ping timeout: 260 seconds) |
| 2022-09-23 11:50:48 +0200 | jonathanx | (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2022-09-23 11:52:11 +0200 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-23 11:52:37 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-23 11:52:44 +0200 | jonathanx | (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) |
| 2022-09-23 11:53:35 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-23 11:55:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 11:55:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:dee5:fd7a:c93:49e5) |
| 2022-09-23 11:57:01 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-23 11:57:25 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-09-23 11:59:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 12:06:16 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-23 12:07:11 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 260 seconds) |
| 2022-09-23 12:07:58 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) (Remote host closed the connection) |
| 2022-09-23 12:08:25 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) |
| 2022-09-23 12:11:30 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-23 12:14:22 +0200 | akegalj | (~akegalj@78-3-83-94.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-23 12:15:23 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-23 12:17:12 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2022-09-23 12:17:39 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-09-23 12:17:56 +0200 | pottsy | (~pottsy@90.pool85-52-231.static.orange.es) |
| 2022-09-23 12:19:56 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:9d02:5eae:f964:930) (Remote host closed the connection) |
| 2022-09-23 12:20:37 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) (Ping timeout: 246 seconds) |
| 2022-09-23 12:22:46 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:3a8e:383d:7069:4bec) |
| 2022-09-23 12:27:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-23 12:30:07 +0200 | frost | (~frost@user/frost) |
| 2022-09-23 12:31:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 12:34:36 +0200 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 264 seconds) |
| 2022-09-23 12:35:16 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:add5:b9e8:89e3:e304) |
| 2022-09-23 12:36:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 12:37:28 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-23 12:57:45 +0200 | jonathanx | (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-23 13:13:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:dee5:fd7a:c93:49e5) (Ping timeout: 264 seconds) |
| 2022-09-23 13:14:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4ff0:be78:f674:f69e) |
| 2022-09-23 13:17:16 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) |
| 2022-09-23 13:17:49 +0200 | luffy | (~chenqisu1@183.217.203.170) |
| 2022-09-23 13:18:06 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-23 13:18:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-23 13:18:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-23 13:18:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2022-09-23 13:18:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2022-09-23 13:18:06 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2022-09-23 13:18:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-09-23 13:18:06 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-23 13:18:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 13:18:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-23 13:18:43 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-23 13:18:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-23 13:18:50 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 13:19:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 13:19:09 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-09-23 13:19:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-23 13:23:13 +0200 | ubert | (~Thunderbi@77.119.207.90.wireless.dyn.drei.com) |
| 2022-09-23 13:24:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-23 13:25:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 13:27:45 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-23 13:29:59 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-09-23 13:31:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2022-09-23 13:34:52 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-23 13:37:19 +0200 | fjMSX | (~hypni2p@2.92.213.55) (Read error: Connection reset by peer) |
| 2022-09-23 13:43:00 +0200 | pottsy | (~pottsy@90.pool85-52-231.static.orange.es) (Quit: Leaving) |
| 2022-09-23 13:43:53 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-23 13:44:12 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-09-23 13:45:46 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 260 seconds) |
| 2022-09-23 13:46:51 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:9ad3:6a17:e298:3166) |
| 2022-09-23 13:47:34 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-09-23 13:48:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-23 13:48:32 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 265 seconds) |
| 2022-09-23 13:52:41 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-09-23 13:54:51 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-23 13:55:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 13:56:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-23 13:57:22 +0200 | luffy | (~chenqisu1@183.217.203.170) (Remote host closed the connection) |
| 2022-09-23 13:58:45 +0200 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-09-23 13:59:30 +0200 | luffy | (~chenqisu1@183.217.203.170) |
| 2022-09-23 13:59:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 14:00:04 +0200 | luffy | (~chenqisu1@183.217.203.170) (Max SendQ exceeded) |
| 2022-09-23 14:00:33 +0200 | luffy | (~chenqisu1@183.217.203.170) |
| 2022-09-23 14:03:00 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-09-23 14:03:07 +0200 | luffy | (~chenqisu1@183.217.203.170) (Max SendQ exceeded) |
| 2022-09-23 14:03:40 +0200 | luffy | (~chenqisu1@183.217.203.170) |
| 2022-09-23 14:03:56 +0200 | jonathanx | (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) |
| 2022-09-23 14:04:01 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 14:07:50 +0200 | mbuf | (~Shakthi@49.204.141.111) (Quit: Leaving) |
| 2022-09-23 14:12:53 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:9ad3:6a17:e298:3166) (Ping timeout: 250 seconds) |
| 2022-09-23 14:15:54 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-23 14:18:08 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-23 14:21:56 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a97958fabe0efe8f0df.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-23 14:25:13 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-23 14:29:00 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-23 14:35:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 14:38:13 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-23 14:38:35 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-23 14:39:32 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-09-23 14:41:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 14:45:08 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-23 14:46:41 +0200 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-23 14:46:48 +0200 | Hafydd_ | (jc@user/hafydd) (Quit: WeeChat 3.5) |
| 2022-09-23 14:52:36 +0200 | luffy | (~chenqisu1@183.217.203.170) (Ping timeout: 264 seconds) |
| 2022-09-23 15:01:29 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-09-23 15:05:45 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-09-23 15:05:52 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-23 15:06:16 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 15:07:01 +0200 | benin0 | (~benin@183.82.24.8) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-23 15:07:04 +0200 | valzant | (~parsival@209.141.195.79) |
| 2022-09-23 15:12:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 15:14:19 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-23 15:16:10 +0200 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-09-23 15:17:01 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 15:17:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 15:20:03 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-09-23 15:20:16 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 15:20:35 +0200 | valzant | (~parsival@209.141.195.79) (Remote host closed the connection) |
| 2022-09-23 15:20:57 +0200 | valzant | (~parsival@209.141.195.79) |
| 2022-09-23 15:22:48 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-23 15:26:37 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-23 15:28:00 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 264 seconds) |
| 2022-09-23 15:36:01 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-23 15:36:26 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-23 15:38:35 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-23 15:45:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 15:48:13 +0200 | fjMSX | (~hypni2p@2.92.213.55) (Read error: Connection reset by peer) |
| 2022-09-23 15:49:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 15:49:25 +0200 | matthewm_ | (~matthewmo@173.170.253.91) |
| 2022-09-23 15:53:52 +0200 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-09-23 15:59:10 +0200 | <matthewm_> | hi |
| 2022-09-23 16:02:52 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-032.client.tudelft.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-09-23 16:03:48 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-09-23 16:04:08 +0200 | jespada_ | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-23 16:08:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4ff0:be78:f674:f69e) (Quit: WeeChat 2.8) |
| 2022-09-23 16:11:59 +0200 | <[exa]> | matthewm_: hello! |
| 2022-09-23 16:15:25 +0200 | <ski> | Clinton[m] : that `Exists c' expresses `exists a. c a *> a' (bundling a single value of abstract type with a provided constraint over that type) (cf. Rust traits, Java interfaces). what you're asking for is `exists a. f a' (abstracting only part of the type of a larger "collection" type). neither is more general. least common generalization would be `exists a. c a *> f a' |
| 2022-09-23 16:15:30 +0200 | <ski> | @hackage some |
| 2022-09-23 16:15:30 +0200 | <lambdabot> | https://hackage.haskell.org/package/some |
| 2022-09-23 16:15:47 +0200 | <ski> | Clinton[m] : seems that ^ has what you were asking for |
| 2022-09-23 16:20:43 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) (Ping timeout: 246 seconds) |
| 2022-09-23 16:21:08 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-09-23 16:23:32 +0200 | <ski> | (the `Data.Some.GADT' variant is your `Blah'. `Data.Some'/`Data.SomeNewtype' is a `newtype' version that avoids the data constructor wrapping (possible since there's no constraints, but GHC still doesn't allow this with `ExistentialQuantification'/`GADTs', so they do a hack to get around that). `Data.Some.Church' is the CPS representation (`newtype', value wrapped inside generator accepting |
| 2022-09-23 16:23:39 +0200 | <ski> | consumer/continuation)) |
| 2022-09-23 16:25:38 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) (Quit: Leaving) |
| 2022-09-23 16:27:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-23 16:33:40 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) (Ping timeout: 246 seconds) |
| 2022-09-23 16:35:32 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-09-23 16:35:35 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-23 16:36:31 +0200 | matthewm_ | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 16:37:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 16:40:16 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-23 16:42:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 16:42:21 +0200 | bahamas | (~lucian@93.122.251.83) |
| 2022-09-23 16:44:56 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-23 16:48:03 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-23 16:48:04 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-23 16:48:42 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-23 16:49:46 +0200 | valzant | (~parsival@209.141.195.79) (Ping timeout: 246 seconds) |
| 2022-09-23 16:50:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 16:58:30 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-23 16:59:59 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-23 17:00:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-23 17:00:26 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-23 17:01:28 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 17:07:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-23 17:08:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-23 17:08:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-23 17:08:37 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 265 seconds) |
| 2022-09-23 17:10:53 +0200 | valzant | (~parsival@209.141.195.79) |
| 2022-09-23 17:11:20 +0200 | MoC | (~moc@user/moc) |
| 2022-09-23 17:11:23 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:812c:89d3:c1d4:ec73) |
| 2022-09-23 17:11:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 17:12:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-09-23 17:13:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 17:14:49 +0200 | jonathanx | (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2022-09-23 17:15:35 +0200 | valzant | (~parsival@209.141.195.79) (Ping timeout: 268 seconds) |
| 2022-09-23 17:16:57 +0200 | mikoto-chan | (~mikoto-ch@2001:999:481:3c50:daca:9ed0:43e3:cec0) |
| 2022-09-23 17:17:42 +0200 | valzant | (~parsival@209.141.195.79) |
| 2022-09-23 17:17:56 +0200 | kenran | (~kenran@200116b82b90a700e604c19a814c9950.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-23 17:17:58 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-09-23 17:18:05 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-23 17:19:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-23 17:20:03 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-23 17:20:34 +0200 | raehik | (~raehik@global-5-16.n-1.net.cam.ac.uk) |
| 2022-09-23 17:21:01 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 17:21:10 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-23 17:21:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-23 17:21:34 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-23 17:22:18 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 17:23:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a44443de5f7538556f2.dip0.t-ipconnect.de) |
| 2022-09-23 17:24:10 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 17:25:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 17:26:25 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:812c:89d3:c1d4:ec73) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-23 17:29:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-23 17:29:40 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-23 17:30:24 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-23 17:35:56 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-23 17:39:50 +0200 | MoC | (~moc@user/moc) (Read error: Connection reset by peer) |
| 2022-09-23 17:39:54 +0200 | MoC_ | (~moc@user/moc) |
| 2022-09-23 17:40:01 +0200 | MoC_ | MoC |
| 2022-09-23 17:40:28 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-23 17:41:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 17:41:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-23 17:42:37 +0200 | raehik | (~raehik@global-5-16.n-1.net.cam.ac.uk) (Ping timeout: 246 seconds) |
| 2022-09-23 17:43:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-23 17:43:21 +0200 | califax | (~califax@user/califx) |
| 2022-09-23 17:44:43 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-23 17:45:08 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-23 17:48:52 +0200 | raehik | (~raehik@global-5-13.n-1.net.cam.ac.uk) |
| 2022-09-23 17:49:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-23 17:51:27 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-23 17:51:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 17:52:23 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 17:52:25 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2022-09-23 17:53:34 +0200 | raehik | (~raehik@global-5-13.n-1.net.cam.ac.uk) (Ping timeout: 265 seconds) |
| 2022-09-23 17:55:09 +0200 | raehik | (~raehik@global-5-13.n-1.net.cam.ac.uk) |
| 2022-09-23 17:56:37 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 246 seconds) |
| 2022-09-23 17:59:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a44443de5f7538556f2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-09-23 17:59:57 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 250 seconds) |
| 2022-09-23 18:00:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 18:02:09 +0200 | raehik | (~raehik@global-5-13.n-1.net.cam.ac.uk) (Ping timeout: 244 seconds) |
| 2022-09-23 18:03:11 +0200 | mikoto-chan | (~mikoto-ch@2001:999:481:3c50:daca:9ed0:43e3:cec0) (Ping timeout: 244 seconds) |
| 2022-09-23 18:05:40 +0200 | valzant | (~parsival@209.141.195.79) (Ping timeout: 265 seconds) |
| 2022-09-23 18:11:01 +0200 | bahamas | (~lucian@93.122.251.83) (Quit: Lost terminal) |
| 2022-09-23 18:11:48 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 264 seconds) |
| 2022-09-23 18:16:02 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2022-09-23 18:17:29 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-09-23 18:19:05 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-09-23 18:19:20 +0200 | raehik | (~raehik@global-5-13.n-1.net.cam.ac.uk) |
| 2022-09-23 18:19:32 +0200 | DavidBinder | (~DavidBind@134.2.10.18) (Quit: Leaving) |
| 2022-09-23 18:19:36 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-23 18:20:46 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 246 seconds) |
| 2022-09-23 18:20:53 +0200 | vulpine | (xfnw@tilde.team) |
| 2022-09-23 18:21:47 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 18:23:30 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-23 18:25:42 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-23 18:28:38 +0200 | img | (~img@user/img) |
| 2022-09-23 18:29:56 +0200 | vglfr | (~vglfr@145.224.100.249) |
| 2022-09-23 18:30:33 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2022-09-23 18:31:28 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-09-23 18:35:22 +0200 | kuribas | (~user@ptr-17d51enb5v9fgypvpol.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-23 18:35:28 +0200 | raehik | (~raehik@global-5-13.n-1.net.cam.ac.uk) (Ping timeout: 246 seconds) |
| 2022-09-23 18:38:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-23 18:40:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-23 18:42:43 +0200 | berberman | (~berberman@user/berberman) |
| 2022-09-23 18:43:54 +0200 | aoeu | (~aoeu@196.red-81-43-248.staticip.rima-tde.net) |
| 2022-09-23 18:46:23 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-23 18:49:47 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2022-09-23 18:51:05 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2022-09-23 18:51:22 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-23 18:54:46 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-23 18:55:25 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-23 18:55:37 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 252 seconds) |
| 2022-09-23 18:56:12 +0200 | berberman | (~berberman@user/berberman) |
| 2022-09-23 18:58:55 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-09-23 18:59:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-23 19:00:45 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-23 19:01:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 19:01:27 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 19:04:39 +0200 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) |
| 2022-09-23 19:05:14 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-23 19:06:16 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-09-23 19:06:45 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-09-23 19:10:07 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 246 seconds) |
| 2022-09-23 19:11:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-23 19:12:16 +0200 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-23 19:12:17 +0200 | Logio | (em@kapsi.fi) (Remote host closed the connection) |
| 2022-09-23 19:12:34 +0200 | Henkru | (henkru@kapsi.fi) (Remote host closed the connection) |
| 2022-09-23 19:14:21 +0200 | econo | (uid147250@user/econo) |
| 2022-09-23 19:14:24 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-23 19:15:14 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-23 19:17:01 +0200 | MoC | (~moc@user/moc) |
| 2022-09-23 19:21:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 19:23:23 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-09-23 19:25:27 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-23 19:26:05 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-23 19:26:34 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2022-09-23 19:28:13 +0200 | Lears | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-09-23 19:29:03 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-09-23 19:34:24 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:add5:b9e8:89e3:e304) (Remote host closed the connection) |
| 2022-09-23 19:35:04 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-23 19:35:56 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2022-09-23 19:36:07 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
| 2022-09-23 19:38:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-23 19:51:29 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-23 19:52:44 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 244 seconds) |
| 2022-09-23 19:54:04 +0200 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) (Ping timeout: 268 seconds) |
| 2022-09-23 19:57:47 +0200 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) |
| 2022-09-23 19:58:16 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a440dc2598308a8f039.dip0.t-ipconnect.de) |
| 2022-09-23 20:00:40 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-23 20:01:39 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-23 20:01:39 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 265 seconds) |
| 2022-09-23 20:01:55 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-09-23 20:02:28 +0200 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-23 20:02:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 20:03:30 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-23 20:03:55 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-09-23 20:06:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 20:11:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 20:11:27 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-09-23 20:12:47 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Client Quit) |
| 2022-09-23 20:13:06 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 20:15:12 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-09-23 20:20:47 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-09-23 20:20:47 +0200 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-09-23 20:20:55 +0200 | beteigeuze1 | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) |
| 2022-09-23 20:21:05 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-23 20:21:05 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-23 20:21:47 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-09-23 20:22:40 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-09-23 20:22:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-23 20:23:14 +0200 | beteigeuze1 | beteigeuze |
| 2022-09-23 20:23:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-23 20:24:31 +0200 | <seydar> | how do you parallelize `reduce`? I acknowledge it can be done, but... how? |
| 2022-09-23 20:24:44 +0200 | <seydar> | parallelizing recursive functions seems... not doable? |
| 2022-09-23 20:25:49 +0200 | Alex_test | (~al_test@94.233.240.222) (Ping timeout: 252 seconds) |
| 2022-09-23 20:26:11 +0200 | AlexZenon | (~alzenon@94.233.240.222) (Ping timeout: 252 seconds) |
| 2022-09-23 20:26:14 +0200 | <Rembane> | You can split the input into some chunks and run every chunk in parallell and then run reduce on the results |
| 2022-09-23 20:27:08 +0200 | <c_wraith> | you can't parallelize and arbitrary foldr |
| 2022-09-23 20:27:11 +0200 | <c_wraith> | *an |
| 2022-09-23 20:27:21 +0200 | <c_wraith> | There needs to be some additional structure |
| 2022-09-23 20:27:30 +0200 | <seydar> | c_wraith: okay, *that* makes sense |
| 2022-09-23 20:27:44 +0200 | <seydar> | Rembane: brilliant! hadn't thought of that |
| 2022-09-23 20:27:51 +0200 | <c_wraith> | a common bit of additional structure is making the operation monoidal |
| 2022-09-23 20:27:59 +0200 | <c_wraith> | then you know you can chunk up the work |
| 2022-09-23 20:29:37 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-23 20:30:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 20:32:13 +0200 | Alex_test | (~al_test@94.233.240.222) |
| 2022-09-23 20:32:31 +0200 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-09-23 20:33:00 +0200 | <Rembane> | seydar: It's quite nifty. What c_wraith says is super important though, otherwise you'll just get something more complex that doesn't work. Another interesting aspect is that the splitting and merging can eat up all the performance gains. |
| 2022-09-23 20:33:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 20:34:51 +0200 | <c_wraith> | also, pay attention to data structures. splitting a list is a lot more work than splitting a balanced tree, and even that is a lot less flexible than splitting an array |
| 2022-09-23 20:35:24 +0200 | <EvanR> | literally reducing, i mean foldling, a list seems, very sequential |
| 2022-09-23 20:35:51 +0200 | <EvanR> | so something about this game has to be changed to make it parallel |
| 2022-09-23 20:37:02 +0200 | <geekosaur> | that was what c_wraith was saying, I think |
| 2022-09-23 20:37:20 +0200 | <geekosaur> | re "some additional structure" |
| 2022-09-23 20:37:49 +0200 | <EvanR> | taking away the list structure is a start xD which is what all these conal videos are about |
| 2022-09-23 20:38:23 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-09-23 20:38:26 +0200 | <EvanR> | or keep the list and it's not actually foldl |
| 2022-09-23 20:38:30 +0200 | Guest2 | (~Guest2@241.red-79-154-208.dynamicip.rima-tde.net) |
| 2022-09-23 20:39:12 +0200 | <EvanR> | or what is reduce anyway |
| 2022-09-23 20:40:21 +0200 | Guest2 | (~Guest2@241.red-79-154-208.dynamicip.rima-tde.net) (Client Quit) |
| 2022-09-23 20:40:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-23 20:40:36 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:ede3:2530:9317:b779) |
| 2022-09-23 20:41:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 20:45:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 20:46:22 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-09-23 20:47:02 +0200 | <seydar> | associativity! that's the word |
| 2022-09-23 20:47:18 +0200 | <seydar> | monads are associative. if we want to split up reduce, the underlying structure has to be associative |
| 2022-09-23 20:48:59 +0200 | <geekosaur> | who said it had to be a monad? as c_wraith noted, you only need monoidal. if course, if what you're reducing is monadic, then you're right |
| 2022-09-23 20:49:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a440dc2598308a8f039.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-23 20:49:29 +0200 | <geekosaur> | (and you're using it. lists are monads,m but if you're not using the monad part again you only need the monoid part) |
| 2022-09-23 20:50:46 +0200 | <geekosaur> | (assuming the operation is monoidal) |
| 2022-09-23 20:51:23 +0200 | <seydar> | What do we mean when we say monoidal? What do we lose between monoidal and monad? |
| 2022-09-23 20:51:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 20:51:59 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
| 2022-09-23 20:52:10 +0200 | <geekosaur> | monoidal just means there's a "zero" and a combining operation of some kind; it's very simple |
| 2022-09-23 20:52:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2022-09-23 20:52:33 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-23 20:53:17 +0200 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) (Quit: WeeChat 3.6) |
| 2022-09-23 20:53:48 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-23 20:54:05 +0200 | <geekosaur> | (well, there are a few other constraints, such as the same zero works on the left and the right, but that's pretty much given in Haskell) |
| 2022-09-23 20:54:56 +0200 | <EvanR> | a monad is actually a kind of monoid |
| 2022-09-23 20:55:11 +0200 | <EvanR> | I'll just leave it at that lol |
| 2022-09-23 20:55:24 +0200 | <geekosaur> | anyway if the operation is monoidal then you can arbitrarily split and recombine the data it operates on and get the same reault, guaranteed |
| 2022-09-23 20:55:25 +0200 | <seydar> | monoidal is also guaranteed to be associative i assume, right? |
| 2022-09-23 20:55:28 +0200 | <geekosaur> | *result |
| 2022-09-23 20:55:31 +0200 | <seydar> | kk |
| 2022-09-23 20:56:05 +0200 | <geekosaur> | should be associative and commutative as a result, I think |
| 2022-09-23 20:56:22 +0200 | <geekosaur> | at least in Haskell |
| 2022-09-23 20:56:31 +0200 | <c_wraith> | Not commutative |
| 2022-09-23 20:56:39 +0200 | <EvanR> | matrix multiplication |
| 2022-09-23 20:56:39 +0200 | <c_wraith> | > "a" <> "b" |
| 2022-09-23 20:56:41 +0200 | <lambdabot> | "ab" |
| 2022-09-23 20:56:47 +0200 | <geekosaur> | mm, right |
| 2022-09-23 20:56:52 +0200 | <geekosaur> | sorry |
| 2022-09-23 20:56:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-23 20:57:23 +0200 | <c_wraith> | But yeah, associative. Which is all you need in order to be able to break it up and recombine it, so long as you preserve the element order |
| 2022-09-23 20:57:25 +0200 | <geekosaur> | so do we have an additional requirement here? either it's commutative or the final order is irrelevant |
| 2022-09-23 20:57:34 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 246 seconds) |
| 2022-09-23 20:57:38 +0200 | <geekosaur> | which may be the same thing for at least some monoids (e.g. Sum) |
| 2022-09-23 20:57:51 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-09-23 20:58:03 +0200 | <geekosaur> | but not all, depends on whether you care if "ab" and "ba" are different or not |
| 2022-09-23 20:58:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-23 20:59:02 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-23 21:01:47 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 21:02:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-23 21:02:45 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-23 21:02:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-23 21:05:39 +0200 | <EvanR> | multiset monoid |
| 2022-09-23 21:09:16 +0200 | <dolio> | You can parallelize with just associative, but I imagine it's much tricker to arrange for distributed scenarios. |
| 2022-09-23 21:10:46 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-23 21:11:01 +0200 | <dolio> | Commutativity makes it much easier. |
| 2022-09-23 21:12:17 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-23 21:12:24 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-23 21:14:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 21:15:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a440dc2598308a8f039.dip0.t-ipconnect.de) |
| 2022-09-23 21:21:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Quit: leaving) |
| 2022-09-23 21:22:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 21:22:38 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-23 21:25:02 +0200 | tromp | (~textual@92.110.219.57) |
| 2022-09-23 21:26:15 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2022-09-23 21:28:00 +0200 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) (Ping timeout: 264 seconds) |
| 2022-09-23 21:36:22 +0200 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-23 21:37:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-23 21:38:00 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-23 21:42:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-23 21:42:48 +0200 | gehmehgeh | gmg |
| 2022-09-23 21:43:56 +0200 | Logio | (em@kapsi.fi) |
| 2022-09-23 21:45:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-23 21:51:16 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-23 21:52:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 21:54:36 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 260 seconds) |
| 2022-09-23 21:55:23 +0200 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) |
| 2022-09-23 21:56:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-23 21:57:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 21:58:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-23 21:59:56 +0200 | aoeu | _bo |
| 2022-09-23 22:00:14 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 22:02:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-23 22:02:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-23 22:03:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-23 22:04:45 +0200 | kenran | (~kenran@200116b82b90a700ecc41ed2c4ef9661.dip.versatel-1u1.de) |
| 2022-09-23 22:05:30 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 22:05:51 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-23 22:06:01 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 244 seconds) |
| 2022-09-23 22:08:03 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-23 22:21:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-23 22:21:19 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-23 22:22:25 +0200 | coot | (~coot@213.134.176.158) (Ping timeout: 252 seconds) |
| 2022-09-23 22:25:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 22:30:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-23 22:30:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-23 22:31:06 +0200 | jargon | (~jargon@184.101.186.15) |
| 2022-09-23 22:35:24 +0200 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-23 22:53:12 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-23 22:54:41 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a440dc2598308a8f039.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-23 22:55:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-23 22:55:26 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-23 22:56:34 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-23 23:00:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-23 23:08:29 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-23 23:09:47 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-23 23:25:51 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2022-09-23 23:27:52 +0200 | kenran | (~kenran@200116b82b90a700ecc41ed2c4ef9661.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-23 23:27:54 +0200 | Logio | (em@kapsi.fi) (Remote host closed the connection) |
| 2022-09-23 23:29:27 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-09-23 23:29:53 +0200 | kmein | (~weechat@user/kmein) |
| 2022-09-23 23:31:58 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-23 23:32:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-23 23:32:52 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-23 23:38:03 +0200 | jargon | (~jargon@184.101.186.15) |
| 2022-09-23 23:41:29 +0200 | Null_A_ | (~null_a@2601:645:8700:ac10:1005:19fc:119b:3387) |
| 2022-09-23 23:44:31 +0200 | Null_A | (~null_a@2601:645:8700:ac10:655d:60dc:6144:b340) (Ping timeout: 246 seconds) |
| 2022-09-23 23:45:25 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-23 23:52:16 +0200 | ober_ | (~ober@71.235.16.183) |
| 2022-09-23 23:54:52 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-09-23 23:56:33 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-09-23 23:58:28 +0200 | berberman | (~berberman@user/berberman) |
| 2022-09-23 23:59:56 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |