| 2023-02-05 00:00:00 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-02-05 00:00:24 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-05 00:03:39 +0100 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2023-02-05 00:04:24 +0100 | int-e | (~noone@int-e.eu) |
| 2023-02-05 00:05:38 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2023-02-05 00:06:20 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2023-02-05 00:06:20 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2023-02-05 00:06:20 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2023-02-05 00:07:12 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-05 00:11:03 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 00:12:57 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-005.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-02-05 00:14:45 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-05 00:18:59 +0100 | Sinbad | (~Sinbad@user/sinbad) (Quit: WeeChat 3.8) |
| 2023-02-05 00:19:58 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-02-05 00:19:59 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 00:23:56 +0100 | Midjak2 | (~Midjak@82.66.147.146) |
| 2023-02-05 00:24:40 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-02-05 00:25:35 +0100 | Midjak | (~Midjak@2a01:e0a:247:a560:e0c4:fecf:1d0:ece3) (Ping timeout: 260 seconds) |
| 2023-02-05 00:27:13 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-02-05 00:28:06 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-02-05 00:32:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f424:933a:fcd6:76ad) (Remote host closed the connection) |
| 2023-02-05 00:35:21 +0100 | <Hammdist> | I've run into the <<loop>> problem. not sure what to do to narrow it down. the function I'm invoking from main doesn't seem to loop, it always seems to be called with a shorter and shorter list |
| 2023-02-05 00:36:04 +0100 | <darkling> | Just guessing: Does it terminate correctly if the list is empty? |
| 2023-02-05 00:36:57 +0100 | <EvanR> | https://i.imgur.com/AzKhq99.png |
| 2023-02-05 00:36:57 +0100 | int-e | likes to sprinkle code with Debug.Trace.trace calls to see what gets called. (A neat pattern is to add a line f x y | traceShow ("f",x,y) False = undefined to a candidate function `f`. You don't have to change any of the actual definitions.) |
| 2023-02-05 00:37:21 +0100 | kassouni | (~kassouni@c-73-223-27-190.hsd1.ca.comcast.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-02-05 00:37:27 +0100 | <byorgey> | ooh, that is a nice trick |
| 2023-02-05 00:37:41 +0100 | <monochrom> | Yeah use Debug.Trace to check your assumptions. |
| 2023-02-05 00:37:54 +0100 | <monochrom> | I think we got that trick from dons. |
| 2023-02-05 00:38:04 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 00:38:07 +0100 | <monochrom> | http://www.vex.net/~trebla/haskell/tracing.html |
| 2023-02-05 00:38:07 +0100 | opticblast | (~Thunderbi@172.58.80.152) (Ping timeout: 248 seconds) |
| 2023-02-05 00:38:21 +0100 | nunggu_ | (~q@user/nunggu) (Remote host closed the connection) |
| 2023-02-05 00:38:26 +0100 | <int-e> | yeah, it's an adaptation of the f x y | x `seq` y `seq` False = undefined pattern from ByteString. |
| 2023-02-05 00:38:45 +0100 | <int-e> | Before ghc had BangPatterns. |
| 2023-02-05 00:39:19 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-02-05 00:39:27 +0100 | <Hammdist> | 1) it still hangs with an empty list. the base case is clearly alright in the code 2) I tried trace, it didn't output anything |
| 2023-02-05 00:39:33 +0100 | nunggu_ | (~q@user/nunggu) |
| 2023-02-05 00:39:56 +0100 | <int-e> | the tracing line has to be first. but maybe the loop isn't happening where you think it's happening |
| 2023-02-05 00:40:05 +0100 | <darkling> | My question was more about whether the empty list was the thing that caused the loop. |
| 2023-02-05 00:40:20 +0100 | <int-e> | @paste if you share code we might have concrete ideas |
| 2023-02-05 00:40:20 +0100 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2023-02-05 00:40:24 +0100 | <int-e> | hmm |
| 2023-02-05 00:40:27 +0100 | <int-e> | @where paste |
| 2023-02-05 00:40:27 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-02-05 00:40:37 +0100 | <int-e> | (that one is preferred) |
| 2023-02-05 00:40:40 +0100 | <mauke> | `<<loop>>` is more about recursive (value) definitions than recursive function calls |
| 2023-02-05 00:40:57 +0100 | <int-e> | > let x = x in x :: () |
| 2023-02-05 00:40:58 +0100 | <mauke> | that is, you have a value that somehow depends on itself |
| 2023-02-05 00:40:59 +0100 | <lambdabot> | *Exception: <<loop>> |
| 2023-02-05 00:41:30 +0100 | <int-e> | > let f x = f (x+1) in f 0 -- no loop will be detected |
| 2023-02-05 00:41:36 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2023-02-05 00:42:02 +0100 | <mauke> | > let x = x + 1 in x |
| 2023-02-05 00:42:05 +0100 | <lambdabot> | *Exception: <<loop>> |
| 2023-02-05 00:42:16 +0100 | <int-e> | One possible source of this is accidentally reusing a variable name resulting in a recursive binding. |
| 2023-02-05 00:43:04 +0100 | <Hammdist> | oh really? I did reuse a variable |
| 2023-02-05 00:44:28 +0100 | <geekosaur> | common beginner trap: `f x = … let x = x + 1 in …` expecting it to use the outer definition of `x` |
| 2023-02-05 00:44:33 +0100 | <Hammdist> | hmm, that wasn't the cause. I will try to put together a mwe |
| 2023-02-05 00:46:14 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-02-05 00:47:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f424:933a:fcd6:76ad) |
| 2023-02-05 00:49:19 +0100 | <Hammdist> | error: parse error on input ‘Show’ <-- do I need an import to derive Show? |
| 2023-02-05 00:49:44 +0100 | <Hammdist> | ah it needed indent nvm |
| 2023-02-05 00:54:01 +0100 | <sm> | I think fluent use of trace is an essential haskell tool and should be prominently covered in books |
| 2023-02-05 00:54:49 +0100 | <darkling> | Not sure I can manage "fluent". Does "plentiful" work? :) |
| 2023-02-05 00:55:43 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-05 00:58:23 +0100 | <sm> | I think you're ahead of most ! |
| 2023-02-05 00:59:33 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-02-05 01:01:16 +0100 | <sm> | https://leanpub.com/production-haskell has a section on it ("17.1 On Debug.Trace"). Excellent! |
| 2023-02-05 01:02:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-05 01:02:57 +0100 | <sm> | darkling: slightly chaotic but useful trace helpers: https://hackage.haskell.org/package/hledger-lib-1.28/docs/Hledger-Utils-Debug.html |
| 2023-02-05 01:03:55 +0100 | <sm> | chaotic good |
| 2023-02-05 01:04:01 +0100 | danza | (~francesco@151.35.121.27) (Read error: Connection reset by peer) |
| 2023-02-05 01:06:45 +0100 | tessier | (~treed@98.171.210.130) (Ping timeout: 252 seconds) |
| 2023-02-05 01:07:12 +0100 | <int-e> | monochrom: actually do we know whether the pattern is dons' or dcoutts'? |
| 2023-02-05 01:07:48 +0100 | <monochrom> | Oh! I don't know, maybe dcoutts instead. |
| 2023-02-05 01:08:28 +0100 | tessier | (~treed@mobile-166-170-46-81.mycingular.net) |
| 2023-02-05 01:12:51 +0100 | opticblast | (~Thunderbi@172.58.84.5) |
| 2023-02-05 01:12:54 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 01:20:38 +0100 | danza | (~francesco@ge-19-98-82.service.infuturo.it) |
| 2023-02-05 01:22:38 +0100 | thongpv | (~thongpv87@2402:9d80:3bd:3161:2cf6:60a:386f:8e18) |
| 2023-02-05 01:26:26 +0100 | mvk | (~mvk@2607:fea8:5caa:ac00::f944) |
| 2023-02-05 01:26:31 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-05 01:26:55 +0100 | bhall | (~brunohall@212-8-253-140.hosted-by-worldstream.net) (Ping timeout: 252 seconds) |
| 2023-02-05 01:27:11 +0100 | tessier | (~treed@mobile-166-170-46-81.mycingular.net) (Ping timeout: 248 seconds) |
| 2023-02-05 01:27:34 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 01:38:35 +0100 | enthropy | (~enthropy@66.7.90.250) |
| 2023-02-05 01:43:11 +0100 | acidjnk | (~acidjnk@p200300d6e715c402e54e919fb479e010.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-05 01:45:39 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 01:54:31 +0100 | <Hammdist> | data Thing = Thing [Thing] how do I derive Arbitrary for it |
| 2023-02-05 01:54:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-05 01:54:47 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-05 01:54:47 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 01:55:40 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-05 01:59:20 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 2023-02-05 02:03:15 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-05 02:09:03 +0100 | czy | (~user@host-140-28.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 02:10:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-05 02:10:52 +0100 | <Hammdist> | looks like arbitrary = Thing <$> arbitrary works |
| 2023-02-05 02:13:27 +0100 | tessier | (~treed@mobile-166-170-47-178.mycingular.net) |
| 2023-02-05 02:13:47 +0100 | <Hammdist> | https://paste.ee/p/4NRL5 two questions (A) why does the input string to ptwr sometimes end in ")" and (B) why does quickcheck hang? |
| 2023-02-05 02:15:13 +0100 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) |
| 2023-02-05 02:16:20 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-02-05 02:16:38 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-05 02:19:13 +0100 | enthropy | (~enthropy@66.7.90.250) (Ping timeout: 260 seconds) |
| 2023-02-05 02:22:19 +0100 | <Hammdist> | it seems the extra ")" can be eliminated by passing s through show |
| 2023-02-05 02:22:29 +0100 | <Hammdist> | not sure what that's about though |
| 2023-02-05 02:22:44 +0100 | <Hammdist> | the hanging might be due to generation of excessively large things |
| 2023-02-05 02:23:29 +0100 | <geekosaur> | monochrom has a story there, yes |
| 2023-02-05 02:24:10 +0100 | nunggu_ | (~q@user/nunggu) (Remote host closed the connection) |
| 2023-02-05 02:24:10 +0100 | <geekosaur> | there's a decent chance that it's doing 50/50 on choice of building your tree nodes, which if you do the math leads to infinite trees |
| 2023-02-05 02:26:22 +0100 | nunggu_ | (~q@user/nunggu) |
| 2023-02-05 02:26:38 +0100 | <Hammdist> | at this point I'm not sure quickcheck is saving any time over just writing up some test cases |
| 2023-02-05 02:27:46 +0100 | <sm> | 👍️ |
| 2023-02-05 02:28:53 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-05 02:30:28 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-02-05 02:34:13 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 02:38:33 +0100 | <c_wraith> | I found myself using quickcheck in a way I don't see anyone else talk about. When I was testing a data structure, instead of generating values of the structure with it, I generated sequences of modifications. Then I'd test to ensure that all required properties held after each modification. |
| 2023-02-05 02:39:03 +0100 | <c_wraith> | But the core part of it was that I wasn't generating the data structure itself |
| 2023-02-05 02:40:31 +0100 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-02-05 02:45:25 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-05 02:46:31 +0100 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 252 seconds) |
| 2023-02-05 02:48:39 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 02:51:16 +0100 | <sm> | also note quickcheck has multiple competitors which claim to be easier to use in some ways |
| 2023-02-05 02:51:16 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 02:56:54 +0100 | mvk | (~mvk@2607:fea8:5caa:ac00::f944) (Quit: Going elsewhere) |
| 2023-02-05 03:04:11 +0100 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) |
| 2023-02-05 03:06:20 +0100 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) (Client Quit) |
| 2023-02-05 03:07:38 +0100 | <segfaultfizzbuzz> | i want gptcheck |
| 2023-02-05 03:13:29 +0100 | <int-e> | . o O ( "Your code looks really excellent today. I found no single bug, except for the fact that 2 + 2 = 5." ) |
| 2023-02-05 03:13:50 +0100 | <segfaultfizzbuzz> | haha you joke but making up variations on realistic inputs could be pretty great |
| 2023-02-05 03:20:48 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-02-05 03:21:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-05 03:23:29 +0100 | czy | (~user@host-140-28.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-02-05 03:25:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2023-02-05 03:32:36 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 03:33:44 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-02-05 03:34:14 +0100 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) |
| 2023-02-05 03:34:35 +0100 | <sclv> | i think many of the competitors are not about ease of use but specifying different sorts of search -- i.e. small and exhaustive inputs, etc |
| 2023-02-05 03:35:51 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-05 03:36:00 +0100 | cheater__ | cheater |
| 2023-02-05 03:37:05 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 03:38:10 +0100 | <sclv> | vis a vis generating infinite values, i'd take a look at writing a custom generator that makes use of size, as in https://hackage.haskell.org/package/QuickCheck-2.14.2/docs/Test-QuickCheck-Gen.html#v:getSize |
| 2023-02-05 03:39:54 +0100 | <sclv> | or if you're generating a list, it actually already does, and all you really need to do is add a resize or scale to each call to reduce the size as you recur. |
| 2023-02-05 03:40:36 +0100 | <sclv> | or use "frequency" to give extra weight to the empty list :-) |
| 2023-02-05 03:40:47 +0100 | theproffesor | (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 2023-02-05 03:40:52 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-02-05 03:40:59 +0100 | <sclv> | but that's only probabilistically terminating, while resizing is definitively so |
| 2023-02-05 03:45:05 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::d2a1) |
| 2023-02-05 03:45:05 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::d2a1) (Changing host) |
| 2023-02-05 03:45:05 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-02-05 03:46:15 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-02-05 03:47:43 +0100 | Midjak2 | (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 2023-02-05 03:48:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e7c5:c7:8d46:6e81) (Ping timeout: 248 seconds) |
| 2023-02-05 03:48:42 +0100 | Midjak2 | (~Midjak@82.66.147.146) |
| 2023-02-05 03:48:55 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-02-05 03:49:45 +0100 | theproffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-02-05 03:50:40 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-02-05 03:51:43 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-05 04:02:25 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2023-02-05 04:03:28 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 2023-02-05 04:05:47 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 04:06:16 +0100 | tessier | (~treed@mobile-166-170-47-178.mycingular.net) (Ping timeout: 252 seconds) |
| 2023-02-05 04:07:31 +0100 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 252 seconds) |
| 2023-02-05 04:07:57 +0100 | tessier | (~treed@98.171.210.130) |
| 2023-02-05 04:09:22 +0100 | td_ | (~td@i53870931.versanet.de) |
| 2023-02-05 04:10:27 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-05 04:12:26 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 04:14:21 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
| 2023-02-05 04:21:28 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 268 seconds) |
| 2023-02-05 04:22:07 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-05 04:22:09 +0100 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-02-05 04:23:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a4d4:2a1:9e67:f42c) |
| 2023-02-05 04:23:11 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 04:23:35 +0100 | johnw | (~johnw@2600:1700:cf00:db0:44e6:2d71:3c2a:1669) (Ping timeout: 264 seconds) |
| 2023-02-05 04:23:40 +0100 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Client Quit) |
| 2023-02-05 04:23:42 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 04:26:43 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 04:30:59 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-02-05 04:36:50 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 04:36:50 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-05 04:36:50 +0100 | finn_elija | FinnElija |
| 2023-02-05 04:42:44 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-02-05 04:44:07 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-02-05 04:53:02 +0100 | thongpv | (~thongpv87@2402:9d80:3bd:3161:2cf6:60a:386f:8e18) (Ping timeout: 255 seconds) |
| 2023-02-05 05:04:17 +0100 | danza | (~francesco@ge-19-98-82.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-02-05 05:12:39 +0100 | shapr | (~user@68.54.166.125) (Ping timeout: 268 seconds) |
| 2023-02-05 05:12:55 +0100 | thongpv | (~thongpv87@2402:9d80:3bd:3161:aa40:59b3:7af8:2619) |
| 2023-02-05 05:20:46 +0100 | danza | (~francesco@151.43.49.100) |
| 2023-02-05 05:26:07 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-05 05:29:30 +0100 | thongpv | (~thongpv87@2402:9d80:3bd:3161:aa40:59b3:7af8:2619) (Ping timeout: 260 seconds) |
| 2023-02-05 05:30:44 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 05:31:40 +0100 | thongpv | (~thongpv87@123.31.161.115) |
| 2023-02-05 05:39:55 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-05 05:41:08 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 05:47:19 +0100 | kassouni | (~kassouni@2601:646:400:68b0:71bd:7fae:fa0b:cf56) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-02-05 05:50:07 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-05 05:57:51 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-02-05 05:58:37 +0100 | cheater | (~Username@user/cheater) |
| 2023-02-05 06:00:21 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-02-05 06:00:40 +0100 | qhong_ | (~qhong@dn160vrd000d6kpg009l6c0000ep.stanford.edu) |
| 2023-02-05 06:03:49 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 252 seconds) |
| 2023-02-05 06:06:29 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 06:10:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 06:10:07 +0100 | cheater_ | cheater |
| 2023-02-05 06:11:44 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::96d7) |
| 2023-02-05 06:11:44 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::96d7) (Changing host) |
| 2023-02-05 06:11:44 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-02-05 06:26:53 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-05 06:33:30 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection) |
| 2023-02-05 06:33:51 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-02-05 06:33:52 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-02-05 06:38:11 +0100 | AlexZenon_2 | (~alzenon@178.34.160.79) |
| 2023-02-05 06:38:13 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 06:38:30 +0100 | AlexZenon | (~alzenon@178.34.160.79) (Read error: Connection reset by peer) |
| 2023-02-05 06:40:25 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-02-05 06:40:30 +0100 | cheater_ | cheater |
| 2023-02-05 06:43:23 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-02-05 06:43:38 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-02-05 06:43:56 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 06:43:58 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-05 06:44:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 06:44:47 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-02-05 06:45:51 +0100 | cheater__ | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-02-05 06:46:05 +0100 | freeside | (~mengwong@103.252.202.170) (Quit: leaving) |
| 2023-02-05 06:46:44 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-02-05 06:47:54 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-05 06:48:00 +0100 | cheater__ | cheater |
| 2023-02-05 06:48:31 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 06:48:51 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-05 07:13:55 +0100 | nehsou^ | (~nehsou@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-02-05 07:19:47 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-02-05 07:25:25 +0100 | <talismanick> | Say I have a record type with 2 fields, Stmt{stmtTxt, stmtVar} |
| 2023-02-05 07:25:42 +0100 | <talismanick> | How can I fmap it into another statment to assign in lexicographic order? |
| 2023-02-05 07:25:49 +0100 | <talismanick> | something shorter than `(\(str, lst) -> Stmt{stmtText = str, stmtExVar = lst}` |
| 2023-02-05 07:26:29 +0100 | <talismanick> | into another container* |
| 2023-02-05 07:27:20 +0100 | <Maxdamantus> | looks like `uncurry Stmt` to me. |
| 2023-02-05 07:27:50 +0100 | <talismanick> | thanks, it works |
| 2023-02-05 07:27:55 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-02-05 07:31:44 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-02-05 07:33:35 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-02-05 07:33:54 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-02-05 07:41:49 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-02-05 07:42:20 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 07:44:50 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-02-05 07:45:09 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-05 07:47:38 +0100 | Guest75 | (~Guest75@178.141.147.162) (Ping timeout: 260 seconds) |
| 2023-02-05 07:49:42 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-02-05 08:00:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f424:933a:fcd6:76ad) (Remote host closed the connection) |
| 2023-02-05 08:01:52 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:187f:7b7b:3012:4a8d) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-02-05 08:02:13 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:b289:3f01:2da:f4d2) |
| 2023-02-05 08:04:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 08:13:32 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-02-05 08:13:47 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 08:20:07 +0100 | thongpv | (~thongpv87@123.31.161.115) (Ping timeout: 268 seconds) |
| 2023-02-05 08:22:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 08:22:45 +0100 | opticblast | (~Thunderbi@172.58.84.5) (Ping timeout: 260 seconds) |
| 2023-02-05 08:25:55 +0100 | thongpv | (~thongpv87@2402:9d80:32b:587a:37cd:3b62:f679:1d5c) |
| 2023-02-05 08:26:35 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 264 seconds) |
| 2023-02-05 08:26:43 +0100 | kassouni | (~kassouni@2601:646:400:68b0:b177:d8a6:e682:c833) |
| 2023-02-05 08:27:34 +0100 | johnw | (~johnw@2600:1700:cf00:db0:f5ae:ed45:6e33:9a11) |
| 2023-02-05 08:27:56 +0100 | thongpv87 | (~thongpv87@2402:9d80:36b:e50f:b44a:419:3520:b749) |
| 2023-02-05 08:28:18 +0100 | thongpv | (~thongpv87@2402:9d80:32b:587a:37cd:3b62:f679:1d5c) (Read error: Connection reset by peer) |
| 2023-02-05 08:30:07 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 08:30:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 08:46:07 +0100 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Quit: emergence) |
| 2023-02-05 08:47:19 +0100 | emergence | (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-02-05 08:50:39 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-02-05 08:52:21 +0100 | thongpv87 | (~thongpv87@2402:9d80:36b:e50f:b44a:419:3520:b749) (Read error: Connection reset by peer) |
| 2023-02-05 09:03:14 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-05 09:07:36 +0100 | danza | (~francesco@151.43.49.100) (Ping timeout: 268 seconds) |
| 2023-02-05 09:11:00 +0100 | <mauke> | @unpl uncurry Stmt |
| 2023-02-05 09:11:01 +0100 | <lambdabot> | uncurry Stmt |
| 2023-02-05 09:12:48 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-05 09:20:24 +0100 | danza | (~francesco@151.37.135.189) |
| 2023-02-05 09:21:01 +0100 | dolio | (~dolio@130.44.134.54) (Ping timeout: 252 seconds) |
| 2023-02-05 09:22:01 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-02-05 09:28:09 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-02-05 09:34:30 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 09:34:36 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-02-05 09:34:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-05 09:35:11 +0100 | kassouni | (~kassouni@2601:646:400:68b0:b177:d8a6:e682:c833) (Ping timeout: 255 seconds) |
| 2023-02-05 09:36:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 09:39:03 +0100 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-02-05 09:39:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 09:44:05 +0100 | <Athas> | Man, this maintenance stuff is hard. |
| 2023-02-05 09:50:03 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 09:52:53 +0100 | lottaquestions | (~nick@104.221.24.83) |
| 2023-02-05 09:53:08 +0100 | lottaquestions | (~nick@104.221.24.83) (Client Quit) |
| 2023-02-05 09:53:32 +0100 | lottaquestions | (~nick@104.221.24.83) |
| 2023-02-05 09:55:42 +0100 | lottaquestions_ | (~nick@104.221.24.83) (Ping timeout: 268 seconds) |
| 2023-02-05 09:59:11 +0100 | <tomsmeding> | Athas: what are you maintaining |
| 2023-02-05 10:00:06 +0100 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Quit: You have been kicked for being idle) |
| 2023-02-05 10:08:47 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) |
| 2023-02-05 10:13:59 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 10:15:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 10:22:40 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-05 10:22:55 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-02-05 10:23:27 +0100 | <int-e> | composure? |
| 2023-02-05 10:28:01 +0100 | anpad | (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
| 2023-02-05 10:30:23 +0100 | anpad | (~pandeyan@user/anpad) |
| 2023-02-05 10:30:56 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) (Quit: Leaving.) |
| 2023-02-05 10:34:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 10:36:14 +0100 | acidjnk | (~acidjnk@p200300d6e715c40294afa8ac0eb9b786.dip0.t-ipconnect.de) |
| 2023-02-05 10:40:34 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-02-05 10:44:21 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 2023-02-05 10:52:12 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 10:54:04 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-05 10:57:33 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-05 11:04:01 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-02-05 11:17:58 +0100 | Jon | (jon@dow.land) (Read error: Connection reset by peer) |
| 2023-02-05 11:18:08 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 248 seconds) |
| 2023-02-05 11:18:12 +0100 | Guest75 | (~Guest75@178.141.147.162) |
| 2023-02-05 11:20:09 +0100 | titibandit1 | (~titibandi@85.197.0.96) |
| 2023-02-05 11:26:49 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-02-05 11:27:15 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 11:27:50 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-05 11:29:26 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-02-05 11:29:58 +0100 | tabaqui | (~root@88.231.63.172) (Quit: WeeChat 3.7.1) |
| 2023-02-05 11:30:46 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 11:31:20 +0100 | thongpv87 | (~thongpv87@123.28.243.28) |
| 2023-02-05 11:31:45 +0100 | Jon | (jon@dow.land) |
| 2023-02-05 11:34:11 +0100 | titibandit1 | (~titibandi@85.197.0.96) (Quit: Leaving.) |
| 2023-02-05 11:34:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 11:34:54 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-02-05 11:35:02 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 11:36:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 11:37:16 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-05 11:39:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 260 seconds) |
| 2023-02-05 11:46:39 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-05 11:48:13 +0100 | Guest8275 | (~Guest82@103.95.81.128) |
| 2023-02-05 11:48:47 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-02-05 11:48:59 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-05 11:49:28 +0100 | <Guest8275> | vHey Everyone , My name is Utsav from india currently pursuing B.tech wants to contribute in Haskell ,Please anyone tell me how to contribute in this.. |
| 2023-02-05 11:53:05 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
| 2023-02-05 11:54:26 +0100 | coot | (~coot@213.134.171.3) |
| 2023-02-05 11:54:47 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-05 11:56:36 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-02-05 11:56:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 11:57:40 +0100 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-05 12:00:08 +0100 | coot | (~coot@213.134.171.3) (Ping timeout: 246 seconds) |
| 2023-02-05 12:00:08 +0100 | coot_ | coot |
| 2023-02-05 12:07:00 +0100 | Guest8275 | (~Guest82@103.95.81.128) (Quit: Client closed) |
| 2023-02-05 12:20:24 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 260 seconds) |
| 2023-02-05 12:23:01 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-02-05 12:26:56 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 12:30:42 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-02-05 12:30:43 +0100 | cheater_ | cheater |
| 2023-02-05 12:36:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 12:36:38 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 12:42:19 +0100 | danza | (~francesco@151.37.135.189) (Ping timeout: 252 seconds) |
| 2023-02-05 12:46:53 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 12:49:59 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 12:50:18 +0100 | thongpv | (~thongpv87@2402:9d80:327:1fe2:2c6c:9e9b:7d9:8af2) |
| 2023-02-05 12:52:04 +0100 | thongpv87 | (~thongpv87@123.28.243.28) (Ping timeout: 268 seconds) |
| 2023-02-05 12:54:49 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-02-05 12:59:08 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-05 13:01:45 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 2023-02-05 13:02:01 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-05 13:15:27 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:bfa0:5800:8a6e:83cb) |
| 2023-02-05 13:16:52 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-05 13:17:32 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-05 13:21:05 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-05 13:22:16 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-05 13:26:30 +0100 | varoo_ | (~varoo@117.203.246.41) |
| 2023-02-05 13:28:13 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) |
| 2023-02-05 13:29:15 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-05 13:32:18 +0100 | varoo_ | (~varoo@117.203.246.41) (Quit: Probably got disconnect dure to unstable internet) |
| 2023-02-05 13:32:35 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) (Client Quit) |
| 2023-02-05 13:40:48 +0100 | danza | (~francesco@151.35.196.131) |
| 2023-02-05 13:41:13 +0100 | thongpv | (~thongpv87@2402:9d80:327:1fe2:2c6c:9e9b:7d9:8af2) (Read error: Connection reset by peer) |
| 2023-02-05 13:55:44 +0100 | thongpv | (~thongpv87@123.28.243.28) |
| 2023-02-05 13:57:16 +0100 | acidjnk | (~acidjnk@p200300d6e715c40294afa8ac0eb9b786.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2023-02-05 13:58:12 +0100 | phma | (~phma@host-67-44-208-10.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-05 13:58:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-02-05 13:59:07 +0100 | phma | (~phma@2001:5b0:210b:b598:68f:2ac5:62a2:9423) |
| 2023-02-05 14:07:05 +0100 | <maerwald[m]> | Guest8275: the language? |
| 2023-02-05 14:09:14 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-05 14:10:19 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 14:10:41 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-02-05 14:11:33 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 14:11:54 +0100 | azure_vermilion | (~azure_ver@23.106.59.29) |
| 2023-02-05 14:12:09 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-05 14:12:10 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 14:12:44 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-02-05 14:12:44 +0100 | cheater_ | cheater |
| 2023-02-05 14:15:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-05 14:15:31 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-02-05 14:20:35 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-02-05 14:20:35 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-02-05 14:21:19 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-05 14:21:27 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-05 14:22:17 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 265 seconds) |
| 2023-02-05 14:22:44 +0100 | sudden | (~cat@user/sudden) |
| 2023-02-05 14:31:45 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-02-05 14:35:37 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-05 14:36:52 +0100 | bhall | (~brunohall@85.255.236.5) |
| 2023-02-05 14:40:04 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2023-02-05 14:43:58 +0100 | <stefan-_> | when I run `stack test/run` all source files will be re-compiled most of the time, even if only 1 file was changed |
| 2023-02-05 14:44:02 +0100 | <stefan-_> | I use intellij-haskell as IDE |
| 2023-02-05 14:44:19 +0100 | <stefan-_> | any ideas how the recompilation can be avoided? |
| 2023-02-05 14:48:33 +0100 | <byorgey> | stefan-_: see https://github.com/commercialhaskell/stack/issues/4977 for some workarounds |
| 2023-02-05 14:50:28 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 14:56:55 +0100 | <stefan-_> | byorgey, thanks, I also found this: https://github.com/rikvdkleij/intellij-haskell/issues/475 |
| 2023-02-05 15:01:40 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) |
| 2023-02-05 15:14:04 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-02-05 15:14:30 +0100 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) |
| 2023-02-05 15:14:42 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-05 15:15:20 +0100 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) (Remote host closed the connection) |
| 2023-02-05 15:15:59 +0100 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) |
| 2023-02-05 15:16:59 +0100 | thongpv | (~thongpv87@123.28.243.28) (Ping timeout: 268 seconds) |
| 2023-02-05 15:18:39 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 15:21:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-02-05 15:21:48 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-05 15:21:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 15:24:43 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-05 15:25:49 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::fda2) (Remote host closed the connection) |
| 2023-02-05 15:29:43 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-05 15:32:09 +0100 | bhall | (~brunohall@85.255.236.5) (Read error: Connection reset by peer) |
| 2023-02-05 15:32:25 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-05 15:34:44 +0100 | <Hammdist> | is Data.List.Index.imap the recommended way to map with index? |
| 2023-02-05 15:37:09 +0100 | <Hammdist> | Data.List.Index doesn't seem to be installed by default |
| 2023-02-05 15:39:20 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-02-05 15:41:20 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-05 15:42:56 +0100 | <mniip> | Hammdist, zipping with [0..] is the standard way in the code bases I've seen |
| 2023-02-05 15:43:24 +0100 | <mniip> | Or you might want to zip with [1..]! |
| 2023-02-05 15:43:49 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 15:43:50 +0100 | <mniip> | One of those cases where factoring out a function is not a particularly great idea |
| 2023-02-05 15:45:39 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-02-05 15:51:21 +0100 | <yushyin> | or indexed functor from one of the lens libraries |
| 2023-02-05 16:00:50 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 16:09:59 +0100 | <tomsmeding> | going from `map f l` to `zipWith f [0..] l` is such an easy change, and the resulting code has such obvious meaning, that indeed factoring that out into a function would only be worth it if in a particular piece of code you happen to need this pattern _many_ times |
| 2023-02-05 16:16:45 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-05 16:23:41 +0100 | danza | (~francesco@151.35.196.131) (Ping timeout: 256 seconds) |
| 2023-02-05 16:24:33 +0100 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-02-05 16:27:27 +0100 | stef204 | (~stef204@user/stef204) |
| 2023-02-05 16:30:01 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-05 16:30:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-02-05 16:30:25 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-05 16:31:02 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-05 16:33:23 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-05 16:35:42 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-02-05 16:38:29 +0100 | danza | (~francesco@151.43.87.223) |
| 2023-02-05 16:39:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 16:39:30 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-05 16:39:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-05 16:43:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 255 seconds) |
| 2023-02-05 16:43:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-05 16:44:19 +0100 | AlexZenon_2 | AlexZenon |
| 2023-02-05 16:44:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-02-05 16:56:34 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.8) |
| 2023-02-05 16:59:01 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 16:59:28 +0100 | gnyeki | (~gnyeki@user/gnyeki) (Quit: leaving) |
| 2023-02-05 17:02:43 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-05 17:03:02 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-05 17:05:04 +0100 | gnyeki | (~gnyeki@user/gnyeki) |
| 2023-02-05 17:05:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 17:07:53 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-05 17:08:27 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2023-02-05 17:10:11 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-05 17:10:37 +0100 | OscarZ | (~oscarz@85.194.207.103) |
| 2023-02-05 17:11:48 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2023-02-05 17:16:59 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 2023-02-05 17:17:40 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-02-05 17:19:25 +0100 | nunggu_ | (~q@user/nunggu) |
| 2023-02-05 17:21:54 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-02-05 17:22:13 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-02-05 17:25:59 +0100 | meooow_ | (~meooow@2400:6180:100:d0::ad9:e001) (Remote host closed the connection) |
| 2023-02-05 17:26:23 +0100 | meooow | (~meooow@165.232.184.169) |
| 2023-02-05 17:30:28 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:bfa0:5800:8a6e:83cb) (Quit: WeeChat 3.7.1) |
| 2023-02-05 17:33:49 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-05 17:34:13 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Ping timeout: 252 seconds) |
| 2023-02-05 17:34:47 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-05 17:35:53 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-02-05 17:38:45 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-05 17:39:56 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 2023-02-05 17:41:04 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-02-05 17:41:31 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-05 17:42:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 17:42:59 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 252 seconds) |
| 2023-02-05 17:43:18 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 17:47:27 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-05 17:47:59 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-05 17:49:19 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 17:54:03 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-05 17:55:04 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-05 17:58:02 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-02-05 17:58:26 +0100 | Bocaneri | Guest419 |
| 2023-02-05 18:00:35 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 2023-02-05 18:00:40 +0100 | phma | (~phma@2001:5b0:210b:b598:68f:2ac5:62a2:9423) (Read error: Connection reset by peer) |
| 2023-02-05 18:01:17 +0100 | Guest419 | SenFache |
| 2023-02-05 18:01:22 +0100 | phma | (~phma@host-67-44-208-213.hnremote.net) |
| 2023-02-05 18:05:00 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 18:05:08 +0100 | <segfaultfizzbuzz> | https://www.pcmag.com/news/chatgpt-passes-google-coding-interview-for-level-3-engineer-with-183k-s… |
| 2023-02-05 18:05:32 +0100 | <segfaultfizzbuzz> | which soup kitchens does #haskell regard as the best? |
| 2023-02-05 18:06:05 +0100 | <L29Ah> | borscht |
| 2023-02-05 18:06:13 +0100 | <[exa]> | the ones operated by chatgpt. |
| 2023-02-05 18:06:35 +0100 | <Rembane> | I wonder how good ChatGPT would do as a level three engineer at Google. |
| 2023-02-05 18:06:41 +0100 | <[exa]> | oh man I can't wait for the time when the programmers will finally be obsolete |
| 2023-02-05 18:07:07 +0100 | <Rembane> | [exa]: What are you gonna do when that happens? |
| 2023-02-05 18:07:15 +0100 | <[exa]> | operate the soup kitchen |
| 2023-02-05 18:07:35 +0100 | <L29Ah> | replace your obsolete programmers with Microsoft® AI© CodeWorkers™ now! |
| 2023-02-05 18:08:01 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-05 18:08:43 +0100 | <[exa]> | like, AFAIK a pretty big chunk of google's workforce is dealing with&supporting people who invest in ads, and the chatgpt may save millions there |
| 2023-02-05 18:08:45 +0100 | oldsk00l | (~znc@ec2-18-133-247-9.eu-west-2.compute.amazonaws.com) |
| 2023-02-05 18:09:13 +0100 | <Rembane> | That sounds good |
| 2023-02-05 18:09:21 +0100 | <segfaultfizzbuzz> | L29Ah: type error: not a soup kitchen |
| 2023-02-05 18:10:01 +0100 | <L29Ah> | segfaultfizzbuzz: ENOENT |
| 2023-02-05 18:10:03 +0100 | <segfaultfizzbuzz> | [exa]: lol |
| 2023-02-05 18:10:18 +0100 | <[exa]> | kinda reminds me of birchpunk btw, I wonder what these guys do now |
| 2023-02-05 18:10:26 +0100 | <segfaultfizzbuzz> | birchpunk? |
| 2023-02-05 18:10:56 +0100 | <[exa]> | search it on youtube, it's quite eastern but good |
| 2023-02-05 18:13:18 +0100 | <segfaultfizzbuzz> | i mean tbh i am not sure i am a better programmer than chatgpt |
| 2023-02-05 18:13:29 +0100 | <[exa]> | (OT danger: here https://www.youtube.com/watch?v=RCH2PTj93fs ) |
| 2023-02-05 18:18:20 +0100 | <Hammdist> | (x where x = 7) <-- why doesn't this work? what is the syntax for where? |
| 2023-02-05 18:18:32 +0100 | <segfaultfizzbuzz> | [exa]: hedge computing is funny but unfortunately aside from that i didn't really find that funny :-/ |
| 2023-02-05 18:19:13 +0100 | <segfaultfizzbuzz> | [exa]: you owe me the completion of a tutorial on how to make a graph reducer, unfortunately i am a little too busy at the moment to follow through on that |
| 2023-02-05 18:19:46 +0100 | <[exa]> | segfaultfizzbuzz: ah yeah, well I'm around, feel free to ask |
| 2023-02-05 18:20:40 +0100 | <segfaultfizzbuzz> | "ChatGPT is probably outputting at least 22x the volume of human Twitter users ever day... and the equivalent of the entire printed works of humanity every 14 days" -- lol |
| 2023-02-05 18:21:19 +0100 | <[exa]> | Hammdist: AFAIK `where` is only valid around definitions, i.e. y=x where x=7 works |
| 2023-02-05 18:21:33 +0100 | <segfaultfizzbuzz> | yeah if you do the calculations on the IO bandwith of all of humanity and the IO bandwith of a high end GPU the difference is rather stark |
| 2023-02-05 18:23:08 +0100 | <segfaultfizzbuzz> | at 96 wpm one person is producing 8 bytes per second (let's forget about compressability, the actual number is significantly lower...) |
| 2023-02-05 18:24:17 +0100 | <segfaultfizzbuzz> | so all of humanity (10^10 people) is 80 GB per second if everyone is awake simultaneously |
| 2023-02-05 18:24:59 +0100 | <[exa]> | but they also talk and make the weird faces and accents |
| 2023-02-05 18:25:18 +0100 | <segfaultfizzbuzz> | the actual sustainable rate is much lower than that, and the actual output entropy is much lower |
| 2023-02-05 18:25:34 +0100 | <segfaultfizzbuzz> | so all of humanity is probably like 1 GB per second or something like that |
| 2023-02-05 18:26:05 +0100 | <[exa]> | you should count only "externally useful output", it's gonna be quite low tbh. Anyway let's move to #-offtopic I guess |
| 2023-02-05 18:26:30 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-05 18:35:27 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2023-02-05 18:39:07 +0100 | Henson | (~kvirc@207.136.101.195) (Ping timeout: 252 seconds) |
| 2023-02-05 18:42:15 +0100 | dfip^ | (~dfip@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-02-05 18:47:13 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-02-05 18:47:13 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-02-05 18:47:13 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 18:50:37 +0100 | paulpaul1076 | (~textual@95-29-4-222.broadband.corbina.ru) |
| 2023-02-05 18:52:06 +0100 | ddellacosta | (~ddellacos@146.70.166.100) (Quit: WeeChat 3.7.1) |
| 2023-02-05 18:52:22 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 18:52:32 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 18:54:02 +0100 | ddellacosta | (~ddellacos@146.70.166.100) (Client Quit) |
| 2023-02-05 18:54:20 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 18:55:26 +0100 | ddellacosta | (~ddellacos@146.70.166.100) (Client Quit) |
| 2023-02-05 18:55:42 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 18:57:49 +0100 | <segfaultfizzbuzz> | https://reviews.llvm.org/D118029 -- speak of the devil: "We are introducing branchless variants for sort3, sort4 and sort5. These sorting functions have been generated using Reinforcement Learning and aim to replace sort3, sort4 and __sort5 variants for integral types." |
| 2023-02-05 18:58:09 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-02-05 18:59:02 +0100 | <segfaultfizzbuzz> | what is Random_4 in this, does that mean sorting 4 elements which come from a random distribution? |
| 2023-02-05 18:59:21 +0100 | <segfaultfizzbuzz> | like uiformly random distribution? they got like 60% speedups for that |
| 2023-02-05 18:59:56 +0100 | <monochrom> | Wrong channel? |
| 2023-02-05 19:01:05 +0100 | econo | (uid147250@user/econo) |
| 2023-02-05 19:01:05 +0100 | <segfaultfizzbuzz> | ok well we were just joking around about chatgpt replacing all of us, and then llvm lands some kind of reinforcement-learning originated sorting contribution |
| 2023-02-05 19:05:14 +0100 | <int-e> | ...what happened to sorting networks... |
| 2023-02-05 19:05:41 +0100 | <int-e> | (that's the keyword that *should* be in there) |
| 2023-02-05 19:08:03 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-02-05 19:10:08 +0100 | thongpv87 | (~thongpv87@2402:9d80:327:1fe2:f13:e44c:defe:3212) (Read error: Connection reset by peer) |
| 2023-02-05 19:11:53 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-02-05 19:12:53 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 19:13:49 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-02-05 19:17:29 +0100 | <tomsmeding> | not sure what the Machine Learning (tm) produced sorting functions are, they seem to be the ones in libcxx/include/__algorithm/sort.h here? https://reviews.llvm.org/rG194d1965d2c841fa81e107d19e27fae1467e7f11 |
| 2023-02-05 19:17:36 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-05 19:17:49 +0100 | irrgit__ | (~irrgit@86.106.90.226) |
| 2023-02-05 19:17:51 +0100 | <tomsmeding> | if so, those are _tiny_, and indeed look like classical sorting networks |
| 2023-02-05 19:18:05 +0100 | <tomsmeding> | they're only 6 primitives long! |
| 2023-02-05 19:18:07 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 19:18:48 +0100 | <int-e> | TBH I'm inclined to believe that "reinforcement learning" is a joke here. After all that's how humans learn too. |
| 2023-02-05 19:19:40 +0100 | <tomsmeding> | I suspect it's not a joke, and it's a decent way to come up with these networks if that's your thing, but you know, superoptimisation is a field that exists |
| 2023-02-05 19:19:59 +0100 | <tomsmeding> | and surely there are less hypey ways to produce sorting networks of length 6 |
| 2023-02-05 19:20:26 +0100 | <tomsmeding> | I'd expect fancy machine learning to be helpful once you get to length 20 or so |
| 2023-02-05 19:20:41 +0100 | <tomsmeding> | at that point any kind of brute-force search is hopeless |
| 2023-02-05 19:21:06 +0100 | irrgit_ | (~irrgit@86.106.90.226) (Ping timeout: 255 seconds) |
| 2023-02-05 19:22:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2023-02-05 19:22:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 19:22:34 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-05 19:23:28 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-02-05 19:28:55 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-05 19:30:05 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 19:35:35 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-02-05 19:42:44 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 19:43:26 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 19:43:38 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-02-05 19:47:34 +0100 | <sclv> | *weird al voice* "this network is ony six prims long" |
| 2023-02-05 19:47:54 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 19:51:12 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-05 19:53:51 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-02-05 19:59:00 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-02-05 20:00:04 +0100 | malte | (~malte@mal.tc) |
| 2023-02-05 20:03:29 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 20:05:08 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-05 20:05:52 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-05 20:06:49 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-02-05 20:12:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-02-05 20:13:04 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-02-05 20:13:28 +0100 | Bocaneri | Guest8231 |
| 2023-02-05 20:14:42 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-02-05 20:14:42 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-02-05 20:14:42 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 20:15:31 +0100 | SenFache | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 2023-02-05 20:18:31 +0100 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 20:19:09 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-05 20:22:23 +0100 | danza | (~francesco@151.43.87.223) (Read error: Connection reset by peer) |
| 2023-02-05 20:33:37 +0100 | irrgit_ | (~irrgit@86.106.90.226) |
| 2023-02-05 20:34:00 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-05 20:34:49 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-05 20:35:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 20:36:32 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-02-05 20:36:37 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 20:37:22 +0100 | irrgit__ | (~irrgit@86.106.90.226) (Ping timeout: 252 seconds) |
| 2023-02-05 20:37:52 +0100 | irrgit_ | (~irrgit@86.106.90.226) (Ping timeout: 252 seconds) |
| 2023-02-05 20:38:33 +0100 | danza | (~francesco@151.44.152.227) |
| 2023-02-05 20:39:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 20:39:25 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-02-05 20:40:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-02-05 20:40:49 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-05 20:49:44 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:2641:41f8:4532:c175) |
| 2023-02-05 20:51:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-05 20:56:03 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-05 20:56:27 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-05 20:58:18 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 20:59:38 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-02-05 20:59:42 +0100 | cheater_ | cheater |
| 2023-02-05 21:00:32 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 21:04:08 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-02-05 21:04:18 +0100 | enthropy | (~enthropy@66.7.90.250) |
| 2023-02-05 21:04:41 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-05 21:05:19 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-05 21:14:01 +0100 | bilegeek | (~bilegeek@2600:1008:b015:d0b:5741:22b9:5995:c1b0) |
| 2023-02-05 21:16:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-05 21:16:14 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:2641:41f8:4532:c175) (Quit: WeeChat 3.7.1) |
| 2023-02-05 21:21:38 +0100 | ddellacosta | (~ddellacos@146.70.166.100) (Quit: WeeChat 3.7.1) |
| 2023-02-05 21:22:34 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
| 2023-02-05 21:26:24 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-02-05 21:28:20 +0100 | mechap | (~mechap@user/mechap) (Read error: Connection reset by peer) |
| 2023-02-05 21:28:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-05 21:28:51 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-05 21:29:03 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:f5d:5995:2562:c584) |
| 2023-02-05 21:29:43 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 21:31:18 +0100 | piele_ | (~piele@tbonesteak.creativeserver.net) (Ping timeout: 268 seconds) |
| 2023-02-05 21:32:34 +0100 | kenran | (~user@user/kenran) |
| 2023-02-05 21:41:03 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-02-05 21:43:07 +0100 | finsternis | (~X@23.226.237.192) |
| 2023-02-05 21:47:41 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-05 21:47:41 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-05 21:47:41 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 21:47:55 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-02-05 21:49:32 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 2023-02-05 21:50:23 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-02-05 21:51:43 +0100 | enthropy | (~enthropy@66.7.90.250) (Ping timeout: 260 seconds) |
| 2023-02-05 21:51:50 +0100 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
| 2023-02-05 21:51:58 +0100 | czy | (~user@host-140-21.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-02-05 21:52:34 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-05 21:57:04 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 21:57:40 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-05 21:58:34 +0100 | cheater | (~Username@user/cheater) |
| 2023-02-05 22:02:55 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 2023-02-05 22:02:56 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-02-05 22:03:31 +0100 | Guest8231 | SenFache |
| 2023-02-05 22:04:43 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-05 22:07:02 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-05 22:08:16 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:f5d:5995:2562:c584) (Ping timeout: 248 seconds) |
| 2023-02-05 22:10:48 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:8505:fe3c:2b67:4589) |
| 2023-02-05 22:16:06 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 22:18:34 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-02-05 22:20:13 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-02-05 22:25:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 22:26:09 +0100 | chatterx | (~paolillo@2601:801:480:9390:b4ee:d26e:a399:c497) |
| 2023-02-05 22:26:45 +0100 | chatterx | (~paolillo@2601:801:480:9390:b4ee:d26e:a399:c497) () |
| 2023-02-05 22:27:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-05 22:29:28 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.8) |
| 2023-02-05 22:33:30 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-02-05 22:39:09 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:8505:fe3c:2b67:4589) (Quit: WeeChat 3.7.1) |
| 2023-02-05 22:39:40 +0100 | jonathanx | (~jonathan@178.174.176.109) (Remote host closed the connection) |
| 2023-02-05 22:42:29 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-05 22:42:29 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-05 22:42:29 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-05 22:44:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-05 22:46:21 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-05 22:49:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-02-05 22:53:39 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-02-05 22:53:42 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-05 22:55:26 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-02-05 22:57:27 +0100 | bilegeek | (~bilegeek@2600:1008:b015:d0b:5741:22b9:5995:c1b0) (Quit: Leaving) |
| 2023-02-05 23:03:08 +0100 | esph | (~weechat@user/esph) |
| 2023-02-05 23:07:39 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-05 23:07:54 +0100 | ddellacosta | (~ddellacos@146.70.166.100) (Ping timeout: 260 seconds) |
| 2023-02-05 23:07:58 +0100 | ubert1 | (~Thunderbi@p200300ecdf13016caa4d3467f4e30a23.dip0.t-ipconnect.de) |
| 2023-02-05 23:08:31 +0100 | ubert | (~Thunderbi@p200300ecdf1301b122a4f37be5c9cfb5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-05 23:08:32 +0100 | 068AAD9K6 | ubert |
| 2023-02-05 23:08:32 +0100 | ubert | 068AAD9K6 |
| 2023-02-05 23:08:32 +0100 | ubert1 | 048AAGWNU |
| 2023-02-05 23:09:14 +0100 | tessier | (~treed@98.171.210.130) (Ping timeout: 255 seconds) |
| 2023-02-05 23:10:40 +0100 | tessier | (~treed@mobile-166-170-47-107.mycingular.net) |
| 2023-02-05 23:15:01 +0100 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:4d63:2b4e:3c7:c9ea) |
| 2023-02-05 23:16:58 +0100 | OscarZ | (~oscarz@85.194.207.103) (Quit: Leaving) |
| 2023-02-05 23:24:09 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 256 seconds) |
| 2023-02-05 23:24:20 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-02-05 23:26:45 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-02-05 23:26:48 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-02-05 23:27:28 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-05 23:35:54 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 260 seconds) |
| 2023-02-05 23:42:54 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-05 23:43:29 +0100 | adium | (adium@user/adium) (Ping timeout: 260 seconds) |
| 2023-02-05 23:44:38 +0100 | <Inst_> | question |
| 2023-02-05 23:44:51 +0100 | <Inst_> | why is it possible to define a class that can't be instanced into? |
| 2023-02-05 23:45:06 +0100 | adium | (adium@user/adium) |
| 2023-02-05 23:45:07 +0100 | <Inst_> | class Lol where; topkek = "kek" |
| 2023-02-05 23:50:01 +0100 | <jackdk> | https://reasonablypolymorphic.com/blog/abusing-constraints/ |
| 2023-02-05 23:52:12 +0100 | danso | (danso@danso.ca) (Quit: ZNC - https://znc.in) |
| 2023-02-05 23:53:28 +0100 | <int-e> | Inst_: Hmm you can instantiate that, once. So you could use this to declare a "global" function that is instantiated later... (it's global in the sense that you can only define it once, but you will carry Foo => constraints everywhere you use it and it will be passed as an argument as a result) |
| 2023-02-05 23:54:24 +0100 | <int-e> | Or Lol => in your case. |
| 2023-02-05 23:54:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-05 23:54:31 +0100 | danso | (danso@danso.ca) |
| 2023-02-05 23:58:29 +0100 | danso | (danso@danso.ca) (Client Quit) |
| 2023-02-05 23:59:01 +0100 | <Inst_> | nice, thanks |
