2022/07/21

2022-07-21 00:00:09 +0200winny(~weechat@user/winny) (Write error: Connection reset by peer)
2022-07-21 00:00:09 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 00:00:09 +0200jpds2(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-21 00:00:33 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 00:00:45 +0200jpds2(~jpds@gateway/tor-sasl/jpds)
2022-07-21 00:00:55 +0200winny(~weechat@user/winny)
2022-07-21 00:02:17 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-21 00:03:17 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-07-21 00:07:26 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 00:07:43 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 00:08:57 +0200quarkyalice(~quarkyali@user/quarkyalice) (Quit: quarkyalice)
2022-07-21 00:10:15 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-07-21 00:10:25 +0200quarkyalice(~quarkyali@user/quarkyalice) (Client Quit)
2022-07-21 00:11:01 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-07-21 00:12:32 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 00:14:52 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-21 00:15:19 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-21 00:18:41 +0200pavonia(~user@user/siracusa)
2022-07-21 00:20:20 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-07-21 00:20:48 +0200fserucas(~fserucas@246.76.114.89.rev.vodafone.pt)
2022-07-21 00:20:55 +0200acidjnk_new(~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-07-21 00:24:40 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 00:24:57 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 00:25:13 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at)
2022-07-21 00:26:31 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-07-21 00:27:56 +0200acidjnk_new(~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de)
2022-07-21 00:30:03 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-07-21 00:31:43 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 00:32:00 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 00:34:39 +0200quarkyalice(~quarkyali@user/quarkyalice) (Client Quit)
2022-07-21 00:35:46 +0200nate4(~nate@98.45.169.16)
2022-07-21 00:35:53 +0200talismanick(~talismani@campus-043-126.ucdavis.edu)
2022-07-21 00:36:01 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
2022-07-21 00:36:07 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Ping timeout: 272 seconds)
2022-07-21 00:36:17 +0200talismanickGuest7482
2022-07-21 00:39:30 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Ping timeout: 240 seconds)
2022-07-21 00:40:45 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-07-21 00:43:10 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-07-21 00:45:30 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds)
2022-07-21 00:47:54 +0200spacenautx(~spacenaut@user/spacenautx)
2022-07-21 00:48:19 +0200spacenautx(~spacenaut@user/spacenautx) (Client Quit)
2022-07-21 00:48:46 +0200Guest7482(~talismani@campus-043-126.ucdavis.edu) (Ping timeout: 268 seconds)
2022-07-21 00:48:55 +0200dcoutts(~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 244 seconds)
2022-07-21 00:50:36 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 00:50:36 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-07-21 00:50:45 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 00:50:53 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 00:51:01 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 00:57:42 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 00:57:49 +0200kaskal-(~kaskal@089144220061.atnat0029.highway.webapn.at)
2022-07-21 00:57:59 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 00:58:44 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at) (Ping timeout: 272 seconds)
2022-07-21 01:00:25 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-21 01:02:32 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 01:02:49 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 01:04:37 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825)
2022-07-21 01:09:04 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Ping timeout: 244 seconds)
2022-07-21 01:10:03 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:ce0a:91e7:ff12:4713) (Ping timeout: 276 seconds)
2022-07-21 01:10:22 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-07-21 01:10:30 +0200chexum_(~quassel@gateway/tor-sasl/chexum)
2022-07-21 01:14:32 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-07-21 01:14:37 +0200fserucas(~fserucas@246.76.114.89.rev.vodafone.pt) (Remote host closed the connection)
2022-07-21 01:14:55 +0200Neuromancer(~Neuromanc@user/neuromancer) (Read error: Connection reset by peer)
2022-07-21 01:15:01 +0200fserucas(~fserucas@246.76.114.89.rev.vodafone.pt)
2022-07-21 01:16:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-21 01:16:28 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 01:18:51 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 01:19:09 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 01:23:42 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 01:23:59 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 01:27:44 +0200afnan(~afnan@45-22-121-40.lightspeed.cicril.sbcglobal.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-21 01:28:04 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 01:28:51 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Remote host closed the connection)
2022-07-21 01:29:09 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da)
2022-07-21 01:30:49 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 01:31:06 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 01:34:50 +0200 <dmj`> is there something like a gmconcat, but done field-wise, assuming a record has fields of all the same monoidal type
2022-07-21 01:35:08 +0200 <dmj`> I can write it, but wonder if someone else has already.
2022-07-21 01:35:52 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-21 01:36:03 +0200 <dmj`> e.g. data Foo = Foo { bar,baz,woz :: Sum Int }, gmconcat (Foo 1 1 1) = 3
2022-07-21 01:36:59 +0200AlexZenon(~alzenon@178.34.160.206) (Ping timeout: 244 seconds)
2022-07-21 01:36:59 +0200Alex_test(~al_test@178.34.160.206) (Ping timeout: 244 seconds)
2022-07-21 01:37:20 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825)
2022-07-21 01:38:39 +0200AlexNoo(~AlexNoo@178.34.160.206) (Ping timeout: 276 seconds)
2022-07-21 01:39:10 +0200acidjnk_new(~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-21 01:41:59 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-21 01:41:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-07-21 01:42:09 +0200AlexNoo(~AlexNoo@178.34.160.206)
2022-07-21 01:42:16 +0200Alex_test(~al_test@178.34.160.206)
2022-07-21 01:42:28 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-21 01:42:29 +0200AlexZenon(~alzenon@178.34.160.206)
2022-07-21 01:46:01 +0200 <koala_man> is there a way to disable the 1TB virtual allocation the ghc rts does by default? It does not play well with qemu, so docker-on-mac is basically unable to run haskell binaries on m1 chips
2022-07-21 01:46:09 +0200 <koala_man> x86_64 binaries that is
2022-07-21 01:48:09 +0200 <geekosaur> you have to rebuild ghc to get a rebuilt rts without it
2022-07-21 01:49:02 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-21 01:49:15 +0200 <koala_man> how would I have to rebuild it?
2022-07-21 01:51:05 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 01:51:22 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 01:51:25 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2022-07-21 01:52:09 +0200 <geekosaur> --disable-large-address-space
2022-07-21 01:53:15 +0200 <Clinton[m]> I've got a question about generics. I've been using `f (Generic.from x)`, and by adding a few instances this quite nicely gives me a runtime structure with all the fields and metadata that I can then manipulate using ordinary functions. But I also would like to do something like `f (Generic.from (undefined :: a))`, just to get the information about the structure of `a`, but not including the data of a particular instance. Note if I create
2022-07-21 01:53:16 +0200 <Clinton[m]> `y = A undefined undefined undefined` and then use `f (Generic.from y)` then I'm fine, as long as I don't access those actual fields in my final structure (laziness works here), but this is a bit annoying. Is there anyway I can use generics to get run time information about the structure of a datatype without actually creating an instance of that datatype?
2022-07-21 01:53:50 +0200 <dolio> Does the -M RTS flag limit the size of the address space?
2022-07-21 01:54:12 +0200 <Clinton[m]> * I've got a question about generics. I've been using `f (Generic.from x)` (f is actually a bunch of classes/instances). This quite nicely gives me a runtime structure with all the fields and metadata that I can then manipulate using ordinary functions. But I also would like to do something like `f (Generic.from (undefined :: a))`, just to get the information about the structure of `a`, but not including the data of a particular instance.
2022-07-21 01:54:12 +0200 <Clinton[m]> Note if I create `y = A undefined undefined undefined` and then use `f (Generic.from y)` then I'm fine, as long as I don't access those actual fields in my final structure (laziness works here), but this is a bit annoying. Is there anyway I can use generics to get run time information about the structure of a datatype without actually creating an instance of that datatype?
2022-07-21 01:54:20 +0200 <geekosaur> it doesn't prevent the 1TB preallocation, no
2022-07-21 01:54:22 +0200 <koala_man> dolio: no
2022-07-21 01:54:40 +0200 <geekosaur> sorry, reservation, nothing is actually allocated
2022-07-21 01:54:53 +0200 <jackdk> Clinton[m]: write a typeclass that has a bunch of instances that explore the `Rep Foo` of your type `Foo`?
2022-07-21 01:55:03 +0200 <koala_man> arguably it's allocating address space I guess
2022-07-21 01:56:22 +0200 <koala_man> anyways, ulimit -v will stop the reservation and GHC still runs fine without it, but I'm not sure how it would be applied to docker-on-mac. I responded with that and will see what they say
2022-07-21 01:58:10 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 01:58:27 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 02:02:45 +0200slack1256(~slack1256@186.11.18.101) (Remote host closed the connection)
2022-07-21 02:02:53 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-07-21 02:02:59 +0200slack1256(~slack1256@186.11.18.101)
2022-07-21 02:05:08 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 02:05:25 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 02:08:33 +0200pavonia_(~user@user/siracusa)
2022-07-21 02:09:50 +0200pavonia(~user@user/siracusa) (Ping timeout: 240 seconds)
2022-07-21 02:09:51 +0200pavonia_pavonia
2022-07-21 02:10:01 +0200infinity0(~infinity0@185.112.146.113) (Remote host closed the connection)
2022-07-21 02:12:19 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 02:12:37 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 02:14:44 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-21 02:14:44 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-21 02:14:44 +0200wroathe(~wroathe@user/wroathe)
2022-07-21 02:16:39 +0200infinity0(~infinity0@185.112.146.113)
2022-07-21 02:19:26 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 02:19:43 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 02:22:54 +0200Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2022-07-21 02:25:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-21 02:28:38 +0200 <albet70> is there a function could take a large number bytes from a file? Data.ByteString.take use a Int value
2022-07-21 02:29:49 +0200 <Clint> what are you trying to do?
2022-07-21 02:29:53 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-21 02:29:53 +0200 <exarkun> So by large you mean "larger than an Int can represent"?
2022-07-21 02:31:23 +0200Colere(~colere@about/linux/staff/sauvin) (Ping timeout: 272 seconds)
2022-07-21 02:32:56 +0200 <pavonia> Shouldn't an Int be more than enough?
2022-07-21 02:33:17 +0200xff0x(~xff0x@2405:6580:b080:900:604b:7f6a:615b:55d0) (Ping timeout: 244 seconds)
2022-07-21 02:35:23 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 02:35:40 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 02:35:59 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-21 02:36:44 +0200 <hpc> you never know when you're going to need a bytestring containing all the data humanity has ever produced :P
2022-07-21 02:39:52 +0200kaskal-(~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in)
2022-07-21 02:41:01 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-21 02:41:20 +0200kaskal(~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919)
2022-07-21 02:41:43 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2022-07-21 02:42:33 +0200pavonia_(~user@user/siracusa)
2022-07-21 02:43:26 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 255 seconds)
2022-07-21 02:43:55 +0200pavonia(~user@user/siracusa) (Ping timeout: 260 seconds)
2022-07-21 02:44:14 +0200pavonia_pavonia
2022-07-21 02:44:39 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-07-21 02:46:04 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-21 02:46:35 +0200Guest21(~Guest21@2a00:102a:4004:22de:50f7:a1a8:e044:4014)
2022-07-21 02:47:00 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 02:47:49 +0200toluene6(~toluene@user/toulene)
2022-07-21 02:47:56 +0200toluene(~toluene@user/toulene) (Read error: Connection reset by peer)
2022-07-21 02:47:56 +0200toluene6toluene
2022-07-21 02:49:10 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-07-21 02:51:12 +0200nosewings(~ngpc@cpe-76-186-194-45.tx.res.rr.com)
2022-07-21 02:53:54 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 02:58:10 +0200Guest21(~Guest21@2a00:102a:4004:22de:50f7:a1a8:e044:4014) (Quit: Client closed)
2022-07-21 03:02:47 +0200Colere(~colere@about/linux/staff/sauvin)
2022-07-21 03:07:00 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2022-07-21 03:09:01 +0200 <jackdk> Probably want a streaming library, unless you have a galaxy of ram
2022-07-21 03:09:55 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-07-21 03:11:12 +0200 <marcusxavier> Is there anything that I can do to improve this code? https://gist.github.com/MarcusXavierr/63bd89c8a77dae17f428c265ae1d39fa
2022-07-21 03:12:35 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-21 03:13:22 +0200winny(~weechat@user/winny)
2022-07-21 03:16:55 +0200cheater(~Username@user/cheater)
2022-07-21 03:16:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer)
2022-07-21 03:17:54 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-07-21 03:21:18 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-21 03:22:49 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-21 03:25:17 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-21 03:33:27 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds)
2022-07-21 03:46:10 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2022-07-21 03:48:17 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-07-21 03:53:00 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-07-21 03:53:34 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-21 03:54:54 +0200 <Boarders__> is there a good way to parse a collection of words in a list/set?
2022-07-21 03:54:58 +0200 <Boarders__> using megaparsec
2022-07-21 03:57:52 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-21 04:01:05 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-21 04:03:12 +0200zaquest(~notzaques@5.130.79.72)
2022-07-21 04:03:31 +0200 <jackdk> what precisely do you mean by that?
2022-07-21 04:05:45 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds)
2022-07-21 04:06:23 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-21 04:12:57 +0200zebrag(~chris@user/zebrag)
2022-07-21 04:15:25 +0200nate4(~nate@98.45.169.16)
2022-07-21 04:16:18 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2022-07-21 04:16:35 +0200 <Axman6> albet70: Int in GHC is always the size of a machine word, so should be able to address everything that could possibly fit into memory
2022-07-21 04:16:53 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 04:17:31 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 04:30:05 +0200cyphase_eviltwin(~cyphase@user/cyphase) (Ping timeout: 268 seconds)
2022-07-21 04:30:57 +0200 <Axman6> (well, half of everything I guess since it's signed)
2022-07-21 04:32:15 +0200 <Axman6> @check \xs -> not (null xs) ==> (reverse . drop 1 . reverse) xs == init xs
2022-07-21 04:32:17 +0200 <lambdabot> error:
2022-07-21 04:32:17 +0200 <lambdabot> • Couldn't match expected type ‘Test.QuickCheck.Safe.SProperty’ with actual ...
2022-07-21 04:32:38 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-21 04:32:39 +0200 <Axman6> > reverse . drop 1 . reverse $ "ABC"
2022-07-21 04:32:41 +0200 <lambdabot> "AB"
2022-07-21 04:32:46 +0200 <Axman6> > init "ABC"
2022-07-21 04:32:48 +0200 <lambdabot> "AB"
2022-07-21 04:32:52 +0200 <Axman6> marcusxavier: ^
2022-07-21 04:35:51 +0200 <Axman6> marcusxavier: comparing the length of a list is almost always a bad idea, since it might never return the length. you could use atLeast3 (a:b:c:xs) = True; atLeast3 _ = False
2022-07-21 04:36:27 +0200 <Axman6> middle doesn't do what you're claiming in the error, I can pass it [1,2] and it will give me back 2. I think you want (l:m:h:xs)
2022-07-21 04:36:38 +0200 <dibblego> > reverse . drop 1 . reverse $ []
2022-07-21 04:36:39 +0200cyphase(~cyphase@user/cyphase)
2022-07-21 04:36:40 +0200 <lambdabot> []
2022-07-21 04:36:46 +0200 <dibblego> > init $ []
2022-07-21 04:36:48 +0200 <lambdabot> *Exception: Prelude.init: empty list
2022-07-21 04:36:57 +0200toluene(~toluene@user/toulene) (Read error: Connection reset by peer)
2022-07-21 04:37:04 +0200 <Axman6> it also uses tails so the list will be nonempty
2022-07-21 04:37:31 +0200toluene(~toluene@user/toulene)
2022-07-21 04:38:22 +0200 <Axman6> I;d remove the ++ "\n" from createString and instead use unlines instead of concat above
2022-07-21 04:39:08 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 272 seconds)
2022-07-21 04:40:41 +0200 <Axman6> Rather than using fst and snd everywhere, you can pattern match on (a,b) in your foldrs: removeRow = foldr (\x@(a,b) acc -> if b > 0 then (a, b - 1) : acc else x : acc ) []
2022-07-21 04:41:06 +0200 <Axman6> canContinue is just a hidden way of using any:
2022-07-21 04:41:09 +0200 <Axman6> @t any
2022-07-21 04:41:09 +0200 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
2022-07-21 04:41:11 +0200 <Axman6> :t any
2022-07-21 04:41:12 +0200 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2022-07-21 04:41:40 +0200 <Axman6> > any ((>0) . snd) $ zip [1,2,3] [-1,0,1]
2022-07-21 04:41:41 +0200 <lambdabot> True
2022-07-21 04:42:35 +0200 <Axman6> also using foldl for canContinue isn't a great idea - you will always process every value in the list, even if you know you can return True. use foldr instead (or any)
2022-07-21 04:46:17 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds)
2022-07-21 04:48:23 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-07-21 04:49:38 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-07-21 04:51:03 +0200slack1256(~slack1256@186.11.18.101) (Ping timeout: 268 seconds)
2022-07-21 04:52:17 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-07-21 04:54:04 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-07-21 04:54:35 +0200td_(~td@muedsl-82-207-238-080.citykom.de) (Ping timeout: 260 seconds)
2022-07-21 04:56:21 +0200td_(~td@muedsl-82-207-238-040.citykom.de)
2022-07-21 04:56:31 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-07-21 05:01:56 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-21 05:05:21 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 276 seconds)
2022-07-21 05:05:51 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-07-21 05:09:04 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 05:10:03 +0200cyphase(~cyphase@user/cyphase)
2022-07-21 05:12:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 05:16:53 +0200 <Axman6> marcusxavier: does that all make sense?
2022-07-21 05:17:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 05:18:29 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 05:19:02 +0200nate4(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-07-21 05:20:22 +0200nosewings(~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Remote host closed the connection)
2022-07-21 05:22:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-21 05:23:28 +0200gleostocha(~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-07-21 05:24:58 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds)
2022-07-21 05:30:30 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 05:32:59 +0200foul_owl(~kerry@23.82.194.107) (Ping timeout: 268 seconds)
2022-07-21 05:37:35 +0200 <Axman6> Clinton[m]: Not sure if there's a GHC Generics alternative to this class, but generics-sop (which is generially easier to work with than GHC.Generics, and completely compatible) provides DatatypeInfo https://hackage.haskell.org/package/generics-sop-0.5.1.2/docs/Generics-SOP.html#t:DatatypeInfo and HasDatatypeInfo: https://hackage.haskell.org/package/generics-sop-0.5.1.2/docs/Generics-SOP.html#t:HasDatatypeInfo
2022-07-21 05:41:56 +0200 <Clinton[m]> Axman6: I probably should go down that path eventually, but I've worked it out with the raw GHC style approach now, and didn't want to learn a new library, at least initially. The raw approach actually has a lot of power even if it is fiddly.
2022-07-21 05:42:34 +0200 <Clinton[m]> Is there an easy way in Visual Studio Code to reload the HLS plugin? I've notice it doesn't notice changes cross project. Closing the window and completely reopening is annoying.
2022-07-21 05:42:53 +0200 <Axman6> there's a restart haskell language server command
2022-07-21 05:43:11 +0200 <Axman6> there's also reloading the window, which is relatively quick
2022-07-21 05:43:41 +0200 <Axman6> cmd-shift-p "haskell" and "reload" should find both of those
2022-07-21 05:44:07 +0200 <albet70> why there's no Data.ByteString.splitOn?
2022-07-21 05:45:45 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Quit: WeeChat 3.6)
2022-07-21 05:46:45 +0200foul_owl(~kerry@23.82.194.108)
2022-07-21 05:48:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-07-21 05:48:05 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 05:49:12 +0200 <Axman6> is splitOn c = splitWith (== c)?
2022-07-21 05:49:40 +0200 <Axman6> there definitely should be a version which uses memchr though
2022-07-21 05:50:23 +0200 <Axman6> you can use elemIndex and splitAt
2022-07-21 05:50:40 +0200 <albet70> splitWith work on one byte, not a series bytes
2022-07-21 05:54:36 +0200 <Axman6> it has ASX_Bilateral_Demand_Transfer.feature:1232
2022-07-21 05:54:57 +0200 <Axman6> https://hackage.haskell.org/package/bytestring-0.11.3.1/docs/Data-ByteString.html#v:breakSubstring… uh,
2022-07-21 05:55:09 +0200 <Axman6> ffs, what is my terminal doing
2022-07-21 05:55:19 +0200 <Axman6> anyway, you want breakSubstring
2022-07-21 05:57:07 +0200 <Axman6> if you are using it multiple times with the same needle, you should take note of the last line in the docs for it, and use let search = breakSubstring "my pattern" in map search xs or whatever
2022-07-21 05:58:59 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Remote host closed the connection)
2022-07-21 05:59:17 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da)
2022-07-21 06:04:26 +0200toluene(~toluene@user/toulene) (Ping timeout: 268 seconds)
2022-07-21 06:05:03 +0200zebrag(~chris@user/zebrag) (Ping timeout: 268 seconds)
2022-07-21 06:06:17 +0200zebrag(~chris@user/zebrag)
2022-07-21 06:06:28 +0200toluene(~toluene@user/toulene)
2022-07-21 06:07:02 +0200zebrag(~chris@user/zebrag) (Client Quit)
2022-07-21 06:11:55 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-07-21 06:16:09 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-07-21 06:18:02 +0200bajskorfven00(~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2022-07-21 06:23:00 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-21 06:23:18 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 06:32:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 06:35:03 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-21 06:39:14 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 06:44:05 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds)
2022-07-21 06:44:30 +0200notzmv(~zmv@user/notzmv)
2022-07-21 06:47:08 +0200mbuf(~Shakthi@122.165.55.71)
2022-07-21 07:01:02 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2022-07-21 07:01:22 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 07:02:23 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 07:06:37 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 07:09:38 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-07-21 07:18:39 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 07:19:46 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 07:31:10 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 07:33:32 +0200ccntrq(~Thunderbi@2a01:c22:88a1:0:3616:e744:87c3:802a)
2022-07-21 07:34:10 +0200 <qrpnxz> in a way, lazy IO is like doing (pure @IO (unsafePerformIO a)), and when you put it like that it sounds like an insane thing to do lol
2022-07-21 07:36:56 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds)
2022-07-21 07:44:04 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds)
2022-07-21 07:44:59 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 07:45:14 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 07:46:53 +0200john(~john@115.96.77.44)
2022-07-21 07:47:14 +0200 <maerwald[m]> lazy IO is just boring
2022-07-21 07:47:41 +0200 <maerwald[m]> It's a half assed streaming substitute
2022-07-21 07:48:39 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds)
2022-07-21 07:52:58 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-21 08:02:08 +0200john(~john@115.96.77.44) (Remote host closed the connection)
2022-07-21 08:03:21 +0200 <qrpnxz> that seem to be the concensus. Adding to the list of AVOID in base
2022-07-21 08:07:50 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 268 seconds)
2022-07-21 08:11:13 +0200 <maerwald[m]> <qrpnxz> "that seem to be the concensus..." <- Nah, people are busy discussing whether to add |> to base
2022-07-21 08:11:35 +0200 <qrpnxz> i saw that post lmao
2022-07-21 08:12:05 +0200 <maerwald[m]> I wish I got that many comments for my proposal. But bikeshedding never happens on deeply technical issues
2022-07-21 08:12:09 +0200 <qrpnxz> is that not just trivially added to your lib if you want?! i rather many other things
2022-07-21 08:12:32 +0200 <qrpnxz> oof, what's your prop
2022-07-21 08:12:53 +0200 <maerwald[m]> Fixing all of core libraries
2022-07-21 08:12:56 +0200 <maerwald[m]> 😂
2022-07-21 08:13:03 +0200 <qrpnxz> mmm, for ex?
2022-07-21 08:13:53 +0200 <maerwald[m]> Countless of encoding issues. Filepath (which I fixed), but also unix providing half assed String APIs
2022-07-21 08:14:11 +0200 <qrpnxz> 😬
2022-07-21 08:14:38 +0200 <maerwald[m]> Adding posix_spawn api
2022-07-21 08:15:05 +0200 <maerwald[m]> But I guess the |> operator is more interesting 😅
2022-07-21 08:15:38 +0200 <maerwald[m]> Oh and fixing IsString
2022-07-21 08:15:43 +0200 <qrpnxz> adding |> easy actionable :) but [insert jurassic park quote here]
2022-07-21 08:16:03 +0200 <qrpnxz> maerwald[m]: what part of isstring
2022-07-21 08:16:43 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 08:17:13 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-07-21 08:17:38 +0200 <maerwald[m]> qrpnxz: https://gitlab.haskell.org/ghc/ghc/-/issues/13028#note_443228
2022-07-21 08:17:38 +0200 <qrpnxz> i don't like bytestring isstring behaviour, but idk if to accept it or frown about it
2022-07-21 08:19:48 +0200 <qrpnxz> "If OverloadedStrings should still be implemented as part of a class, it will have to be one that can express failure." pmuch this, tho there's a bunch of other stuff mentioned there that kind of going over my head. Will look into.
2022-07-21 08:21:59 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu)
2022-07-21 08:22:10 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 08:24:08 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c)
2022-07-21 08:24:57 +0200 <qrpnxz> validate-literals! Yes indeed. I was just thinking earlier about how much compile time execution GHC does on known values (I have no idea), but if it did this check for isstring at build that'd be awesome. Actually just practical too. Ran into this exact issue in Real Life on a Java code base where shit was broken and turns out that a static json string in the code was actually invalid. My
2022-07-21 08:24:59 +0200 <qrpnxz> solution was to add a test that all it did was instanciate the class (thereby running the parser), but this would be even nicer.
2022-07-21 08:25:44 +0200 <qrpnxz> best part is if it does that check then you can have fromstring return maybe and for known goods it can just return the value
2022-07-21 08:26:29 +0200 <qrpnxz> so use is just as ergonomic. If your string is bad and in your code you assume it was good, it's gonna fail type check so all good
2022-07-21 08:31:32 +0200gmg(~user@user/gehmehgeh)
2022-07-21 08:33:29 +0200 <Maxdamantus> If the code fails even with static values, isn't it more likely to fail with dynamic values?
2022-07-21 08:33:30 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-07-21 08:33:41 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-07-21 08:35:11 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 08:35:12 +0200 <Maxdamantus> Those errors should either be handled, or a different type should be used. I've mentioned before that imo there should be a standard string type that supports arbitrary byte sequences while also offering all of the Unicode functionality from `Text`.
2022-07-21 08:38:21 +0200 <Maxdamantus> Actually, I guess it's not quite the same issue, because Haskell string literals represent arbitrary code point sequences (as opposed to arbitrary byte sequences or arbitrary scalar value sequences).
2022-07-21 08:39:32 +0200acidjnk_new(~acidjnk@p5dd87aad.dip0.t-ipconnect.de)
2022-07-21 08:39:59 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) (Quit: WeeChat 3.6)
2022-07-21 08:40:39 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-07-21 08:48:52 +0200 <cdepillabout[m]> The last message on https://gitlab.haskell.org/ghc/ghc/-/issues/13028#note_443228 is "Nah, no way I'm making a GHC proposal for this."
2022-07-21 08:48:58 +0200 <cdepillabout[m]> That made me chuckle 🙂
2022-07-21 08:49:09 +0200 <qrpnxz> i don't think those two feature set combined make sense. Unicode is not arbitrary, it's unicode. But I think i kind of get what you are getting at. In Go you work with two main kind of buffers: []byte and string. string is like []byte, except it's immutable and known good UTF-8. Interfaces like io.Reader just take []byte. There's duplicated functionality: a whole lib for working with []byte
2022-07-21 08:49:10 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 08:49:11 +0200 <qrpnxz> (search, replace, comparison) and another with basically same interface for string. So basically in Go utf-8 is just blessed by this string type. String constants are always type string (Go source code is utf-8 always also). I guess what i'm getting at is that blessed encoding in bytes works pretty well. Moving to haskell, i think fromstring for bytestring should just do utf8 by default at
2022-07-21 08:49:13 +0200 <qrpnxz> minimum. Yes truncating is faster, but this should be compile time anyway, and when am i gonna even want that? utf-8 is losslessly translatable back to [Char] as well. It just makes sense to do that.
2022-07-21 08:50:06 +0200 <Maxdamantus> Go strings are arbitrary byte sequences that are conventionally UTF-8.
2022-07-21 08:50:13 +0200 <Maxdamantus> (that's my preferred model for strings)
2022-07-21 08:50:23 +0200 <Maxdamantus> (also Unicode's preferred model afaict)
2022-07-21 08:50:29 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-21 08:51:00 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 08:51:49 +0200 <Maxdamantus> Go source code is required to be well-formed UTF-8, but string literals don't need to represent well-formed Unicode. "\xff" is an allowed string literal.
2022-07-21 08:52:29 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-21 08:52:57 +0200 <qrpnxz> mm yes true. Perhaps actually string should be [Word8] and let people turn into [Char] if they actually care about code points
2022-07-21 08:53:29 +0200 <Maxdamantus> Which is almost never.
2022-07-21 08:53:30 +0200 <qrpnxz> or legit just be a foldable immutable array i mean
2022-07-21 08:53:30 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 08:53:51 +0200 <Maxdamantus> Only really happens when converting to UTF-16 or when implementing a text renderer.
2022-07-21 08:54:11 +0200 <Maxdamantus> (or at least something related to rendering)
2022-07-21 08:54:11 +0200 <qrpnxz> or whenever you need to look at a character? lol
2022-07-21 08:54:33 +0200 <Maxdamantus> What would you do with a character?
2022-07-21 08:55:27 +0200 <qrpnxz> i suppose i could convert the thing i'm looking for into utf-8 instead of converting the haystack
2022-07-21 08:55:37 +0200 <qrpnxz> but if you did the other way around is what i meant
2022-07-21 08:56:04 +0200 <Maxdamantus> Indeed. If you're implementing something like a parser, you're effectively looking for byte sequence prefixes.
2022-07-21 08:56:31 +0200 <Maxdamantus> And if you're splitting by a substring, same thing, you're splitting by a byte sequence.
2022-07-21 08:57:09 +0200toluene(~toluene@user/toulene) (Read error: Connection reset by peer)
2022-07-21 08:57:17 +0200 <qrpnxz> also generally i actually just care about the encoded size resource wise than the code point count, etc, etc.
2022-07-21 08:57:56 +0200 <qrpnxz> byte seq rules. But i'm guessing haskell did [Char] because... it's old and therefore wasn't wise? lol
2022-07-21 08:58:20 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds)
2022-07-21 08:58:29 +0200toluene7(~toluene@user/toulene)
2022-07-21 08:58:39 +0200 <Maxdamantus> Yes. Probably before UTF-8 was invented, definitely before it was really known about.
2022-07-21 08:59:05 +0200 <Maxdamantus> Other languages made similar mistakes with adopting UTF-16.
2022-07-21 08:59:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-21 08:59:48 +0200 <qrpnxz> wasn't utf-8 invented before utf-16. I just can't imagine why we ever invented it
2022-07-21 09:00:22 +0200 <[exa]> qrpnxz: utf8 comes from plan9 afaik, which is ooooooold
2022-07-21 09:00:24 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-21 09:00:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) (Remote host closed the connection)
2022-07-21 09:00:41 +0200 <Maxdamantus> I guess I should have said UCS-2.
2022-07-21 09:00:45 +0200 <qrpnxz> not that old, wasn't plan9 near the end of the labs, like the 90S?
2022-07-21 09:00:48 +0200 <qrpnxz> *90s
2022-07-21 09:01:20 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds)
2022-07-21 09:01:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab)
2022-07-21 09:01:33 +0200 <qrpnxz> (maybe it is that old, just doesn't feel that old) anyway
2022-07-21 09:02:07 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-21 09:03:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-21 09:05:14 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-21 09:05:23 +0200 <qrpnxz> but Strings are used all the time. As a long time C programmer i'm hurt little bit every time i see one in haskell and just think "this coulda been cache friendly array 😢"
2022-07-21 09:05:41 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi)
2022-07-21 09:06:12 +0200 <qrpnxz> and probably i overestimate those costs, but still
2022-07-21 09:06:22 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-07-21 09:06:57 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-07-21 09:07:03 +0200 <qrpnxz> if text or bytestring were in base, i think more library would use it. Sometimes i think it's avoided just not to depend on these really basic packages i feel like
2022-07-21 09:07:23 +0200 <qrpnxz> i should same "fundamental" not so much basic
2022-07-21 09:07:27 +0200 <qrpnxz> *say
2022-07-21 09:07:38 +0200 <maerwald[m]> Maxdamantus: unix fdRead is broken, because it allows you to read n bytes and turn those into Chars, which fails of you happen to split inside a multibyte UTF-8 codepoint
2022-07-21 09:08:02 +0200 <qrpnxz> fdRead return String?!
2022-07-21 09:08:31 +0200 <qrpnxz> omg it does
2022-07-21 09:08:33 +0200 <qrpnxz> wtf
2022-07-21 09:08:58 +0200 <maerwald[m]> https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-IO.html#v:fdRead
2022-07-21 09:09:00 +0200 <qrpnxz> that lib import bytestring too like ?!/1
2022-07-21 09:09:12 +0200 <qrpnxz> i'm so confused
2022-07-21 09:09:19 +0200 <maerwald[m]> ByteString based fdRead is coming in the next release
2022-07-21 09:09:31 +0200 <qrpnxz> you speak poetry
2022-07-21 09:09:37 +0200 <qrpnxz> great!
2022-07-21 09:09:40 +0200 <Maxdamantus> That's pretty funny.
2022-07-21 09:09:51 +0200 <qrpnxz> 😁
2022-07-21 09:10:00 +0200chele(~chele@user/chele)
2022-07-21 09:10:00 +0200 <maerwald[m]> The shit String has caused in Haskell is hard to fathom
2022-07-21 09:10:45 +0200 <qrpnxz> i think the FFI directly take return String too no? No idea how that behaves
2022-07-21 09:11:53 +0200 <maerwald[m]> qrpnxz: it decodes
2022-07-21 09:12:01 +0200 <maerwald[m]> Depends on which API
2022-07-21 09:12:01 +0200ccntrq(~Thunderbi@2a01:c22:88a1:0:3616:e744:87c3:802a) (Quit: ccntrq)
2022-07-21 09:12:15 +0200ccntrq(~Thunderbi@dynamic-077-006-013-103.77.6.pool.telefonica.de)
2022-07-21 09:12:16 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-07-21 09:12:20 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Client Quit)
2022-07-21 09:12:28 +0200 <maerwald[m]> For filepath it's some shady roundtrip escaping that sometimes works
2022-07-21 09:12:30 +0200 <maerwald[m]> Sometimes not
2022-07-21 09:12:40 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-07-21 09:12:42 +0200 <qrpnxz> maerwald[m]: surely, but what is invalid enc behaviour idk
2022-07-21 09:12:49 +0200 <maerwald[m]> Some parts of unix assume latin-1
2022-07-21 09:13:17 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-21 09:13:17 +0200 <maerwald[m]> qrpnxz: CString to String is decoding
2022-07-21 09:13:33 +0200 <maerwald[m]> That's the main problematic part
2022-07-21 09:13:35 +0200 <qrpnxz> i meant behaviour of decoding an invalid encodinG :)
2022-07-21 09:14:10 +0200 <maerwald[m]> The encoding may be valid, but not roundtrippable
2022-07-21 09:14:42 +0200 <maerwald[m]> qrpnxz: https://hasufell.github.io/posts/2022-06-29-fixing-haskell-filepaths.html
2022-07-21 09:14:58 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 09:15:02 +0200 <maerwald[m]> https://gist.github.com/hasufell/c600d318bdbe010a7841cc351c835f92
2022-07-21 09:15:03 +0200 <qrpnxz> i mean, it's it doing utf-8? if it's invalid utf8 what does it do exactly. Insert unicode invalid char code point?
2022-07-21 09:15:22 +0200 <qrpnxz> or worse does it pull a bytestring and truncate everything
2022-07-21 09:15:24 +0200 <maerwald[m]> Uses lone surdogates for escaping
2022-07-21 09:15:36 +0200 <maerwald[m]> But, surrogates are invalid UTF-8 😂
2022-07-21 09:15:57 +0200 <maerwald[m]> Now you have UTF-8 that fails a scrict parser
2022-07-21 09:16:12 +0200 <qrpnxz> i'm mind blown
2022-07-21 09:16:18 +0200 <maerwald[m]> https://unicode.org/L2/L2009/09236-pep383-problems.html
2022-07-21 09:16:21 +0200 <qrpnxz> 🤯
2022-07-21 09:16:27 +0200 <maerwald[m]> Unicode consortium is not a fan
2022-07-21 09:17:56 +0200 <maerwald[m]> Then https://github.com/haskell/unix/issues/237
2022-07-21 09:18:09 +0200 <qrpnxz> it goes by locale wow. I suppose that's reasonable
2022-07-21 09:18:20 +0200 <maerwald[m]> Here unix assumes latin-1
2022-07-21 09:18:26 +0200 <maerwald[m]> qrpnxz: no
2022-07-21 09:18:30 +0200 <maerwald[m]> It's the worst
2022-07-21 09:18:53 +0200 <maerwald[m]> Because the escaping technique only works properly for ascii supersets like utf8
2022-07-21 09:19:13 +0200 <maerwald[m]> That's why python enforces utf8
2022-07-21 09:19:59 +0200vglfr(~vglfr@88.155.27.105)
2022-07-21 09:20:01 +0200 <qrpnxz> it's terrible for a filesystem interface, but for FFI i think it's fine. If i have a function that calls a winapi that takes a string that supposed to be like text, then it makes sense. If that FFI is to a function like createdir or something, i should be giving it a signature of ByteString or something, in which case what it does for String is irrelevant because i picked what i should have
2022-07-21 09:20:03 +0200 <qrpnxz> picked, you get me?
2022-07-21 09:20:14 +0200 <maerwald[m]> And if your data is not actually utf8, now you get excessive escaping and nonsensical results... although they roundtrip properly
2022-07-21 09:20:15 +0200 <maerwald[m]> You can't win
2022-07-21 09:21:06 +0200 <qrpnxz> If you picked (badly) String, then this behaviour kind of makes sense for that (bad) choice. Only real solution in that case is to not type that FFI call non-sense (String) and type it with sense (ByteString)
2022-07-21 09:22:02 +0200 <maerwald[m]> qrpnxz: that's what OsPath does (ShortByteString though)
2022-07-21 09:23:00 +0200coot(~coot@213.134.190.95)
2022-07-21 09:23:04 +0200 <qrpnxz> neat-o, around what sizes is shortbytestring worth it?
2022-07-21 09:23:05 +0200 <qrpnxz> do you know?
2022-07-21 09:24:29 +0200michalz(~michalz@185.246.204.93)
2022-07-21 09:24:48 +0200 <maerwald[m]> qrpnxz: size?
2022-07-21 09:24:56 +0200 <maerwald[m]> The name is misleading
2022-07-21 09:25:03 +0200 <maerwald[m]> It's unpinned bytearray
2022-07-21 09:25:28 +0200 <maerwald[m]> So many operations incure a memcpy
2022-07-21 09:25:33 +0200 <qrpnxz> doesn't it also have less overhead
2022-07-21 09:25:52 +0200 <qrpnxz> i guess it's more about what you are going to use it for than how long it is
2022-07-21 09:26:03 +0200 <qrpnxz> where you get the benefit
2022-07-21 09:26:15 +0200 <maerwald[m]> It's good for avoiding memory fragmentation
2022-07-21 09:26:48 +0200 <maerwald[m]> If you have lots of small ByteString's it's gonna be bad for fragmentation
2022-07-21 09:26:48 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-07-21 09:27:05 +0200 <qrpnxz> ahhh yeah i see
2022-07-21 09:29:19 +0200phma_(phma@2001:5b0:210f:5108:fe8e:73c7:f87e:8126)
2022-07-21 09:29:39 +0200ccntrq1(~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9)
2022-07-21 09:29:47 +0200 <maerwald[m]> filepaths have a size limit, so this makes sense
2022-07-21 09:29:55 +0200cfricke(~cfricke@user/cfricke)
2022-07-21 09:30:56 +0200 <qrpnxz> and it's not that big, only a few hundred on linux i think
2022-07-21 09:30:58 +0200phma(~phma@host-67-44-208-242.hnremote.net) (Read error: Connection reset by peer)
2022-07-21 09:31:24 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-07-21 09:31:49 +0200 <qrpnxz> ah SBS was cleaned up as part of this neat. I did notice that recently suddenly you could use SBSs a lot more like just bytestrings now (the module got a bunch of corresponding functions)
2022-07-21 09:32:15 +0200ccntrq(~Thunderbi@dynamic-077-006-013-103.77.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-07-21 09:32:15 +0200ccntrq1ccntrq
2022-07-21 09:33:29 +0200phma_phma
2022-07-21 09:36:28 +0200 <qrpnxz> hasufell good link. Looks like PosixString became bytestring
2022-07-21 09:36:52 +0200 <qrpnxz> tho OsPath is SBS
2022-07-21 09:37:02 +0200 <qrpnxz> but you can convert
2022-07-21 09:37:24 +0200 <qrpnxz> idk the cost of that conversion tho
2022-07-21 09:38:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-21 09:39:13 +0200 <maerwald[m]> qrpnxz: PosixString is also ShortByteString
2022-07-21 09:40:25 +0200 <qrpnxz> mmm, where it says i would find System.Posix.PosixString, i just actually see System.Posix.ByteString, and in there and all other *.ByteString, the type is ByteString not SBS
2022-07-21 09:41:04 +0200 <qrpnxz> type synonym as RawFilePath
2022-07-21 09:43:11 +0200 <maerwald[m]> qrpnxz: what?
2022-07-21 09:43:56 +0200 <maerwald[m]> https://hackage.haskell.org/package/filepath-1.4.100.0/docs/System-OsPath-Types.html#t:PosixPath
2022-07-21 09:44:05 +0200 <qrpnxz> i don't know what to add to that lol
2022-07-21 09:44:14 +0200 <qrpnxz> oh
2022-07-21 09:44:28 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) (Remote host closed the connection)
2022-07-21 09:44:43 +0200fserucas_(~fserucas@246.76.114.89.rev.vodafone.pt)
2022-07-21 09:45:02 +0200 <qrpnxz> well it pointed out unix package, so that's where i go look lol. I mean it even says module System.Posix.PosixString
2022-07-21 09:45:32 +0200 <qrpnxz> which is also not exist in filepath
2022-07-21 09:46:27 +0200 <maerwald[m]> https://github.com/haskell/unix/blob/master/System/Posix/IO/PosixString.hsc#L76
2022-07-21 09:46:38 +0200 <maerwald[m]> Not sure where you see ByteString there
2022-07-21 09:47:12 +0200 <qrpnxz> right there https://hackage.haskell.org/package/unix
2022-07-21 09:47:53 +0200 <maerwald[m]> Aha
2022-07-21 09:47:57 +0200 <qrpnxz> also here in the latest tagged version https://github.com/haskell/unix/tree/v2.7.2.2/System/Posix
2022-07-21 09:48:08 +0200 <maerwald[m]> ByteString is a different API
2022-07-21 09:48:18 +0200 <qrpnxz> so i'm guessing this just hasn't happened yet
2022-07-21 09:48:27 +0200 <maerwald[m]> PosixPath API is not released yet
2022-07-21 09:48:43 +0200 <qrpnxz> ic
2022-07-21 09:48:47 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-07-21 09:48:56 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2022-07-21 09:49:20 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-21 09:51:07 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 09:53:57 +0200 <maerwald[m]> qrpnxz: imo, String API should be removed and ByteString API be the default (except filepaths should use PosixPath)
2022-07-21 09:54:01 +0200 <maerwald[m]> It's insane to have 3 variants
2022-07-21 09:54:36 +0200 <qrpnxz> agree
2022-07-21 09:54:57 +0200 <qrpnxz> i mean, the string api is just wrong basically. That's the real reason to remove
2022-07-21 09:55:07 +0200 <qrpnxz> wrong or more limited than it should be
2022-07-21 09:55:09 +0200 <qrpnxz> and slower
2022-07-21 09:55:16 +0200 <maerwald[m]> Yeah, it works occasionally
2022-07-21 09:55:42 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-21 09:56:26 +0200 <maerwald[m]> I think that's why unix fell into disrepair. There are severeal projects trying to fix it because everyone got frustrated with it and forked
2022-07-21 09:57:50 +0200 <qrpnxz> lol sad
2022-07-21 09:57:53 +0200vglfr(~vglfr@88.155.27.105) (Ping timeout: 272 seconds)
2022-07-21 09:58:40 +0200 <maerwald[m]> https://hackage.haskell.org/package/unix-bytestring
2022-07-21 09:58:40 +0200 <maerwald[m]> https://hackage.haskell.org/package/rawfilepath
2022-07-21 09:58:40 +0200 <maerwald[m]> https://hackage.haskell.org/package/filepath-bytestring
2022-07-21 09:58:57 +0200 <maerwald[m]> Haskell may have the most fragmented ecosystem
2022-07-21 10:01:36 +0200 <qrpnxz> should we add |>, tho. We are totally fragmenting functional programming by not having |> 😁
2022-07-21 10:02:28 +0200 <[exa]> what's |> ? alternative to the right?
2022-07-21 10:03:13 +0200 <[exa]> (as in, |> :: Alternative f => f a -> f b -> f (Maybe b) or so)
2022-07-21 10:05:28 +0200 <maerwald[m]> I'm not going to participate in that dicussion lol
2022-07-21 10:08:03 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-07-21 10:11:13 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu)
2022-07-21 10:12:18 +0200 <qrpnxz> [exa]: joking. Referring to the latest bikeshed in /r/haskell
2022-07-21 10:12:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-07-21 10:14:50 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2022-07-21 10:16:39 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 10:17:04 +0200 <[exa]> oh my. :D okay
2022-07-21 10:21:06 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
2022-07-21 10:23:22 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-21 10:30:17 +0200 <tomsmeding> [exa]: (|>) = (&)
2022-07-21 10:30:36 +0200 <tomsmeding> [1,2,3] |> map succ |> filter even |> print
2022-07-21 10:31:03 +0200 <tomsmeding> This is common style in Elm and probably other languages
2022-07-21 10:31:44 +0200 <tomsmeding> People proposed adding it to base in order to be more consistent (in notation) with other popular functional languages
2022-07-21 10:32:30 +0200 <naso> F#
2022-07-21 10:32:35 +0200 <tomsmeding> Understandably there was pushback
2022-07-21 10:33:14 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-21 10:34:29 +0200 <naso> i quite like this style, especially if there is editor support so if you put each item '|> x' on its own line you get automatic type annotations of each x
2022-07-21 10:35:55 +0200 <naso> (ionide for F# does this iirc)
2022-07-21 10:37:33 +0200 <naso> i didn't say that right.. the type is not of 'x' but of the value up to that point in the pipeline
2022-07-21 10:42:53 +0200 <maerwald[m]> tomsmeding: kowainik uses their own Relude anyway, I don't understand why they care about base
2022-07-21 10:42:55 +0200 <[exa]> this is what we get from not having -XPipeIsOperator
2022-07-21 10:43:43 +0200 <maerwald[m]> I think it's totally fine to expose beginners to an alternative prelude
2022-07-21 10:43:59 +0200 <maerwald[m]> base might be the worst
2022-07-21 10:45:02 +0200 <[exa]> the whole issue can be solved by literally typing "hey if you actually like |>, just put (|>)=(&) at the top of your source!!111" to like 3 or 4 tutorials
2022-07-21 10:48:10 +0200 <qrpnxz> after importing Data.Function because for some reason not everything in that module is already exported
2022-07-21 10:49:18 +0200bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 264 seconds)
2022-07-21 10:49:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 10:50:38 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-07-21 10:50:41 +0200bjobjo(~bjobjo@user/bjobjo)
2022-07-21 10:51:00 +0200 <tomsmeding> TIL that's just (&), fix, on
2022-07-21 10:51:20 +0200 <maerwald[m]> tomsmeding: making proposals to base is the second best way to get burnout
2022-07-21 10:51:29 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-21 10:51:38 +0200 <tomsmeding> I'm not proposing anything lol
2022-07-21 10:52:00 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-07-21 10:52:21 +0200 <tomsmeding> maerwald[m]: https://gitlab.haskell.org/ghc/ghc/-/issues/13028#note_443241
2022-07-21 10:52:32 +0200ccntrq1(~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9)
2022-07-21 10:52:37 +0200ccntrq(~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Read error: Connection reset by peer)
2022-07-21 10:52:37 +0200ccntrq1ccntrq
2022-07-21 10:53:08 +0200 <maerwald[m]> XD
2022-07-21 10:53:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds)
2022-07-21 10:56:05 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-21 10:56:42 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 11:02:29 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds)
2022-07-21 11:04:24 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 11:08:30 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 11:08:32 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-21 11:09:09 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-07-21 11:09:09 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-07-21 11:09:24 +0200__monty__(~toonn@user/toonn)
2022-07-21 11:09:46 +0200jpds2(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-07-21 11:10:41 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 11:11:06 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-21 11:11:48 +0200jpds2(~jpds@gateway/tor-sasl/jpds)
2022-07-21 11:14:06 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-07-21 11:17:05 +0200wolfshappen(~waff@irc.furworks.de) (Quit: later)
2022-07-21 11:17:23 +0200nate4(~nate@98.45.169.16)
2022-07-21 11:17:28 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-21 11:20:12 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 11:22:01 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-07-21 11:24:57 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2022-07-21 11:25:17 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-07-21 11:26:39 +0200aliosablack(~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c)
2022-07-21 11:26:57 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 11:29:02 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 255 seconds)
2022-07-21 11:30:06 +0200coot(~coot@213.134.190.95) (Ping timeout: 268 seconds)
2022-07-21 11:32:49 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 11:33:51 +0200v0d1ch(~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs)
2022-07-21 11:37:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-21 11:39:04 +0200coot(~coot@213.134.190.95)
2022-07-21 11:43:43 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 11:47:59 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 11:54:42 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 11:56:02 +0200stefan-_(~cri@42dots.de) (Ping timeout: 255 seconds)
2022-07-21 12:04:51 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-21 12:06:22 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 12:06:32 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-21 12:10:25 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 12:12:47 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-07-21 12:13:37 +0200yin(~z@user/zero) (Ping timeout: 260 seconds)
2022-07-21 12:19:43 +0200use-value1(~Thunderbi@2a00:23c6:8a03:2f01:210c:cc71:1ed4:625f)
2022-07-21 12:20:38 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2022-07-21 12:21:16 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Ping timeout: 244 seconds)
2022-07-21 12:21:16 +0200use-value1use-value
2022-07-21 12:23:00 +0200cfricke(~cfricke@user/cfricke)
2022-07-21 12:23:41 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 12:25:09 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 12:27:18 +0200mmhat(~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de)
2022-07-21 12:40:48 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-07-21 12:42:11 +0200jespada(~jespada@45.162.228.190) (Ping timeout: 268 seconds)
2022-07-21 12:43:07 +0200mncheck(~mncheck@193.224.205.254)
2022-07-21 12:45:57 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2022-07-21 12:48:55 +0200stefan-_(~cri@42dots.de)
2022-07-21 12:49:29 +0200jespada(~jespada@177.67.80.187)
2022-07-21 12:51:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 12:52:14 +0200lys(sid194105@user/lys)
2022-07-21 12:53:30 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-21 12:53:54 +0200noteness(~noteness@user/noteness)
2022-07-21 12:55:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds)
2022-07-21 12:55:56 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 12:56:22 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 12:57:47 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 12:58:27 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) (Ping timeout: 244 seconds)
2022-07-21 13:11:05 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-21 13:12:06 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 13:12:13 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-07-21 13:14:20 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-07-21 13:17:51 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-07-21 13:25:50 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 13:30:50 +0200iteratee(~kyle@162.218.222.107) (Ping timeout: 240 seconds)
2022-07-21 13:31:49 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:816c:2bf2:33a9:87c2) (Read error: Connection reset by peer)
2022-07-21 13:32:08 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-21 13:32:46 +0200lys(sid194105@user/lys) ()
2022-07-21 13:34:23 +0200noteness(~noteness@user/noteness)
2022-07-21 13:38:27 +0200lys(sid194105@id-194105.uxbridge.irccloud.com)
2022-07-21 13:39:13 +0200lys(sid194105@id-194105.uxbridge.irccloud.com) (Changing host)
2022-07-21 13:39:13 +0200lys(sid194105@user/lys)
2022-07-21 13:51:40 +0200jpds2(~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer)
2022-07-21 13:51:40 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-21 13:51:40 +0200gmg(~user@user/gehmehgeh) (Write error: Connection reset by peer)
2022-07-21 13:51:40 +0200califax(~califax@user/califx) (Write error: Connection reset by peer)
2022-07-21 13:51:40 +0200noteness(~noteness@user/noteness) (Read error: Connection reset by peer)
2022-07-21 13:52:01 +0200califax(~califax@user/califx)
2022-07-21 13:52:33 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 13:52:34 +0200gmg(~user@user/gehmehgeh)
2022-07-21 13:52:41 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-07-21 13:52:56 +0200noteness(~noteness@user/noteness)
2022-07-21 13:55:00 +0200kino-shinkai(~kino-shin@user/kino-shinkai) (Quit: The Lounge - https://thelounge.chat)
2022-07-21 13:55:11 +0200jpds2(~jpds@gateway/tor-sasl/jpds)
2022-07-21 13:58:39 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 13:59:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-21 14:00:07 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 14:00:42 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 14:01:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-21 14:01:09 +0200ccntrq(~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Remote host closed the connection)
2022-07-21 14:01:27 +0200ccntrq(~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9)
2022-07-21 14:01:53 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu)
2022-07-21 14:01:54 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 14:03:03 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-21 14:03:48 +0200use-value1(~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162)
2022-07-21 14:05:04 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Ping timeout: 252 seconds)
2022-07-21 14:05:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-21 14:05:31 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:210c:cc71:1ed4:625f) (Ping timeout: 272 seconds)
2022-07-21 14:05:32 +0200use-value1use-value
2022-07-21 14:06:36 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 14:08:35 +0200Kaipei(~Kaiepi@156.34.47.253)
2022-07-21 14:09:09 +0200lortabac(~lortabac@37.101.76.86)
2022-07-21 14:10:47 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds)
2022-07-21 14:11:26 +0200phma(phma@2001:5b0:210f:5108:fe8e:73c7:f87e:8126) (Read error: Connection reset by peer)
2022-07-21 14:12:14 +0200phma(~phma@host-67-44-208-91.hnremote.net)
2022-07-21 14:12:57 +0200Codex(~terop@91-153-238-204.elisa-laajakaista.fi) (WeeChat 3.5)
2022-07-21 14:15:44 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds))
2022-07-21 14:18:11 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-07-21 14:18:16 +0200frost(~frost@user/frost)
2022-07-21 14:18:21 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2022-07-21 14:19:00 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds)
2022-07-21 14:19:48 +0200mc47(~mc47@xmonad/TheMC47)
2022-07-21 14:19:57 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-21 14:19:58 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2022-07-21 14:19:58 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 14:21:52 +0200winny(~weechat@user/winny)
2022-07-21 14:22:47 +0200jpds2(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-07-21 14:24:19 +0200jpds2(~jpds@gateway/tor-sasl/jpds)
2022-07-21 14:29:10 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 14:32:05 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5)
2022-07-21 14:32:48 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-07-21 14:38:18 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-07-21 14:41:07 +0200ccntrq1(~Thunderbi@exit-1.office.han.de.mhd.medondo.com)
2022-07-21 14:42:26 +0200mbuf(~Shakthi@122.165.55.71) (Ping timeout: 268 seconds)
2022-07-21 14:42:33 +0200ccntrq(~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Ping timeout: 276 seconds)
2022-07-21 14:42:33 +0200ccntrq1ccntrq
2022-07-21 14:43:51 +0200mikoto-chan(~mikoto-ch@85-76-41-116-nat.elisa-mobile.fi)
2022-07-21 14:46:12 +0200jespada(~jespada@177.67.80.187) (Ping timeout: 268 seconds)
2022-07-21 14:50:53 +0200dcoutts(~duncan@host86-167-206-10.range86-167.btcentralplus.com)
2022-07-21 14:51:05 +0200jespada(~jespada@200.123.141.150)
2022-07-21 14:52:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 14:54:42 +0200jpds2jpds
2022-07-21 14:57:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds)
2022-07-21 14:57:53 +0200mbuf(~Shakthi@122.165.55.71)
2022-07-21 14:58:57 +0200jespada(~jespada@200.123.141.150) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-21 15:03:07 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-21 15:04:41 +0200ccntrq(~Thunderbi@exit-1.office.han.de.mhd.medondo.com) (Remote host closed the connection)
2022-07-21 15:05:18 +0200ccntrq(~Thunderbi@2a01:c23:8db8:ab00:ea78:24c8:77af:b28c)
2022-07-21 15:06:01 +0200toluene7(~toluene@user/toulene) (Read error: Connection reset by peer)
2022-07-21 15:06:38 +0200toluene(~toluene@user/toulene)
2022-07-21 15:08:50 +0200ccntrq1(~Thunderbi@2a01:c22:90b9:d900:3ff2:fbed:434e:ee51)
2022-07-21 15:08:54 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-21 15:09:47 +0200ccntrq(~Thunderbi@2a01:c23:8db8:ab00:ea78:24c8:77af:b28c) (Ping timeout: 260 seconds)
2022-07-21 15:09:47 +0200ccntrq1ccntrq
2022-07-21 15:10:50 +0200aliosablack(~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 240 seconds)
2022-07-21 15:11:33 +0200wolfshappen(~waff@irc.furworks.de)
2022-07-21 15:13:53 +0200acidjnk_new(~acidjnk@p5dd87aad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-07-21 15:15:01 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-21 15:17:50 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-21 15:18:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-21 15:18:23 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 15:18:25 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-07-21 15:18:29 +0200nate4(~nate@98.45.169.16)
2022-07-21 15:18:59 +0200califax(~califax@user/califx)
2022-07-21 15:20:27 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 15:21:26 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-21 15:22:51 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-21 15:24:09 +0200nate4(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-07-21 15:26:12 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-21 15:26:41 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-21 15:30:39 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-21 15:31:49 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 15:32:03 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-21 15:32:42 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 15:32:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 15:33:42 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2022-07-21 15:40:35 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2022-07-21 15:43:25 +0200ccntrq1(~Thunderbi@2a01:c22:91b8:db00:c579:b00b:3062:cbc8)
2022-07-21 15:44:12 +0200ccntrq(~Thunderbi@2a01:c22:90b9:d900:3ff2:fbed:434e:ee51) (Ping timeout: 260 seconds)
2022-07-21 15:44:12 +0200ccntrq1ccntrq
2022-07-21 15:46:23 +0200sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds)
2022-07-21 15:58:21 +0200mikoto-chan(~mikoto-ch@85-76-41-116-nat.elisa-mobile.fi) (Ping timeout: 268 seconds)
2022-07-21 16:06:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-21 16:06:43 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-21 16:06:43 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-21 16:07:09 +0200califax(~califax@user/califx)
2022-07-21 16:07:14 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 16:07:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-21 16:08:02 +0200acidjnk_new(~acidjnk@p200300d6e70586758c16d92daa533f1a.dip0.t-ipconnect.de)
2022-07-21 16:09:24 +0200benin0(~benin@183.82.24.82)
2022-07-21 16:10:15 +0200biberu\(~biberu@user/biberu)
2022-07-21 16:10:40 +0200biberu(~biberu@user/biberu) (Ping timeout: 260 seconds)
2022-07-21 16:11:52 +0200biberu\biberu
2022-07-21 16:13:14 +0200v0d1ch(~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) (Quit: Client closed)
2022-07-21 16:18:31 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu)
2022-07-21 16:22:46 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-07-21 16:25:06 +0200benin00(~benin@183.82.24.116)
2022-07-21 16:27:02 +0200renzhi(~xp@2607:fa49:6500:b100::c32e)
2022-07-21 16:27:05 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 16:27:16 +0200benin0(~benin@183.82.24.82) (Ping timeout: 268 seconds)
2022-07-21 16:27:17 +0200benin00benin0
2022-07-21 16:30:22 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 16:30:40 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 16:32:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-21 16:36:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-07-21 16:37:57 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-07-21 16:40:30 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 16:40:47 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 16:47:13 +0200califax_(~califax@user/califx)
2022-07-21 16:47:39 +0200coot(~coot@213.134.190.95) (Ping timeout: 272 seconds)
2022-07-21 16:48:04 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-21 16:48:24 +0200califax_califax
2022-07-21 16:49:22 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection)
2022-07-21 16:51:19 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 16:53:13 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 16:59:55 +0200n8chan(~nate@98.45.169.16)
2022-07-21 17:01:36 +0200lortabac(~lortabac@37.101.76.86) (Quit: WeeChat 2.8)
2022-07-21 17:01:55 +0200neightchan(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-07-21 17:02:10 +0200shriekingnoise(~shrieking@201.212.175.181)
2022-07-21 17:03:13 +0200coot(~coot@213.134.190.95)
2022-07-21 17:03:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 17:05:40 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 17:05:57 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 17:08:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 17:09:52 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 17:10:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 17:12:33 +0200Midjak(~Midjak@82.66.147.146)
2022-07-21 17:12:42 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in)
2022-07-21 17:15:24 +0200mastarija(~mastarija@2a05:4f46:e02:8c00:143f:9462:5d9b:e82e)
2022-07-21 17:16:13 +0200 <mastarija> Can anyone help me understand why I get this overlapping instances error for a simple generic servant server with authentication?
2022-07-21 17:16:34 +0200 <mastarija> Error : https://pastebin.com/r5bY0day
2022-07-21 17:16:48 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net)
2022-07-21 17:16:54 +0200 <mastarija> Code : https://pastebin.com/GvXbmyv5
2022-07-21 17:17:07 +0200Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2022-07-21 17:18:11 +0200 <mastarija> I'm not sure if I'm using the `genericServeTWithContext` correctly, but from what I understand I should be able to use a custom monad and add context with JWT settings
2022-07-21 17:18:33 +0200Midjak(~Midjak@82.66.147.146)
2022-07-21 17:18:43 +0200 <merijn> mastarija: Not an answer, but consider using paste.tomsmeding.com to avoid the atrocious syntax highlighting :p
2022-07-21 17:19:12 +0200 <geekosaur> and to group the error with the code instead of having them be separate
2022-07-21 17:19:12 +0200 <mastarija> Ah.. I will :D
2022-07-21 17:19:49 +0200 <mastarija> geekosaur, wouldn't that create attrocious syntax hilighting in "console output" code?
2022-07-21 17:21:13 +0200 <geekosaur> it doesn't try to highlight everything, andin particular doesn't try to use background colors as part of highlighting (I use a plugin that redirects pastebn urls to the raw equivalents to avoid that but then I also lose line numbers and such
2022-07-21 17:21:15 +0200 <geekosaur> )
2022-07-21 17:21:47 +0200 <mastarija> https://paste.tomsmeding.com/pKpMf0ms
2022-07-21 17:21:50 +0200dschrempf(~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) (Ping timeout: 255 seconds)
2022-07-21 17:21:53 +0200 <mastarija> There we go :D
2022-07-21 17:22:03 +0200 <mastarija> My problems. All in one place.
2022-07-21 17:22:03 +0200 <geekosaur> iirc the worse paste.tomsmeding.com does is highlight uppercase first words in console output mode, which is bearable
2022-07-21 17:22:38 +0200ccntrq1(~Thunderbi@dynamic-077-010-100-182.77.10.pool.telefonica.de)
2022-07-21 17:24:06 +0200ccntrq(~Thunderbi@2a01:c22:91b8:db00:c579:b00b:3062:cbc8) (Ping timeout: 264 seconds)
2022-07-21 17:24:06 +0200ccntrq1ccntrq
2022-07-21 17:24:06 +0200phma(~phma@host-67-44-208-91.hnremote.net) (Read error: Connection reset by peer)
2022-07-21 17:25:31 +0200phma(phma@2001:5b0:2172:d858:ec5c:8ab7:6325:1bc7)
2022-07-21 17:25:37 +0200 <geekosaur> hm, I don't know Servant well enough, but this actually looks somewhat broken because of e.g. the "depends on the instantiation of `'" (why is it empty, ghc?)
2022-07-21 17:25:52 +0200 <mastarija> Yes. I was wondering about that.
2022-07-21 17:26:26 +0200 <geekosaur> also I don't like how the first matching instance has a TypeError constraint, suggesting Servant doesn't like something about it
2022-07-21 17:29:10 +0200 <geekosaur> I do wonder if you need to be more specific about the `ctx`, since that looks like what it's choking on
2022-07-21 17:29:23 +0200 <mastarija> hm.. well, it has a type
2022-07-21 17:29:29 +0200 <mastarija> Don't know what else to give him
2022-07-21 17:29:33 +0200ccntrq1(~Thunderbi@2a01:c22:8db9:ee00:c376:60cb:62d2:aab9)
2022-07-21 17:29:45 +0200 <geekosaur> but is that type specific enough?
2022-07-21 17:31:24 +0200ccntrq(~Thunderbi@dynamic-077-010-100-182.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-07-21 17:31:24 +0200ccntrq1ccntrq
2022-07-21 17:31:30 +0200 <mastarija> I'm looking at auth HasServer instance right now
2022-07-21 17:31:32 +0200vglfr(~vglfr@coupling.penchant.volia.net)
2022-07-21 17:31:42 +0200 <geekosaur> hm, there's a #haskell-servant but it's pretty small. still, might be worth asking there if nobody here can help
2022-07-21 17:31:43 +0200 <mastarija> geekosaur, it seems like I need to add CookieSettings as well
2022-07-21 17:31:57 +0200 <mastarija> But I already had that...
2022-07-21 17:32:01 +0200 <mastarija> I'll try again :D
2022-07-21 17:32:24 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 17:32:26 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-21 17:32:48 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 17:32:53 +0200califax(~califax@user/califx)
2022-07-21 17:34:53 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 244 seconds)
2022-07-21 17:37:30 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds)
2022-07-21 17:37:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 17:39:12 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-21 17:44:08 +0200mikoto-chan(~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi)
2022-07-21 17:46:43 +0200dcoutts_(~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Remote host closed the connection)
2022-07-21 17:46:50 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-07-21 17:46:53 +0200dcoutts_(~duncan@host86-167-206-10.range86-167.btcentralplus.com)
2022-07-21 17:46:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 17:47:01 +0200vglfr(~vglfr@coupling.penchant.volia.net)
2022-07-21 17:47:08 +0200dcoutts__(~duncan@host86-167-206-10.range86-167.btcentralplus.com)
2022-07-21 17:49:52 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 17:50:31 +0200dcoutts(~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 268 seconds)
2022-07-21 17:51:24 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 17:51:33 +0200hosk1(~hosk@90-231-13-185-no3430.tbcn.telia.com)
2022-07-21 17:54:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 272 seconds)
2022-07-21 17:55:05 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-07-21 17:56:04 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 17:57:44 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 18:03:29 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 18:03:47 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 18:04:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-21 18:04:56 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 18:06:44 +0200hays(rootvegeta@fsf/member/hays) (Remote host closed the connection)
2022-07-21 18:06:55 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-21 18:07:02 +0200aliosablack(~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2)
2022-07-21 18:07:14 +0200mbuf(~Shakthi@122.165.55.71) (Quit: Leaving)
2022-07-21 18:08:29 +0200califax(~califax@user/califx) (Ping timeout: 268 seconds)
2022-07-21 18:08:29 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-21 18:09:05 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2022-07-21 18:09:19 +0200califax(~califax@user/califx)
2022-07-21 18:09:27 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 18:10:22 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2022-07-21 18:12:56 +0200johnw(~johnw@2600:1700:cf00:db0:dc35:4fc6:f087:ce5b)
2022-07-21 18:14:09 +0200mikoto-chan(~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Ping timeout: 244 seconds)
2022-07-21 18:17:15 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 18:17:30 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 18:17:41 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-07-21 18:20:45 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-07-21 18:20:55 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-21 18:22:06 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 18:25:18 +0200benin0(~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat)
2022-07-21 18:29:26 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 272 seconds)
2022-07-21 18:30:21 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-21 18:32:04 +0200ccntrq(~Thunderbi@2a01:c22:8db9:ee00:c376:60cb:62d2:aab9) (Remote host closed the connection)
2022-07-21 18:32:13 +0200econo(uid147250@user/econo)
2022-07-21 18:32:20 +0200slack1256(~slack1256@186.11.17.101)
2022-07-21 18:33:23 +0200naso(~naso@193-116-244-197.tpgi.com.au) ()
2022-07-21 18:36:44 +0200mikoto-chan(~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi)
2022-07-21 18:38:58 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 18:39:15 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 18:43:10 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 240 seconds)
2022-07-21 18:44:02 +0200dcoutts(~duncan@host86-150-41-225.range86-150.btcentralplus.com)
2022-07-21 18:45:57 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5)
2022-07-21 18:47:15 +0200dcoutts_(~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 268 seconds)
2022-07-21 18:47:33 +0200dcoutts_(~duncan@host86-150-41-225.range86-150.btcentralplus.com)
2022-07-21 18:48:15 +0200dcoutts__(~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 276 seconds)
2022-07-21 18:52:14 +0200dcoutts__(~duncan@host81-156-211-142.range81-156.btcentralplus.com)
2022-07-21 18:54:16 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2022-07-21 18:54:39 +0200dcoutts_(~duncan@host86-150-41-225.range86-150.btcentralplus.com) (Ping timeout: 268 seconds)
2022-07-21 18:54:46 +0200dcoutts(~duncan@host86-150-41-225.range86-150.btcentralplus.com) (Ping timeout: 272 seconds)
2022-07-21 18:55:39 +0200dcoutts(~duncan@host81-156-211-142.range81-156.btcentralplus.com)
2022-07-21 18:57:17 +0200dcoutts_(~duncan@host81-156-211-142.range81-156.btcentralplus.com)
2022-07-21 18:59:09 +0200 <mastarija> Turns out there was a bug in servant-auth-server where they didn't teach Auth how to go over NamedRoutes
2022-07-21 18:59:31 +0200 <mastarija> I just wrote orphan instances until that's fixed in the next release
2022-07-21 18:59:58 +0200 <mastarija> But the error was soooo cryptic :D
2022-07-21 19:00:12 +0200dcoutts__(~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 268 seconds)
2022-07-21 19:00:36 +0200dcoutts(~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 276 seconds)
2022-07-21 19:01:12 +0200dcoutts(~duncan@host81-156-211-142.range81-156.btcentralplus.com)
2022-07-21 19:01:15 +0200 <geekosaur> that's the big downside of doing type level stuff
2022-07-21 19:01:29 +0200 <geekosaur> the error messages are impenetrable
2022-07-21 19:02:54 +0200dcoutts__(~duncan@host86-153-135-32.range86-153.btcentralplus.com)
2022-07-21 19:05:45 +0200dcoutts_(~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 268 seconds)
2022-07-21 19:06:00 +0200dcoutts__(~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection)
2022-07-21 19:06:01 +0200dcoutts_(~duncan@host86-153-135-32.range86-153.btcentralplus.com)
2022-07-21 19:06:22 +0200dcoutts__(~duncan@host86-153-135-32.range86-153.btcentralplus.com)
2022-07-21 19:06:27 +0200dcoutts(~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 276 seconds)
2022-07-21 19:06:39 +0200mikoto-chan(~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-07-21 19:06:58 +0200mastarija(~mastarija@2a05:4f46:e02:8c00:143f:9462:5d9b:e82e) (Quit: Leaving)
2022-07-21 19:09:27 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-21 19:10:08 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-07-21 19:10:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 19:11:01 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 19:12:02 +0200mikoto-chan(~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi)
2022-07-21 19:13:27 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-21 19:13:46 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 19:15:29 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 19:16:33 +0200jao(~jao@92.233.85.247)
2022-07-21 19:16:56 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-21 19:18:14 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 19:18:40 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 19:20:02 +0200nate4(~nate@98.45.169.16)
2022-07-21 19:21:14 +0200aliosablack(~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) (Ping timeout: 268 seconds)
2022-07-21 19:22:21 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-21 19:23:30 +0200mikoto-chan(~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Ping timeout: 264 seconds)
2022-07-21 19:25:08 +0200nate4(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2022-07-21 19:30:05 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-21 19:31:16 +0200coot(~coot@213.134.190.95)
2022-07-21 19:38:41 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-21 19:42:29 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 19:42:46 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 19:43:33 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 19:43:50 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-07-21 19:47:44 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 19:48:01 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 19:50:03 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-21 19:52:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 19:55:48 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 19:56:05 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 19:57:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 268 seconds)
2022-07-21 20:02:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 264 seconds)
2022-07-21 20:03:55 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 20:06:52 +0200indigo_ibs(~user@95.146.83.181)
2022-07-21 20:11:12 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-07-21 20:12:26 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-21 20:12:32 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds)
2022-07-21 20:13:07 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-21 20:13:08 +0200gmg(~user@user/gehmehgeh)
2022-07-21 20:14:14 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-21 20:14:32 +0200indigo_i`(~user@95.146.83.181)
2022-07-21 20:14:46 +0200 <qrpnxz> omg, why is pastebin haskell highlighting so bad?!
2022-07-21 20:16:56 +0200indigo_ibs(~user@95.146.83.181) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 28.1))
2022-07-21 20:17:22 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-07-21 20:17:23 +0200 <yushyin> maybe try the paste service that is mentioned in the topic
2022-07-21 20:18:02 +0200indigo_i`(~user@95.146.83.181) ()
2022-07-21 20:18:22 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-21 20:18:26 +0200indigo_i`(~user@95.146.83.181)
2022-07-21 20:21:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-21 20:25:20 +0200 <qrpnxz> yes, i'm commenting on earlier convo
2022-07-21 20:25:40 +0200 <qrpnxz> i thought it would be subtly bad, and i click and it's just absolutely horrendous
2022-07-21 20:26:10 +0200hosk1goober
2022-07-21 20:26:11 +0200 <yushyin> ah
2022-07-21 20:26:13 +0200Polo(~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-21 20:26:20 +0200Polo(~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host)
2022-07-21 20:26:20 +0200Polo(~Gambino@user/polo)
2022-07-21 20:29:05 +0200Pickchea(~private@user/pickchea)
2022-07-21 20:31:25 +0200v0d1ch(~v0d1ch@87.116.177.10)
2022-07-21 20:32:43 +0200JoeBloggs7003141(~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-21 20:32:47 +0200winny(~weechat@user/winny) (Ping timeout: 268 seconds)
2022-07-21 20:32:59 +0200tafa(~tafa@user/tafa) (Quit: ZNC - https://znc.in)
2022-07-21 20:35:14 +0200tafa(~tafa@user/tafa)
2022-07-21 20:35:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 20:36:58 +0200v0d1ch(~v0d1ch@87.116.177.10) (Quit: Client closed)
2022-07-21 20:37:16 +0200winny(~weechat@user/winny)
2022-07-21 20:38:38 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 272 seconds)
2022-07-21 20:39:16 +0200Polomoney
2022-07-21 20:39:16 +0200money(~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-21 20:40:49 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-07-21 20:43:55 +0200SamBellamy(~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-21 20:47:36 +0200Pickchea(~private@user/pickchea) (Ping timeout: 244 seconds)
2022-07-21 20:50:57 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-21 20:51:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 20:54:37 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-21 20:54:50 +0200[exa](exa@user/exa/x-3587197) (Ping timeout: 244 seconds)
2022-07-21 20:55:59 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-21 21:00:19 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-07-21 21:00:43 +0200[exa](exa@srv3.blesmrt.net)
2022-07-21 21:00:57 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-21 21:02:23 +0200winny(~weechat@user/winny) (Ping timeout: 268 seconds)
2022-07-21 21:02:53 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-07-21 21:03:17 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-21 21:03:18 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-21 21:03:18 +0200wroathe(~wroathe@user/wroathe)
2022-07-21 21:04:01 +0200winny(~weechat@user/winny)
2022-07-21 21:14:06 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 21:18:32 +0200acidjnk_new(~acidjnk@p200300d6e70586758c16d92daa533f1a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-07-21 21:19:54 +0200kenran(~kenran@200116b82ba6d2009f9246aa765d6807.dip.versatel-1u1.de)
2022-07-21 21:24:36 +0200Digit(~user@user/digit)
2022-07-21 21:26:03 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 21:29:37 +0200acidjnk_new(~acidjnk@p200300d6e705867599c6c88ced65ac2d.dip0.t-ipconnect.de)
2022-07-21 21:30:36 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 21:32:50 +0200h_(rootvegeta@fsf/member/hays)
2022-07-21 21:33:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-21 21:33:43 +0200h_(rootvegeta@fsf/member/hays) (Client Quit)
2022-07-21 21:34:31 +0200jespada(~jespada@190.7.36.46)
2022-07-21 21:37:17 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:10dd:cdb6:6796:296b)
2022-07-21 21:41:11 +0200h_(rootvegeta@fsf/member/hays)
2022-07-21 21:46:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 21:46:26 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2022-07-21 21:47:36 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 21:48:43 +0200h_(rootvegeta@fsf/member/hays) ()
2022-07-21 21:49:07 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-21 21:49:15 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-21 21:49:17 +0200h_(rootvegeta@fsf/member/hays)
2022-07-21 21:51:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-21 21:51:27 +0200h_(rootvegeta@fsf/member/hays) (Client Quit)
2022-07-21 21:51:38 +0200h_(rootvegeta@fsf/member/hays)
2022-07-21 21:51:49 +0200h_(rootvegeta@fsf/member/hays) (Client Quit)
2022-07-21 21:52:01 +0200h_(rootvegeta@fsf/member/hays)
2022-07-21 21:52:03 +0200h_(rootvegeta@fsf/member/hays) (Client Quit)
2022-07-21 21:52:15 +0200h_(rootvegeta@fsf/member/hays)
2022-07-21 21:52:57 +0200h_(rootvegeta@fsf/member/hays) (Client Quit)
2022-07-21 21:53:18 +0200king_gs(~Thunderbi@2806:103e:29:a1b3:33ad:6e9f:99f9:1be7)
2022-07-21 21:54:22 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-21 21:55:13 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-21 21:56:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 21:57:53 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-07-21 21:57:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-21 21:57:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-07-21 21:58:26 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-07-21 21:58:47 +0200aliosablack(~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2)
2022-07-21 21:59:39 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-21 21:59:58 +0200gmg(~user@user/gehmehgeh)
2022-07-21 22:00:56 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-21 22:00:57 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-21 22:02:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-21 22:06:55 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 22:08:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 22:08:23 +0200fserucas_(~fserucas@246.76.114.89.rev.vodafone.pt) (Quit: Leaving)
2022-07-21 22:09:16 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 22:09:52 +0200coot(~coot@213.134.190.95)
2022-07-21 22:11:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 22:11:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 22:14:12 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-21 22:15:05 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-21 22:20:04 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-21 22:23:25 +0200kenran(~kenran@200116b82ba6d2009f9246aa765d6807.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-07-21 22:26:26 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-21 22:27:19 +0200winny(~weechat@user/winny)
2022-07-21 22:27:21 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-21 22:28:04 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-21 22:28:44 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-21 22:29:34 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-07-21 22:32:05 +0200quarkyalice(~quarkyali@user/quarkyalice) (Client Quit)
2022-07-21 22:33:05 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-21 22:33:48 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 22:38:13 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-21 22:40:18 +0200king_gs(~Thunderbi@2806:103e:29:a1b3:33ad:6e9f:99f9:1be7) (Quit: king_gs)
2022-07-21 22:41:02 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-21 22:41:04 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-21 22:41:16 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 244 seconds)
2022-07-21 22:41:43 +0200gmg(~user@user/gehmehgeh)
2022-07-21 22:42:27 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-07-21 22:42:42 +0200yin(~yin@user/zero)
2022-07-21 22:44:28 +0200michalz(~michalz@185.246.204.93) (Remote host closed the connection)
2022-07-21 22:44:46 +0200 <tomsmeding> qrpnxz: which paste are you looking at and what's bad about it?
2022-07-21 22:44:46 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 22:45:30 +0200 <tomsmeding> Oh you mean the pastebin.com thing, yes I was surprised as well lol
2022-07-21 22:46:15 +0200 <tomsmeding> It doesn't understand DataKinds, and it does this super annoying thing of highlighting strings with a background colour
2022-07-21 22:46:22 +0200 <tomsmeding> I don't know who thinks that is useful
2022-07-21 22:46:54 +0200gleostocha(~runic@c-73-15-32-211.hsd1.ca.comcast.net)
2022-07-21 22:46:55 +0200 <geekosaur> there is, thankfully, an extension for chrome/chromium that redirects all pastebin.com urls to /raw/
2022-07-21 22:47:25 +0200 <geekosaur> the existence of which proves that it's not just haskell and not just us 🙂
2022-07-21 22:48:01 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-07-21 22:49:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-21 22:49:53 +0200qrpnxz(~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 255 seconds)
2022-07-21 22:51:21 +0200aliosablack(~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) (Ping timeout: 276 seconds)
2022-07-21 22:51:43 +0200qrpnxz(~qrpnxz@fsf/member/qrpnxz)
2022-07-21 22:53:55 +0200gleostocha(~runic@c-73-15-32-211.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2022-07-21 22:54:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e)
2022-07-21 22:55:29 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-21 22:55:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-21 22:57:13 +0200 <tomsmeding> Lol mastarija's error has << The choice depends on the instantiation of ‘’ >> which has got to be the most helpful hint ever
2022-07-21 22:57:51 +0200 <Rembane> GHC is ashamed! :D
2022-07-21 22:58:02 +0200gleostocha(~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net)
2022-07-21 22:58:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds)
2022-07-21 23:00:04 +0200 <geekosaur> wonder what it takes to get that added to @ghc
2022-07-21 23:06:52 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 268 seconds)
2022-07-21 23:07:16 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-21 23:08:04 +0200gehmehgeh(~user@user/gehmehgeh)
2022-07-21 23:09:24 +0200notzmv(~zmv@user/notzmv)
2022-07-21 23:10:02 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-07-21 23:10:12 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-21 23:11:24 +0200funkyindieeee1(~funkyindi@user/funkyindieeee1)
2022-07-21 23:15:35 +0200 <yin> how do vty and ansi-terminal compare?
2022-07-21 23:16:53 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-21 23:16:54 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-21 23:16:54 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-21 23:19:53 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-07-21 23:21:20 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-21 23:21:22 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-21 23:21:23 +0200gleostocha(~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-07-21 23:21:33 +0200nate4(~nate@98.45.169.16)
2022-07-21 23:21:36 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-21 23:22:29 +0200 <geekosaur> ansi-terminal is even lower level than vty, it provides functions abstracting the raw escape sequences but you have to put them together yourself. vty puts them together to provide a low level UI. brick uses that to assemble a higher level UI
2022-07-21 23:23:11 +0200 <geekosaur> and vty is built atop ansi-terminal (see its dependencies on hackage)
2022-07-21 23:25:00 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) (Remote host closed the connection)
2022-07-21 23:25:17 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162)
2022-07-21 23:26:36 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-07-21 23:31:49 +0200Digit(~user@user/digit) (Remote host closed the connection)
2022-07-21 23:33:36 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-07-21 23:35:01 +0200 <yin> hm... now i'm looking at ansi-terminal-game
2022-07-21 23:35:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-21 23:35:52 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
2022-07-21 23:36:49 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-21 23:37:26 +0200zzz(~yin@user/zero)
2022-07-21 23:37:32 +0200gehmehgeh(~user@user/gehmehgeh)
2022-07-21 23:40:44 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2022-07-21 23:47:09 +0200slack3106(~slack1256@191.126.99.209)
2022-07-21 23:49:10 +0200slack1256(~slack1256@186.11.17.101) (Ping timeout: 240 seconds)
2022-07-21 23:53:07 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-21 23:53:36 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-21 23:53:59 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-21 23:57:09 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)