2023/02/09

2023-02-09 00:01:14 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-02-09 00:01:23 +0100Intel8086(~Intel8086@user/Intel8086)
2023-02-09 00:01:43 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-09 00:01:53 +0100patrl(~patrl@user/patrl)
2023-02-09 00:04:11 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2023-02-09 00:04:26 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-09 00:04:31 +0100patrl(~patrl@user/patrl) (Client Quit)
2023-02-09 00:05:32 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 00:05:45 +0100Ranhir(~Ranhir@157.97.53.139) (Remote host closed the connection)
2023-02-09 00:06:17 +0100 <johnjaye> is there something like foldl that can generate the elements of a list
2023-02-09 00:06:35 +0100 <johnjaye> like if i want to use a rule like i-> i + 1 to make a list of numbers 1 to 10
2023-02-09 00:06:57 +0100 <Rembane> johnjaye: iterate from Data.List could do almost that.
2023-02-09 00:07:17 +0100 <Rembane> > [1..10] -- but also this, johnjaye
2023-02-09 00:07:19 +0100 <lambdabot> [1,2,3,4,5,6,7,8,9,10]
2023-02-09 00:07:33 +0100 <geekosaur> :t unfoldr
2023-02-09 00:07:35 +0100 <johnjaye> right but i mean something like [2*i for i in range(10)] from python
2023-02-09 00:07:35 +0100 <lambdabot> error:
2023-02-09 00:07:35 +0100 <lambdabot> Ambiguous occurrence ‘unfoldr’
2023-02-09 00:07:35 +0100 <lambdabot> It could refer to
2023-02-09 00:07:44 +0100 <geekosaur> :t Prelude.unfoldr
2023-02-09 00:07:45 +0100 <lambdabot> error:
2023-02-09 00:07:45 +0100 <lambdabot> Not in scope: ‘Prelude.unfoldr’
2023-02-09 00:07:45 +0100 <lambdabot> Perhaps you meant one of these:
2023-02-09 00:08:06 +0100Ranhir(~Ranhir@157.97.53.139)
2023-02-09 00:08:30 +0100 <AndreasK> > [2*i | i <- 1 .. 10]
2023-02-09 00:08:32 +0100 <lambdabot> <hint>:1:15: error: parse error on input ‘..’
2023-02-09 00:08:39 +0100 <AndreasK> > [2*i | i <- [1 .. 10]]
2023-02-09 00:08:40 +0100 <lambdabot> [2,4,6,8,10,12,14,16,18,20]
2023-02-09 00:08:44 +0100 <mauke> :t scanl
2023-02-09 00:08:44 +0100 <lambdabot> error:
2023-02-09 00:08:44 +0100 <lambdabot> Ambiguous occurrence ‘scanl’
2023-02-09 00:08:44 +0100 <lambdabot> It could refer to
2023-02-09 00:09:08 +0100 <geekosaur> looks like it moved and renamed
2023-02-09 00:09:10 +0100 <Rembane> It's so ambigious that lambdabot doesn't know what it could refer to...
2023-02-09 00:09:12 +0100 <geekosaur> :t unfold
2023-02-09 00:09:13 +0100 <lambdabot> (a -> (b, Maybe a)) -> a -> NonEmpty b
2023-02-09 00:12:08 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-02-09 00:16:35 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:9525:b972:bf3b:9db0)
2023-02-09 00:20:47 +0100 <jackdk> :t Data.List.scanl
2023-02-09 00:20:48 +0100 <lambdabot> (b -> a -> b) -> b -> [a] -> [b]
2023-02-09 00:21:26 +0100dudek(~dudek@185.150.236.131)
2023-02-09 00:25:39 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-09 00:32:06 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-02-09 00:34:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 00:37:28 +0100akegalj(~akegalj@37-128.dsl.iskon.hr) (Quit: leaving)
2023-02-09 00:38:48 +0100dudek(~dudek@185.150.236.131) (Quit: Leaving)
2023-02-09 00:42:55 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds)
2023-02-09 00:44:38 +0100crns(~netcrns@user/crns) (Ping timeout: 255 seconds)
2023-02-09 00:50:21 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-09 00:50:54 +0100accord(uid568320@2a03:5180:f:4::8:ac00)
2023-02-09 00:54:35 +0100falafel(~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b)
2023-02-09 00:55:10 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-02-09 01:02:01 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2023-02-09 01:08:44 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-02-09 01:09:51 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 255 seconds)
2023-02-09 01:10:16 +0100 <EvanR> scanl is still there but something is jamming the signal
2023-02-09 01:12:02 +0100Ji50(~Ji@ip-109-43-51-164.web.vodafone.de)
2023-02-09 01:12:17 +0100 <geekosaur> someone imported Data.List, iirc
2023-02-09 01:12:39 +0100 <geekosaur> @undefine
2023-02-09 01:12:39 +0100 <lambdabot> Undefined.
2023-02-09 01:12:44 +0100 <geekosaur> :t scanl
2023-02-09 01:12:45 +0100 <lambdabot> (b -> a -> b) -> b -> [a] -> [b]
2023-02-09 01:13:29 +0100 <int-e> :t sort
2023-02-09 01:13:30 +0100 <lambdabot> Ord a => [a] -> [a]
2023-02-09 01:15:21 +0100 <int-e> It's too late to find out but my guess would be that somebody defined their own `scanl` with @let.
2023-02-09 01:15:31 +0100chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-09 01:15:37 +0100 <geekosaur> a number of other things were also overlapping
2023-02-09 01:15:59 +0100 <geekosaur> mm, maybe not
2023-02-09 01:16:09 +0100 <geekosaur> thought I saw a couple others
2023-02-09 01:16:21 +0100 <Ji50> I am hiding a value with a phantom type P within an existentially quantified type E and return a value of E in a pure function. Inside an IO () function I want to get that E value to pattern match on a witness. But I get a skolem error, about an escaping polymorphic var. But interestingly when I get this value not from a pure function but also from
2023-02-09 01:16:21 +0100 <Ji50> one in IO that error goes away. (Have the code not on this computer.) Is that expected?
2023-02-09 01:16:22 +0100 <int-e> Oh god.
2023-02-09 01:16:25 +0100 <int-e> @let import Data.List.NonEmpty
2023-02-09 01:16:26 +0100 <lambdabot> Defined.
2023-02-09 01:16:28 +0100 <int-e> :t unfoldr
2023-02-09 01:16:29 +0100 <lambdabot> error:
2023-02-09 01:16:29 +0100 <lambdabot> Ambiguous occurrence ‘unfoldr’
2023-02-09 01:16:29 +0100 <lambdabot> It could refer to
2023-02-09 01:16:32 +0100 <int-e> @undef
2023-02-09 01:16:32 +0100 <lambdabot> Undefined.
2023-02-09 01:16:37 +0100falafel(~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b) (Ping timeout: 252 seconds)
2023-02-09 01:16:40 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-09 01:17:20 +0100 <int-e> That's a likely candidate. Though it could also be one of the bytestrings or text... hard to say.
2023-02-09 01:17:50 +0100 <dminuoso> Ji50: can you share an example code?
2023-02-09 01:18:11 +0100 <jackdk> @where paste
2023-02-09 01:18:11 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2023-02-09 01:18:24 +0100 <Ji50> let (ExistsType val) = getPhantomizedExistVal  <-- error val can escape.   But   ExistsType val <- getPhantomizedExistsVal     this works fine
2023-02-09 01:18:40 +0100 <int-e> Oh wait, 00:09:13 <lambdabot> (a -> (b, Maybe a)) -> a -> NonEmpty b
2023-02-09 01:18:58 +0100 <int-e> That clearly indicates Data.List.NonEmpty.
2023-02-09 01:19:21 +0100 <Ji50> dminuoso: I understand that this is not really much code. Tomorrow I can prepare the code example I have.
2023-02-09 01:20:01 +0100 <dminuoso> Ji50: I think thats better.
2023-02-09 01:20:21 +0100 <Ji50> I can artificially make my pure function return IO E instead of E. And I was surprised to see that this works.
2023-02-09 01:21:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-02-09 01:21:41 +0100 <EvanR> you can pattern match on your existential and use the meat within the body of the case. But you can't return the meat since that breaks the types
2023-02-09 01:22:01 +0100 <EvanR> a common way around it is to provide a rank 2 polymorphic function to deal with the meat
2023-02-09 01:22:08 +0100 <geekosaur> only if it's a GADT, no?
2023-02-09 01:22:21 +0100 <geekosaur> (re pattern matching)
2023-02-09 01:22:25 +0100 <Ji50> Yes, I am matching against a witness that I placed in the original/interesting type which has a phantom parameter.
2023-02-09 01:22:51 +0100 <Ji50> geekosaur: yes, the witness is a GADT.
2023-02-09 01:23:16 +0100 <EvanR> if you're trying to match on two GADTs at once... that's going to be more complicated
2023-02-09 01:24:23 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-09 01:24:28 +0100 <EvanR> potentially
2023-02-09 01:24:35 +0100 <Ji50> EvanR: the surprising thing is that my code works fine when I "receive" the value of my type that hides the phantom type from a function that returns IO E. As soon as I make this function pure again I get the error about escaping. Will provide the code tomorrow then.
2023-02-09 01:26:30 +0100 <[Leary]> The issue here is perhaps just that in GHC's implementation, existentials don't mix well with `let` or `where`. Bind, on the other hand, represents a lambda (with `case`).
2023-02-09 01:28:18 +0100 <EvanR> yeah this sounds more like it has to do with do notation expansion and not IO
2023-02-09 01:28:30 +0100 <EvanR> try writing the equivalent code without using do notation
2023-02-09 01:28:55 +0100 <Ji50> Interesting idea, will give that a try tomorrow.
2023-02-09 01:30:45 +0100xff0x(~xff0x@2405:6580:b080:900:876a:aa31:e2c4:b726) (Ping timeout: 260 seconds)
2023-02-09 01:32:44 +0100xff0x(~xff0x@178.255.149.135)
2023-02-09 01:36:14 +0100king_gs(~Thunderbi@187.201.41.239) (Read error: Connection reset by peer)
2023-02-09 01:36:15 +0100king_gs1(~Thunderbi@2806:103e:29:1779:7319:8c16:bb5a:e71f)
2023-02-09 01:38:32 +0100king_gs1king_gs
2023-02-09 01:39:13 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 01:42:04 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 260 seconds)
2023-02-09 01:43:55 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-02-09 01:43:57 +0100xff0x(~xff0x@2405:6580:b080:900:876a:aa31:e2c4:b726)
2023-02-09 01:44:53 +0100beteigeuze1(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 01:45:31 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2023-02-09 01:45:31 +0100beteigeuze1beteigeuze
2023-02-09 01:47:28 +0100rettahcay(~kaushikv@c-24-20-37-193.hsd1.or.comcast.net)
2023-02-09 01:55:33 +0100cassaund1a(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 01:55:58 +0100king_gs(~Thunderbi@2806:103e:29:1779:7319:8c16:bb5a:e71f) (Remote host closed the connection)
2023-02-09 01:56:17 +0100king_gs(~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0)
2023-02-09 01:57:58 +0100cassaund1a(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit)
2023-02-09 01:58:16 +0100cassaund1a(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 01:58:34 +0100stef204(~stef204@user/stef204)
2023-02-09 01:59:05 +0100cassaund1acassaundra
2023-02-09 01:59:40 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 01:59:48 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit)
2023-02-09 02:00:23 +0100Ji50(~Ji@ip-109-43-51-164.web.vodafone.de) (Ping timeout: 260 seconds)
2023-02-09 02:00:47 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
2023-02-09 02:01:36 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 02:03:52 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-02-09 02:03:52 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-02-09 02:03:52 +0100wroathe(~wroathe@user/wroathe)
2023-02-09 02:04:24 +0100wroathe(~wroathe@user/wroathe) (Client Quit)
2023-02-09 02:04:37 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-02-09 02:04:37 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-02-09 02:04:37 +0100wroathe(~wroathe@user/wroathe)
2023-02-09 02:04:39 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit)
2023-02-09 02:04:55 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 02:04:57 +0100 <sm> it's nice to be able to link to an official start page in docs again (https://www.haskell.org/get-started)
2023-02-09 02:05:54 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit)
2023-02-09 02:05:55 +0100werneta(~werneta@137.79.219.74) (Remote host closed the connection)
2023-02-09 02:06:51 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 248 seconds)
2023-02-09 02:07:20 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 02:07:22 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit)
2023-02-09 02:09:02 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 02:09:02 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit)
2023-02-09 02:10:40 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-02-09 02:10:48 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 02:11:59 +0100falafel(~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b)
2023-02-09 02:12:33 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-02-09 02:13:03 +0100 <rettahcay> hello folks! I'm a beginner and using Vim to code. I'm happy with it for the most part. Any plugins you would recommend for haskell? Thanks
2023-02-09 02:13:43 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-02-09 02:14:05 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Changing host)
2023-02-09 02:14:05 +0100cassaundra(~cassaundr@user/cassaundra)
2023-02-09 02:15:10 +0100ddellaco1(~ddellacos@143.244.47.81)
2023-02-09 02:15:30 +0100 <davean> what do you want? Plugins do something for you
2023-02-09 02:16:13 +0100 <rettahcay> syntax checking mainly...
2023-02-09 02:16:47 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-09 02:16:59 +0100ddellacosta(~ddellacos@143.244.47.81) (Ping timeout: 248 seconds)
2023-02-09 02:17:45 +0100 <dminuoso> rettahcay: haskell-language-server, ghcid, pick your poison
2023-02-09 02:20:34 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-02-09 02:21:02 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-09 02:39:41 +0100falafel(~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b) (Read error: Connection reset by peer)
2023-02-09 02:39:55 +0100dcoutts_(~duncan@host86-175-140-40.range86-175.btcentralplus.com)
2023-02-09 02:42:40 +0100razetime(~Thunderbi@117.193.4.2)
2023-02-09 02:42:44 +0100dcoutts(~duncan@host86-155-218-146.range86-155.btcentralplus.com) (Ping timeout: 260 seconds)
2023-02-09 02:56:26 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 02:57:50 +0100califax(~califax@user/califx)
2023-02-09 03:01:24 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
2023-02-09 03:05:59 +0100santiagopim(~user@90.167.66.131) (Ping timeout: 265 seconds)
2023-02-09 03:06:15 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2023-02-09 03:07:07 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2023-02-09 03:18:01 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-02-09 03:21:31 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds)
2023-02-09 03:23:20 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-02-09 03:23:27 +0100kraftwerk28(~kraftwerk@178.62.210.83) (Quit: *disconnects*)
2023-02-09 03:23:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2023-02-09 03:23:47 +0100kraftwerk28(~kraftwerk@178.62.210.83)
2023-02-09 03:23:49 +0100pie_(~pie_bnc@user/pie/x-2818909) (Remote host closed the connection)
2023-02-09 03:23:53 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-02-09 03:23:56 +0100emergence(thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) (Remote host closed the connection)
2023-02-09 03:25:18 +0100robbert-vdh(~robbert@robbertvanderhelm.nl) (Ping timeout: 255 seconds)
2023-02-09 03:25:43 +0100emergence(thelounge@2607:5300:60:5910:dcad:beff:feef:5bc)
2023-02-09 03:26:20 +0100robbert-vdh(~robbert@robbertvanderhelm.nl)
2023-02-09 03:27:01 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-02-09 03:27:48 +0100king_gs(~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0) (Remote host closed the connection)
2023-02-09 03:28:07 +0100king_gs(~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0)
2023-02-09 03:28:19 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 03:36:30 +0100cross(~cross@spitfire.i.gajendra.net) (Remote host closed the connection)
2023-02-09 03:38:42 +0100pie_(~pie_bnc@user/pie/x-2818909)
2023-02-09 03:42:55 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-09 03:44:17 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-09 03:48:47 +0100Inst__(~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240)
2023-02-09 03:50:08 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-02-09 03:51:50 +0100Inst_(~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 255 seconds)
2023-02-09 03:51:56 +0100chexum_(~quassel@gateway/tor-sasl/chexum)
2023-02-09 03:51:59 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-09 03:58:09 +0100bilegeek(~bilegeek@2600:1008:b041:5469:c21d:2c48:77fb:f9d5)
2023-02-09 03:58:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:9525:b972:bf3b:9db0) (Remote host closed the connection)
2023-02-09 03:59:44 +0100king_gs(~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0) (Ping timeout: 248 seconds)
2023-02-09 04:03:02 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-09 04:04:42 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-02-09 04:05:52 +0100codaraxis___(~codaraxis@user/codaraxis)
2023-02-09 04:07:38 +0100Feuermagier(~Feuermagi@user/feuermagier)
2023-02-09 04:08:16 +0100kraftwerk28_(~kraftwerk@178.62.210.83)
2023-02-09 04:08:48 +0100gentauro_(~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net)
2023-02-09 04:09:08 +0100freeside_(~mengwong@103.252.202.170)
2023-02-09 04:09:15 +0100terrorjack2(~terrorjac@2a01:4f8:1c1e:4e8c::)
2023-02-09 04:10:42 +0100shachaf_(~shachaf@li227-219.members.linode.com)
2023-02-09 04:11:07 +0100jao-(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-02-09 04:15:25 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-02-09 04:15:49 +0100freeside(~mengwong@103.252.202.170) (*.net *.split)
2023-02-09 04:15:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2023-02-09 04:15:49 +0100kraftwerk28(~kraftwerk@178.62.210.83) (*.net *.split)
2023-02-09 04:15:49 +0100razetime(~Thunderbi@117.193.4.2) (*.net *.split)
2023-02-09 04:15:49 +0100cassaundra(~cassaundr@user/cassaundra) (*.net *.split)
2023-02-09 04:15:49 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (*.net *.split)
2023-02-09 04:15:49 +0100Ranhir(~Ranhir@157.97.53.139) (*.net *.split)
2023-02-09 04:15:49 +0100opticblast(~Thunderbi@172.58.82.191) (*.net *.split)
2023-02-09 04:15:49 +0100johnjaye(~pi@173.209.64.74) (*.net *.split)
2023-02-09 04:15:49 +0100Intel8086(~Intel8086@user/Intel8086) (*.net *.split)
2023-02-09 04:15:49 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (*.net *.split)
2023-02-09 04:15:49 +0100biberu(~biberu@user/biberu) (*.net *.split)
2023-02-09 04:15:49 +0100codaraxis__(~codaraxis@user/codaraxis) (*.net *.split)
2023-02-09 04:15:49 +0100Feuermagier_(~Feuermagi@user/feuermagier) (*.net *.split)
2023-02-09 04:15:49 +0100jmdaemon(~jmdaemon@user/jmdaemon) (*.net *.split)
2023-02-09 04:15:49 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de) (*.net *.split)
2023-02-09 04:15:49 +0100econo(uid147250@user/econo) (*.net *.split)
2023-02-09 04:15:49 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split)
2023-02-09 04:15:49 +0100motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2023-02-09 04:15:49 +0100hounded_woodstoc(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (*.net *.split)
2023-02-09 04:15:49 +0100hounded(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (*.net *.split)
2023-02-09 04:15:49 +0100Luj(~Luj@2a01:e0a:5f9:9681:e45d:27d5:311f:767e) (*.net *.split)
2023-02-09 04:15:49 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (*.net *.split)
2023-02-09 04:15:49 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (*.net *.split)
2023-02-09 04:15:49 +0100gentauro(~gentauro@user/gentauro) (*.net *.split)
2023-02-09 04:15:49 +0100johnw(~johnw@2600:1700:cf00:db0:49b4:fe12:640e:f573) (*.net *.split)
2023-02-09 04:15:49 +0100ubert(~Thunderbi@2a02:8109:abc0:6434:f835:7cff:6e4a:8bfb) (*.net *.split)
2023-02-09 04:15:49 +0100AlexZenon(~alzenon@178.34.160.79) (*.net *.split)
2023-02-09 04:15:49 +0100echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split)
2023-02-09 04:15:49 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::) (*.net *.split)
2023-02-09 04:15:49 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2023-02-09 04:15:49 +0100jinsun(~jinsun@user/jinsun) (*.net *.split)
2023-02-09 04:15:49 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split)
2023-02-09 04:15:49 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (*.net *.split)
2023-02-09 04:15:49 +0100xstill_(xstill@fimu/xstill) (*.net *.split)
2023-02-09 04:15:49 +0100xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2023-02-09 04:15:49 +0100shachaf(~shachaf@user/shachaf) (*.net *.split)
2023-02-09 04:15:51 +0100terrorjack2terrorjack
2023-02-09 04:17:03 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-02-09 04:20:41 +0100accord(uid568320@2a03:5180:f:4::8:ac00) (Quit: Connection closed for inactivity)
2023-02-09 04:22:32 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-02-09 04:23:39 +0100king_gs1(~Thunderbi@2806:103e:29:1779:32e2:d712:8f01:fdae)
2023-02-09 04:24:45 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-02-09 04:25:42 +0100king_gs(~Thunderbi@187.201.41.239) (Read error: Connection reset by peer)
2023-02-09 04:25:43 +0100king_gs1king_gs
2023-02-09 04:27:11 +0100tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-02-09 04:27:11 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-02-09 04:27:11 +0100razetime(~Thunderbi@117.193.4.2)
2023-02-09 04:27:11 +0100cassaundra(~cassaundr@user/cassaundra)
2023-02-09 04:27:11 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-02-09 04:27:11 +0100Ranhir(~Ranhir@157.97.53.139)
2023-02-09 04:27:11 +0100Intel8086(~Intel8086@user/Intel8086)
2023-02-09 04:27:11 +0100opticblast(~Thunderbi@172.58.82.191)
2023-02-09 04:27:11 +0100johnjaye(~pi@173.209.64.74)
2023-02-09 04:27:11 +0100biberu(~biberu@user/biberu)
2023-02-09 04:27:11 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-02-09 04:27:11 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de)
2023-02-09 04:27:11 +0100econo(uid147250@user/econo)
2023-02-09 04:27:11 +0100motherfsck(~motherfsc@user/motherfsck)
2023-02-09 04:27:11 +0100hounded_woodstoc(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2023-02-09 04:27:11 +0100hounded(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2023-02-09 04:27:11 +0100Luj(~Luj@2a01:e0a:5f9:9681:e45d:27d5:311f:767e)
2023-02-09 04:27:11 +0100johnw(~johnw@2600:1700:cf00:db0:49b4:fe12:640e:f573)
2023-02-09 04:27:11 +0100ubert(~Thunderbi@2a02:8109:abc0:6434:f835:7cff:6e4a:8bfb)
2023-02-09 04:27:11 +0100AlexZenon(~alzenon@178.34.160.79)
2023-02-09 04:27:11 +0100echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2023-02-09 04:27:11 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2023-02-09 04:27:11 +0100jinsun(~jinsun@user/jinsun)
2023-02-09 04:27:11 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-09 04:27:11 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-02-09 04:27:11 +0100xstill_(xstill@fimu/xstill)
2023-02-09 04:27:11 +0100xsarnik(xsarnik@lounge.fi.muni.cz)
2023-02-09 04:28:02 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded)
2023-02-09 04:28:02 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Max SendQ exceeded)
2023-02-09 04:28:21 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-02-09 04:30:22 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-02-09 04:31:25 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-02-09 04:32:00 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-02-09 04:33:53 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-02-09 04:33:53 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-02-09 04:33:53 +0100finn_elijaFinnElija
2023-02-09 04:36:43 +0100hounded_woodstoc(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-02-09 04:36:43 +0100hounded(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-02-09 04:37:08 +0100hounded_woodstoc(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2023-02-09 04:37:08 +0100hounded(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com)
2023-02-09 04:38:27 +0100asscrackbandit(~user@46.193.2.167)
2023-02-09 04:39:52 +0100shachaf_(~shachaf@li227-219.members.linode.com) (Changing host)
2023-02-09 04:39:52 +0100shachaf_(~shachaf@user/shachaf)
2023-02-09 04:39:55 +0100shachaf_shachaf
2023-02-09 04:42:10 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat)
2023-02-09 04:43:35 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::)
2023-02-09 04:45:28 +0100caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2023-02-09 04:46:29 +0100caubert(~caubert@user/caubert)
2023-02-09 04:49:57 +0100nattiestnate(~nate@202.138.250.13) (Quit: WeeChat 3.8)
2023-02-09 04:50:50 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-09 04:55:30 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-02-09 04:56:17 +0100jwiegley(~jwiegley@2600:1700:cf00:db0:49b4:fe12:640e:f573) (Quit: ZNC - http://znc.in)
2023-02-09 04:56:17 +0100johnw(~johnw@2600:1700:cf00:db0:49b4:fe12:640e:f573) (Quit: ZNC - http://znc.in)
2023-02-09 04:58:05 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-02-09 05:00:01 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-02-09 05:00:31 +0100califax(~califax@user/califx)
2023-02-09 05:00:59 +0100td_(~td@i53870902.versanet.de) (Ping timeout: 260 seconds)
2023-02-09 05:02:16 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-02-09 05:02:22 +0100td_(~td@i5387090F.versanet.de)
2023-02-09 05:04:50 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2023-02-09 05:09:00 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-09 05:14:03 +0100razetime(~Thunderbi@117.193.4.2) (Ping timeout: 248 seconds)
2023-02-09 05:14:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 05:15:34 +0100troydm(~troydm@user/troydm) (Ping timeout: 260 seconds)
2023-02-09 05:19:25 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 05:24:53 +0100rettahcay(~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) ()
2023-02-09 05:25:04 +0100king_gs(~Thunderbi@2806:103e:29:1779:32e2:d712:8f01:fdae) (Ping timeout: 248 seconds)
2023-02-09 05:34:36 +0100hounded_woodstoc(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving)
2023-02-09 05:34:36 +0100hounded(~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving)
2023-02-09 05:45:20 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-09 05:46:04 +0100razetime(~Thunderbi@117.193.4.2)
2023-02-09 05:46:07 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-09 05:56:28 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2023-02-09 05:56:29 +0100Vajb(~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer)
2023-02-09 05:56:40 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2023-02-09 06:03:20 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-09 06:16:15 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 248 seconds)
2023-02-09 06:24:53 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2023-02-09 06:26:43 +0100Vajb(~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686)
2023-02-09 06:30:38 +0100freeside_(~mengwong@103.252.202.170) (Ping timeout: 268 seconds)
2023-02-09 06:33:56 +0100slack1256(~slack1256@186.11.102.104) (Remote host closed the connection)
2023-02-09 06:39:24 +0100bilegeek(~bilegeek@2600:1008:b041:5469:c21d:2c48:77fb:f9d5) (Quit: Leaving)
2023-02-09 06:57:07 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.8)
2023-02-09 06:59:07 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 07:03:23 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 248 seconds)
2023-02-09 07:07:52 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2023-02-09 07:08:08 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-02-09 07:08:32 +0100jrm(~jrm@user/jrm) (Ping timeout: 248 seconds)
2023-02-09 07:09:29 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-02-09 07:10:10 +0100chexum_(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2023-02-09 07:11:26 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-09 07:12:11 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-02-09 07:12:44 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-02-09 07:12:53 +0100kenran(~user@user/kenran)
2023-02-09 07:12:55 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-02-09 07:13:01 +0100analoq(~yashi@user/dies) (Ping timeout: 252 seconds)
2023-02-09 07:13:52 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-02-09 07:14:46 +0100analoq(~yashi@user/dies)
2023-02-09 07:15:57 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-09 07:17:29 +0100jao-(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
2023-02-09 07:22:15 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-09 07:22:22 +0100echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
2023-02-09 07:23:29 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-09 07:23:40 +0100echoreply(~echoreply@45.32.163.16)
2023-02-09 07:24:19 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds)
2023-02-09 07:24:56 +0100gmg(~user@user/gehmehgeh)
2023-02-09 07:25:14 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-09 07:27:13 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-02-09 07:27:16 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-02-09 07:27:22 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2023-02-09 07:29:17 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-02-09 07:30:11 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-09 07:34:15 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-02-09 07:34:56 +0100gmg(~user@user/gehmehgeh)
2023-02-09 07:35:34 +0100jrm(~jrm@user/jrm)
2023-02-09 07:39:41 +0100motherfsck(~motherfsc@user/motherfsck)
2023-02-09 07:39:51 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-02-09 07:40:40 +0100gmg(~user@user/gehmehgeh)
2023-02-09 07:45:02 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-09 07:46:20 +0100gmg(~user@user/gehmehgeh)
2023-02-09 07:56:11 +0100opticblast(~Thunderbi@172.58.82.191) (Ping timeout: 248 seconds)
2023-02-09 07:59:04 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2023-02-09 08:00:02 +0100werneta(~werneta@70.142.214.115)
2023-02-09 08:04:09 +0100gpncarl(~gpncarl@210.12.195.6)
2023-02-09 08:06:42 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-02-09 08:13:28 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-09 08:17:47 +0100MironZ(~MironZ@nat-infra.ehlab.uk) (Ping timeout: 260 seconds)
2023-02-09 08:17:55 +0100Sauvin(~sauvin@user/Sauvin) (Ping timeout: 252 seconds)
2023-02-09 08:22:52 +0100michalz(~michalz@185.246.204.121)
2023-02-09 08:26:07 +0100Greg(~Greg@50.46.251.76)
2023-02-09 08:26:30 +0100GregGuest8855
2023-02-09 08:26:41 +0100Guest8855(~Greg@50.46.251.76) (Client Quit)
2023-02-09 08:27:23 +0100Guest5170(~Guest51@50.46.251.76)
2023-02-09 08:30:35 +0100razetime(~Thunderbi@117.193.4.2) (Quit: See You Space Cowboy)
2023-02-09 08:33:31 +0100theproffesor(~theproffe@2601:282:8880:20::711)
2023-02-09 08:33:31 +0100theproffesor(~theproffe@2601:282:8880:20::711) (Changing host)
2023-02-09 08:33:31 +0100theproffesor(~theproffe@user/theproffesor)
2023-02-09 08:36:15 +0100phma(~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer)
2023-02-09 08:36:50 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection)
2023-02-09 08:37:00 +0100phma(phma@2001:5b0:211f:c3f8:ab8f:b033:3867:47bf)
2023-02-09 08:41:26 +0100tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-02-09 08:42:39 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-09 08:44:26 +0100MironZ(~MironZ@nat-infra.ehlab.uk)
2023-02-09 08:45:54 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:5eae:66b7:1a25:32fa)
2023-02-09 08:46:25 +0100phma_(~phma@host-67-44-209-9.hnremote.net)
2023-02-09 08:46:40 +0100Sauvin(~sauvin@user/Sauvin)
2023-02-09 08:48:48 +0100phma(phma@2001:5b0:211f:c3f8:ab8f:b033:3867:47bf) (Ping timeout: 248 seconds)
2023-02-09 08:51:39 +0100asscrackbandit(~user@46.193.2.167) (Ping timeout: 252 seconds)
2023-02-09 08:53:09 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 260 seconds)
2023-02-09 08:59:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 09:10:00 +0100troydm(~troydm@user/troydm)
2023-02-09 09:10:21 +0100Guest5170(~Guest51@50.46.251.76) (Quit: Client closed)
2023-02-09 09:12:02 +0100akegalj(~akegalj@37-128.dsl.iskon.hr)
2023-02-09 09:12:43 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-09 09:13:20 +0100thegeekinside(~thegeekin@189.180.83.186) (Ping timeout: 248 seconds)
2023-02-09 09:13:41 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-02-09 09:14:22 +0100motherfsck(~motherfsc@user/motherfsck)
2023-02-09 09:16:04 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-02-09 09:26:45 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-02-09 09:26:49 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2) (Quit: Client limit exceeded: 20000)
2023-02-09 09:28:38 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-02-09 09:33:32 +0100sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-02-09 09:33:58 +0100sefidel(~sefidel@user/sefidel)
2023-02-09 09:35:32 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a)
2023-02-09 09:37:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 09:40:32 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-02-09 09:41:29 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Ping timeout: 246 seconds)
2023-02-09 09:42:40 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-02-09 09:43:53 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-02-09 09:44:29 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de) (Quit: leaving)
2023-02-09 09:45:00 +0100ggranberry(uid267884@id-267884.uxbridge.irccloud.com)
2023-02-09 09:49:04 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 252 seconds)
2023-02-09 09:50:45 +0100MajorBiscuit(~MajorBisc@c-001-003-046.client.tudelft.eduvpn.nl)
2023-02-09 09:51:34 +0100dcoutts(~duncan@host86-149-51-38.range86-149.btcentralplus.com)
2023-02-09 09:52:32 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-09 09:52:38 +0100mmhat(~mmh@p200300f1c7090162ee086bfffe095315.dip0.t-ipconnect.de)
2023-02-09 09:52:51 +0100mmhat(~mmh@p200300f1c7090162ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-02-09 09:53:31 +0100dcoutts_(~duncan@host86-175-140-40.range86-175.btcentralplus.com) (Ping timeout: 268 seconds)
2023-02-09 09:56:20 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32)
2023-02-09 09:57:06 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: Client limit exceeded: 20000)
2023-02-09 09:58:26 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl)
2023-02-09 10:00:09 +0100Dominik[m]12(~dschrempf@2001:470:69fc:105::2:bbb6) (Quit: You have been kicked for being idle)
2023-02-09 10:00:10 +0100ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119) (Quit: You have been kicked for being idle)
2023-02-09 10:03:57 +0100phma(phma@2001:5b0:211b:c068:2b96:30a1:aa3d:6ccd)
2023-02-09 10:04:42 +0100chele(~chele@user/chele)
2023-02-09 10:05:30 +0100 <merijn> mauke: Late response to last night, but I think you'd appreciate my favourite comic on chatGPT: https://i.imgur.com/Pb5VHSh.png :)
2023-02-09 10:05:56 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2023-02-09 10:06:14 +0100phma_(~phma@host-67-44-209-9.hnremote.net) (Ping timeout: 255 seconds)
2023-02-09 10:06:20 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2)
2023-02-09 10:06:35 +0100vpan(~0@212.117.1.172)
2023-02-09 10:12:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-02-09 10:15:55 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-02-09 10:16:38 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-02-09 10:19:11 +0100poljar(~poljar@93-139-120-188.adsl.net.t-com.hr) (Remote host closed the connection)
2023-02-09 10:19:35 +0100poljar(~poljar@93-139-120-188.adsl.net.t-com.hr)
2023-02-09 10:23:35 +0100mc47(~mc47@xmonad/TheMC47)
2023-02-09 10:23:43 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2023-02-09 10:27:29 +0100zeenk(~zeenk@2a02:2f04:a214:1e00::7fe)
2023-02-09 10:28:52 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 10:30:14 +0100califax(~califax@user/califx)
2023-02-09 10:32:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 10:38:04 +0100ph88(~ph88@tmo-087-16.customers.d1-online.com)
2023-02-09 10:38:18 +0100varoo(~varoo@117.203.246.41)
2023-02-09 10:41:23 +0100 <varoo> how to write webapps in Haskell? like which framework do most of the people prefer? Or should I stick with rust or JS for that?
2023-02-09 10:43:50 +0100 <[exa]> varoo: for backend work, scotty is great (for the simple things) and servant is an absolute delight if you have a heap of APIs that you need to carefully keep in sync
2023-02-09 10:45:22 +0100 <Hecate> varoo: I would recommend https://flora.pm/packages/@hackage/twain or https://flora.pm/packages/@hackage/scotty for light webapps
2023-02-09 10:46:06 +0100 <[exa]> for the frontends, there's some ghcjs stuff but I'm not sure about its usability status right now... I'd honestly recommend going with purescript or elm (you'll get most of the important goodies AND a pretty big community already)
2023-02-09 10:48:56 +0100 <aforemny> haskell-miso seems worth trying, but i've always had difficulties getting that set up. tbh, i've probably set aside too little time for trying :) but with js support just having become official, i would second the recommendation of purescript (no experience) or elm (experience)
2023-02-09 10:49:27 +0100 <dminuoso> [exa]: ghcjs stuff?
2023-02-09 10:49:33 +0100 <dminuoso> GHC 9.6 comes with a wasm backend!
2023-02-09 10:49:48 +0100 <dminuoso> Somewhat experimental yet, but builtin.
2023-02-09 10:50:18 +0100 <dminuoso> If I was to make a webapp, I would just straight up use elixir.
2023-02-09 10:51:48 +0100 <Hecate> I have a very nice webapp with Servant, it's called https://flora.pm :p
2023-02-09 10:52:00 +0100 <geekosaur> 9.6 also comes with a js backend, subsuming ghcjs
2023-02-09 10:52:13 +0100 <Hecate> dminuoso: wasm backend isn't ready for production
2023-02-09 10:52:30 +0100 <geekosaur> but both are explicitly technology previews, yes
2023-02-09 10:52:33 +0100 <Hecate> and the js backend isn't optimised for sending the payloads over the wire
2023-02-09 10:52:37 +0100 <dminuoso> Hecate: Its as stable as your average JavaScript or python library.
2023-02-09 10:52:44 +0100 <dminuoso> Its enough for them.
2023-02-09 10:53:22 +0100 <Hecate> stop being so cranky, people do actually come here for advice
2023-02-09 10:53:24 +0100 <dminuoso> Heh
2023-02-09 10:53:45 +0100 <Hecate> we can't just be sour like that
2023-02-09 10:57:10 +0100 <varoo> Oh thanks [exa], Hecate I'll go with scooty for the backend
2023-02-09 10:57:21 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-02-09 10:57:53 +0100 <Hecate> varoo: have fun!
2023-02-09 10:58:16 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-02-09 10:59:26 +0100 <varoo> Thanks! Also I was wondering if I could try contributing to Haskell. Though I haven't crossed even 3 weeks of proper use of haskell so I feel like it would be a long shot
2023-02-09 10:59:48 +0100 <Hecate> varoo: The best thing you can do today is to report confusing documentation :)
2023-02-09 11:00:06 +0100 <Hecate> if you don't know where to report something, you can go on #haskell-docs
2023-02-09 11:00:24 +0100 <varoo> Ah sure, if I find something then for sure I will report it.
2023-02-09 11:00:38 +0100 <Hecate> 👍
2023-02-09 11:01:08 +0100theproffesor(~theproffe@user/theproffesor) (Ping timeout: 255 seconds)
2023-02-09 11:05:15 +0100 <Hecate> tomsmeding: any chance you could add the ghcup pre-release channels to your workers for the playground? I think we have a chance at demonstrating upcoming features and potential breakages ahead of time :)
2023-02-09 11:05:39 +0100 <Hecate> (just got the idea when I saw https://twitter.com/imperioworld_/status/1623623324516466692 )
2023-02-09 11:05:51 +0100 <[exa]> varoo: re contributing, make nice packages for whatever "general" stuff that seems missing to you and publish them, that always helps. :D
2023-02-09 11:06:40 +0100 <[exa]> dminuoso, geekosaur: ok whoops I completely forgot about the wasm support. thanks for reminder, honestly. :D
2023-02-09 11:08:18 +0100 <Hecate> [exa]: (I would advise recommending newcomers to make packages and uploading them, it's a real burden to maintain)
2023-02-09 11:08:34 +0100zer0bitz(~zer0bitz@2001:2003:f443:d600:212e:6e03:974d:ef39)
2023-02-09 11:13:42 +0100 <stefan-_> any idea when OverloadedRecordUpdate will be finalized?
2023-02-09 11:13:59 +0100varoo_(~varoo@2a09:bac1:36c0:5f70::243:1a)
2023-02-09 11:15:34 +0100 <Hecate> stefan-_: not from the top of my head, you'd have to ask the implementers
2023-02-09 11:17:16 +0100ph88^(~ph88@2a02:8109:9e00:71d0:b55c:c8e3:6090:f90e)
2023-02-09 11:17:38 +0100varoo(~varoo@117.203.246.41) (Read error: Connection reset by peer)
2023-02-09 11:17:39 +0100Ji50(~Ji50@ip-109-43-51-164.web.vodafone.de)
2023-02-09 11:18:36 +0100varoo(~varoo@117.203.246.41)
2023-02-09 11:18:47 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-09 11:18:51 +0100 <stefan-_> Hecate, ok, thanks
2023-02-09 11:19:15 +0100 <stefan-_> I am currently following the workaround using generic-lens, as described here: https://github.com/tam-carre/generic-lens-modern-setup
2023-02-09 11:19:29 +0100rnat(uid73555@id-73555.lymington.irccloud.com)
2023-02-09 11:20:19 +0100 <Ji50> Yesterday I reported about this unexpected (rigid, skolem) type variable/escape error message. I am hiding a phantom type P within an existential type E. Later I extract E and pattern-match against a witness in P to know its concrete type. With a let & pure function this gives me an error. Within IO the code runs just fine.
2023-02-09 11:20:39 +0100 <Ji50> Here is the code example. You can press "Execute" to test it: https://www.jdoodle.com/ia/Dzf
2023-02-09 11:20:57 +0100ph88(~ph88@tmo-087-16.customers.d1-online.com) (Ping timeout: 252 seconds)
2023-02-09 11:21:13 +0100 <Ji50> Five lines need to be changed a tiny little bit. Then execute again and you’ll see the error message.
2023-02-09 11:21:20 +0100varoo_(~varoo@2a09:bac1:36c0:5f70::243:1a) (Ping timeout: 248 seconds)
2023-02-09 11:21:51 +0100 <Ji50> dminuoso: this is the example that surprised me yesterday.
2023-02-09 11:22:13 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 11:23:23 +0100 <lortabac> Ji50: you need to pattern-match on UnknownPerson with case..of
2023-02-09 11:23:27 +0100 <Hecate> stefan-_: personally I use optics-core for record update, which is also very nice
2023-02-09 11:23:35 +0100califax(~califax@user/califx)
2023-02-09 11:26:51 +0100 <Ji50> lortabac: am I not pattern-matching against the witness in the extracted Person in line 29? That does prove what the phantom type is. It works well when it’s been run in IO. What changes when I try to do it in a pure fashion?
2023-02-09 11:27:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 11:29:25 +0100 <lortabac> Ji50: I don't know exactly, but I guess the IO one is desugared to a case..of while the other is not
2023-02-09 11:30:38 +0100 <stefan-_> Hecate, how are lenses generated for types in optics-core, using Generic?
2023-02-09 11:33:50 +0100 <dminuoso> Ji50: you are pattern matching.
2023-02-09 11:34:24 +0100 <dminuoso> Ji50: `pat1 <- expr` gets desugared into `expr >>= \pat1 -> ...`, which further gets desugared into `expr >>= \a -> case a of pat1 -> ...`
2023-02-09 11:34:35 +0100 <dminuoso> (or at least thats the semantic desugaring)
2023-02-09 11:35:08 +0100 <stefan-_> Hecate, ah, I think I found it in the docs https://hackage.haskell.org/package/optics-0.4.2/docs/Optics-Generic.html
2023-02-09 11:36:28 +0100ph88^(~ph88@2a02:8109:9e00:71d0:b55c:c8e3:6090:f90e) (Quit: Leaving)
2023-02-09 11:36:34 +0100 <dminuoso> stefan-_: you can also use optics-th in addition to optics-core
2023-02-09 11:36:37 +0100 <dminuoso> which is still lighter than full optics
2023-02-09 11:36:57 +0100 <dminuoso> TH tends to compile much faster and generate better code than generics
2023-02-09 11:36:59 +0100 <tomsmeding> maerwald: feature request, make pageup/pagedown work on the ghcup tui screen
2023-02-09 11:37:28 +0100 <lortabac> Ji50: maybe the reason why GADTs don't work with 'let' is that they wanted to keep it simple, and avoid the complex interaction between generalization and refinement
2023-02-09 11:37:42 +0100 <lortabac> so they only allow refinement in case statements
2023-02-09 11:39:27 +0100 <stefan-_> dminuoso, thanks for the pointer
2023-02-09 11:41:34 +0100 <Ji50> Hmm yes, I thought that in the let block plus the pure function I am pattern-matching. And I thought that this also happens when binding, via <-
2023-02-09 11:41:43 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 11:42:33 +0100 <dminuoso> Ji50: yeah, let-bindings are a bit more special probably because of the [Let] rule
2023-02-09 11:43:08 +0100 <Ji50> dminuoso: what is this let rule? I can’t seem to find a good link.
2023-02-09 11:43:24 +0100 <Ji50> dminuoso: do you see a way how to make this work with a pure function?
2023-02-09 11:43:33 +0100 <dminuoso> Ji50: Im referring to the [Let] typing rule in damas milner type inference
2023-02-09 11:43:58 +0100dcoutts(~duncan@host86-149-51-38.range86-149.btcentralplus.com) (Ping timeout: 252 seconds)
2023-02-09 11:44:19 +0100 <dminuoso> we dont have a raw damas milner of course, but I think that's what lortabac is getting at.
2023-02-09 11:44:27 +0100 <dminuoso> in simple terms: let bindings are generalized
2023-02-09 11:46:13 +0100 <Ji50> lortabac: do you know where I can find more information online about generalization vs refinement?
2023-02-09 11:46:43 +0100 <lortabac> Ji50: generalization is a standard rule in Hindley-Milner type inference
2023-02-09 11:47:20 +0100dcoutts(~duncan@host81-156-211-203.range81-156.btcentralplus.com)
2023-02-09 11:47:36 +0100 <Ji50> lortabac: what does it mean? Does it refer to finding a general type? While refinement tries to find more specialized types?
2023-02-09 11:47:50 +0100 <lortabac> regarding the specific issue of GADTs, the GHC manual explains some of the complexities of pattern-matching
2023-02-09 11:48:12 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 11:48:43 +0100 <dminuoso> Ji50: Its part of Damas Milner type inference.
2023-02-09 11:49:17 +0100 <Ji50> Okay thanks, will try the Wikipedia article then.
2023-02-09 11:49:29 +0100 <Ji50> Makes more sense now, thanks you two!
2023-02-09 11:49:31 +0100pernzs(~pernzs@101.175.168.100)
2023-02-09 11:49:41 +0100 <lortabac> Ji50: by "refinement" I mean finding the precise type of a GADTs constructor through pattern-matching
2023-02-09 11:52:01 +0100 <lortabac> as a side note, GADTs implies MonoLocalBinds, so full Hindley-Milner generalization is not performed, but the point is still valid
2023-02-09 11:52:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 11:52:22 +0100cheater_(~Username@user/cheater)
2023-02-09 11:55:44 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-02-09 11:55:47 +0100cheater_cheater
2023-02-09 11:57:51 +0100 <Ji50> lortabac: I got this working now with a let when I put the function dminuoso showed earlier on the right side of the let =
2023-02-09 11:58:08 +0100 <Ji50> Essentially I am doing now:   let x = (\(UnknownPerson p) -> case witness p of ...) (createVal name n)
2023-02-09 11:59:43 +0100__monty__(~toonn@user/toonn)
2023-02-09 12:00:23 +0100jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-02-09 12:01:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 12:02:03 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds)
2023-02-09 12:03:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 12:04:10 +0100 <dminuoso> Ji50: sure, or you just write `case createVal name n of UnknownPerson p ...`
2023-02-09 12:08:12 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-02-09 12:12:51 +0100andrewboltachev(~andrey@178.141.147.162) (Read error: No route to host)
2023-02-09 12:16:59 +0100varoo(~varoo@117.203.246.41) (Ping timeout: 248 seconds)
2023-02-09 12:18:43 +0100 <Ji50> dminuoso: excellent
2023-02-09 12:21:39 +0100 <akegalj> https://haskellryangosling.tumblr.com/ didn't know about this :D
2023-02-09 12:23:58 +0100pernzs(~pernzs@101.175.168.100) (Ping timeout: 260 seconds)
2023-02-09 12:25:46 +0100pernzs(~pernzs@101.175.168.100)
2023-02-09 12:28:48 +0100masterbuilder(~master@user/masterbuilder) (Quit: leaving)
2023-02-09 12:33:25 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-02-09 12:34:15 +0100gmg(~user@user/gehmehgeh)
2023-02-09 12:34:26 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-02-09 12:36:55 +0100JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:56 +0100nomagno(~nomagno@2001:470:69fc:105::c1f0) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:56 +0100ormaaj(~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:57 +0100zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:57 +0100jmcantrell(~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:57 +0100psydroid(~psydroid@user/psydroid) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:57 +0100chreekat(~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:58 +0100fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:58 +0100geekosaur[m](~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:58 +0100aaRabbit[m](~rootsandw@2001:470:69fc:105::2:ca2e) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100Matthew|m(~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100famubu[m](~famubumat@2001:470:69fc:105::1081) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:36:59 +0100Deide(~deide@user/deide) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:00 +0100elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:00 +0100JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:00 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100VOID[m](~void404ma@2001:470:69fc:105::2:c72c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:01 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100elevenkb[m](~elevenkb@2001:470:69fc:105::2:cb89) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100bgamari[m](~bgamari@2001:470:69fc:105::c7b9) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100mauke(~mauke@user/mauke) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:02 +0100disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:03 +0100ericjmorey[m](~ericjmore@2001:470:69fc:105::7afc) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:03 +0100cstm[m](~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:03 +0100peddie(~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100bigtestaccount[m(~bigtestac@2001:470:69fc:105::2:fae3) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100sm(~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100Oden[m](~iodonemat@2001:470:69fc:105::2:feb5) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100hussam(~hussam@user/hussam) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100christiansen[m](~christian@2001:470:69fc:105::2:f23d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100dykai[m](~dykaimatr@2001:470:69fc:105::2:f326) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:04 +0100mimi1vx[m](~osukupmat@2001:470:69fc:105::2:418d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100gqplox[m](~gqploxmat@2001:470:69fc:105::2:d10d) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100Miao[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100eldritchcookie[4(~eldritchc@2001:470:69fc:105::2:d53c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100Tisoxin(~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:05 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:06 +0100tiziodcaio(~tiziodcai@2001:470:69fc:105::1:2bf8) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:06 +0100Guest809(~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:06 +0100ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:07 +0100steve[m]1(~stevetrou@2001:470:69fc:105::e0b) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:07 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:07 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:08 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:10 +0100SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:37:10 +0100aaronv(~aaronv@user/aaronv) (Quit: Bridge terminating on SIGTERM)
2023-02-09 12:38:17 +0100 <analoq> anyone else?
2023-02-09 12:38:27 +0100 <analoq> didn't think so :>
2023-02-09 12:39:07 +0100pavonia(~user@user/siracusa)
2023-02-09 12:39:56 +0100varoo(~varoo@117.203.246.41)
2023-02-09 12:42:10 +0100fgaz(~fgaz@2001:470:69fc:105::842)
2023-02-09 12:42:33 +0100varoo(~varoo@117.203.246.41) (Remote host closed the connection)
2023-02-09 12:44:44 +0100varoo(~varoo@117.203.246.41)
2023-02-09 12:50:35 +0100varoo(~varoo@117.203.246.41) (Ping timeout: 264 seconds)
2023-02-09 13:01:52 +0100peddie(~peddie@2001:470:69fc:105::25d)
2023-02-09 13:01:52 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-02-09 13:01:52 +0100MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-02-09 13:01:52 +0100famubu[m](~famubumat@2001:470:69fc:105::1081)
2023-02-09 13:01:52 +0100maralorn(~maralorn@2001:470:69fc:105::251)
2023-02-09 13:01:52 +0100Deide(~deide@user/deide)
2023-02-09 13:01:52 +0100sm(~sm@plaintextaccounting/sm)
2023-02-09 13:01:52 +0100tiziodcaio(~tiziodcai@2001:470:69fc:105::1:2bf8)
2023-02-09 13:01:52 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018)
2023-02-09 13:01:52 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e)
2023-02-09 13:01:53 +0100nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-02-09 13:01:53 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-02-09 13:01:53 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-02-09 13:01:53 +0100chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-02-09 13:01:53 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-02-09 13:01:53 +0100jmcantrell(~jmcantrel@user/jmcantrell)
2023-02-09 13:01:53 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-02-09 13:01:53 +0100ormaaj(~ormaaj@user/ormaaj)
2023-02-09 13:01:53 +0100romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2023-02-09 13:01:53 +0100JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2023-02-09 13:01:53 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-02-09 13:01:53 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2023-02-09 13:01:53 +0100mauke(~mauke@user/mauke)
2023-02-09 13:01:53 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-02-09 13:01:53 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-02-09 13:01:53 +0100Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-02-09 13:01:53 +0100nicm[m](~nicmollel@2001:470:69fc:105::1:feeb)
2023-02-09 13:01:53 +0100Tisoxin(~ikosit@user/ikosit)
2023-02-09 13:01:53 +0100ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8)
2023-02-09 13:01:53 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-02-09 13:01:53 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-02-09 13:01:53 +0100elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-02-09 13:01:53 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-02-09 13:01:53 +0100Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-02-09 13:01:53 +0100bigtestaccount[m(~bigtestac@2001:470:69fc:105::2:fae3)
2023-02-09 13:01:53 +0100geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-02-09 13:01:53 +0100jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-02-09 13:01:53 +0100SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2023-02-09 13:01:54 +0100cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f)
2023-02-09 13:01:54 +0100psydroid(~psydroid@user/psydroid)
2023-02-09 13:01:54 +0100bgamari[m](~bgamari@2001:470:69fc:105::c7b9)
2023-02-09 13:01:54 +0100VOID[m](~void404ma@2001:470:69fc:105::2:c72c)
2023-02-09 13:01:54 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2023-02-09 13:01:54 +0100FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2023-02-09 13:01:54 +0100christiansen[m](~christian@2001:470:69fc:105::2:f23d)
2023-02-09 13:01:54 +0100JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544)
2023-02-09 13:01:54 +0100ericjmorey[m](~ericjmore@2001:470:69fc:105::7afc)
2023-02-09 13:01:54 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2)
2023-02-09 13:01:54 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2023-02-09 13:01:54 +0100hussam(~hussam@user/hussam)
2023-02-09 13:01:54 +0100KabeloMsobomvuMo(~elevenkb@2001:470:69fc:105::2:cb89)
2023-02-09 13:01:54 +0100zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-02-09 13:01:54 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-02-09 13:01:54 +0100mimi1vx[m](~osukupmat@2001:470:69fc:105::2:418d)
2023-02-09 13:01:54 +0100disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892)
2023-02-09 13:01:54 +0100eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c)
2023-02-09 13:01:54 +0100aaRabbit[m](~rootsandw@2001:470:69fc:105::2:ca2e)
2023-02-09 13:01:54 +0100Miao[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-02-09 13:01:54 +0100tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e)
2023-02-09 13:02:05 +0100Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-02-09 13:02:05 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2023-02-09 13:02:06 +0100gqplox[m](~gqploxmat@2001:470:69fc:105::2:d10d)
2023-02-09 13:02:06 +0100ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3)
2023-02-09 13:02:06 +0100steve[m](~stevetrou@2001:470:69fc:105::e0b)
2023-02-09 13:02:06 +0100Oden[m](~iodonemat@2001:470:69fc:105::2:feb5)
2023-02-09 13:02:06 +0100dykai[m](~dykaimatr@2001:470:69fc:105::2:f326)
2023-02-09 13:02:06 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd)
2023-02-09 13:02:06 +0100aaronv(~aaronv@user/aaronv)
2023-02-09 13:03:16 +0100Ji50(~Ji50@ip-109-43-51-164.web.vodafone.de) (Quit: Client closed)
2023-02-09 13:03:23 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-02-09 13:04:48 +0100pernzs(~pernzs@101.175.168.100) (Ping timeout: 260 seconds)
2023-02-09 13:10:21 +0100pernzs(~pernzs@101.175.168.100)
2023-02-09 13:13:04 +0100lyle(~lyle@104.246.145.85)
2023-02-09 13:14:35 +0100mimi1vx[m](~osukupmat@2001:470:69fc:105::2:418d) (Ping timeout: 246 seconds)
2023-02-09 13:14:35 +0100Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 248 seconds)
2023-02-09 13:14:35 +0100christiansen[m](~christian@2001:470:69fc:105::2:f23d) (Ping timeout: 246 seconds)
2023-02-09 13:14:35 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 246 seconds)
2023-02-09 13:14:36 +0100FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 248 seconds)
2023-02-09 13:14:36 +0100nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Ping timeout: 248 seconds)
2023-02-09 13:14:37 +0100steve[m](~stevetrou@2001:470:69fc:105::e0b) (Ping timeout: 252 seconds)
2023-02-09 13:14:37 +0100Oden[m](~iodonemat@2001:470:69fc:105::2:feb5) (Ping timeout: 252 seconds)
2023-02-09 13:14:37 +0100hussam(~hussam@user/hussam) (Ping timeout: 252 seconds)
2023-02-09 13:14:37 +0100chreekat(~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 252 seconds)
2023-02-09 13:14:37 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Ping timeout: 252 seconds)
2023-02-09 13:14:37 +0100sm(~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
2023-02-09 13:14:38 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Ping timeout: 246 seconds)
2023-02-09 13:14:38 +0100MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100VOID[m](~void404ma@2001:470:69fc:105::2:c72c) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100bigtestaccount[m(~bigtestac@2001:470:69fc:105::2:fae3) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100geekosaur[m](~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100Deide(~deide@user/deide) (Ping timeout: 246 seconds)
2023-02-09 13:14:39 +0100nomagno(~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 246 seconds)
2023-02-09 13:14:54 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100KabeloMsobomvuMo(~elevenkb@2001:470:69fc:105::2:cb89) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100ericjmorey[m](~ericjmore@2001:470:69fc:105::7afc) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100bgamari[m](~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100Tisoxin(~ikosit@user/ikosit) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 252 seconds)
2023-02-09 13:14:54 +0100fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100psydroid(~psydroid@user/psydroid) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 252 seconds)
2023-02-09 13:14:55 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 252 seconds)
2023-02-09 13:14:59 +0100Matthew|m(~arathorn@2001:470:69fc:105::1f) (Ping timeout: 252 seconds)
2023-02-09 13:14:59 +0100dykai[m](~dykaimatr@2001:470:69fc:105::2:f326) (Ping timeout: 265 seconds)
2023-02-09 13:14:59 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd) (Ping timeout: 265 seconds)
2023-02-09 13:14:59 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100jmcantrell(~jmcantrel@user/jmcantrell) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 265 seconds)
2023-02-09 13:15:00 +0100tiziodcaio(~tiziodcai@2001:470:69fc:105::1:2bf8) (Ping timeout: 265 seconds)
2023-02-09 13:15:03 +0100aaRabbit[m](~rootsandw@2001:470:69fc:105::2:ca2e) (Ping timeout: 260 seconds)
2023-02-09 13:15:04 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 260 seconds)
2023-02-09 13:15:04 +0100eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c) (Ping timeout: 260 seconds)
2023-02-09 13:15:04 +0100mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-02-09 13:15:04 +0100JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Ping timeout: 260 seconds)
2023-02-09 13:15:04 +0100famubu[m](~famubumat@2001:470:69fc:105::1081) (Ping timeout: 260 seconds)
2023-02-09 13:15:09 +0100gqplox[m](~gqploxmat@2001:470:69fc:105::2:d10d) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 256 seconds)
2023-02-09 13:15:09 +0100ormaaj(~ormaaj@user/ormaaj) (Ping timeout: 256 seconds)
2023-02-09 13:15:11 +0100aaronv(~aaronv@user/aaronv) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100Miao[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 264 seconds)
2023-02-09 13:15:12 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 264 seconds)
2023-02-09 13:15:30 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze)
2023-02-09 13:18:24 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 13:18:55 +0100mncheck(~mncheck@193.224.205.254)
2023-02-09 13:19:26 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2023-02-09 13:20:17 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection)
2023-02-09 13:20:48 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 13:21:43 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-02-09 13:21:44 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 13:25:35 +0100hussam(~hussam@user/hussam)
2023-02-09 13:25:42 +0100geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-02-09 13:25:49 +0100mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-02-09 13:26:17 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-02-09 13:26:23 +0100nicm[m](~nicmollel@2001:470:69fc:105::1:feeb)
2023-02-09 13:27:05 +0100trev(~trev@user/trev)
2023-02-09 13:34:43 +0100werneta(~werneta@70.142.214.115) (Ping timeout: 252 seconds)
2023-02-09 13:36:05 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-02-09 13:36:39 +0100FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2023-02-09 13:38:33 +0100thongpv(~thongpv87@14.183.172.252)
2023-02-09 13:38:38 +0100mimi1vx[m](~osukupmat@2001:470:69fc:105::2:418d)
2023-02-09 13:39:38 +0100thongpv(~thongpv87@14.183.172.252) (Remote host closed the connection)
2023-02-09 13:40:01 +0100thongpv(~thongpv87@14.183.172.252)
2023-02-09 13:41:08 +0100thongpv(~thongpv87@14.183.172.252) (Remote host closed the connection)
2023-02-09 13:41:32 +0100thongpv(~thongpv87@14.183.172.252)
2023-02-09 13:42:19 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-02-09 13:43:09 +0100justachedeliriumt
2023-02-09 13:43:35 +0100steve[m](~stevetrou@2001:470:69fc:105::e0b)
2023-02-09 13:43:43 +0100deliriumtjustache
2023-02-09 13:43:58 +0100Oden[m](~iodonemat@2001:470:69fc:105::2:feb5)
2023-02-09 13:44:24 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-02-09 13:44:30 +0100chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-02-09 13:44:46 +0100Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-02-09 13:46:14 +0100cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f)
2023-02-09 13:46:21 +0100romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2023-02-09 13:48:13 +0100christiansen[m](~christian@2001:470:69fc:105::2:f23d)
2023-02-09 13:48:46 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2023-02-09 13:49:05 +0100rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-09 13:50:05 +0100VOID[m](~void404ma@2001:470:69fc:105::2:c72c)
2023-02-09 13:50:19 +0100maralorn(~maralorn@2001:470:69fc:105::251)
2023-02-09 13:50:21 +0100dgpratt[m](~dgprattma@2001:470:69fc:105::1:dcdd)
2023-02-09 13:50:23 +0100dykai[m](~dykaimatr@2001:470:69fc:105::2:f326)
2023-02-09 13:50:43 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2023-02-09 13:51:59 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2023-02-09 13:52:01 +0100JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544)
2023-02-09 13:53:22 +0100ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3)
2023-02-09 13:54:19 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-02-09 13:54:33 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-02-09 13:54:55 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
2023-02-09 13:55:59 +0100aaronv(~aaronv@user/aaronv)
2023-02-09 13:56:57 +0100gqplox[m](~gqploxmat@2001:470:69fc:105::2:d10d)
2023-02-09 13:58:51 +0100elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-02-09 13:58:52 +0100tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e)
2023-02-09 13:59:00 +0100jmcantrell(~jmcantrel@user/jmcantrell)
2023-02-09 13:59:08 +0100VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-02-09 13:59:14 +0100Deide(~deide@user/deide)
2023-02-09 13:59:24 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-02-09 13:59:42 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-02-09 13:59:45 +0100nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-02-09 14:00:25 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2023-02-09 14:00:29 +0100zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-02-09 14:00:44 +0100sm(~sm@plaintextaccounting/sm)
2023-02-09 14:00:59 +0100jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-02-09 14:02:33 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection)
2023-02-09 14:06:23 +0100ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8)
2023-02-09 14:06:58 +0100troydm(~troydm@user/troydm) (Ping timeout: 268 seconds)
2023-02-09 14:09:20 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-02-09 14:09:39 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 14:09:42 +0100irrgit__(~irrgit@176.113.74.130)
2023-02-09 14:11:05 +0100SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2023-02-09 14:11:59 +0100KabeloMsobomvuMo(~elevenkb@2001:470:69fc:105::2:cb89)
2023-02-09 14:12:15 +0100ericjmorey[m](~ericjmore@2001:470:69fc:105::7afc)
2023-02-09 14:12:24 +0100bgamari[m](~bgamari@2001:470:69fc:105::c7b9)
2023-02-09 14:12:51 +0100irrgit_(~irrgit@176.113.74.130) (Ping timeout: 255 seconds)
2023-02-09 14:13:51 +0100mauke(~mauke@user/mauke)
2023-02-09 14:15:07 +0100eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c)
2023-02-09 14:15:24 +0100famubu[m](~famubumat@2001:470:69fc:105::1081)
2023-02-09 14:15:34 +0100JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2023-02-09 14:15:45 +0100disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892)
2023-02-09 14:16:48 +0100Miao[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-02-09 14:18:26 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e)
2023-02-09 14:19:10 +0100Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-02-09 14:19:23 +0100fgaz(~fgaz@2001:470:69fc:105::842)
2023-02-09 14:21:13 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-02-09 14:21:29 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-02-09 14:21:57 +0100psydroid(~psydroid@user/psydroid)
2023-02-09 14:22:24 +0100tiziodcaio(~tiziodcai@2001:470:69fc:105::1:2bf8)
2023-02-09 14:23:41 +0100bigtestaccount[m(~bigtestac@2001:470:69fc:105::2:fae3)
2023-02-09 14:27:42 +0100Tisoxin(~ikosit@user/ikosit)
2023-02-09 14:27:43 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018)
2023-02-09 14:28:56 +0100peddie(~peddie@2001:470:69fc:105::25d)
2023-02-09 14:30:57 +0100MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-02-09 14:31:26 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-02-09 14:31:27 +0100Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-02-09 14:31:38 +0100aaRabbit[m](~rootsandw@2001:470:69fc:105::2:ca2e)
2023-02-09 14:31:55 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-02-09 14:32:21 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2)
2023-02-09 14:33:34 +0100jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-02-09 14:38:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-02-09 14:40:20 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-09 15:01:49 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-09 15:02:14 +0100razetime(~Thunderbi@117.193.4.2)
2023-02-09 15:05:10 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 15:05:53 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-02-09 15:10:32 +0100thongpv87(~thongpv87@2402:9d80:3d8:1c25:cd8c:8988:d8a7:f114)
2023-02-09 15:12:14 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds)
2023-02-09 15:13:07 +0100thongpv(~thongpv87@14.183.172.252) (Ping timeout: 260 seconds)
2023-02-09 15:15:02 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-09 15:16:01 +0100thegeekinside(~thegeekin@189.180.83.186)
2023-02-09 15:17:09 +0100MasseR46(~MasseR@2001:bc8:47a0:1521::1) (Quit: Ping timeout (120 seconds))
2023-02-09 15:17:21 +0100MasseR46(thelounge@2001:bc8:47a0:1521::1)
2023-02-09 15:18:31 +0100cbarrett(sid192934@2a03:5180:f:1::2:f1a6) (Ping timeout: 252 seconds)
2023-02-09 15:18:51 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in)
2023-02-09 15:19:07 +0100p3n(~p3n@217.198.124.246)
2023-02-09 15:19:09 +0100kurbus(~kurbus@user/kurbus)
2023-02-09 15:20:40 +0100Guest43(~Guest@137.97.100.86)
2023-02-09 15:22:47 +0100cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2023-02-09 15:24:20 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-02-09 15:25:39 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 15:26:58 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 15:28:07 +0100califax(~califax@user/califx)
2023-02-09 15:35:18 +0100Guest43(~Guest@137.97.100.86) (Ping timeout: 260 seconds)
2023-02-09 15:35:25 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-09 15:36:07 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 265 seconds)
2023-02-09 15:37:11 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 15:38:47 +0100califax(~califax@user/califx)
2023-02-09 15:40:14 +0100pernzs(~pernzs@101.175.168.100) (Quit: Client closed)
2023-02-09 15:42:12 +0100mc47(~mc47@xmonad/TheMC47) (Quit: Leaving)
2023-02-09 15:42:37 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Changing host)
2023-02-09 15:42:37 +0100maerwald[m](~maerwaldm@user/maerwald)
2023-02-09 15:43:01 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-02-09 15:44:01 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-09 15:44:09 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-09 15:44:21 +0100maerwald[m](~maerwaldm@user/maerwald) ()
2023-02-09 15:44:55 +0100maerwald[m](~maerwaldm@user/maerwald)
2023-02-09 15:45:41 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-02-09 15:47:00 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 15:51:28 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 252 seconds)
2023-02-09 15:51:39 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-02-09 15:53:34 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 15:53:57 +0100MQ-17J(~MQ-17J@104.28.216.166)
2023-02-09 15:54:22 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 15:56:39 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection)
2023-02-09 15:56:58 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 15:57:01 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-02-09 16:05:39 +0100themc47(~mc47@xmonad/TheMC47)
2023-02-09 16:05:44 +0100themc47(~mc47@xmonad/TheMC47) (Client Quit)
2023-02-09 16:06:17 +0100mc47(~mc47@xmonad/TheMC47)
2023-02-09 16:06:30 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds)
2023-02-09 16:07:38 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-02-09 16:21:43 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-02-09 16:23:59 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-02-09 16:26:09 +0100slack1256(~slack1256@186.11.99.232)
2023-02-09 16:26:54 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-09 16:34:33 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-02-09 16:36:36 +0100 <slack1256> LANGUAGE TypeData looks so useful. Now bare DataKinds will look always off.
2023-02-09 16:36:37 +0100ormaaj(~ormaaj@user/ormaaj)
2023-02-09 16:45:02 +0100 <tomsmeding> slack1256: uh, is this a ghc (alpha) bug? https://play-haskell.tomsmeding.com/saved/zedHfEpe (run with the 9.6.0.20230128 compiler)
2023-02-09 16:45:26 +0100 <tomsmeding> literally the first thing that came to mind when reading the ghc docs for TypeData is "ooh does this support gadts"
2023-02-09 16:45:32 +0100 <tomsmeding> answer: oops ghc crashes
2023-02-09 16:45:57 +0100slack1256(~slack1256@186.11.99.232) (Ping timeout: 256 seconds)
2023-02-09 16:46:21 +0100 <c_wraith> technically.. that's the linker that crashed!
2023-02-09 16:46:43 +0100 <tomsmeding> you are technically correct
2023-02-09 16:46:49 +0100 <c_wraith> ... probably because ghc left a symbol out of its output
2023-02-09 16:47:04 +0100 <tomsmeding> it's ghc's fault though, most probably :p
2023-02-09 16:51:14 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:5eae:66b7:1a25:32fa) (Quit: WeeChat 2.8)
2023-02-09 16:51:48 +0100thongpv87(~thongpv87@2402:9d80:3d8:1c25:cd8c:8988:d8a7:f114) (Read error: Connection reset by peer)
2023-02-09 16:52:48 +0100 <c_wraith> in theory, it should work with GADTs, right? A lot of the type in type work was about making GADTs promotable?
2023-02-09 16:56:37 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 16:57:33 +0100 <tomsmeding> ¯\_(ツ)_/¯
2023-02-09 16:58:05 +0100 <tomsmeding> makes me think of safinaskar's encoding of ZF set theory axioms in a gadt
2023-02-09 16:58:23 +0100razetime1(~Thunderbi@117.193.2.54)
2023-02-09 16:58:25 +0100razetime(~Thunderbi@117.193.4.2) (Ping timeout: 256 seconds)
2023-02-09 16:58:25 +0100razetime1razetime
2023-02-09 17:00:29 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2023-02-09 17:03:03 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-02-09 17:03:14 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-02-09 17:03:56 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-09 17:07:05 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 252 seconds)
2023-02-09 17:09:06 +0100califax(~califax@user/califx)
2023-02-09 17:09:32 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2023-02-09 17:14:03 +0100razetime(~Thunderbi@117.193.2.54) (Ping timeout: 252 seconds)
2023-02-09 17:14:19 +0100razetime(~Thunderbi@117.193.2.84)
2023-02-09 17:14:49 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 17:15:47 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-09 17:16:57 +0100califax(~califax@user/califx)
2023-02-09 17:17:32 +0100varoo(~varoo@117.203.246.41)
2023-02-09 17:20:46 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-09 17:23:04 +0100codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 268 seconds)
2023-02-09 17:23:19 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 17:24:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 17:25:20 +0100slack1256(~slack1256@186.11.102.104)
2023-02-09 17:27:39 +0100merijn(~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2023-02-09 17:29:10 +0100 <dminuoso> c_wraith: Mmm, technically the linker just errored and ditn crash.
2023-02-09 17:29:21 +0100 <c_wraith> also true
2023-02-09 17:30:35 +0100kurbus(~kurbus@user/kurbus)
2023-02-09 17:33:36 +0100mikoto-chan(~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960)
2023-02-09 17:34:12 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-09 17:34:15 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-02-09 17:34:18 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-02-09 17:35:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 17:37:19 +0100poljar(~poljar@93-139-120-188.adsl.net.t-com.hr) (Ping timeout: 260 seconds)
2023-02-09 17:40:35 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 246 seconds)
2023-02-09 17:41:41 +0100mikoto-chan(~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) (Ping timeout: 246 seconds)
2023-02-09 17:44:00 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 17:44:22 +0100razetime1(~Thunderbi@117.193.6.71)
2023-02-09 17:44:53 +0100razetime(~Thunderbi@117.193.2.84) (Ping timeout: 256 seconds)
2023-02-09 17:44:53 +0100razetime1razetime
2023-02-09 17:53:45 +0100ubert(~Thunderbi@2a02:8109:abc0:6434:f835:7cff:6e4a:8bfb) (Remote host closed the connection)
2023-02-09 17:55:15 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection)
2023-02-09 17:56:20 +0100razetime1(~Thunderbi@117.193.3.174)
2023-02-09 17:56:52 +0100razetime(~Thunderbi@117.193.6.71) (Ping timeout: 252 seconds)
2023-02-09 17:56:52 +0100razetime1razetime
2023-02-09 17:57:26 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1)
2023-02-09 18:00:46 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2023-02-09 18:03:27 +0100slack1256(~slack1256@186.11.102.104) (Ping timeout: 260 seconds)
2023-02-09 18:05:56 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-09 18:06:57 +0100 <tomsmeding> https://gitlab.haskell.org/ghc/ghc/-/issues/22948
2023-02-09 18:15:35 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 246 seconds)
2023-02-09 18:16:43 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 18:17:45 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2023-02-09 18:19:54 +0100kmein(~weechat@user/kmein)
2023-02-09 18:20:01 +0100razetime(~Thunderbi@117.193.3.174) (Ping timeout: 256 seconds)
2023-02-09 18:21:20 +0100 <Intel8086> rust vs haskell?
2023-02-09 18:21:26 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-09 18:22:08 +0100codaraxis___(~codaraxis@user/codaraxis)
2023-02-09 18:22:30 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 18:22:32 +0100chele(~chele@user/chele) (Quit: Leaving)
2023-02-09 18:23:19 +0100mikoto-chan(~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960)
2023-02-09 18:23:24 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-09 18:26:56 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-09 18:28:16 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 18:29:23 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 18:30:10 +0100kurbus(~kurbus@user/kurbus)
2023-02-09 18:30:49 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-02-09 18:31:17 +0100 <Intel8086> unfortunately leetcode doesn't have haskell :(
2023-02-09 18:33:37 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Ping timeout: 252 seconds)
2023-02-09 18:34:23 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-02-09 18:34:59 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-02-09 18:35:15 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53)
2023-02-09 18:36:29 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-02-09 18:37:48 +0100 <varoo> Intel8086, I guess its more like which language you are comfortable with, cause every language has its pros and cons btw (I prefer rust over haskell but thats cause I am very new to haskell)
2023-02-09 18:41:18 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-09 18:41:36 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-09 18:44:24 +0100werneta(~werneta@137.79.195.231)
2023-02-09 18:48:18 +0100kurbus(~kurbus@user/kurbus)
2023-02-09 18:49:02 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-02-09 18:51:14 +0100 <trev> i'd like to see haskell polish up the ecosystem a little bit, as a long time rust dev. stack is pretty cool and closer to rust's cargo
2023-02-09 18:53:03 +0100 <c_wraith> it'd be cool to have something that manages GHC version without all the opinionatedness of stack
2023-02-09 18:53:21 +0100 <[exa]> "PRs welcome"
2023-02-09 18:53:37 +0100 <c_wraith> eh, I don't even know what tool that'd be in
2023-02-09 18:53:50 +0100 <c_wraith> stack would never approve of having no use for stackage
2023-02-09 18:54:02 +0100 <c_wraith> and it's way out of scope for cabal-install
2023-02-09 18:55:00 +0100 <varoo> time to build cargo but for haskell then xd
2023-02-09 18:55:13 +0100 <chreekat> GHCUp?
2023-02-09 18:55:44 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 18:55:47 +0100 <c_wraith> ghcup does a lot of the parts, but I really don't think maerwald would approve of ballooning the scope like that
2023-02-09 18:55:59 +0100 <geekosaur> this would be more along the lines of integrating ghcup support into cabal to manage ghc versions per package
2023-02-09 18:56:02 +0100 <geekosaur> or project
2023-02-09 18:56:05 +0100 <geekosaur> as I read it
2023-02-09 18:56:06 +0100 <bitmapper> i mean rustup and cargo aren't one thing
2023-02-09 18:56:16 +0100 <c_wraith> yes, to both of you.
2023-02-09 18:56:18 +0100 <trev> ghcup = rustup, stack = cargo (if i'm not mistaken)
2023-02-09 18:56:30 +0100 <DigitalKiwi> is this where i say "nix can do that"
2023-02-09 18:56:34 +0100 <trev> not sure where cabal fix ther
2023-02-09 18:56:42 +0100 <bitmapper> im going to be honest the nix experience is still pretty terrible
2023-02-09 18:56:46 +0100 <c_wraith> stack = cargo + a lot of choices I think are harmful
2023-02-09 18:56:55 +0100 <varoo> in theory yeah stack and cargo do the same thing, trev, but cargo has alot more options
2023-02-09 18:57:06 +0100 <varoo> ah my bad c_wraith said it
2023-02-09 18:57:10 +0100 <geekosaur> right now you can declare a required ghc version but cabal won't help you get that version
2023-02-09 18:57:13 +0100 <trev> which are the harmful ones?
2023-02-09 18:57:28 +0100 <c_wraith> hackage
2023-02-09 18:57:32 +0100 <c_wraith> err. stackage.
2023-02-09 18:57:37 +0100 <c_wraith> I don't want what it does.
2023-02-09 18:57:45 +0100 <bitmapper> i still am stuck using cabal if i use nix and nixpkgs haskellPackages has so much annoyances in regards to the fact that all ghc versions share the same package set layout
2023-02-09 18:57:52 +0100 <c_wraith> I want cabal-install + GHC management.
2023-02-09 18:58:02 +0100 <trev> c_wraith you mean stack has harmful choices?
2023-02-09 18:58:07 +0100 <c_wraith> also, I think hpack is awful
2023-02-09 18:58:36 +0100 <c_wraith> trev: at least *I* consider them harmful. it's contentious
2023-02-09 18:58:40 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection)
2023-02-09 18:58:50 +0100 <sclv> c_wraith i get that from using both ghcup and cabal-install? i don’t see how merging any functionality between em would help
2023-02-09 18:58:55 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 18:59:29 +0100 <c_wraith> sclv: I want to be able to put a GHC version somewhere in the cabal configuration for a project, and have it just work
2023-02-09 18:59:29 +0100 <bitmapper> hpack may be annoying but having some semblance of consistency in the package definition is nice
2023-02-09 18:59:34 +0100 <trev> my only gripe is that it's hard to come to haskell and say "this is the idiomatic way to build a project"
2023-02-09 18:59:45 +0100 <sclv> the idiomatic way is cabal
2023-02-09 18:59:49 +0100 <tomsmeding> c_wraith: https://github.com/vabal/vabal
2023-02-09 19:00:01 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 19:00:04 +0100 <trev> doesn't stack use cabal? lol
2023-02-09 19:00:12 +0100 <sclv> i mean cabal-install
2023-02-09 19:00:14 +0100 <tomsmeding> trev: it uses Cabal the library, not cabal-install the tool
2023-02-09 19:00:17 +0100 <varoo> could try building something close to rust's cargo? maybe?
2023-02-09 19:00:26 +0100 <sclv> what does cargo have that cabal-install does not?
2023-02-09 19:00:37 +0100 <c_wraith> sclv: in particular, having cabal-install depend on the path to pick a version of GHC is not what I want
2023-02-09 19:00:52 +0100 <sclv> it doesn't depend on the path!!!
2023-02-09 19:01:14 +0100 <sclv> or rather, you can always explicitly path it the -w flag to specify what compiler
2023-02-09 19:01:14 +0100 <c_wraith> tomsmeding: hmm, cool. I'll try that out.
2023-02-09 19:01:24 +0100 <sclv> and put it in cabal.project as well
2023-02-09 19:02:39 +0100 <c_wraith> sclv: that's not portable between systems with GHC installed in different places. I want something that cares about versions, not paths
2023-02-09 19:03:56 +0100 <sclv> with ghcup all the ghcs go into the path with version prefixes as well, so you can always just specify ghc-9.4.1 or whatever. of course this uses the path to lookup where all the versions are, so you don't avoid the path _entirely_ but still its pretty straightforward imho
2023-02-09 19:04:57 +0100 <[exa]> trev: btw there's a haskell wiki entry on that with all the tooling, https://wiki.haskell.org/How_to_write_a_Haskell_program
2023-02-09 19:04:59 +0100 <c_wraith> yeah, ghcup + cabal-install gets close. it's just got a couple more steps than I'd like.
2023-02-09 19:05:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 19:06:46 +0100 <c_wraith> when I upgrade a program's GHC version on one computer, it'd be really nice to just pull the changes and build it again on another computer - no separate step to make sure the necessary GHC is also on the new computer. yes, this isn't a lot of steps, but it feels like one more step than necessary
2023-02-09 19:09:00 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-09 19:09:09 +0100 <[exa]> c_wraith: maybe some glue that allows cabal to ask ghcup to add the proper ghc would do it?
2023-02-09 19:09:21 +0100 <[exa]> btw is cabal even aware of ghc binaries versioning?
2023-02-09 19:10:13 +0100 <geekosaur> yes, to the extent that its store is per-ghc-version
2023-02-09 19:10:27 +0100 <geekosaur> and it needs to know how to find a ghc-pkg corresponding to a ghc
2023-02-09 19:10:50 +0100kurbus(~kurbus@user/kurbus)
2023-02-09 19:11:00 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-09 19:11:04 +0100 <[exa]> so technically could you throw it a handful of ghc versions and it would pick one that best suits the project?
2023-02-09 19:11:25 +0100 <trev> another thing that doesn't happen anymore with rust is the compatibility of versions and rust-analyzer. ghc and hls are only compatible on a few versions which is annoying
2023-02-09 19:11:28 +0100 <trev> and formatters too
2023-02-09 19:11:41 +0100sudden(~cat@user/sudden) (Quit: leaving)
2023-02-09 19:11:52 +0100 <geekosaur> that's more or less what you do now if you ghcup a bunch of vrsions and use `ghc-version:` to pick one
2023-02-09 19:12:07 +0100 <geekosaur> but that means it's on me to install those versions using ghcup
2023-02-09 19:12:21 +0100sudden(~cat@user/sudden)
2023-02-09 19:12:26 +0100 <geekosaur> stack does ghc installs itself as required by the resolver
2023-02-09 19:13:41 +0100 <geekosaur> trev, re HLS that requires some work that's ongoing in ghc. the API is not yet fixed enough for multiple version compatibility
2023-02-09 19:14:55 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 248 seconds)
2023-02-09 19:15:23 +0100 <trev> ok, that makes sense. i'm just being that idiot who complains about it. i suppose rust just may have more hands involved in these areas
2023-02-09 19:15:38 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2023-02-09 19:15:43 +0100 <geekosaur> lots of people complain about it, that's why there's ongoing work to improve the situation
2023-02-09 19:15:48 +0100 <geekosaur> I mean, try being an HLS dev
2023-02-09 19:16:01 +0100 <geekosaur> it's a nightmare
2023-02-09 19:16:39 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) (Client Quit)
2023-02-09 19:17:09 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-02-09 19:18:40 +0100Square(~adude___@user/square)
2023-02-09 19:19:00 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 268 seconds)
2023-02-09 19:20:08 +0100 <geekosaur> (actually a lot of it is defining an actual API to begin with. right now there's a crapload of stuff shoveled into a horribly misnamed `DynFlags`, for instance)
2023-02-09 19:20:54 +0100 <c_wraith> oh, yeah. DynFlags was a mess the last time I used the GHC api
2023-02-09 19:21:12 +0100 <c_wraith> it probably has become worse.
2023-02-09 19:21:50 +0100 <geekosaur> actually a lot of the current work is ripping as much stuff as possible out of DynFlags
2023-02-09 19:22:05 +0100 <geekosaur> and putting it in sane places with real APIs
2023-02-09 19:23:30 +0100 <geekosaur> but that means even more churn than usual for users of the API, like HLS
2023-02-09 19:24:44 +0100zeenk(~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!)
2023-02-09 19:27:01 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection)
2023-02-09 19:29:26 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 246 seconds)
2023-02-09 19:30:19 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-02-09 19:30:25 +0100swistak(~swistak@185.21.216.141)
2023-02-09 19:35:00 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 19:36:29 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-09 19:36:58 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-09 19:38:35 +0100MajorBiscuit(~MajorBisc@c-001-003-046.client.tudelft.eduvpn.nl) (Ping timeout: 264 seconds)
2023-02-09 19:40:04 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a)
2023-02-09 19:44:32 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-09 19:45:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 19:45:31 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 248 seconds)
2023-02-09 19:47:27 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 265 seconds)
2023-02-09 19:48:41 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 246 seconds)
2023-02-09 19:48:47 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-02-09 19:51:58 +0100kraftwerk28_kraftwerk28
2023-02-09 19:52:00 +0100mikoto-chan(~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) (Ping timeout: 252 seconds)
2023-02-09 19:52:10 +0100gawen(~gawen@user/gawen) (Quit: cya)
2023-02-09 19:53:47 +0100mikoto-chan(~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960)
2023-02-09 19:54:33 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 19:58:29 +0100gawen(~gawen@user/gawen)
2023-02-09 19:59:12 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-09 19:59:26 +0100segfaultfizzbuzz(~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz)
2023-02-09 20:03:06 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-02-09 20:11:02 +0100ft(~ft@p508dbcc4.dip0.t-ipconnect.de)
2023-02-09 20:13:55 +0100opticblast(~Thunderbi@172.58.84.5)
2023-02-09 20:15:54 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-09 20:16:11 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2023-02-09 20:16:20 +0100o-90(~o-90@gateway/tor-sasl/o-90)
2023-02-09 20:17:02 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1)
2023-02-09 20:17:28 +0100o-90(~o-90@gateway/tor-sasl/o-90) (Client Quit)
2023-02-09 20:17:29 +0100cfricke(~cfricke@user/cfricke)
2023-02-09 20:20:02 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-02-09 20:20:07 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2023-02-09 20:21:14 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-09 20:21:52 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2023-02-09 20:22:39 +0100ddellaco1(~ddellacos@143.244.47.81) (Ping timeout: 248 seconds)
2023-02-09 20:24:32 +0100mikoto-chan(~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) (Quit: WeeChat 3.6)
2023-02-09 20:27:31 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 20:31:08 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-09 20:32:01 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Ping timeout: 252 seconds)
2023-02-09 20:36:52 +0100ph88(~ph88@2a02:8109:9e00:71d0:aac7:55be:2ae9:9deb)
2023-02-09 20:37:57 +0100 <ph88> is IHP framework having good traction ? or is it still rather upcoming ?
2023-02-09 20:41:11 +0100king_gs(~Thunderbi@187.201.41.239) (Ping timeout: 260 seconds)
2023-02-09 20:45:56 +0100 <tomsmeding> [exa]: "glue that allows cabal to ask ghcup to add the proper ghc" -- isn't that https://github.com/vabal/vabal
2023-02-09 20:47:49 +0100 <[exa]> ah well
2023-02-09 20:47:50 +0100 <[exa]> yeah
2023-02-09 20:47:52 +0100 <[exa]> good.
2023-02-09 20:49:38 +0100irrgit_(~irrgit@176.113.74.130)
2023-02-09 20:50:50 +0100 <tomsmeding> (not that I've actually used that -- I prefer the manual ghcup + cabal combo)
2023-02-09 20:52:59 +0100irrgit__(~irrgit@176.113.74.130) (Ping timeout: 264 seconds)
2023-02-09 20:57:19 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 20:57:34 +0100 <[exa]> yeah like, me too, except I might not have hit the wall where I need to have a few ghc versions around and switch them
2023-02-09 20:58:52 +0100 <geekosaur> I mostly find -w good enough for that, but I don't actually ask much of cabal
2023-02-09 21:01:22 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-02-09 21:02:52 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-02-09 21:04:10 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-09 21:04:13 +0100mmhat(~mmh@p200300f1c7090114ee086bfffe095315.dip0.t-ipconnect.de)
2023-02-09 21:04:54 +0100tomsmedinguses with-compiler in cabal.project and lives a good life
2023-02-09 21:05:44 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 246 seconds)
2023-02-09 21:10:38 +0100econo(uid147250@user/econo)
2023-02-09 21:11:53 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-09 21:16:32 +0100zer0bitz(~zer0bitz@2001:2003:f443:d600:212e:6e03:974d:ef39) (Read error: Connection reset by peer)
2023-02-09 21:17:14 +0100varoo(~varoo@117.203.246.41) (Ping timeout: 246 seconds)
2023-02-09 21:17:27 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 21:18:49 +0100califax(~califax@user/califx)
2023-02-09 21:25:15 +0100zer0bitz(~zer0bitz@2001:2003:f443:d600:9572:8ab3:f7ab:9ef6)
2023-02-09 21:25:55 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-02-09 21:27:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection)
2023-02-09 21:29:16 +0100pavonia(~user@user/siracusa)
2023-02-09 21:31:29 +0100king_gs(~Thunderbi@187.201.41.239) (Read error: Connection reset by peer)
2023-02-09 21:31:41 +0100king_gs1(~Thunderbi@2806:103e:29:1779:a0ce:7b1f:f343:4ce)
2023-02-09 21:33:58 +0100king_gs1king_gs
2023-02-09 21:35:29 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-02-09 21:36:25 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-02-09 21:45:25 +0100ph88(~ph88@2a02:8109:9e00:71d0:aac7:55be:2ae9:9deb) (Remote host closed the connection)
2023-02-09 21:49:23 +0100CiaoSen(~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-02-09 21:52:26 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-09 21:54:29 +0100notzmv(~zmv@user/notzmv)
2023-02-09 22:02:36 +0100asscrackbandit(~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net)
2023-02-09 22:04:43 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
2023-02-09 22:08:19 +0100mmhat(~mmh@p200300f1c7090114ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
2023-02-09 22:13:41 +0100slack1256(~slack1256@186.11.101.232)
2023-02-09 22:13:43 +0100 <jean-paul[m]> Where is the Data.Serialize.Serialize instance for Crypto.Cipher.AES.AES128 hidden?
2023-02-09 22:17:03 +0100Intel8086(~Intel8086@user/Intel8086) (Quit: Quit)
2023-02-09 22:17:11 +0100akegalj(~akegalj@37-128.dsl.iskon.hr) (Quit: leaving)
2023-02-09 22:17:39 +0100king_gs(~Thunderbi@2806:103e:29:1779:a0ce:7b1f:f343:4ce) (Ping timeout: 252 seconds)
2023-02-09 22:21:26 +0100 <jean-paul[m]> Oh it's just a newtype of a newtype of a byte array, I guess maybe that means you don't need one
2023-02-09 22:21:40 +0100freeside(~mengwong@103.252.202.170)
2023-02-09 22:22:37 +0100ddellaco1(~ddellacos@146.70.165.139)
2023-02-09 22:27:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea)
2023-02-09 22:28:19 +0100ddellaco1ddellacosta
2023-02-09 22:32:15 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Ping timeout: 248 seconds)
2023-02-09 22:32:45 +0100slack1256(~slack1256@186.11.101.232) (Ping timeout: 265 seconds)
2023-02-09 22:33:34 +0100lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.8)
2023-02-09 22:34:04 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-09 22:36:37 +0100 <jean-paul[m]> oooops Crypto.Cipher.Types.BlockCipher is not Crypto.Classes.BlockCipher :/
2023-02-09 22:39:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 22:41:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-09 22:47:20 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-02-09 22:53:06 +0100king_gs(~Thunderbi@187.201.41.239) (Read error: Connection reset by peer)
2023-02-09 22:53:07 +0100king_gs1(~Thunderbi@2806:103e:29:1779:fe89:b45a:2ae8:5941)
2023-02-09 22:54:22 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-02-09 22:55:25 +0100king_gs1king_gs
2023-02-09 23:01:04 +0100cassaundra(~cassaundr@user/cassaundra) (Quit: leaving)
2023-02-09 23:01:18 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net)
2023-02-09 23:01:39 +0100cassaundra(~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Changing host)
2023-02-09 23:01:39 +0100cassaundra(~cassaundr@user/cassaundra)
2023-02-09 23:02:24 +0100dcoutts_(~duncan@host81-156-211-203.range81-156.btcentralplus.com)
2023-02-09 23:04:22 +0100dcoutts(~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 252 seconds)
2023-02-09 23:08:35 +0100chomwitt(~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-02-09 23:10:25 +0100asscrackbandit(~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 252 seconds)
2023-02-09 23:12:06 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-02-09 23:16:45 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-02-09 23:17:33 +0100califax(~califax@user/califx)
2023-02-09 23:29:54 +0100Guest48(~Guest48@rrcs-24-43-123-92.west.biz.rr.com)
2023-02-09 23:31:14 +0100Guest48(~Guest48@rrcs-24-43-123-92.west.biz.rr.com) (Client Quit)
2023-02-09 23:41:54 +0100dcoutts(~duncan@host81-156-211-203.range81-156.btcentralplus.com)
2023-02-09 23:43:48 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-09 23:43:59 +0100dcoutts_(~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 264 seconds)
2023-02-09 23:47:13 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-02-09 23:50:03 +0100paulpaul1076(~textual@95-29-5-53.broadband.corbina.ru)
2023-02-09 23:52:04 +0100dcoutts_(~duncan@host81-156-211-203.range81-156.btcentralplus.com)
2023-02-09 23:53:36 +0100Lycurgus(~juan@user/Lycurgus)
2023-02-09 23:54:47 +0100dcoutts(~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 264 seconds)
2023-02-09 23:55:14 +0100dcoutts(~duncan@host81-156-211-203.range81-156.btcentralplus.com)
2023-02-09 23:57:40 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-02-09 23:57:47 +0100dcoutts_(~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 264 seconds)