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