| 2023-02-09 00:01:14 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-09 00:01:23 +0100 | Intel8086 | (~Intel8086@user/Intel8086) |
| 2023-02-09 00:01:43 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-09 00:01:53 +0100 | patrl | (~patrl@user/patrl) |
| 2023-02-09 00:04:11 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2023-02-09 00:04:26 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-09 00:04:31 +0100 | patrl | (~patrl@user/patrl) (Client Quit) |
| 2023-02-09 00:05:32 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 00:05:45 +0100 | Ranhir | (~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 +0100 | Ranhir | (~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 +0100 | eggplantade | (~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 +0100 | dudek | (~dudek@185.150.236.131) |
| 2023-02-09 00:25:39 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-09 00:32:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-02-09 00:34:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-09 00:37:28 +0100 | akegalj | (~akegalj@37-128.dsl.iskon.hr) (Quit: leaving) |
| 2023-02-09 00:38:48 +0100 | dudek | (~dudek@185.150.236.131) (Quit: Leaving) |
| 2023-02-09 00:42:55 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds) |
| 2023-02-09 00:44:38 +0100 | crns | (~netcrns@user/crns) (Ping timeout: 255 seconds) |
| 2023-02-09 00:50:21 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-09 00:50:54 +0100 | accord | (uid568320@2a03:5180:f:4::8:ac00) |
| 2023-02-09 00:54:35 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b) |
| 2023-02-09 00:55:10 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-02-09 01:02:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-02-09 01:08:44 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-09 01:09:51 +0100 | freeside | (~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 +0100 | Ji50 | (~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 +0100 | chexum_ | (~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 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b) (Ping timeout: 252 seconds) |
| 2023-02-09 01:16:40 +0100 | chexum | (~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 +0100 | bitdex | (~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 +0100 | azimut | (~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 +0100 | xff0x | (~xff0x@2405:6580:b080:900:876a:aa31:e2c4:b726) (Ping timeout: 260 seconds) |
| 2023-02-09 01:32:44 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-02-09 01:36:14 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-09 01:36:15 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:1779:7319:8c16:bb5a:e71f) |
| 2023-02-09 01:38:32 +0100 | king_gs1 | king_gs |
| 2023-02-09 01:39:13 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 01:42:04 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2023-02-09 01:43:55 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-09 01:43:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:876a:aa31:e2c4:b726) |
| 2023-02-09 01:44:53 +0100 | beteigeuze1 | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-09 01:45:31 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2023-02-09 01:45:31 +0100 | beteigeuze1 | beteigeuze |
| 2023-02-09 01:47:28 +0100 | rettahcay | (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) |
| 2023-02-09 01:55:33 +0100 | cassaund1a | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 01:55:58 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:7319:8c16:bb5a:e71f) (Remote host closed the connection) |
| 2023-02-09 01:56:17 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0) |
| 2023-02-09 01:57:58 +0100 | cassaund1a | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit) |
| 2023-02-09 01:58:16 +0100 | cassaund1a | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 01:58:34 +0100 | stef204 | (~stef204@user/stef204) |
| 2023-02-09 01:59:05 +0100 | cassaund1a | cassaundra |
| 2023-02-09 01:59:40 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 01:59:48 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit) |
| 2023-02-09 02:00:23 +0100 | Ji50 | (~Ji@ip-109-43-51-164.web.vodafone.de) (Ping timeout: 260 seconds) |
| 2023-02-09 02:00:47 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-02-09 02:01:36 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 02:03:52 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-09 02:03:52 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-09 02:03:52 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-09 02:04:24 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2023-02-09 02:04:37 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-09 02:04:37 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-09 02:04:37 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-09 02:04:39 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit) |
| 2023-02-09 02:04:55 +0100 | cassaundra | (~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 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit) |
| 2023-02-09 02:05:55 +0100 | werneta | (~werneta@137.79.219.74) (Remote host closed the connection) |
| 2023-02-09 02:06:51 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-09 02:07:20 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 02:07:22 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit) |
| 2023-02-09 02:09:02 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 02:09:02 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Client Quit) |
| 2023-02-09 02:10:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-09 02:10:48 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 02:11:59 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b) |
| 2023-02-09 02:12:33 +0100 | emmanuelux | (~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 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-09 02:14:05 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Changing host) |
| 2023-02-09 02:14:05 +0100 | cassaundra | (~cassaundr@user/cassaundra) |
| 2023-02-09 02:15:10 +0100 | ddellaco1 | (~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 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-09 02:16:59 +0100 | ddellacosta | (~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 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-02-09 02:21:02 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-09 02:39:41 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:7c10:9e2f:b315:833b) (Read error: Connection reset by peer) |
| 2023-02-09 02:39:55 +0100 | dcoutts_ | (~duncan@host86-175-140-40.range86-175.btcentralplus.com) |
| 2023-02-09 02:42:40 +0100 | razetime | (~Thunderbi@117.193.4.2) |
| 2023-02-09 02:42:44 +0100 | dcoutts | (~duncan@host86-155-218-146.range86-155.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2023-02-09 02:56:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 02:57:50 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 03:01:24 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-09 03:05:59 +0100 | santiagopim | (~user@90.167.66.131) (Ping timeout: 265 seconds) |
| 2023-02-09 03:06:15 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-02-09 03:07:07 +0100 | beteigeuze | (~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 +0100 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-02-09 03:23:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-02-09 03:23:47 +0100 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-02-09 03:23:49 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 2023-02-09 03:23:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-09 03:23:56 +0100 | emergence | (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) (Remote host closed the connection) |
| 2023-02-09 03:25:18 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 255 seconds) |
| 2023-02-09 03:25:43 +0100 | emergence | (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-02-09 03:26:20 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2023-02-09 03:27:01 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-09 03:27:48 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0) (Remote host closed the connection) |
| 2023-02-09 03:28:07 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0) |
| 2023-02-09 03:28:19 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 03:36:30 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 2023-02-09 03:38:42 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-02-09 03:42:55 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-09 03:44:17 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-09 03:48:47 +0100 | Inst__ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 2023-02-09 03:50:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-09 03:51:50 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 255 seconds) |
| 2023-02-09 03:51:56 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-09 03:51:59 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-02-09 03:58:09 +0100 | bilegeek | (~bilegeek@2600:1008:b041:5469:c21d:2c48:77fb:f9d5) |
| 2023-02-09 03:58:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9525:b972:bf3b:9db0) (Remote host closed the connection) |
| 2023-02-09 03:59:44 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:6c83:f31c:305f:50d0) (Ping timeout: 248 seconds) |
| 2023-02-09 04:03:02 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-09 04:04:42 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-09 04:05:52 +0100 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-02-09 04:07:38 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-02-09 04:08:16 +0100 | kraftwerk28_ | (~kraftwerk@178.62.210.83) |
| 2023-02-09 04:08:48 +0100 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) |
| 2023-02-09 04:09:08 +0100 | freeside_ | (~mengwong@103.252.202.170) |
| 2023-02-09 04:09:15 +0100 | terrorjack2 | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-02-09 04:10:42 +0100 | shachaf_ | (~shachaf@li227-219.members.linode.com) |
| 2023-02-09 04:11:07 +0100 | jao- | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-09 04:15:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-09 04:15:49 +0100 | freeside | (~mengwong@103.252.202.170) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | kraftwerk28 | (~kraftwerk@178.62.210.83) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | razetime | (~Thunderbi@117.193.4.2) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | cassaundra | (~cassaundr@user/cassaundra) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | opticblast | (~Thunderbi@172.58.82.191) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | johnjaye | (~pi@173.209.64.74) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | Intel8086 | (~Intel8086@user/Intel8086) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | econo | (uid147250@user/econo) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:e45d:27d5:311f:767e) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | gentauro | (~gentauro@user/gentauro) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | johnw | (~johnw@2600:1700:cf00:db0:49b4:fe12:640e:f573) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:f835:7cff:6e4a:8bfb) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | AlexZenon | (~alzenon@178.34.160.79) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | jinsun | (~jinsun@user/jinsun) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | xstill_ | (xstill@fimu/xstill) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
| 2023-02-09 04:15:49 +0100 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2023-02-09 04:15:51 +0100 | terrorjack2 | terrorjack |
| 2023-02-09 04:17:03 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-02-09 04:20:41 +0100 | accord | (uid568320@2a03:5180:f:4::8:ac00) (Quit: Connection closed for inactivity) |
| 2023-02-09 04:22:32 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-02-09 04:23:39 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:1779:32e2:d712:8f01:fdae) |
| 2023-02-09 04:24:45 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-09 04:25:42 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-09 04:25:43 +0100 | king_gs1 | king_gs |
| 2023-02-09 04:27:11 +0100 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-02-09 04:27:11 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-09 04:27:11 +0100 | razetime | (~Thunderbi@117.193.4.2) |
| 2023-02-09 04:27:11 +0100 | cassaundra | (~cassaundr@user/cassaundra) |
| 2023-02-09 04:27:11 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-09 04:27:11 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-02-09 04:27:11 +0100 | Intel8086 | (~Intel8086@user/Intel8086) |
| 2023-02-09 04:27:11 +0100 | opticblast | (~Thunderbi@172.58.82.191) |
| 2023-02-09 04:27:11 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2023-02-09 04:27:11 +0100 | biberu | (~biberu@user/biberu) |
| 2023-02-09 04:27:11 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-09 04:27:11 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) |
| 2023-02-09 04:27:11 +0100 | econo | (uid147250@user/econo) |
| 2023-02-09 04:27:11 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-09 04:27:11 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-09 04:27:11 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-09 04:27:11 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:e45d:27d5:311f:767e) |
| 2023-02-09 04:27:11 +0100 | johnw | (~johnw@2600:1700:cf00:db0:49b4:fe12:640e:f573) |
| 2023-02-09 04:27:11 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:f835:7cff:6e4a:8bfb) |
| 2023-02-09 04:27:11 +0100 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-02-09 04:27:11 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2023-02-09 04:27:11 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-02-09 04:27:11 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-02-09 04:27:11 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-09 04:27:11 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-02-09 04:27:11 +0100 | xstill_ | (xstill@fimu/xstill) |
| 2023-02-09 04:27:11 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-02-09 04:28:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded) |
| 2023-02-09 04:28:02 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Max SendQ exceeded) |
| 2023-02-09 04:28:21 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-09 04:30:22 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-02-09 04:31:25 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-09 04:32:00 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-09 04:33:53 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-09 04:33:53 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-09 04:33:53 +0100 | finn_elija | FinnElija |
| 2023-02-09 04:36:43 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-02-09 04:36:43 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-02-09 04:37:08 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-09 04:37:08 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-09 04:38:27 +0100 | asscrackbandit | (~user@46.193.2.167) |
| 2023-02-09 04:39:52 +0100 | shachaf_ | (~shachaf@li227-219.members.linode.com) (Changing host) |
| 2023-02-09 04:39:52 +0100 | shachaf_ | (~shachaf@user/shachaf) |
| 2023-02-09 04:39:55 +0100 | shachaf_ | shachaf |
| 2023-02-09 04:42:10 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-02-09 04:43:35 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-02-09 04:45:28 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2023-02-09 04:46:29 +0100 | caubert | (~caubert@user/caubert) |
| 2023-02-09 04:49:57 +0100 | nattiestnate | (~nate@202.138.250.13) (Quit: WeeChat 3.8) |
| 2023-02-09 04:50:50 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-09 04:55:30 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-02-09 04:56:17 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:49b4:fe12:640e:f573) (Quit: ZNC - http://znc.in) |
| 2023-02-09 04:56:17 +0100 | johnw | (~johnw@2600:1700:cf00:db0:49b4:fe12:640e:f573) (Quit: ZNC - http://znc.in) |
| 2023-02-09 04:58:05 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-02-09 05:00:01 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-02-09 05:00:31 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 05:00:59 +0100 | td_ | (~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 +0100 | td_ | (~td@i5387090F.versanet.de) |
| 2023-02-09 05:04:50 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-02-09 05:09:00 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-09 05:14:03 +0100 | razetime | (~Thunderbi@117.193.4.2) (Ping timeout: 248 seconds) |
| 2023-02-09 05:14:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) |
| 2023-02-09 05:15:34 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2023-02-09 05:19:25 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 05:24:53 +0100 | rettahcay | (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) () |
| 2023-02-09 05:25:04 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:32e2:d712:8f01:fdae) (Ping timeout: 248 seconds) |
| 2023-02-09 05:34:36 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-02-09 05:34:36 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-02-09 05:45:20 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-09 05:46:04 +0100 | razetime | (~Thunderbi@117.193.4.2) |
| 2023-02-09 05:46:07 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-09 05:56:28 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-02-09 05:56:29 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 2023-02-09 05:56:40 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-02-09 06:03:20 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-09 06:16:15 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-09 06:24:53 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-02-09 06:26:43 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 2023-02-09 06:30:38 +0100 | freeside_ | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-02-09 06:33:56 +0100 | slack1256 | (~slack1256@186.11.102.104) (Remote host closed the connection) |
| 2023-02-09 06:39:24 +0100 | bilegeek | (~bilegeek@2600:1008:b041:5469:c21d:2c48:77fb:f9d5) (Quit: Leaving) |
| 2023-02-09 06:57:07 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.8) |
| 2023-02-09 06:59:07 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 07:03:23 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 2023-02-09 07:07:52 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-09 07:08:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-02-09 07:08:32 +0100 | jrm | (~jrm@user/jrm) (Ping timeout: 248 seconds) |
| 2023-02-09 07:09:29 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-02-09 07:10:10 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-09 07:11:26 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-09 07:12:11 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-02-09 07:12:44 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-09 07:12:53 +0100 | kenran | (~user@user/kenran) |
| 2023-02-09 07:12:55 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-09 07:13:01 +0100 | analoq | (~yashi@user/dies) (Ping timeout: 252 seconds) |
| 2023-02-09 07:13:52 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-02-09 07:14:46 +0100 | analoq | (~yashi@user/dies) |
| 2023-02-09 07:15:57 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-09 07:17:29 +0100 | jao- | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-02-09 07:22:15 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-09 07:22:22 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2023-02-09 07:23:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-09 07:23:40 +0100 | echoreply | (~echoreply@45.32.163.16) |
| 2023-02-09 07:24:19 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2023-02-09 07:24:56 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-09 07:25:14 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-09 07:27:13 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-02-09 07:27:16 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-02-09 07:27:22 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-02-09 07:29:17 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-02-09 07:30:11 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-09 07:34:15 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-02-09 07:34:56 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-09 07:35:34 +0100 | jrm | (~jrm@user/jrm) |
| 2023-02-09 07:39:41 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-09 07:39:51 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-09 07:40:40 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-09 07:45:02 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-09 07:46:20 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-09 07:56:11 +0100 | opticblast | (~Thunderbi@172.58.82.191) (Ping timeout: 248 seconds) |
| 2023-02-09 07:59:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-02-09 08:00:02 +0100 | werneta | (~werneta@70.142.214.115) |
| 2023-02-09 08:04:09 +0100 | gpncarl | (~gpncarl@210.12.195.6) |
| 2023-02-09 08:06:42 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-02-09 08:13:28 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-09 08:17:47 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Ping timeout: 260 seconds) |
| 2023-02-09 08:17:55 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 2023-02-09 08:22:52 +0100 | michalz | (~michalz@185.246.204.121) |
| 2023-02-09 08:26:07 +0100 | Greg | (~Greg@50.46.251.76) |
| 2023-02-09 08:26:30 +0100 | Greg | Guest8855 |
| 2023-02-09 08:26:41 +0100 | Guest8855 | (~Greg@50.46.251.76) (Client Quit) |
| 2023-02-09 08:27:23 +0100 | Guest5170 | (~Guest51@50.46.251.76) |
| 2023-02-09 08:30:35 +0100 | razetime | (~Thunderbi@117.193.4.2) (Quit: See You Space Cowboy) |
| 2023-02-09 08:33:31 +0100 | theproffesor | (~theproffe@2601:282:8880:20::711) |
| 2023-02-09 08:33:31 +0100 | theproffesor | (~theproffe@2601:282:8880:20::711) (Changing host) |
| 2023-02-09 08:33:31 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-02-09 08:36:15 +0100 | phma | (~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-09 08:36:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection) |
| 2023-02-09 08:37:00 +0100 | phma | (phma@2001:5b0:211f:c3f8:ab8f:b033:3867:47bf) |
| 2023-02-09 08:41:26 +0100 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-02-09 08:42:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-02-09 08:44:26 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2023-02-09 08:45:54 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5eae:66b7:1a25:32fa) |
| 2023-02-09 08:46:25 +0100 | phma_ | (~phma@host-67-44-209-9.hnremote.net) |
| 2023-02-09 08:46:40 +0100 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-02-09 08:48:48 +0100 | phma | (phma@2001:5b0:211f:c3f8:ab8f:b033:3867:47bf) (Ping timeout: 248 seconds) |
| 2023-02-09 08:51:39 +0100 | asscrackbandit | (~user@46.193.2.167) (Ping timeout: 252 seconds) |
| 2023-02-09 08:53:09 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2023-02-09 08:59:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-09 09:10:00 +0100 | troydm | (~troydm@user/troydm) |
| 2023-02-09 09:10:21 +0100 | Guest5170 | (~Guest51@50.46.251.76) (Quit: Client closed) |
| 2023-02-09 09:12:02 +0100 | akegalj | (~akegalj@37-128.dsl.iskon.hr) |
| 2023-02-09 09:12:43 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-09 09:13:20 +0100 | thegeekinside | (~thegeekin@189.180.83.186) (Ping timeout: 248 seconds) |
| 2023-02-09 09:13:41 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-02-09 09:14:22 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-09 09:16:04 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-02-09 09:26:45 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-02-09 09:26:49 +0100 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: Client limit exceeded: 20000) |
| 2023-02-09 09:28:38 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-02-09 09:33:32 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-02-09 09:33:58 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2023-02-09 09:35:32 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) |
| 2023-02-09 09:37:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) |
| 2023-02-09 09:40:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-02-09 09:41:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Ping timeout: 246 seconds) |
| 2023-02-09 09:42:40 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-09 09:43:53 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-02-09 09:44:29 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-02-09 09:45:00 +0100 | ggranberry | (uid267884@id-267884.uxbridge.irccloud.com) |
| 2023-02-09 09:49:04 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 252 seconds) |
| 2023-02-09 09:50:45 +0100 | MajorBiscuit | (~MajorBisc@c-001-003-046.client.tudelft.eduvpn.nl) |
| 2023-02-09 09:51:34 +0100 | dcoutts | (~duncan@host86-149-51-38.range86-149.btcentralplus.com) |
| 2023-02-09 09:52:32 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-09 09:52:38 +0100 | mmhat | (~mmh@p200300f1c7090162ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-02-09 09:52:51 +0100 | mmhat | (~mmh@p200300f1c7090162ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-02-09 09:53:31 +0100 | dcoutts_ | (~duncan@host86-175-140-40.range86-175.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2023-02-09 09:56:20 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-02-09 09:57:06 +0100 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Client limit exceeded: 20000) |
| 2023-02-09 09:58:26 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-09 10:00:09 +0100 | Dominik[m]12 | (~dschrempf@2001:470:69fc:105::2:bbb6) (Quit: You have been kicked for being idle) |
| 2023-02-09 10:00:10 +0100 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) (Quit: You have been kicked for being idle) |
| 2023-02-09 10:03:57 +0100 | phma | (phma@2001:5b0:211b:c068:2b96:30a1:aa3d:6ccd) |
| 2023-02-09 10:04:42 +0100 | chele | (~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 +0100 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2023-02-09 10:06:14 +0100 | phma_ | (~phma@host-67-44-209-9.hnremote.net) (Ping timeout: 255 seconds) |
| 2023-02-09 10:06:20 +0100 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2023-02-09 10:06:35 +0100 | vpan | (~0@212.117.1.172) |
| 2023-02-09 10:12:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-02-09 10:15:55 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-09 10:16:38 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-09 10:19:11 +0100 | poljar | (~poljar@93-139-120-188.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2023-02-09 10:19:35 +0100 | poljar | (~poljar@93-139-120-188.adsl.net.t-com.hr) |
| 2023-02-09 10:23:35 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-09 10:23:43 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-02-09 10:27:29 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 2023-02-09 10:28:52 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 10:30:14 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 10:32:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-09 10:38:04 +0100 | ph88 | (~ph88@tmo-087-16.customers.d1-online.com) |
| 2023-02-09 10:38:18 +0100 | varoo | (~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 +0100 | FinnElija | (~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 +0100 | FinnElija | (~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 +0100 | theproffesor | (~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 +0100 | zer0bitz | (~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 +0100 | varoo_ | (~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 +0100 | ph88^ | (~ph88@2a02:8109:9e00:71d0:b55c:c8e3:6090:f90e) |
| 2023-02-09 11:17:38 +0100 | varoo | (~varoo@117.203.246.41) (Read error: Connection reset by peer) |
| 2023-02-09 11:17:39 +0100 | Ji50 | (~Ji50@ip-109-43-51-164.web.vodafone.de) |
| 2023-02-09 11:18:36 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-09 11:18:47 +0100 | azimut_ | (~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 +0100 | rnat | (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 +0100 | ph88 | (~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 +0100 | varoo_ | (~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 +0100 | califax | (~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 +0100 | califax | (~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 +0100 | tromp | (~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 +0100 | ph88^ | (~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 +0100 | beteigeuze | (~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 +0100 | dcoutts | (~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 +0100 | dcoutts | (~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 +0100 | tromp | (~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 +0100 | pernzs | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-09 11:52:22 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-09 11:55:44 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-09 11:55:47 +0100 | cheater_ | 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 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-09 12:01:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-09 12:02:03 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-02-09 12:03:50 +0100 | tromp | (~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 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-02-09 12:12:51 +0100 | andrewboltachev | (~andrey@178.141.147.162) (Read error: No route to host) |
| 2023-02-09 12:16:59 +0100 | varoo | (~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 +0100 | pernzs | (~pernzs@101.175.168.100) (Ping timeout: 260 seconds) |
| 2023-02-09 12:25:46 +0100 | pernzs | (~pernzs@101.175.168.100) |
| 2023-02-09 12:28:48 +0100 | masterbuilder | (~master@user/masterbuilder) (Quit: leaving) |
| 2023-02-09 12:33:25 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-09 12:34:15 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-09 12:34:26 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-02-09 12:36:55 +0100 | JonathanWatson[m | (~jjwmatrix@2001:470:69fc:105::2:a544) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:56 +0100 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:56 +0100 | ormaaj | (~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:57 +0100 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:57 +0100 | jmcantrell | (~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:57 +0100 | psydroid | (~psydroid@user/psydroid) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:57 +0100 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:58 +0100 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:58 +0100 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:58 +0100 | aaRabbit[m] | (~rootsandw@2001:470:69fc:105::2:ca2e) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:59 +0100 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:59 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:59 +0100 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:59 +0100 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:59 +0100 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:36:59 +0100 | Deide | (~deide@user/deide) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:00 +0100 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:00 +0100 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:00 +0100 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:01 +0100 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | elevenkb[m] | (~elevenkb@2001:470:69fc:105::2:cb89) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | mauke | (~mauke@user/mauke) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:02 +0100 | disco-dave[m] | (~disco-dav@2001:470:69fc:105::2:1892) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:03 +0100 | ericjmorey[m] | (~ericjmore@2001:470:69fc:105::7afc) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:03 +0100 | cstm[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:03 +0100 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | bigtestaccount[m | (~bigtestac@2001:470:69fc:105::2:fae3) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | sm | (~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | Oden[m] | (~iodonemat@2001:470:69fc:105::2:feb5) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | hussam | (~hussam@user/hussam) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | dykai[m] | (~dykaimatr@2001:470:69fc:105::2:f326) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:04 +0100 | mimi1vx[m] | (~osukupmat@2001:470:69fc:105::2:418d) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | gqplox[m] | (~gqploxmat@2001:470:69fc:105::2:d10d) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | Miao[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | eldritchcookie[4 | (~eldritchc@2001:470:69fc:105::2:d53c) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | Tisoxin | (~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:05 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:06 +0100 | tiziodcaio | (~tiziodcai@2001:470:69fc:105::1:2bf8) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:06 +0100 | Guest809 | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:06 +0100 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:07 +0100 | steve[m]1 | (~stevetrou@2001:470:69fc:105::e0b) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:07 +0100 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:07 +0100 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:08 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:10 +0100 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Quit: Bridge terminating on SIGTERM) |
| 2023-02-09 12:37:10 +0100 | aaronv | (~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 +0100 | pavonia | (~user@user/siracusa) |
| 2023-02-09 12:39:56 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-09 12:42:10 +0100 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-02-09 12:42:33 +0100 | varoo | (~varoo@117.203.246.41) (Remote host closed the connection) |
| 2023-02-09 12:44:44 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-09 12:50:35 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 264 seconds) |
| 2023-02-09 13:01:52 +0100 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2023-02-09 13:01:52 +0100 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2023-02-09 13:01:52 +0100 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
| 2023-02-09 13:01:52 +0100 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) |
| 2023-02-09 13:01:52 +0100 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2023-02-09 13:01:52 +0100 | Deide | (~deide@user/deide) |
| 2023-02-09 13:01:52 +0100 | sm | (~sm@plaintextaccounting/sm) |
| 2023-02-09 13:01:52 +0100 | tiziodcaio | (~tiziodcai@2001:470:69fc:105::1:2bf8) |
| 2023-02-09 13:01:52 +0100 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2023-02-09 13:01:52 +0100 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2023-02-09 13:01:53 +0100 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2023-02-09 13:01:53 +0100 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2023-02-09 13:01:53 +0100 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2023-02-09 13:01:53 +0100 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2023-02-09 13:01:53 +0100 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2023-02-09 13:01:53 +0100 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2023-02-09 13:01:53 +0100 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2023-02-09 13:01:53 +0100 | ormaaj | (~ormaaj@user/ormaaj) |
| 2023-02-09 13:01:53 +0100 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2023-02-09 13:01:53 +0100 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2023-02-09 13:01:53 +0100 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2023-02-09 13:01:53 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) |
| 2023-02-09 13:01:53 +0100 | mauke | (~mauke@user/mauke) |
| 2023-02-09 13:01:53 +0100 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2023-02-09 13:01:53 +0100 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2023-02-09 13:01:53 +0100 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2023-02-09 13:01:53 +0100 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) |
| 2023-02-09 13:01:53 +0100 | Tisoxin | (~ikosit@user/ikosit) |
| 2023-02-09 13:01:53 +0100 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 2023-02-09 13:01:53 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2023-02-09 13:01:53 +0100 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2023-02-09 13:01:53 +0100 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
| 2023-02-09 13:01:53 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2023-02-09 13:01:53 +0100 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2023-02-09 13:01:53 +0100 | bigtestaccount[m | (~bigtestac@2001:470:69fc:105::2:fae3) |
| 2023-02-09 13:01:53 +0100 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2023-02-09 13:01:53 +0100 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2023-02-09 13:01:53 +0100 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2023-02-09 13:01:54 +0100 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
| 2023-02-09 13:01:54 +0100 | psydroid | (~psydroid@user/psydroid) |
| 2023-02-09 13:01:54 +0100 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
| 2023-02-09 13:01:54 +0100 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) |
| 2023-02-09 13:01:54 +0100 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2023-02-09 13:01:54 +0100 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
| 2023-02-09 13:01:54 +0100 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) |
| 2023-02-09 13:01:54 +0100 | JonathanWatson[m | (~jjwmatrix@2001:470:69fc:105::2:a544) |
| 2023-02-09 13:01:54 +0100 | ericjmorey[m] | (~ericjmore@2001:470:69fc:105::7afc) |
| 2023-02-09 13:01:54 +0100 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2023-02-09 13:01:54 +0100 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2023-02-09 13:01:54 +0100 | hussam | (~hussam@user/hussam) |
| 2023-02-09 13:01:54 +0100 | KabeloMsobomvuMo | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-02-09 13:01:54 +0100 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2023-02-09 13:01:54 +0100 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-02-09 13:01:54 +0100 | mimi1vx[m] | (~osukupmat@2001:470:69fc:105::2:418d) |
| 2023-02-09 13:01:54 +0100 | disco-dave[m] | (~disco-dav@2001:470:69fc:105::2:1892) |
| 2023-02-09 13:01:54 +0100 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) |
| 2023-02-09 13:01:54 +0100 | aaRabbit[m] | (~rootsandw@2001:470:69fc:105::2:ca2e) |
| 2023-02-09 13:01:54 +0100 | Miao[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) |
| 2023-02-09 13:01:54 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 2023-02-09 13:02:05 +0100 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2023-02-09 13:02:05 +0100 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2023-02-09 13:02:06 +0100 | gqplox[m] | (~gqploxmat@2001:470:69fc:105::2:d10d) |
| 2023-02-09 13:02:06 +0100 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) |
| 2023-02-09 13:02:06 +0100 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
| 2023-02-09 13:02:06 +0100 | Oden[m] | (~iodonemat@2001:470:69fc:105::2:feb5) |
| 2023-02-09 13:02:06 +0100 | dykai[m] | (~dykaimatr@2001:470:69fc:105::2:f326) |
| 2023-02-09 13:02:06 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) |
| 2023-02-09 13:02:06 +0100 | aaronv | (~aaronv@user/aaronv) |
| 2023-02-09 13:03:16 +0100 | Ji50 | (~Ji50@ip-109-43-51-164.web.vodafone.de) (Quit: Client closed) |
| 2023-02-09 13:03:23 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-09 13:04:48 +0100 | pernzs | (~pernzs@101.175.168.100) (Ping timeout: 260 seconds) |
| 2023-02-09 13:10:21 +0100 | pernzs | (~pernzs@101.175.168.100) |
| 2023-02-09 13:13:04 +0100 | lyle | (~lyle@104.246.145.85) |
| 2023-02-09 13:14:35 +0100 | mimi1vx[m] | (~osukupmat@2001:470:69fc:105::2:418d) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:35 +0100 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:35 +0100 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:35 +0100 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:36 +0100 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:36 +0100 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:36 +0100 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:36 +0100 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:36 +0100 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:36 +0100 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Ping timeout: 248 seconds) |
| 2023-02-09 13:14:37 +0100 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:37 +0100 | Oden[m] | (~iodonemat@2001:470:69fc:105::2:feb5) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:37 +0100 | hussam | (~hussam@user/hussam) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:37 +0100 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:37 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:37 +0100 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:38 +0100 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:38 +0100 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | bigtestaccount[m | (~bigtestac@2001:470:69fc:105::2:fae3) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | Deide | (~deide@user/deide) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:39 +0100 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 246 seconds) |
| 2023-02-09 13:14:54 +0100 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | JonathanWatson[m | (~jjwmatrix@2001:470:69fc:105::2:a544) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | KabeloMsobomvuMo | (~elevenkb@2001:470:69fc:105::2:cb89) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | ericjmorey[m] | (~ericjmore@2001:470:69fc:105::7afc) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | Tisoxin | (~ikosit@user/ikosit) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:54 +0100 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:55 +0100 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:55 +0100 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:55 +0100 | psydroid | (~psydroid@user/psydroid) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:55 +0100 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:55 +0100 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:59 +0100 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 252 seconds) |
| 2023-02-09 13:14:59 +0100 | dykai[m] | (~dykaimatr@2001:470:69fc:105::2:f326) (Ping timeout: 265 seconds) |
| 2023-02-09 13:14:59 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (Ping timeout: 265 seconds) |
| 2023-02-09 13:14:59 +0100 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 265 seconds) |
| 2023-02-09 13:15:00 +0100 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 265 seconds) |
| 2023-02-09 13:15:00 +0100 | jmcantrell | (~jmcantrel@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2023-02-09 13:15:00 +0100 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 265 seconds) |
| 2023-02-09 13:15:00 +0100 | tiziodcaio | (~tiziodcai@2001:470:69fc:105::1:2bf8) (Ping timeout: 265 seconds) |
| 2023-02-09 13:15:03 +0100 | aaRabbit[m] | (~rootsandw@2001:470:69fc:105::2:ca2e) (Ping timeout: 260 seconds) |
| 2023-02-09 13:15:04 +0100 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 260 seconds) |
| 2023-02-09 13:15:04 +0100 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) (Ping timeout: 260 seconds) |
| 2023-02-09 13:15:04 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 2023-02-09 13:15:04 +0100 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 260 seconds) |
| 2023-02-09 13:15:04 +0100 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (Ping timeout: 260 seconds) |
| 2023-02-09 13:15:09 +0100 | gqplox[m] | (~gqploxmat@2001:470:69fc:105::2:d10d) (Ping timeout: 256 seconds) |
| 2023-02-09 13:15:09 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Ping timeout: 256 seconds) |
| 2023-02-09 13:15:09 +0100 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 256 seconds) |
| 2023-02-09 13:15:09 +0100 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 256 seconds) |
| 2023-02-09 13:15:09 +0100 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 256 seconds) |
| 2023-02-09 13:15:09 +0100 | ormaaj | (~ormaaj@user/ormaaj) (Ping timeout: 256 seconds) |
| 2023-02-09 13:15:11 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | disco-dave[m] | (~disco-dav@2001:470:69fc:105::2:1892) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | Miao[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:12 +0100 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 264 seconds) |
| 2023-02-09 13:15:30 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 2023-02-09 13:18:24 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-09 13:18:55 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2023-02-09 13:19:26 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-02-09 13:20:17 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 2023-02-09 13:20:48 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-09 13:21:43 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-02-09 13:21:44 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 13:25:35 +0100 | hussam | (~hussam@user/hussam) |
| 2023-02-09 13:25:42 +0100 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2023-02-09 13:25:49 +0100 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-02-09 13:26:17 +0100 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2023-02-09 13:26:23 +0100 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) |
| 2023-02-09 13:27:05 +0100 | trev | (~trev@user/trev) |
| 2023-02-09 13:34:43 +0100 | werneta | (~werneta@70.142.214.115) (Ping timeout: 252 seconds) |
| 2023-02-09 13:36:05 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-02-09 13:36:39 +0100 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
| 2023-02-09 13:38:33 +0100 | thongpv | (~thongpv87@14.183.172.252) |
| 2023-02-09 13:38:38 +0100 | mimi1vx[m] | (~osukupmat@2001:470:69fc:105::2:418d) |
| 2023-02-09 13:39:38 +0100 | thongpv | (~thongpv87@14.183.172.252) (Remote host closed the connection) |
| 2023-02-09 13:40:01 +0100 | thongpv | (~thongpv87@14.183.172.252) |
| 2023-02-09 13:41:08 +0100 | thongpv | (~thongpv87@14.183.172.252) (Remote host closed the connection) |
| 2023-02-09 13:41:32 +0100 | thongpv | (~thongpv87@14.183.172.252) |
| 2023-02-09 13:42:19 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-09 13:43:09 +0100 | justache | deliriumt |
| 2023-02-09 13:43:35 +0100 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
| 2023-02-09 13:43:43 +0100 | deliriumt | justache |
| 2023-02-09 13:43:58 +0100 | Oden[m] | (~iodonemat@2001:470:69fc:105::2:feb5) |
| 2023-02-09 13:44:24 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-09 13:44:30 +0100 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2023-02-09 13:44:46 +0100 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2023-02-09 13:46:14 +0100 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
| 2023-02-09 13:46:21 +0100 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2023-02-09 13:48:13 +0100 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) |
| 2023-02-09 13:48:46 +0100 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2023-02-09 13:49:05 +0100 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-09 13:50:05 +0100 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) |
| 2023-02-09 13:50:19 +0100 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2023-02-09 13:50:21 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) |
| 2023-02-09 13:50:23 +0100 | dykai[m] | (~dykaimatr@2001:470:69fc:105::2:f326) |
| 2023-02-09 13:50:43 +0100 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2023-02-09 13:51:59 +0100 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2023-02-09 13:52:01 +0100 | JonathanWatson[m | (~jjwmatrix@2001:470:69fc:105::2:a544) |
| 2023-02-09 13:53:22 +0100 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) |
| 2023-02-09 13:54:19 +0100 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2023-02-09 13:54:33 +0100 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2023-02-09 13:54:55 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-02-09 13:55:59 +0100 | aaronv | (~aaronv@user/aaronv) |
| 2023-02-09 13:56:57 +0100 | gqplox[m] | (~gqploxmat@2001:470:69fc:105::2:d10d) |
| 2023-02-09 13:58:51 +0100 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
| 2023-02-09 13:58:52 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 2023-02-09 13:59:00 +0100 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2023-02-09 13:59:08 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2023-02-09 13:59:14 +0100 | Deide | (~deide@user/deide) |
| 2023-02-09 13:59:24 +0100 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2023-02-09 13:59:42 +0100 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2023-02-09 13:59:45 +0100 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2023-02-09 14:00:25 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) |
| 2023-02-09 14:00:29 +0100 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2023-02-09 14:00:44 +0100 | sm | (~sm@plaintextaccounting/sm) |
| 2023-02-09 14:00:59 +0100 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2023-02-09 14:02:33 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 2023-02-09 14:06:23 +0100 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 2023-02-09 14:06:58 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2023-02-09 14:09:20 +0100 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2023-02-09 14:09:39 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 14:09:42 +0100 | irrgit__ | (~irrgit@176.113.74.130) |
| 2023-02-09 14:11:05 +0100 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2023-02-09 14:11:59 +0100 | KabeloMsobomvuMo | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-02-09 14:12:15 +0100 | ericjmorey[m] | (~ericjmore@2001:470:69fc:105::7afc) |
| 2023-02-09 14:12:24 +0100 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
| 2023-02-09 14:12:51 +0100 | irrgit_ | (~irrgit@176.113.74.130) (Ping timeout: 255 seconds) |
| 2023-02-09 14:13:51 +0100 | mauke | (~mauke@user/mauke) |
| 2023-02-09 14:15:07 +0100 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) |
| 2023-02-09 14:15:24 +0100 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) |
| 2023-02-09 14:15:34 +0100 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2023-02-09 14:15:45 +0100 | disco-dave[m] | (~disco-dav@2001:470:69fc:105::2:1892) |
| 2023-02-09 14:16:48 +0100 | Miao[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) |
| 2023-02-09 14:18:26 +0100 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2023-02-09 14:19:10 +0100 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2023-02-09 14:19:23 +0100 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-02-09 14:21:13 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2023-02-09 14:21:29 +0100 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2023-02-09 14:21:57 +0100 | psydroid | (~psydroid@user/psydroid) |
| 2023-02-09 14:22:24 +0100 | tiziodcaio | (~tiziodcai@2001:470:69fc:105::1:2bf8) |
| 2023-02-09 14:23:41 +0100 | bigtestaccount[m | (~bigtestac@2001:470:69fc:105::2:fae3) |
| 2023-02-09 14:27:42 +0100 | Tisoxin | (~ikosit@user/ikosit) |
| 2023-02-09 14:27:43 +0100 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2023-02-09 14:28:56 +0100 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2023-02-09 14:30:57 +0100 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
| 2023-02-09 14:31:26 +0100 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2023-02-09 14:31:27 +0100 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2023-02-09 14:31:38 +0100 | aaRabbit[m] | (~rootsandw@2001:470:69fc:105::2:ca2e) |
| 2023-02-09 14:31:55 +0100 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2023-02-09 14:32:21 +0100 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2023-02-09 14:33:34 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-09 14:38:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-02-09 14:40:20 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-09 15:01:49 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-09 15:02:14 +0100 | razetime | (~Thunderbi@117.193.4.2) |
| 2023-02-09 15:05:10 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 15:05:53 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-09 15:10:32 +0100 | thongpv87 | (~thongpv87@2402:9d80:3d8:1c25:cd8c:8988:d8a7:f114) |
| 2023-02-09 15:12:14 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2023-02-09 15:13:07 +0100 | thongpv | (~thongpv87@14.183.172.252) (Ping timeout: 260 seconds) |
| 2023-02-09 15:15:02 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-09 15:16:01 +0100 | thegeekinside | (~thegeekin@189.180.83.186) |
| 2023-02-09 15:17:09 +0100 | MasseR46 | (~MasseR@2001:bc8:47a0:1521::1) (Quit: Ping timeout (120 seconds)) |
| 2023-02-09 15:17:21 +0100 | MasseR46 | (thelounge@2001:bc8:47a0:1521::1) |
| 2023-02-09 15:18:31 +0100 | cbarrett | (sid192934@2a03:5180:f:1::2:f1a6) (Ping timeout: 252 seconds) |
| 2023-02-09 15:18:51 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-09 15:19:07 +0100 | p3n | (~p3n@217.198.124.246) |
| 2023-02-09 15:19:09 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-09 15:20:40 +0100 | Guest43 | (~Guest@137.97.100.86) |
| 2023-02-09 15:22:47 +0100 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2023-02-09 15:24:20 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-02-09 15:25:39 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 15:26:58 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-09 15:28:07 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 15:35:18 +0100 | Guest43 | (~Guest@137.97.100.86) (Ping timeout: 260 seconds) |
| 2023-02-09 15:35:25 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-09 15:36:07 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 265 seconds) |
| 2023-02-09 15:37:11 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 15:38:47 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 15:40:14 +0100 | pernzs | (~pernzs@101.175.168.100) (Quit: Client closed) |
| 2023-02-09 15:42:12 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2023-02-09 15:42:37 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Changing host) |
| 2023-02-09 15:42:37 +0100 | maerwald[m] | (~maerwaldm@user/maerwald) |
| 2023-02-09 15:43:01 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-02-09 15:44:01 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-09 15:44:09 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-09 15:44:21 +0100 | maerwald[m] | (~maerwaldm@user/maerwald) () |
| 2023-02-09 15:44:55 +0100 | maerwald[m] | (~maerwaldm@user/maerwald) |
| 2023-02-09 15:45:41 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-02-09 15:47:00 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 15:51:28 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-09 15:51:39 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-02-09 15:53:34 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 15:53:57 +0100 | MQ-17J | (~MQ-17J@104.28.216.166) |
| 2023-02-09 15:54:22 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-09 15:56:39 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 2023-02-09 15:56:58 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-09 15:57:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-02-09 16:05:39 +0100 | themc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-09 16:05:44 +0100 | themc47 | (~mc47@xmonad/TheMC47) (Client Quit) |
| 2023-02-09 16:06:17 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-09 16:06:30 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2023-02-09 16:07:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-02-09 16:21:43 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-02-09 16:23:59 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-02-09 16:26:09 +0100 | slack1256 | (~slack1256@186.11.99.232) |
| 2023-02-09 16:26:54 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-02-09 16:34:33 +0100 | enoq | (~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 +0100 | ormaaj | (~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 +0100 | slack1256 | (~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 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5eae:66b7:1a25:32fa) (Quit: WeeChat 2.8) |
| 2023-02-09 16:51:48 +0100 | thongpv87 | (~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 +0100 | califax | (~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 +0100 | razetime1 | (~Thunderbi@117.193.2.54) |
| 2023-02-09 16:58:25 +0100 | razetime | (~Thunderbi@117.193.4.2) (Ping timeout: 256 seconds) |
| 2023-02-09 16:58:25 +0100 | razetime1 | razetime |
| 2023-02-09 17:00:29 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-09 17:03:03 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-02-09 17:03:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-02-09 17:03:56 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-09 17:07:05 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-09 17:09:06 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 17:09:32 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2023-02-09 17:14:03 +0100 | razetime | (~Thunderbi@117.193.2.54) (Ping timeout: 252 seconds) |
| 2023-02-09 17:14:19 +0100 | razetime | (~Thunderbi@117.193.2.84) |
| 2023-02-09 17:14:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 17:15:47 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-09 17:16:57 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 17:17:32 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-09 17:20:46 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-09 17:23:04 +0100 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2023-02-09 17:23:19 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 17:24:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-09 17:25:20 +0100 | slack1256 | (~slack1256@186.11.102.104) |
| 2023-02-09 17:27:39 +0100 | merijn | (~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 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-09 17:33:36 +0100 | mikoto-chan | (~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) |
| 2023-02-09 17:34:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-02-09 17:34:15 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-02-09 17:34:18 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-02-09 17:35:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-09 17:37:19 +0100 | poljar | (~poljar@93-139-120-188.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2023-02-09 17:40:35 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 2023-02-09 17:41:41 +0100 | mikoto-chan | (~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) (Ping timeout: 246 seconds) |
| 2023-02-09 17:44:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) |
| 2023-02-09 17:44:22 +0100 | razetime1 | (~Thunderbi@117.193.6.71) |
| 2023-02-09 17:44:53 +0100 | razetime | (~Thunderbi@117.193.2.84) (Ping timeout: 256 seconds) |
| 2023-02-09 17:44:53 +0100 | razetime1 | razetime |
| 2023-02-09 17:53:45 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:f835:7cff:6e4a:8bfb) (Remote host closed the connection) |
| 2023-02-09 17:55:15 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection) |
| 2023-02-09 17:56:20 +0100 | razetime1 | (~Thunderbi@117.193.3.174) |
| 2023-02-09 17:56:52 +0100 | razetime | (~Thunderbi@117.193.6.71) (Ping timeout: 252 seconds) |
| 2023-02-09 17:56:52 +0100 | razetime1 | razetime |
| 2023-02-09 17:57:26 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 2023-02-09 18:00:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-02-09 18:03:27 +0100 | slack1256 | (~slack1256@186.11.102.104) (Ping timeout: 260 seconds) |
| 2023-02-09 18:05:56 +0100 | kurbus | (~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 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 2023-02-09 18:16:43 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 18:17:45 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-02-09 18:19:54 +0100 | kmein | (~weechat@user/kmein) |
| 2023-02-09 18:20:01 +0100 | razetime | (~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 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-09 18:22:08 +0100 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-02-09 18:22:30 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 18:22:32 +0100 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2023-02-09 18:23:19 +0100 | mikoto-chan | (~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) |
| 2023-02-09 18:23:24 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-09 18:26:56 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-09 18:28:16 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 18:29:23 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 18:30:10 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-09 18:30:49 +0100 | kuribas | (~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 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-02-09 18:34:23 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-02-09 18:34:59 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-02-09 18:35:15 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-09 18:36:29 +0100 | bitmapper | (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 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-09 18:41:36 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-02-09 18:44:24 +0100 | werneta | (~werneta@137.79.195.231) |
| 2023-02-09 18:48:18 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-09 18:49:02 +0100 | tzh | (~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 +0100 | eggplantade | (~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 +0100 | eggplantade | (~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 +0100 | eggplantade | (~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 +0100 | cfricke | (~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 +0100 | tromp | (~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 +0100 | kurbus | (~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 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-09 19:11:00 +0100 | cfricke | (~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 +0100 | sudden | (~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 +0100 | sudden | (~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 +0100 | avicenzi | (~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 +0100 | marinelli | (~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 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Client Quit) |
| 2023-02-09 19:17:09 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-09 19:18:40 +0100 | Square | (~adude___@user/square) |
| 2023-02-09 19:19:00 +0100 | swistak | (~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 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 2023-02-09 19:27:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection) |
| 2023-02-09 19:29:26 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2023-02-09 19:30:19 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-09 19:30:25 +0100 | swistak | (~swistak@185.21.216.141) |
| 2023-02-09 19:35:00 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-09 19:36:29 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-09 19:36:58 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-09 19:38:35 +0100 | MajorBiscuit | (~MajorBisc@c-001-003-046.client.tudelft.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-02-09 19:40:04 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) |
| 2023-02-09 19:44:32 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-09 19:45:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-09 19:45:31 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2023-02-09 19:47:27 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 265 seconds) |
| 2023-02-09 19:48:41 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2023-02-09 19:48:47 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-09 19:51:58 +0100 | kraftwerk28_ | kraftwerk28 |
| 2023-02-09 19:52:00 +0100 | mikoto-chan | (~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) (Ping timeout: 252 seconds) |
| 2023-02-09 19:52:10 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2023-02-09 19:53:47 +0100 | mikoto-chan | (~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) |
| 2023-02-09 19:54:33 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 19:58:29 +0100 | gawen | (~gawen@user/gawen) |
| 2023-02-09 19:59:12 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-09 19:59:26 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
| 2023-02-09 20:03:06 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-09 20:11:02 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) |
| 2023-02-09 20:13:55 +0100 | opticblast | (~Thunderbi@172.58.84.5) |
| 2023-02-09 20:15:54 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-09 20:16:11 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds) |
| 2023-02-09 20:16:20 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-02-09 20:17:02 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) |
| 2023-02-09 20:17:28 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Client Quit) |
| 2023-02-09 20:17:29 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-09 20:20:02 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-02-09 20:20:07 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-02-09 20:21:14 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-09 20:21:52 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2023-02-09 20:22:39 +0100 | ddellaco1 | (~ddellacos@143.244.47.81) (Ping timeout: 248 seconds) |
| 2023-02-09 20:24:32 +0100 | mikoto-chan | (~mikoto-ch@2001:999:781:c636:14c7:b74d:c59:c960) (Quit: WeeChat 3.6) |
| 2023-02-09 20:27:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) |
| 2023-02-09 20:31:08 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-09 20:32:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Ping timeout: 252 seconds) |
| 2023-02-09 20:36:52 +0100 | ph88 | (~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 +0100 | king_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 +0100 | irrgit_ | (~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 +0100 | irrgit__ | (~irrgit@176.113.74.130) (Ping timeout: 264 seconds) |
| 2023-02-09 20:57:19 +0100 | eggplantade | (~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 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-02-09 21:02:52 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-09 21:04:10 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-02-09 21:04:13 +0100 | mmhat | (~mmh@p200300f1c7090114ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-02-09 21:04:54 +0100 | tomsmeding | uses with-compiler in cabal.project and lives a good life |
| 2023-02-09 21:05:44 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 2023-02-09 21:10:38 +0100 | econo | (uid147250@user/econo) |
| 2023-02-09 21:11:53 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-09 21:16:32 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:212e:6e03:974d:ef39) (Read error: Connection reset by peer) |
| 2023-02-09 21:17:14 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 246 seconds) |
| 2023-02-09 21:17:27 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 21:18:49 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 21:25:15 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:9572:8ab3:f7ab:9ef6) |
| 2023-02-09 21:25:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-02-09 21:27:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Remote host closed the connection) |
| 2023-02-09 21:29:16 +0100 | pavonia | (~user@user/siracusa) |
| 2023-02-09 21:31:29 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-09 21:31:41 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:1779:a0ce:7b1f:f343:4ce) |
| 2023-02-09 21:33:58 +0100 | king_gs1 | king_gs |
| 2023-02-09 21:35:29 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-02-09 21:36:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-09 21:45:25 +0100 | ph88 | (~ph88@2a02:8109:9e00:71d0:aac7:55be:2ae9:9deb) (Remote host closed the connection) |
| 2023-02-09 21:49:23 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-02-09 21:52:26 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-09 21:54:29 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-02-09 22:02:36 +0100 | asscrackbandit | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 2023-02-09 22:04:43 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-09 22:08:19 +0100 | mmhat | (~mmh@p200300f1c7090114ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-02-09 22:13:41 +0100 | slack1256 | (~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 +0100 | Intel8086 | (~Intel8086@user/Intel8086) (Quit: Quit) |
| 2023-02-09 22:17:11 +0100 | akegalj | (~akegalj@37-128.dsl.iskon.hr) (Quit: leaving) |
| 2023-02-09 22:17:39 +0100 | king_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 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-09 22:22:37 +0100 | ddellaco1 | (~ddellacos@146.70.165.139) |
| 2023-02-09 22:27:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) |
| 2023-02-09 22:28:19 +0100 | ddellaco1 | ddellacosta |
| 2023-02-09 22:32:15 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54db:de44:4607:1cea) (Ping timeout: 248 seconds) |
| 2023-02-09 22:32:45 +0100 | slack1256 | (~slack1256@186.11.101.232) (Ping timeout: 265 seconds) |
| 2023-02-09 22:33:34 +0100 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.8) |
| 2023-02-09 22:34:04 +0100 | king_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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-09 22:41:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-09 22:47:20 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-02-09 22:53:06 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-09 22:53:07 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:1779:fe89:b45a:2ae8:5941) |
| 2023-02-09 22:54:22 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-02-09 22:55:25 +0100 | king_gs1 | king_gs |
| 2023-02-09 23:01:04 +0100 | cassaundra | (~cassaundr@user/cassaundra) (Quit: leaving) |
| 2023-02-09 23:01:18 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 2023-02-09 23:01:39 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Changing host) |
| 2023-02-09 23:01:39 +0100 | cassaundra | (~cassaundr@user/cassaundra) |
| 2023-02-09 23:02:24 +0100 | dcoutts_ | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) |
| 2023-02-09 23:04:22 +0100 | dcoutts | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2023-02-09 23:08:35 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:aa00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-02-09 23:10:25 +0100 | asscrackbandit | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 252 seconds) |
| 2023-02-09 23:12:06 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-02-09 23:16:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-09 23:17:33 +0100 | califax | (~califax@user/califx) |
| 2023-02-09 23:29:54 +0100 | Guest48 | (~Guest48@rrcs-24-43-123-92.west.biz.rr.com) |
| 2023-02-09 23:31:14 +0100 | Guest48 | (~Guest48@rrcs-24-43-123-92.west.biz.rr.com) (Client Quit) |
| 2023-02-09 23:41:54 +0100 | dcoutts | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) |
| 2023-02-09 23:43:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-09 23:43:59 +0100 | dcoutts_ | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2023-02-09 23:47:13 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-02-09 23:50:03 +0100 | paulpaul1076 | (~textual@95-29-5-53.broadband.corbina.ru) |
| 2023-02-09 23:52:04 +0100 | dcoutts_ | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) |
| 2023-02-09 23:53:36 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-02-09 23:54:47 +0100 | dcoutts | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2023-02-09 23:55:14 +0100 | dcoutts | (~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 +0100 | dcoutts_ | (~duncan@host81-156-211-203.range81-156.btcentralplus.com) (Ping timeout: 264 seconds) |
