| 2022-07-21 00:00:09 +0200 | winny | (~weechat@user/winny) (Write error: Connection reset by peer) |
| 2022-07-21 00:00:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 00:00:09 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-21 00:00:33 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 00:00:45 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-21 00:00:55 +0200 | winny | (~weechat@user/winny) |
| 2022-07-21 00:02:17 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-21 00:03:17 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-21 00:07:26 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 00:07:43 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 00:08:57 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-07-21 00:10:15 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-21 00:10:25 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-21 00:11:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-07-21 00:12:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 00:14:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-21 00:15:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-21 00:18:41 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-21 00:20:20 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-21 00:20:48 +0200 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) |
| 2022-07-21 00:20:55 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-21 00:24:40 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 00:24:57 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 00:25:13 +0200 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-21 00:26:31 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-21 00:27:56 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) |
| 2022-07-21 00:30:03 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-21 00:31:43 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 00:32:00 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 00:34:39 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-21 00:35:46 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-21 00:35:53 +0200 | talismanick | (~talismani@campus-043-126.ucdavis.edu) |
| 2022-07-21 00:36:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-21 00:36:07 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Ping timeout: 272 seconds) |
| 2022-07-21 00:36:17 +0200 | talismanick | Guest7482 |
| 2022-07-21 00:39:30 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Ping timeout: 240 seconds) |
| 2022-07-21 00:40:45 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-21 00:43:10 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-21 00:45:30 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds) |
| 2022-07-21 00:47:54 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-07-21 00:48:19 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Client Quit) |
| 2022-07-21 00:48:46 +0200 | Guest7482 | (~talismani@campus-043-126.ucdavis.edu) (Ping timeout: 268 seconds) |
| 2022-07-21 00:48:55 +0200 | dcoutts | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-07-21 00:50:36 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 00:50:36 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-07-21 00:50:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 00:50:53 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 00:51:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 00:57:42 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 00:57:49 +0200 | kaskal- | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-21 00:57:59 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 00:58:44 +0200 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Ping timeout: 272 seconds) |
| 2022-07-21 01:00:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-21 01:02:32 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 01:02:49 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 01:04:37 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) |
| 2022-07-21 01:09:04 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Ping timeout: 244 seconds) |
| 2022-07-21 01:10:03 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:ce0a:91e7:ff12:4713) (Ping timeout: 276 seconds) |
| 2022-07-21 01:10:22 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-21 01:10:30 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-21 01:14:32 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-07-21 01:14:37 +0200 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2022-07-21 01:14:55 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) (Read error: Connection reset by peer) |
| 2022-07-21 01:15:01 +0200 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) |
| 2022-07-21 01:16:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-21 01:16:28 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 01:18:51 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 01:19:09 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 01:23:42 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 01:23:59 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 01:27:44 +0200 | afnan | (~afnan@45-22-121-40.lightspeed.cicril.sbcglobal.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-07-21 01:28:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 01:28:51 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Remote host closed the connection) |
| 2022-07-21 01:29:09 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) |
| 2022-07-21 01:30:49 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 01:31:06 +0200 | JoeBloggs7003141 | (~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 +0200 | albet70 | (~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 +0200 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 244 seconds) |
| 2022-07-21 01:36:59 +0200 | Alex_test | (~al_test@178.34.160.206) (Ping timeout: 244 seconds) |
| 2022-07-21 01:37:20 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) |
| 2022-07-21 01:38:39 +0200 | AlexNoo | (~AlexNoo@178.34.160.206) (Ping timeout: 276 seconds) |
| 2022-07-21 01:39:10 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-21 01:41:59 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-21 01:41:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-07-21 01:42:09 +0200 | AlexNoo | (~AlexNoo@178.34.160.206) |
| 2022-07-21 01:42:16 +0200 | Alex_test | (~al_test@178.34.160.206) |
| 2022-07-21 01:42:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-21 01:42:29 +0200 | AlexZenon | (~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 +0200 | mvk | (~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 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 01:51:22 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 01:51:25 +0200 | merijn | (~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 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 01:58:27 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 02:02:45 +0200 | slack1256 | (~slack1256@186.11.18.101) (Remote host closed the connection) |
| 2022-07-21 02:02:53 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-07-21 02:02:59 +0200 | slack1256 | (~slack1256@186.11.18.101) |
| 2022-07-21 02:05:08 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 02:05:25 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 02:08:33 +0200 | pavonia_ | (~user@user/siracusa) |
| 2022-07-21 02:09:50 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 2022-07-21 02:09:51 +0200 | pavonia_ | pavonia |
| 2022-07-21 02:10:01 +0200 | infinity0 | (~infinity0@185.112.146.113) (Remote host closed the connection) |
| 2022-07-21 02:12:19 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 02:12:37 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 02:14:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-21 02:14:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-21 02:14:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-21 02:16:39 +0200 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-07-21 02:19:26 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 02:19:43 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 02:22:54 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-07-21 02:25:32 +0200 | FinnElija | (~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 +0200 | albet70 | (~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 +0200 | Colere | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:604b:7f6a:615b:55d0) (Ping timeout: 244 seconds) |
| 2022-07-21 02:35:23 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 02:35:40 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 02:35:59 +0200 | albet70 | (~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 +0200 | kaskal- | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2022-07-21 02:41:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-21 02:41:20 +0200 | kaskal | (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) |
| 2022-07-21 02:41:43 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 02:42:33 +0200 | pavonia_ | (~user@user/siracusa) |
| 2022-07-21 02:43:26 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-07-21 02:43:55 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 2022-07-21 02:44:14 +0200 | pavonia_ | pavonia |
| 2022-07-21 02:44:39 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-07-21 02:46:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-21 02:46:35 +0200 | Guest21 | (~Guest21@2a00:102a:4004:22de:50f7:a1a8:e044:4014) |
| 2022-07-21 02:47:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 02:47:49 +0200 | toluene6 | (~toluene@user/toulene) |
| 2022-07-21 02:47:56 +0200 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-21 02:47:56 +0200 | toluene6 | toluene |
| 2022-07-21 02:49:10 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-07-21 02:51:12 +0200 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) |
| 2022-07-21 02:53:54 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 02:58:10 +0200 | Guest21 | (~Guest21@2a00:102a:4004:22de:50f7:a1a8:e044:4014) (Quit: Client closed) |
| 2022-07-21 03:02:47 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-07-21 03:07:00 +0200 | nek0 | (~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 +0200 | cheater | (~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 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-21 03:13:22 +0200 | winny | (~weechat@user/winny) |
| 2022-07-21 03:16:55 +0200 | cheater | (~Username@user/cheater) |
| 2022-07-21 03:16:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-07-21 03:17:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-07-21 03:21:18 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-21 03:22:49 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-21 03:25:17 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-21 03:33:27 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds) |
| 2022-07-21 03:46:10 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-07-21 03:48:17 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-21 03:53:00 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-21 03:53:34 +0200 | mvk | (~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 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-21 04:01:05 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-21 04:03:12 +0200 | zaquest | (~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 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-21 04:06:23 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-21 04:12:57 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-21 04:15:25 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-21 04:16:18 +0200 | Kevin578 | (~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 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 04:17:31 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 04:30:05 +0200 | cyphase_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 +0200 | FinnElija | (~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 +0200 | cyphase | (~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 +0200 | toluene | (~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 +0200 | toluene | (~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 +0200 | notzmv | (~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 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-21 04:48:23 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 04:49:38 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-07-21 04:51:03 +0200 | slack1256 | (~slack1256@186.11.18.101) (Ping timeout: 268 seconds) |
| 2022-07-21 04:52:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-21 04:54:04 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-21 04:54:35 +0200 | td_ | (~td@muedsl-82-207-238-080.citykom.de) (Ping timeout: 260 seconds) |
| 2022-07-21 04:56:21 +0200 | td_ | (~td@muedsl-82-207-238-040.citykom.de) |
| 2022-07-21 04:56:31 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-21 05:01:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-21 05:05:21 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
| 2022-07-21 05:05:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-21 05:09:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 05:10:03 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-07-21 05:12:58 +0200 | matthewmosior | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 05:18:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 05:19:02 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-07-21 05:20:22 +0200 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Remote host closed the connection) |
| 2022-07-21 05:22:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-21 05:23:28 +0200 | gleostocha | (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-07-21 05:24:58 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-21 05:30:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 05:32:59 +0200 | foul_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 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Quit: WeeChat 3.6) |
| 2022-07-21 05:46:45 +0200 | foul_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 +0200 | merijn | (~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 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Remote host closed the connection) |
| 2022-07-21 05:59:17 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) |
| 2022-07-21 06:04:26 +0200 | toluene | (~toluene@user/toulene) (Ping timeout: 268 seconds) |
| 2022-07-21 06:05:03 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 268 seconds) |
| 2022-07-21 06:06:17 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-21 06:06:28 +0200 | toluene | (~toluene@user/toulene) |
| 2022-07-21 06:07:02 +0200 | zebrag | (~chris@user/zebrag) (Client Quit) |
| 2022-07-21 06:11:55 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-21 06:16:09 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-07-21 06:18:02 +0200 | bajskorfven00 | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2022-07-21 06:23:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-21 06:23:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 06:32:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 06:35:03 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-21 06:39:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 06:44:05 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2022-07-21 06:44:30 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-21 06:47:08 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-21 07:01:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-07-21 07:01:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 07:02:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 07:06:37 +0200 | matthewmosior | (~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 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 07:19:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 07:31:10 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 07:33:32 +0200 | ccntrq | (~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 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds) |
| 2022-07-21 07:44:04 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2022-07-21 07:44:59 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 07:45:14 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 07:46:53 +0200 | john | (~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 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-21 07:52:58 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-21 08:02:08 +0200 | john | (~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 +0200 | TMA | (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 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 08:17:13 +0200 | Sgeo | (~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 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) |
| 2022-07-21 08:22:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 08:24:08 +0200 | chomwitt | (~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 +0200 | gmg | (~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 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-21 08:33:41 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-21 08:35:11 +0200 | matthewmosior | (~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 +0200 | acidjnk_new | (~acidjnk@p5dd87aad.dip0.t-ipconnect.de) |
| 2022-07-21 08:39:59 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-e5e0-6cbe-f350-bd2b.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-21 08:40:39 +0200 | takuan | (~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 +0200 | merijn | (~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 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-21 08:51:00 +0200 | naso | (~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 +0200 | naso | (~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 +0200 | naso | (~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 +0200 | toluene | (~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 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-07-21 08:58:29 +0200 | toluene7 | (~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 +0200 | ChaiTRex | (~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 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-21 09:00:30 +0200 | eggplantade | (~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 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2022-07-21 09:01:29 +0200 | eggplantade | (~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 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-21 09:03:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-21 09:05:14 +0200 | Vajb | (~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 +0200 | Vajb | (~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 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-21 09:06:57 +0200 | Kaiepi | (~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 +0200 | chele | (~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 +0200 | ccntrq | (~Thunderbi@2a01:c22:88a1:0:3616:e744:87c3:802a) (Quit: ccntrq) |
| 2022-07-21 09:12:15 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-013-103.77.6.pool.telefonica.de) |
| 2022-07-21 09:12:16 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-07-21 09:12:20 +0200 | cods | (~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 +0200 | cods | (~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 +0200 | alternateved | (~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 +0200 | naso | (~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 +0200 | vglfr | (~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 +0200 | coot | (~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 +0200 | michalz | (~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 +0200 | gdown | (~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 +0200 | phma_ | (phma@2001:5b0:210f:5108:fe8e:73c7:f87e:8126) |
| 2022-07-21 09:29:39 +0200 | ccntrq1 | (~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 +0200 | cfricke | (~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 +0200 | phma | (~phma@host-67-44-208-242.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-21 09:31:24 +0200 | tzh | (~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 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-013-103.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-07-21 09:32:15 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 09:33:29 +0200 | phma_ | 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 +0200 | matthewmosior | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) (Remote host closed the connection) |
| 2022-07-21 09:44:43 +0200 | fserucas_ | (~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 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-07-21 09:48:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2022-07-21 09:49:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-21 09:51:07 +0200 | matthewmosior | (~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 +0200 | machinedgod | (~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 +0200 | vglfr | (~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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-21 10:11:13 +0200 | dschrempf | (~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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-07-21 10:14:50 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-07-21 10:16:39 +0200 | mon_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 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-07-21 10:23:22 +0200 | christiansen | (~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 +0200 | gurkenglas | (~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 +0200 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 264 seconds) |
| 2022-07-21 10:49:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 10:50:38 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-21 10:50:41 +0200 | bjobjo | (~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 +0200 | alternateved | (~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 +0200 | shriekingnoise | (~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 +0200 | ccntrq1 | (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) |
| 2022-07-21 10:52:37 +0200 | ccntrq | (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Read error: Connection reset by peer) |
| 2022-07-21 10:52:37 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 10:53:08 +0200 | <maerwald[m]> | XD |
| 2022-07-21 10:53:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-21 10:56:05 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-21 10:56:42 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 11:02:29 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2022-07-21 11:04:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 11:08:30 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 11:08:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-21 11:09:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-21 11:09:09 +0200 | stiell | (~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 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-21 11:10:41 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 11:11:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-21 11:11:48 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-21 11:14:06 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-07-21 11:17:05 +0200 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-07-21 11:17:23 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-21 11:17:28 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-21 11:20:12 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 11:22:01 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-21 11:24:57 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-07-21 11:25:17 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-21 11:26:39 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) |
| 2022-07-21 11:26:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 11:29:02 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 255 seconds) |
| 2022-07-21 11:30:06 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 268 seconds) |
| 2022-07-21 11:32:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 11:33:51 +0200 | v0d1ch | (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) |
| 2022-07-21 11:37:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-21 11:39:04 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-21 11:43:43 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 11:47:59 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 11:54:42 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 11:56:02 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 255 seconds) |
| 2022-07-21 12:04:51 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-21 12:06:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 12:06:32 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-21 12:10:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 12:12:47 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-07-21 12:13:37 +0200 | yin | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2022-07-21 12:19:43 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:210c:cc71:1ed4:625f) |
| 2022-07-21 12:20:38 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-07-21 12:21:16 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Ping timeout: 244 seconds) |
| 2022-07-21 12:21:16 +0200 | use-value1 | use-value |
| 2022-07-21 12:23:00 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-21 12:23:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 12:25:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 12:27:18 +0200 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-21 12:40:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-21 12:42:11 +0200 | jespada | (~jespada@45.162.228.190) (Ping timeout: 268 seconds) |
| 2022-07-21 12:43:07 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-21 12:45:57 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2022-07-21 12:48:55 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-07-21 12:49:29 +0200 | jespada | (~jespada@177.67.80.187) |
| 2022-07-21 12:51:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 12:52:14 +0200 | lys | (sid194105@user/lys) |
| 2022-07-21 12:53:30 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-21 12:53:54 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-21 12:55:21 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-21 12:55:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 12:56:22 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 12:57:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 12:58:27 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-4d3d-ba11-3857-5d63.pool6.digikabel.hu) (Ping timeout: 244 seconds) |
| 2022-07-21 13:11:05 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-21 13:12:06 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 13:12:13 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-07-21 13:14:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-21 13:17:51 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-07-21 13:25:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 13:30:50 +0200 | iteratee | (~kyle@162.218.222.107) (Ping timeout: 240 seconds) |
| 2022-07-21 13:31:49 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:816c:2bf2:33a9:87c2) (Read error: Connection reset by peer) |
| 2022-07-21 13:32:08 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-21 13:32:46 +0200 | lys | (sid194105@user/lys) () |
| 2022-07-21 13:34:23 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-21 13:38:27 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
| 2022-07-21 13:39:13 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Changing host) |
| 2022-07-21 13:39:13 +0200 | lys | (sid194105@user/lys) |
| 2022-07-21 13:51:40 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2022-07-21 13:51:40 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-21 13:51:40 +0200 | gmg | (~user@user/gehmehgeh) (Write error: Connection reset by peer) |
| 2022-07-21 13:51:40 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-07-21 13:51:40 +0200 | noteness | (~noteness@user/noteness) (Read error: Connection reset by peer) |
| 2022-07-21 13:52:01 +0200 | califax | (~califax@user/califx) |
| 2022-07-21 13:52:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 13:52:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-21 13:52:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-21 13:52:56 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-21 13:55:00 +0200 | kino-shinkai | (~kino-shin@user/kino-shinkai) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 13:55:11 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-21 13:58:39 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 13:59:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-21 14:00:07 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 14:00:42 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 14:01:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-21 14:01:09 +0200 | ccntrq | (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Remote host closed the connection) |
| 2022-07-21 14:01:27 +0200 | ccntrq | (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) |
| 2022-07-21 14:01:53 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) |
| 2022-07-21 14:01:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 14:03:03 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-21 14:03:48 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) |
| 2022-07-21 14:05:04 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-21 14:05:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-21 14:05:31 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:210c:cc71:1ed4:625f) (Ping timeout: 272 seconds) |
| 2022-07-21 14:05:32 +0200 | use-value1 | use-value |
| 2022-07-21 14:06:36 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 14:08:35 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-07-21 14:09:09 +0200 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-21 14:10:47 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds) |
| 2022-07-21 14:11:26 +0200 | phma | (phma@2001:5b0:210f:5108:fe8e:73c7:f87e:8126) (Read error: Connection reset by peer) |
| 2022-07-21 14:12:14 +0200 | phma | (~phma@host-67-44-208-91.hnremote.net) |
| 2022-07-21 14:12:57 +0200 | Codex | (~terop@91-153-238-204.elisa-laajakaista.fi) (WeeChat 3.5) |
| 2022-07-21 14:15:44 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2022-07-21 14:18:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-21 14:18:16 +0200 | frost | (~frost@user/frost) |
| 2022-07-21 14:18:21 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-07-21 14:19:00 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds) |
| 2022-07-21 14:19:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-21 14:19:57 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-21 14:19:58 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-3e27-23b2-a101-5a33.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-07-21 14:19:58 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 14:21:52 +0200 | winny | (~weechat@user/winny) |
| 2022-07-21 14:22:47 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-21 14:24:19 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-21 14:29:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 14:32:05 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5) |
| 2022-07-21 14:32:48 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-07-21 14:38:18 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-07-21 14:41:07 +0200 | ccntrq1 | (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) |
| 2022-07-21 14:42:26 +0200 | mbuf | (~Shakthi@122.165.55.71) (Ping timeout: 268 seconds) |
| 2022-07-21 14:42:33 +0200 | ccntrq | (~Thunderbi@2a01:c22:88a1:0:ed28:7d3:5f9c:fcb9) (Ping timeout: 276 seconds) |
| 2022-07-21 14:42:33 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 14:43:51 +0200 | mikoto-chan | (~mikoto-ch@85-76-41-116-nat.elisa-mobile.fi) |
| 2022-07-21 14:46:12 +0200 | jespada | (~jespada@177.67.80.187) (Ping timeout: 268 seconds) |
| 2022-07-21 14:50:53 +0200 | dcoutts | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 2022-07-21 14:51:05 +0200 | jespada | (~jespada@200.123.141.150) |
| 2022-07-21 14:52:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 14:54:42 +0200 | jpds2 | jpds |
| 2022-07-21 14:57:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds) |
| 2022-07-21 14:57:53 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-21 14:58:57 +0200 | jespada | (~jespada@200.123.141.150) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-21 15:03:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-21 15:04:41 +0200 | ccntrq | (~Thunderbi@exit-1.office.han.de.mhd.medondo.com) (Remote host closed the connection) |
| 2022-07-21 15:05:18 +0200 | ccntrq | (~Thunderbi@2a01:c23:8db8:ab00:ea78:24c8:77af:b28c) |
| 2022-07-21 15:06:01 +0200 | toluene7 | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-21 15:06:38 +0200 | toluene | (~toluene@user/toulene) |
| 2022-07-21 15:08:50 +0200 | ccntrq1 | (~Thunderbi@2a01:c22:90b9:d900:3ff2:fbed:434e:ee51) |
| 2022-07-21 15:08:54 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-21 15:09:47 +0200 | ccntrq | (~Thunderbi@2a01:c23:8db8:ab00:ea78:24c8:77af:b28c) (Ping timeout: 260 seconds) |
| 2022-07-21 15:09:47 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 15:10:50 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:57c7:596d:8744:7d7c) (Ping timeout: 240 seconds) |
| 2022-07-21 15:11:33 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-07-21 15:13:53 +0200 | acidjnk_new | (~acidjnk@p5dd87aad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-07-21 15:15:01 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-21 15:17:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-21 15:18:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-07-21 15:18:23 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 15:18:25 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-07-21 15:18:29 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-21 15:18:59 +0200 | califax | (~califax@user/califx) |
| 2022-07-21 15:20:27 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 15:21:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-21 15:22:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-21 15:24:09 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-21 15:26:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-21 15:26:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-21 15:30:39 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-21 15:31:49 +0200 | mon_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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 15:32:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 15:33:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2022-07-21 15:40:35 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2022-07-21 15:43:25 +0200 | ccntrq1 | (~Thunderbi@2a01:c22:91b8:db00:c579:b00b:3062:cbc8) |
| 2022-07-21 15:44:12 +0200 | ccntrq | (~Thunderbi@2a01:c22:90b9:d900:3ff2:fbed:434e:ee51) (Ping timeout: 260 seconds) |
| 2022-07-21 15:44:12 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 15:46:23 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-07-21 15:58:21 +0200 | mikoto-chan | (~mikoto-ch@85-76-41-116-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2022-07-21 16:06:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-21 16:06:43 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-21 16:06:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-21 16:07:09 +0200 | califax | (~califax@user/califx) |
| 2022-07-21 16:07:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 16:07:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-21 16:08:02 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586758c16d92daa533f1a.dip0.t-ipconnect.de) |
| 2022-07-21 16:09:24 +0200 | benin0 | (~benin@183.82.24.82) |
| 2022-07-21 16:10:15 +0200 | biberu\ | (~biberu@user/biberu) |
| 2022-07-21 16:10:40 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 2022-07-21 16:11:52 +0200 | biberu\ | biberu |
| 2022-07-21 16:13:14 +0200 | v0d1ch | (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) (Quit: Client closed) |
| 2022-07-21 16:18:31 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-f6ba-82af-30e2-2b10.pool6.digikabel.hu) |
| 2022-07-21 16:22:46 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-07-21 16:25:06 +0200 | benin00 | (~benin@183.82.24.116) |
| 2022-07-21 16:27:02 +0200 | renzhi | (~xp@2607:fa49:6500:b100::c32e) |
| 2022-07-21 16:27:05 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 16:27:16 +0200 | benin0 | (~benin@183.82.24.82) (Ping timeout: 268 seconds) |
| 2022-07-21 16:27:17 +0200 | benin00 | benin0 |
| 2022-07-21 16:30:22 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 16:30:40 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 16:32:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-21 16:36:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-07-21 16:37:57 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-21 16:40:30 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 16:40:47 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 16:47:13 +0200 | califax_ | (~califax@user/califx) |
| 2022-07-21 16:47:39 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
| 2022-07-21 16:48:04 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-21 16:48:24 +0200 | califax_ | califax |
| 2022-07-21 16:49:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-21 16:51:19 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 16:53:13 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 16:59:55 +0200 | n8chan | (~nate@98.45.169.16) |
| 2022-07-21 17:01:36 +0200 | lortabac | (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 2022-07-21 17:01:55 +0200 | neightchan | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-07-21 17:02:10 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-07-21 17:03:13 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-21 17:03:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 17:05:40 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 17:05:57 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 17:08:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 17:09:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 17:10:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 17:12:33 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-07-21 17:12:42 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 2022-07-21 17:15:24 +0200 | mastarija | (~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 +0200 | Hash | (~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 +0200 | Midjak | (~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 +0200 | Midjak | (~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 +0200 | dschrempf | (~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 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-010-100-182.77.10.pool.telefonica.de) |
| 2022-07-21 17:24:06 +0200 | ccntrq | (~Thunderbi@2a01:c22:91b8:db00:c579:b00b:3062:cbc8) (Ping timeout: 264 seconds) |
| 2022-07-21 17:24:06 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 17:24:06 +0200 | phma | (~phma@host-67-44-208-91.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-21 17:25:31 +0200 | phma | (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 +0200 | ccntrq1 | (~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 +0200 | ccntrq | (~Thunderbi@dynamic-077-010-100-182.77.10.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-07-21 17:31:24 +0200 | ccntrq1 | ccntrq |
| 2022-07-21 17:31:30 +0200 | <mastarija> | I'm looking at auth HasServer instance right now |
| 2022-07-21 17:31:32 +0200 | vglfr | (~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 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 17:32:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-21 17:32:48 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 17:32:53 +0200 | califax | (~califax@user/califx) |
| 2022-07-21 17:34:53 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 244 seconds) |
| 2022-07-21 17:37:30 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-21 17:37:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 17:39:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-21 17:44:08 +0200 | mikoto-chan | (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) |
| 2022-07-21 17:46:43 +0200 | dcoutts_ | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-21 17:46:50 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-07-21 17:46:53 +0200 | dcoutts_ | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 2022-07-21 17:46:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 17:47:01 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-07-21 17:47:08 +0200 | dcoutts__ | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 2022-07-21 17:49:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 17:50:31 +0200 | dcoutts | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-21 17:51:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 17:51:33 +0200 | hosk1 | (~hosk@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-21 17:54:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 272 seconds) |
| 2022-07-21 17:55:05 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 17:56:04 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 17:57:44 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 18:03:29 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 18:03:47 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 18:04:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-21 18:04:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 18:06:44 +0200 | hays | (rootvegeta@fsf/member/hays) (Remote host closed the connection) |
| 2022-07-21 18:06:55 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-21 18:07:02 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) |
| 2022-07-21 18:07:14 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-21 18:08:29 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-21 18:08:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-21 18:09:05 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2022-07-21 18:09:19 +0200 | califax | (~califax@user/califx) |
| 2022-07-21 18:09:27 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 18:10:22 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-07-21 18:12:56 +0200 | johnw | (~johnw@2600:1700:cf00:db0:dc35:4fc6:f087:ce5b) |
| 2022-07-21 18:14:09 +0200 | mikoto-chan | (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 2022-07-21 18:17:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 18:17:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 18:17:41 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-07-21 18:20:45 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-21 18:20:55 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-21 18:22:06 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 18:25:18 +0200 | benin0 | (~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-21 18:29:26 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 272 seconds) |
| 2022-07-21 18:30:21 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-21 18:32:04 +0200 | ccntrq | (~Thunderbi@2a01:c22:8db9:ee00:c376:60cb:62d2:aab9) (Remote host closed the connection) |
| 2022-07-21 18:32:13 +0200 | econo | (uid147250@user/econo) |
| 2022-07-21 18:32:20 +0200 | slack1256 | (~slack1256@186.11.17.101) |
| 2022-07-21 18:33:23 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-21 18:36:44 +0200 | mikoto-chan | (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) |
| 2022-07-21 18:38:58 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 18:39:15 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 18:43:10 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 240 seconds) |
| 2022-07-21 18:44:02 +0200 | dcoutts | (~duncan@host86-150-41-225.range86-150.btcentralplus.com) |
| 2022-07-21 18:45:57 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5) |
| 2022-07-21 18:47:15 +0200 | dcoutts_ | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-21 18:47:33 +0200 | dcoutts_ | (~duncan@host86-150-41-225.range86-150.btcentralplus.com) |
| 2022-07-21 18:48:15 +0200 | dcoutts__ | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-07-21 18:52:14 +0200 | dcoutts__ | (~duncan@host81-156-211-142.range81-156.btcentralplus.com) |
| 2022-07-21 18:54:16 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-07-21 18:54:39 +0200 | dcoutts_ | (~duncan@host86-150-41-225.range86-150.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-21 18:54:46 +0200 | dcoutts | (~duncan@host86-150-41-225.range86-150.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-07-21 18:55:39 +0200 | dcoutts | (~duncan@host81-156-211-142.range81-156.btcentralplus.com) |
| 2022-07-21 18:57:17 +0200 | dcoutts_ | (~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 +0200 | dcoutts__ | (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-21 19:00:36 +0200 | dcoutts | (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-07-21 19:01:12 +0200 | dcoutts | (~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 +0200 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-21 19:05:45 +0200 | dcoutts_ | (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-21 19:06:00 +0200 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-21 19:06:01 +0200 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-21 19:06:22 +0200 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-21 19:06:27 +0200 | dcoutts | (~duncan@host81-156-211-142.range81-156.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-07-21 19:06:39 +0200 | mikoto-chan | (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-21 19:06:58 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:143f:9462:5d9b:e82e) (Quit: Leaving) |
| 2022-07-21 19:09:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-21 19:10:08 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-21 19:10:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 19:11:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 19:12:02 +0200 | mikoto-chan | (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) |
| 2022-07-21 19:13:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-21 19:13:46 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 19:15:29 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 19:16:33 +0200 | jao | (~jao@92.233.85.247) |
| 2022-07-21 19:16:56 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-21 19:18:14 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 19:18:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 19:20:02 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-21 19:21:14 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:73ad:509c:ee84:62f2) (Ping timeout: 268 seconds) |
| 2022-07-21 19:22:21 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-21 19:23:30 +0200 | mikoto-chan | (~mikoto-ch@85-76-20-85-nat.elisa-mobile.fi) (Ping timeout: 264 seconds) |
| 2022-07-21 19:25:08 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-07-21 19:30:05 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-21 19:31:16 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-21 19:38:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-21 19:42:29 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 19:42:46 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 19:43:33 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 19:43:50 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-07-21 19:47:44 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 19:48:01 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 19:50:03 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-21 19:52:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 19:55:48 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 19:56:05 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 19:57:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 268 seconds) |
| 2022-07-21 20:02:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 264 seconds) |
| 2022-07-21 20:03:55 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 20:06:52 +0200 | indigo_ibs | (~user@95.146.83.181) |
| 2022-07-21 20:11:12 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-21 20:12:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-21 20:12:32 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-07-21 20:13:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-21 20:13:08 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-21 20:14:14 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-21 20:14:32 +0200 | indigo_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 +0200 | indigo_ibs | (~user@95.146.83.181) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 28.1)) |
| 2022-07-21 20:17:22 +0200 | gdown | (~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 +0200 | indigo_i` | (~user@95.146.83.181) () |
| 2022-07-21 20:18:22 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-21 20:18:26 +0200 | indigo_i` | (~user@95.146.83.181) |
| 2022-07-21 20:21:27 +0200 | tromp | (~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 +0200 | hosk1 | goober |
| 2022-07-21 20:26:11 +0200 | <yushyin> | ah |
| 2022-07-21 20:26:13 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-21 20:26:20 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
| 2022-07-21 20:26:20 +0200 | Polo | (~Gambino@user/polo) |
| 2022-07-21 20:29:05 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-21 20:31:25 +0200 | v0d1ch | (~v0d1ch@87.116.177.10) |
| 2022-07-21 20:32:43 +0200 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-21 20:32:47 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-21 20:32:59 +0200 | tafa | (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
| 2022-07-21 20:35:14 +0200 | tafa | (~tafa@user/tafa) |
| 2022-07-21 20:35:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 20:36:58 +0200 | v0d1ch | (~v0d1ch@87.116.177.10) (Quit: Client closed) |
| 2022-07-21 20:37:16 +0200 | winny | (~weechat@user/winny) |
| 2022-07-21 20:38:38 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2022-07-21 20:39:16 +0200 | Polo | money |
| 2022-07-21 20:39:16 +0200 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-21 20:40:49 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-21 20:43:55 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-21 20:47:36 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 244 seconds) |
| 2022-07-21 20:50:57 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-21 20:51:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 20:54:37 +0200 | jakalx | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-21 21:00:19 +0200 | zeenk | (~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 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-21 21:02:23 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-21 21:02:53 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-21 21:03:17 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-21 21:03:18 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-21 21:03:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-21 21:04:01 +0200 | winny | (~weechat@user/winny) |
| 2022-07-21 21:14:06 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 21:18:32 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586758c16d92daa533f1a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-21 21:19:54 +0200 | kenran | (~kenran@200116b82ba6d2009f9246aa765d6807.dip.versatel-1u1.de) |
| 2022-07-21 21:24:36 +0200 | Digit | (~user@user/digit) |
| 2022-07-21 21:26:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 21:29:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e705867599c6c88ced65ac2d.dip0.t-ipconnect.de) |
| 2022-07-21 21:30:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 21:32:50 +0200 | h_ | (rootvegeta@fsf/member/hays) |
| 2022-07-21 21:33:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-21 21:33:43 +0200 | h_ | (rootvegeta@fsf/member/hays) (Client Quit) |
| 2022-07-21 21:34:31 +0200 | jespada | (~jespada@190.7.36.46) |
| 2022-07-21 21:37:17 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:10dd:cdb6:6796:296b) |
| 2022-07-21 21:41:11 +0200 | h_ | (rootvegeta@fsf/member/hays) |
| 2022-07-21 21:46:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 21:46:26 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2022-07-21 21:47:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 21:48:43 +0200 | h_ | (rootvegeta@fsf/member/hays) () |
| 2022-07-21 21:49:07 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-21 21:49:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-21 21:49:17 +0200 | h_ | (rootvegeta@fsf/member/hays) |
| 2022-07-21 21:51:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-21 21:51:27 +0200 | h_ | (rootvegeta@fsf/member/hays) (Client Quit) |
| 2022-07-21 21:51:38 +0200 | h_ | (rootvegeta@fsf/member/hays) |
| 2022-07-21 21:51:49 +0200 | h_ | (rootvegeta@fsf/member/hays) (Client Quit) |
| 2022-07-21 21:52:01 +0200 | h_ | (rootvegeta@fsf/member/hays) |
| 2022-07-21 21:52:03 +0200 | h_ | (rootvegeta@fsf/member/hays) (Client Quit) |
| 2022-07-21 21:52:15 +0200 | h_ | (rootvegeta@fsf/member/hays) |
| 2022-07-21 21:52:57 +0200 | h_ | (rootvegeta@fsf/member/hays) (Client Quit) |
| 2022-07-21 21:53:18 +0200 | king_gs | (~Thunderbi@2806:103e:29:a1b3:33ad:6e9f:99f9:1be7) |
| 2022-07-21 21:54:22 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-21 21:55:13 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-21 21:56:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 21:57:53 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-21 21:57:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-21 21:57:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-21 21:58:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-07-21 21:58:47 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) |
| 2022-07-21 21:59:39 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-21 21:59:58 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-21 22:00:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-21 22:00:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-21 22:02:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-21 22:06:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 22:08:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 22:08:23 +0200 | fserucas_ | (~fserucas@246.76.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-21 22:09:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 22:09:52 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-21 22:11:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 22:11:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 22:14:12 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-21 22:15:05 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-21 22:20:04 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-21 22:23:25 +0200 | kenran | (~kenran@200116b82ba6d2009f9246aa765d6807.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-07-21 22:26:26 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-21 22:27:19 +0200 | winny | (~weechat@user/winny) |
| 2022-07-21 22:27:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-21 22:28:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-21 22:28:44 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-21 22:29:34 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-21 22:32:05 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-21 22:33:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-21 22:33:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 22:38:13 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-21 22:40:18 +0200 | king_gs | (~Thunderbi@2806:103e:29:a1b3:33ad:6e9f:99f9:1be7) (Quit: king_gs) |
| 2022-07-21 22:41:02 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-21 22:41:04 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-21 22:41:16 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 244 seconds) |
| 2022-07-21 22:41:43 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-21 22:42:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-07-21 22:42:42 +0200 | yin | (~yin@user/zero) |
| 2022-07-21 22:44:28 +0200 | michalz | (~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 +0200 | merijn | (~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 +0200 | gleostocha | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-07-21 22:49:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-21 22:49:53 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 255 seconds) |
| 2022-07-21 22:51:21 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:df58:8e7a:3d48:e2d2) (Ping timeout: 276 seconds) |
| 2022-07-21 22:51:43 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-07-21 22:53:55 +0200 | gleostocha | (~runic@c-73-15-32-211.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2022-07-21 22:54:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-21 22:55:29 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-21 22:55:44 +0200 | tromp | (~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 +0200 | gleostocha | (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-21 22:58:53 +0200 | eggplantade | (~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 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-07-21 23:07:16 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-21 23:08:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-07-21 23:09:24 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-21 23:10:02 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-21 23:10:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-21 23:11:24 +0200 | funkyindieeee1 | (~funkyindi@user/funkyindieeee1) |
| 2022-07-21 23:15:35 +0200 | <yin> | how do vty and ansi-terminal compare? |
| 2022-07-21 23:16:53 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-21 23:16:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-21 23:16:54 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-21 23:19:53 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-21 23:21:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-21 23:21:22 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-21 23:21:23 +0200 | gleostocha | (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-21 23:21:33 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-21 23:21:36 +0200 | chexum | (~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 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) (Remote host closed the connection) |
| 2022-07-21 23:25:17 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) |
| 2022-07-21 23:26:36 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-21 23:31:49 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2022-07-21 23:33:36 +0200 | takuan | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-21 23:35:52 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-21 23:36:49 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-21 23:37:26 +0200 | zzz | (~yin@user/zero) |
| 2022-07-21 23:37:32 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-07-21 23:40:44 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-07-21 23:47:09 +0200 | slack3106 | (~slack1256@191.126.99.209) |
| 2022-07-21 23:49:10 +0200 | slack1256 | (~slack1256@186.11.17.101) (Ping timeout: 240 seconds) |
| 2022-07-21 23:53:07 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-21 23:53:36 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-21 23:53:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-21 23:57:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |