2022/09/01

2022-09-01 00:00:12 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 00:04:46 +0200jespada(~jespada@185.195.232.175) (Ping timeout: 260 seconds)
2022-09-01 00:04:49 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-01 00:06:00 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds)
2022-09-01 00:06:57 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 00:07:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 00:08:29 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-01 00:08:59 +0200jespada(~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net)
2022-09-01 00:09:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-09-01 00:17:32 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-09-01 00:21:04 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-01 00:21:37 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-01 00:26:39 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 00:28:41 +0200acidjnk(~acidjnk@p200300d6e7137a348c7fe01a0065d5f9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-01 00:29:44 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-09-01 00:30:08 +0200cheater(~Username@user/cheater)
2022-09-01 00:31:52 +0200Guest|80(~Guest|80@187.61.246.232)
2022-09-01 00:33:25 +0200Sgeo(~Sgeo@user/sgeo)
2022-09-01 00:36:15 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 00:37:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2022-09-01 00:41:19 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 00:43:25 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-01 00:43:48 +0200cheater1__(~Username@user/cheater)
2022-09-01 00:43:58 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-09-01 00:44:01 +0200cheater1__cheater
2022-09-01 00:44:29 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 00:45:31 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-01 00:49:23 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 00:52:34 +0200 <c_wraith> so... is this new to the recent cabal-install release? https://paste.tomsmeding.com/ZCOaea8v (I've trimmed the output a lot)
2022-09-01 00:53:35 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-01 00:54:40 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 00:59:05 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-01 01:03:41 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-01 01:04:00 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-09-01 01:04:56 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-09-01 01:05:18 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 01:08:45 +0200 <int-e> c_wraith: the number for "Linking"? That seems to be a ghc-9.4 thing
2022-09-01 01:08:53 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.)
2022-09-01 01:09:21 +0200 <c_wraith> I'm sad it wasn't [5 of 4]
2022-09-01 01:09:42 +0200 <c_wraith> but yeah, right. that's GHC output, not cabal
2022-09-01 01:10:34 +0200 <int-e> I did test it with GHC 9.2.3 (no such number) and 9.4.2
2022-09-01 01:12:02 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 255 seconds)
2022-09-01 01:14:54 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-01 01:16:08 +0200dcoutts_(~duncan@host86-184-242-102.range86-184.btcentralplus.com)
2022-09-01 01:16:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-01 01:16:27 +0200dcoutts(~duncan@host86-184-242-102.range86-184.btcentralplus.com) (Read error: Connection reset by peer)
2022-09-01 01:18:53 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 252 seconds)
2022-09-01 01:19:46 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (Ping timeout: 268 seconds)
2022-09-01 01:19:54 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 01:19:57 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2022-09-01 01:20:54 +0200vglfr(~vglfr@145.224.94.248)
2022-09-01 01:25:03 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-09-01 01:25:22 +0200soumen(~soumen@58.182.45.203) (Quit: Konversation terminated!)
2022-09-01 01:25:49 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-01 01:27:33 +0200soumen(~soumen@58.182.45.203)
2022-09-01 01:27:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 01:29:54 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 01:30:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 01:33:38 +0200soumen(~soumen@58.182.45.203) (Quit: Konversation terminated!)
2022-09-01 01:35:45 +0200soumen(~soumen@58.182.45.203)
2022-09-01 01:35:52 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-01 01:39:25 +0200guest8080(~guest8080@S01069050ca3016a3.vs.shawcable.net)
2022-09-01 01:41:19 +0200braf(~braf@180-150-13-139.b4960d.syd.static.aussiebb.net)
2022-09-01 01:41:46 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-09-01 01:42:26 +0200 <guest8080> I'm wondering if there is a Haskell equivalent of Vaadin (Java).  In Vaadin the Web front end is constructed via server-side Java components.  There is no (unless you want to reach down) javascript/typescript work. You simply construct a GUI in a way similar to writing a native app.  Has anyone seen such a framework?
2022-09-01 01:43:12 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-09-01 01:48:37 +0200pavonia_(~user@user/siracusa)
2022-09-01 01:48:54 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-01 01:50:47 +0200pavonia(~user@user/siracusa) (Ping timeout: 252 seconds)
2022-09-01 01:51:02 +0200pavonia_pavonia
2022-09-01 01:51:09 +0200fserucas(~fserucas@89.214.116.132) (Ping timeout: 252 seconds)
2022-09-01 01:57:01 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-01 01:57:32 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 01:59:06 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-01 01:59:45 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-01 02:00:47 +0200luffy(~chenqisu1@183.217.201.192)
2022-09-01 02:01:07 +0200 <maerwald[m]> guest8080: server side is almost dead, but I agree it's cool
2022-09-01 02:01:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2022-09-01 02:02:35 +0200luffy(~chenqisu1@183.217.201.192) (Remote host closed the connection)
2022-09-01 02:02:44 +0200 <guest8080> TY!  I agree its cool, I would much rather develop a SPA all within the server side dev env that fool with JS/TS/ and a billion new JS libraries
2022-09-01 02:05:44 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-01 02:08:44 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 255 seconds)
2022-09-01 02:10:18 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-01 02:11:41 +0200nilradical(~nilradica@user/naso)
2022-09-01 02:16:44 +0200 <hpc> this is why you make server-side SPAs
2022-09-01 02:16:53 +0200 <hpc> all the forms on one page and a wee bit of css at the top to toggle it
2022-09-01 02:17:11 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-09-01 02:18:06 +0200 <hpc> also in haskell you're kind of server-side by default unless you mess around with ghcjs
2022-09-01 02:18:16 +0200 <rustisafungus> i run my server-side SPA on the client
2022-09-01 02:18:46 +0200 <rustisafungus> that's the client-on-server-on-client architecture
2022-09-01 02:18:53 +0200 <Axman6> guest8080: you might want to look at miso
2022-09-01 02:19:00 +0200 <hpc> rustisafungus: ah yes, electron apps
2022-09-01 02:19:12 +0200codaraxis__(~codaraxis@user/codaraxis)
2022-09-01 02:19:28 +0200 <rustisafungus> guest8080: try elm or purescript. you can auto generate elm types from haskell
2022-09-01 02:21:41 +0200Axman6mumbles something about rust absolutely not being a fungus
2022-09-01 02:21:53 +0200 <rustisafungus> hpc: yeah and then you can run those on the server in a vm for convenience and security, so you end up with client-on-server-on-client-on-server
2022-09-01 02:21:56 +0200Guest|80(~Guest|80@187.61.246.232) (Quit: Connection closed)
2022-09-01 02:22:10 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 02:22:18 +0200 <Axman6> clearly the most efficient way to do things.
2022-09-01 02:22:41 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2022-09-01 02:22:57 +0200 <guest8080> TY everyone!    I'm looking at purescript now.  It looks like a nice bridge but still would require separate purescript development.  I'm wondering if something like a Haskell widget package that permits the construction of the GUI on the Haskell/server-side.  There would have to be event callbacks to the Haskell/server-side for GUI events
2022-09-01 02:22:58 +0200 <guest8080> tho.
2022-09-01 02:24:09 +0200 <rustisafungus> purescript is probably the better bet
2022-09-01 02:25:05 +0200 <rustisafungus> do you need to distribute your server side GUI across a server cluster?
2022-09-01 02:25:53 +0200 <guest8080> No simple simple dev test case.  Entire backend (including peristence) on one machine
2022-09-01 02:26:41 +0200 <Axman6> I can't wait for GHC to ship with a WASM backend, being able to run apps in secure containers will be fantastic for things like GUI apps
2022-09-01 02:26:47 +0200 <rustisafungus> (that was a joke but gosh someone must do that, maybe faang)
2022-09-01 02:27:42 +0200 <rustisafungus> i can't wait for an endless stream of WASM sandbox escape CVEs lolz
2022-09-01 02:27:48 +0200 <guest8080> That would be nice...I could use that WASM in the browser with gRPC callbacks to the server-side
2022-09-01 02:28:11 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-09-01 02:28:17 +0200 <rustisafungus> guest8080: tbh, get started with elm
2022-09-01 02:28:57 +0200 <guest8080> why elm rather than PS?  I read somewhere elm is rather opinionated and narrower than PS.
2022-09-01 02:29:14 +0200 <rustisafungus> the developer experience, at least when i tried it, was exquisite, lacking only in automatic reflection
2022-09-01 02:29:30 +0200 <rustisafungus> just, try it, it's minimalist and nice and then branch out. for real world use PS is probably better
2022-09-01 02:29:39 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds)
2022-09-01 02:29:49 +0200 <guest8080> Ok, i'll check it out too.
2022-09-01 02:31:12 +0200 <rustisafungus> if haskell had elm-tier DX i would make happy fungus noises
2022-09-01 02:32:05 +0200 <guest8080> i've only experienced silent fungus so far
2022-09-01 02:33:02 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6)
2022-09-01 02:34:59 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds)
2022-09-01 02:35:07 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 02:36:27 +0200 <rustisafungus> distributed client-on-server-on-client-on-server GUIs running in a vm are the future
2022-09-01 02:36:59 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-01 02:37:14 +0200 <Axman6> guest8080: https://github.com/dmjio/miso/blob/master/README.md
2022-09-01 02:37:51 +0200 <guest8080> It's right up there with running on an emulator for a non-existent architecture.  Knuth's MMIX comes to mind
2022-09-01 02:38:04 +0200 <guest8080> I think qemu has a MMIX emulator
2022-09-01 02:38:13 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-09-01 02:38:23 +0200 <rustisafungus> oh wow knuth designed an isa
2022-09-01 02:38:44 +0200 <guest8080> In his spare time for just a bit of assembly language pedagogy
2022-09-01 02:39:15 +0200 <Axman6> MMIX has some very cool instructions in it that I wish other architectures had
2022-09-01 02:39:40 +0200 <rustisafungus> fpgammix -- sayeth wikipedia
2022-09-01 02:40:06 +0200 <guest8080> Like? I thought he basically pulled the best of everything together even if it implied inconsistent HW implementation
2022-09-01 02:41:08 +0200qy(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 02:41:49 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds)
2022-09-01 02:42:10 +0200bsima(~bsima@143.198.118.179)
2022-09-01 02:42:28 +0200 <rustisafungus> but i thought instructions didn't matter
2022-09-01 02:42:43 +0200 <rustisafungus> except they do except they dont.
2022-09-01 02:43:05 +0200 <rustisafungus> https://www.youtube.com/watch?v=gEyFH-a-XoQ
2022-09-01 02:43:06 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 02:45:18 +0200 <guest8080> Axman6 , I ran across MISO in my research but set it aside because GHCJS was said to horribly slow.  Has it worked well for you?
2022-09-01 02:47:04 +0200 <guest8080> what is your fav assembly language instruction?  Mine:  Enforce In-order Execution of IO, a sync instruction on POWER/PowerPC:   eieio
2022-09-01 02:47:14 +0200 <rustisafungus> properly follow proper protocols.
2022-09-01 02:47:55 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-09-01 02:49:20 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-01 02:49:44 +0200 <guest8080> reduce unsigned short to integer
2022-09-01 02:51:44 +0200braf(~braf@180-150-13-139.b4960d.syd.static.aussiebb.net) (Quit: Client closed)
2022-09-01 02:56:21 +0200qy(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-01 02:57:22 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 03:01:15 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 03:04:23 +0200 <rustisafungus> guest8080: have you tried using a quantum computer for your distributed client-on-server-on-client-on-server in a vm GUI?
2022-09-01 03:04:54 +0200luffy(~chenqisu1@183.217.201.192)
2022-09-01 03:17:35 +0200 <Axman6> guest8080: I haven't used it myself, but it feels like the closest to what you want. I haven't heard people saying GHCJS is particularly slow, it tends to play quite well with many JS engines IIRC
2022-09-01 03:19:09 +0200nate4(~nate@98.45.169.16)
2022-09-01 03:24:16 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-09-01 03:24:19 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-09-01 03:27:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 03:29:04 +0200Inst__(~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 244 seconds)
2022-09-01 03:29:31 +0200xff0x(~xff0x@2405:6580:b080:900:1e7f:d8b4:4969:4ebb) (Ping timeout: 260 seconds)
2022-09-01 03:30:21 +0200Achylles(~Achylles_@2804:431:d724:2eb7:711b:e01b:906a:d4e)
2022-09-01 03:35:11 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-01 03:42:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 03:43:56 +0200 <maerwald[m]> Axman6: miso is client side
2022-09-01 03:44:02 +0200 <maerwald[m]> Is it not?
2022-09-01 03:47:25 +0200tom(~chenqisu1@183.217.201.192)
2022-09-01 03:48:29 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
2022-09-01 03:48:49 +0200tomGuest4212
2022-09-01 03:50:50 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-09-01 03:53:36 +0200frost(~frost@user/frost)
2022-09-01 03:55:14 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-01 03:56:11 +0200 <Axman6> I thought it was mix of both, but no idea. it's "isomorphic" - dmj` is probably the best person to answer
2022-09-01 03:56:12 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-01 03:58:43 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 04:00:08 +0200khumba(~khumba@user/khumba)
2022-09-01 04:00:19 +0200 <maerwald[m]> What is isomorphic?
2022-09-01 04:01:24 +0200nate4(~nate@98.45.169.16)
2022-09-01 04:02:30 +0200 <sclv> "isomorphic" is sometimes used to mean something entirely unlike the mathematical definition
2022-09-01 04:02:50 +0200 <maerwald[m]> I know
2022-09-01 04:02:56 +0200 <sclv> in the case of client side web programming people use it (unforgivably, i believe) to mean that the client and server code is the same language
2022-09-01 04:03:11 +0200 <maerwald[m]> I'm asking what is supposed to be isomorphic in this case
2022-09-01 04:03:27 +0200 <maerwald[m]> I don't think miso provides you with a server side framework
2022-09-01 04:04:19 +0200 <sclv> miso claims in its docs to be both and to be "isomorphic" in the webservice sense
2022-09-01 04:06:30 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-01 04:07:05 +0200 <maerwald[m]> https://medium.com/airbnb-engineering/isomorphic-javascript-the-future-of-web-apps-10882b7a2ebc#.4…
2022-09-01 04:07:54 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 04:08:16 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-01 04:08:20 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-01 04:11:39 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-09-01 04:12:35 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-01 04:13:22 +0200 <waleee> today apparently was the day Haskell Curry passed away
2022-09-01 04:15:11 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 04:19:28 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-09-01 04:24:25 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-01 04:26:36 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer)
2022-09-01 04:27:17 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2022-09-01 04:27:42 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 04:30:29 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds)
2022-09-01 04:35:53 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-09-01 04:37:18 +0200Achylles(~Achylles_@2804:431:d724:2eb7:711b:e01b:906a:d4e) (Ping timeout: 240 seconds)
2022-09-01 04:40:33 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-01 04:40:38 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 04:41:39 +0200nilradical(~nilradica@user/naso)
2022-09-01 04:43:14 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-09-01 04:44:14 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-09-01 04:45:56 +0200td_(~td@94.134.91.66) (Ping timeout: 260 seconds)
2022-09-01 04:47:20 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 04:47:51 +0200td_(~td@94.134.91.37)
2022-09-01 04:50:38 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 268 seconds)
2022-09-01 04:52:05 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-09-01 04:55:57 +0200nilradical(~nilradica@user/naso) (Ping timeout: 252 seconds)
2022-09-01 04:58:12 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-09-01 05:00:43 +0200vglfr(~vglfr@145.224.94.248)
2022-09-01 05:03:47 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 255 seconds)
2022-09-01 05:07:08 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 05:18:25 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-01 05:19:07 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-01 05:20:41 +0200nilradical(~nilradica@user/naso)
2022-09-01 05:25:01 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 05:25:16 +0200nilradical(~nilradica@user/naso)
2022-09-01 05:25:30 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 05:26:06 +0200nilradical(~nilradica@user/naso)
2022-09-01 05:27:01 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-09-01 05:29:53 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-09-01 05:30:47 +0200nilradical(~nilradica@user/naso) (Ping timeout: 255 seconds)
2022-09-01 05:32:08 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-09-01 05:32:38 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-01 05:44:03 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-09-01 05:45:31 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 05:47:39 +0200nilradical(~nilradica@user/naso)
2022-09-01 05:52:34 +0200nate4(~nate@98.45.169.16)
2022-09-01 05:56:18 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-01 06:00:51 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-01 06:05:11 +0200jargon(~jargon@184.101.185.66) (Remote host closed the connection)
2022-09-01 06:06:26 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-09-01 06:09:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 06:10:17 +0200zebrag(~chris@user/zebrag)
2022-09-01 06:14:14 +0200jargon(~jargon@184.101.185.66)
2022-09-01 06:14:54 +0200nilradical(~nilradica@user/naso) ()
2022-09-01 06:15:35 +0200 <Axman6> maerwald[m]: https://github.com/dmjio/miso/blob/master/README.md http://nerds.airbnb.com/isomorphic-javascript-future-web-apps/
2022-09-01 06:17:29 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-09-01 06:19:21 +0200 <[Leary]> So I'm discovering that type roles actually kinda suck: <https://gist.github.com/LSLeary/f136fdf7aa0b2517ded00fe493c16e04>. I don't suppose anyone has a better solution than that? I want my safe coercions back.
2022-09-01 06:21:37 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 06:29:58 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-01 06:33:56 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-09-01 06:34:31 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-09-01 06:35:21 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-09-01 06:37:01 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-01 06:38:53 +0200tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-09-01 06:39:58 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2022-09-01 06:42:45 +0200haskell_(~haskell@172.56.152.30)
2022-09-01 06:43:08 +0200haskell_(~haskell@172.56.152.30) (Remote host closed the connection)
2022-09-01 06:43:33 +0200jargon(~jargon@184.101.185.66) (Remote host closed the connection)
2022-09-01 06:44:22 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2022-09-01 06:48:28 +0200famubu(~famubu@user/famubu)
2022-09-01 06:48:48 +0200 <famubu> I was looking at https://github.com/ghc/ghc/blob/master/libraries/ghc-prim/GHC/Types.hs#L214
2022-09-01 06:48:57 +0200 <famubu> What does `I#` and `Int#` mean?
2022-09-01 06:49:11 +0200 <famubu> In `data {-# CTYPE "HsInt" #-} Int = I# Int#`
2022-09-01 06:49:22 +0200 <famubu> Do identifiers ending in `#` have special meaning?
2022-09-01 06:51:20 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds)
2022-09-01 06:52:05 +0200 <JensPetersen[m]> Does anyone have ghc-9.4 working with github haskell/actions/setup ? Maybe I should ask ghcup
2022-09-01 06:53:16 +0200 <Axman6> I# is the name of the constructor, Int# is the name of a type, which is an unlifted Int
2022-09-01 06:53:41 +0200 <Axman6> they are special in that they're not generally allowed, but MagicHash allows you to use them
2022-09-01 06:57:17 +0200Guest4212(~chenqisu1@183.217.201.192) (Ping timeout: 244 seconds)
2022-09-01 06:59:34 +0200monochrom(trebla@216.138.220.146)
2022-09-01 06:59:40 +0200Guest34(~Guest34@176.122.87.241)
2022-09-01 07:06:59 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-09-01 07:07:19 +0200 <maerwald[m]> Jens Petersen: why not
2022-09-01 07:09:46 +0200 <mniip> [Leary], when I import the constructor of ReaderT, ghc is able to infer `a ~R b => ReaderT IO a ~R ReaderT IO b`
2022-09-01 07:10:09 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-09-01 07:10:23 +0200 <mniip> possibly via ReaderT () IO a ~R () -> IO a ~R () -> IO b ~R ReaderT IO b
2022-09-01 07:10:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-01 07:15:19 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-09-01 07:18:04 +0200 <[Leary]> mniip: That makes sense. But unfortunately, in the case that's troubling me, the constructor (the equivalent of App, rather than ReaderT) isn't exported.
2022-09-01 07:18:13 +0200 <[Leary]> So this approach doesn't work outside the module.
2022-09-01 07:18:34 +0200 <mniip> yeah in an ideal world role annotations would be dependent
2022-09-01 07:19:29 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds)
2022-09-01 07:21:40 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 07:22:14 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-01 07:23:43 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-01 07:24:00 +0200coot(~coot@213.134.176.158)
2022-09-01 07:25:59 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 255 seconds)
2022-09-01 07:28:10 +0200 <JensPetersen[m]> maerwald: sorry replied to you in #haskell-ghcup:libera.chat
2022-09-01 07:28:47 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-01 07:29:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-09-01 07:40:06 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2022-09-01 07:40:55 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 07:42:11 +0200motherfsck(~motherfsc@user/motherfsck)
2022-09-01 07:43:05 +0200king_gs(~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774)
2022-09-01 07:43:22 +0200king_gs(~Thunderbi@2806:103e:29:58a3:1594:b5e0:74f3:c774) (Client Quit)
2022-09-01 07:43:59 +0200shriekingnoise(~shrieking@186.137.167.202) (Ping timeout: 255 seconds)
2022-09-01 07:44:11 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-01 07:45:40 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-01 07:48:58 +0200califax(~califax@user/califx)
2022-09-01 07:50:29 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-09-01 07:52:18 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-01 07:59:15 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 08:00:48 +0200liz(~liz@host86-157-124-38.range86-157.btcentralplus.com)
2022-09-01 08:01:19 +0200liz(~liz@host86-157-124-38.range86-157.btcentralplus.com) (Client Quit)
2022-09-01 08:01:36 +0200liz(~liz@host86-157-124-38.range86-157.btcentralplus.com)
2022-09-01 08:02:41 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-01 08:03:08 +0200liz(~liz@host86-157-124-38.range86-157.btcentralplus.com) (Client Quit)
2022-09-01 08:03:14 +0200califax(~califax@user/califx)
2022-09-01 08:03:24 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-09-01 08:03:38 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-01 08:03:57 +0200liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa)
2022-09-01 08:04:04 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-01 08:06:21 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-01 08:11:01 +0200 <famubu> Axman6: Thanks. Got something to read up.
2022-09-01 08:11:04 +0200famubu(~famubu@user/famubu) (Quit: leaving)
2022-09-01 08:11:41 +0200michalz(~michalz@185.246.204.65) (Remote host closed the connection)
2022-09-01 08:14:15 +0200codaraxis__(~codaraxis@user/codaraxis) (Quit: Leaving)
2022-09-01 08:14:28 +0200michalz(~michalz@185.246.204.75)
2022-09-01 08:18:09 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-01 08:19:13 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 08:21:47 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-09-01 08:21:59 +0200toeffel(~toeffel@user/toeffel)
2022-09-01 08:22:01 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-09-01 08:22:03 +0200liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Quit: Leaving)
2022-09-01 08:25:24 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-09-01 08:27:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-09-01 08:28:31 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-09-01 08:29:11 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-09-01 08:29:39 +0200Guest34(~Guest34@176.122.87.241) (Quit: Client closed)
2022-09-01 08:29:44 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-01 08:33:17 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-09-01 08:33:45 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-01 08:37:33 +0200 <Axman6> there's nothing particularly special about MagicHash, it just gives a way for the compiler devs to namespace really internal things
2022-09-01 08:38:02 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 08:40:54 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-09-01 08:42:09 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-09-01 08:45:10 +0200toeffel_(~toeffel@user/toeffel)
2022-09-01 08:46:13 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 252 seconds)
2022-09-01 08:53:44 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 255 seconds)
2022-09-01 08:53:54 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 08:55:26 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-01 08:56:55 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-01 08:58:32 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 268 seconds)
2022-09-01 09:02:03 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 09:02:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-01 09:06:20 +0200mbuf(~Shakthi@49.204.118.157)
2022-09-01 09:06:47 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-09-01 09:06:50 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-01 09:12:19 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-09-01 09:15:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 09:21:10 +0200mncheck(~mncheck@193.224.205.254)
2022-09-01 09:22:22 +0200 <bbear> there's a chapter on this unboxed types in 'haskell in depth' that is worth reading
2022-09-01 09:24:17 +0200 <dminuoso> Axman6: *to namespace unlifted things. At that point, I think it is particularly special.
2022-09-01 09:24:58 +0200 <dminuoso> Given that it's a mostly well respected convention, you can for the most part conclude that something carrying a # at the end of its name is unlifted. That makes it particularly special in my mind.
2022-09-01 09:25:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-01 09:25:20 +0200 <dminuoso> It's beyond just internal, since you cant use unlifted things in a place where lifted things are expected.
2022-09-01 09:25:45 +0200 <dminuoso> i.e. `Maybe Int#` is not constructable
2022-09-01 09:26:22 +0200 <bbear> but Maybe# Int# is ? :troll:
2022-09-01 09:26:53 +0200 <bbear> but can it be said simply that this represent access to unboxed primitive types?
2022-09-01 09:27:01 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-01 09:27:19 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2022-09-01 09:27:29 +0200 <dminuoso> unboxed or unlifted, but yes
2022-09-01 09:27:36 +0200 <dminuoso> As per convention, anyhow.
2022-09-01 09:27:36 +0200 <bbear> I don't expect this unlifted thing to live in 99% percent of haskell programs
2022-09-01 09:27:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 09:27:53 +0200 <bbear> (I mean in the source code)
2022-09-01 09:27:56 +0200 <dminuoso> bbear: On the contrary, we have unlifted things in plenty of places.
2022-09-01 09:28:02 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 09:28:49 +0200acidjnk(~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de)
2022-09-01 09:29:36 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2022-09-01 09:29:36 +0200 <dminuoso> newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))
2022-09-01 09:29:48 +0200 <dminuoso> Every IO action is a function producing an unlifted tuple.
2022-09-01 09:33:00 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-09-01 09:34:58 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-01 09:35:52 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-01 09:36:07 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 09:36:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:5545:114e:b297:6323)
2022-09-01 09:41:18 +0200 <Axman6> (# (#) | Int# #) ~ Maybe# Int# (can't remember what the syntax for the unboxed 0-tuple)
2022-09-01 09:44:07 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-09-01 09:44:56 +0200tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-09-01 09:45:05 +0200benin0(~benin@59.92.178.116) (Quit: Ping timeout (120 seconds))
2022-09-01 09:45:26 +0200benin0(~benin@59.92.178.116)
2022-09-01 09:45:46 +0200 <dminuoso> Axman6: It's the same as 1-tuples or 2-tuples etc
2022-09-01 09:45:52 +0200 <dminuoso> (# Int# #)
2022-09-01 09:46:18 +0200 <dminuoso> :k (# Int #)
2022-09-01 09:46:20 +0200 <lambdabot> error: Operator applied to too few arguments: #
2022-09-01 09:46:34 +0200 <dminuoso> lambdabot: Shush and just enable -XUnboxedTuples!
2022-09-01 09:46:44 +0200dminuosowants yahb back
2022-09-01 09:47:29 +0200 <[Leary]> % putStrLn "I am reborn?"
2022-09-01 09:47:29 +0200 <yahb2> I am reborn?
2022-09-01 09:47:47 +0200 <[Leary]> Yes, you are.
2022-09-01 09:52:10 +0200 <dminuoso> Glory and cookies to your rescuer.
2022-09-01 09:52:40 +0200 <[Leary]> That would be tomsmeding.
2022-09-01 09:53:21 +0200 <dminuoso> I see, I guess tom's new job is adopting community services that are no longer maintained.
2022-09-01 09:53:50 +0200 <dminuoso> What would we do without him. :)
2022-09-01 09:55:10 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-09-01 09:57:56 +0200beteigeuze(~Thunderbi@89.187.168.240)
2022-09-01 09:59:58 +0200worldhelloworld1(uid543174@id-543174.helmsley.irccloud.com)
2022-09-01 10:06:59 +0200Linux(~kernel@user/OpenSource) (Ping timeout: 248 seconds)
2022-09-01 10:07:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 10:10:44 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 10:11:55 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-09-01 10:14:03 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-09-01 10:14:23 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-09-01 10:15:11 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 255 seconds)
2022-09-01 10:16:45 +0200freemanX(~user@203.117.163.130)
2022-09-01 10:18:47 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-09-01 10:20:53 +0200merijn(~merijn@eduroam.wifi.infracom.nl)
2022-09-01 10:24:33 +0200 <lortabac> is there an easy way to enforce a specific key order when encoding with aeson?
2022-09-01 10:24:43 +0200 <lortabac> I mean aeson 2
2022-09-01 10:26:26 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 10:26:41 +0200 <lortabac> or at least some documented workaround
2022-09-01 10:28:34 +0200fserucas(~fserucas@89.214.116.132)
2022-09-01 10:29:23 +0200 <dminuoso> lortabac: Yes, you can implement a custom toEncoding for that specific field.
2022-09-01 10:29:55 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-09-01 10:29:59 +0200 <dminuoso> It's not clean, you cant use toJSON then
2022-09-01 10:30:06 +0200OpenSource(~kernel@user/OpenSource)
2022-09-01 10:30:06 +0200 <merijn> Although I would instead recommend: Seriously reevaluating your life's choices leading up to wanting this...
2022-09-01 10:30:09 +0200 <dminuoso> But as long as the code that uses it is under your control it works
2022-09-01 10:30:42 +0200 <lortabac> merijn: I have good reasons
2022-09-01 10:30:43 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-09-01 10:31:04 +0200zaquest(~notzaques@5.130.79.72)
2022-09-01 10:31:07 +0200 <merijn> I don't believe you, but that's between you and god :p
2022-09-01 10:31:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-01 10:32:00 +0200 <lortabac> haha
2022-09-01 10:32:15 +0200 <merijn> Also between you and future you who will want to murder you
2022-09-01 10:32:25 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-09-01 10:32:29 +0200 <qrpnxz> if the reason is "it's not up to me", then that's pretty good reason
2022-09-01 10:33:09 +0200mzan(~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-09-01 10:33:24 +0200 <merijn> Agree to disagree :D
2022-09-01 10:33:34 +0200freemanX(~user@203.117.163.130) (Remote host closed the connection)
2022-09-01 10:34:04 +0200 <dminuoso> lortabac: Essentially just copy and modify: https://hackage.haskell.org/package/aeson-2.1.0.0/docs/src/Data.Aeson.Encoding.Builder.html#object
2022-09-01 10:34:51 +0200 <dminuoso> (Wrap the thing with a newtype accordingly)_
2022-09-01 10:35:18 +0200 <lortabac> dminuoso: thanks, I need to check if it's actually doable, as I don't own all the types involved
2022-09-01 10:35:39 +0200 <lortabac> but it seems like a good way to approach the problem
2022-09-01 10:37:36 +0200 <lortabac> it should be feasible with a couple of newtypes
2022-09-01 10:38:09 +0200OpenSourceLinux
2022-09-01 10:38:43 +0200MoC(~moc@user/moc)
2022-09-01 10:39:56 +0200mzan(~quassel@mail.asterisell.com)
2022-09-01 10:40:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-01 10:43:37 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-01 10:44:13 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-01 10:44:59 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 10:50:09 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds)
2022-09-01 10:50:19 +0200andreabedini(~andreabed@host-87-18-207-240.retail.telecomitalia.it)
2022-09-01 10:58:20 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-09-01 10:58:33 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-01 11:01:17 +0200Me-meVICTORIOUSakaVIC
2022-09-01 11:02:17 +0200VICTORIOUSakaVICMe-me
2022-09-01 11:05:58 +0200mbuf(~Shakthi@49.204.118.157) (Quit: Leaving)
2022-09-01 11:07:33 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-09-01 11:08:44 +0200wonko_(~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds)
2022-09-01 11:08:44 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-09-01 11:09:39 +0200imdoor(~user@balticom-142-78-50.balticom.lv)
2022-09-01 11:11:03 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
2022-09-01 11:11:45 +0200pagnol(~me@213-205-209-87.ftth.glasoperator.nl)
2022-09-01 11:12:09 +0200cheater(~Username@user/cheater)
2022-09-01 11:12:57 +0200frost(~frost@user/frost)
2022-09-01 11:15:51 +0200kitzman(~kitzman@user/dekenevs) (Quit: C-x C-c)
2022-09-01 11:16:10 +0200kitzman(~kitzman@user/dekenevs)
2022-09-01 11:18:10 +0200kuribas(~user@silversquare.silversquare.eu)
2022-09-01 11:20:16 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-01 11:21:16 +0200 <kuribas> is the STG documentation still relevant for x64?
2022-09-01 11:21:39 +0200 <kuribas> I mean this page: https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/generated-code
2022-09-01 11:23:21 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-09-01 11:24:24 +0200 <merijn> define "relevant"? :)
2022-09-01 11:25:04 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-09-01 11:26:39 +0200Guest4212(~chenqisu1@183.217.201.192)
2022-09-01 11:27:11 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2022-09-01 11:34:12 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-09-01 11:35:43 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-09-01 11:38:15 +0200 <kuribas> that it's enough to understand assembly output.
2022-09-01 11:38:25 +0200 <kuribas> doesn't have to match 1 to 1
2022-09-01 11:39:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-01 11:46:31 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-09-01 11:47:24 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-01 11:51:50 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-09-01 11:57:59 +0200toeffel_(~toeffel@user/toeffel) (Ping timeout: 268 seconds)
2022-09-01 12:00:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-01 12:09:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 12:09:31 +0200worldhelloworld1(uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-01 12:10:16 +0200nilradical(~nilradica@user/naso)
2022-09-01 12:10:19 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-09-01 12:10:32 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
2022-09-01 12:13:59 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2022-09-01 12:26:21 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds)
2022-09-01 12:27:45 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 12:27:56 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
2022-09-01 12:28:46 +0200nilradical(~nilradica@user/naso)
2022-09-01 12:33:33 +0200nilradical(~nilradica@user/naso) (Ping timeout: 252 seconds)
2022-09-01 12:40:05 +0200pagnol(~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 255 seconds)
2022-09-01 12:43:23 +0200merijn(~merijn@eduroam.wifi.infracom.nl) (Read error: Connection reset by peer)
2022-09-01 12:50:11 +0200gabiruh_(~gabiruh@vps19177.publiccloud.com.br)
2022-09-01 12:50:37 +0200nilradical(~nilradica@user/naso)
2022-09-01 12:50:53 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 255 seconds)
2022-09-01 12:52:15 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 12:52:31 +0200nilradical(~nilradica@user/naso)
2022-09-01 12:55:40 +0200causal(~user@50.35.83.177)
2022-09-01 12:56:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-01 12:56:38 +0200imdoor(~user@balticom-142-78-50.balticom.lv) (Ping timeout: 240 seconds)
2022-09-01 12:57:08 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-01 13:00:48 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-01 13:02:31 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-01 13:06:23 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 13:06:59 +0200nilradical(~nilradica@user/naso)
2022-09-01 13:07:24 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-01 13:11:59 +0200nilradical(~nilradica@user/naso) (Ping timeout: 268 seconds)
2022-09-01 13:14:31 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-09-01 13:17:52 +0200Achylles(~Achylles_@2804:431:d724:a3e0:a3ac:a5c3:30bd:f0d9)
2022-09-01 13:18:54 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-09-01 13:20:21 +0200nilradical(~nilradica@user/naso)
2022-09-01 13:22:14 +0200akegalj(~akegalj@93-138-22-32.adsl.net.t-com.hr)
2022-09-01 13:27:07 +0200jespada(~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-09-01 13:31:01 +0200merijn(~merijn@sp-eduroam-215-3.wireless.uva.nl)
2022-09-01 13:35:32 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen)
2022-09-01 13:36:57 +0200pagnol(~me@92-68-20-1.biz.kpn.net)
2022-09-01 13:37:41 +0200merijn(~merijn@sp-eduroam-215-3.wireless.uva.nl) (Ping timeout: 255 seconds)
2022-09-01 13:37:55 +0200coot(~coot@213.134.176.158)
2022-09-01 13:43:16 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-01 13:43:58 +0200jespada(~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net)
2022-09-01 13:44:53 +0200benin0(~benin@59.92.178.116) (Ping timeout: 255 seconds)
2022-09-01 13:47:30 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-09-01 13:48:38 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 240 seconds)
2022-09-01 13:49:39 +0200toeffel(~toeffel@user/toeffel)
2022-09-01 13:50:23 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 13:50:59 +0200nilradical(~nilradica@user/naso)
2022-09-01 13:55:46 +0200nilradical(~nilradica@user/naso) (Ping timeout: 268 seconds)
2022-09-01 13:56:41 +0200c0c0(~coco@212-51-146-199.fiber7.init7.net)
2022-09-01 13:56:51 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-01 13:57:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 14:01:24 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-01 14:02:07 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-09-01 14:10:45 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 14:14:54 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-09-01 14:19:05 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-09-01 14:21:19 +0200nilradical(~nilradica@user/naso)
2022-09-01 14:22:38 +0200acidjnk(~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-09-01 14:22:40 +0200akegalj(~akegalj@93-138-22-32.adsl.net.t-com.hr) (Quit: leaving)
2022-09-01 14:23:38 +0200benin0(~benin@117.193.64.161)
2022-09-01 14:25:01 +0200c0c0(~coco@212-51-146-199.fiber7.init7.net) (Ping timeout: 252 seconds)
2022-09-01 14:26:45 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 14:27:32 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 14:27:47 +0200nilradical(~nilradica@user/naso)
2022-09-01 14:30:15 +0200oo_migue1(~pi@77-252-46-249.static.ip.netia.com.pl) (Quit: WeeChat 3.0)
2022-09-01 14:30:17 +0200c0c0(~coco@85.195.206.136)
2022-09-01 14:36:51 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-09-01 14:40:14 +0200acidjnk(~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de)
2022-09-01 14:46:50 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-09-01 14:47:23 +0200Guest4212(~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
2022-09-01 14:51:45 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 14:52:19 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 248 seconds)
2022-09-01 14:52:23 +0200Kaipei(~Kaiepi@142.68.249.28) (Ping timeout: 255 seconds)
2022-09-01 14:52:32 +0200mima(~mmh@aftr-62-216-207-250.dynamic.mnet-online.de) (Ping timeout: 268 seconds)
2022-09-01 14:52:37 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2022-09-01 14:52:51 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 248 seconds)
2022-09-01 14:52:51 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 248 seconds)
2022-09-01 14:52:53 +0200nilradical(~nilradica@user/naso)
2022-09-01 14:52:57 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-09-01 14:53:06 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2022-09-01 14:54:37 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2022-09-01 14:55:31 +0200siraben(~siraben@user/siraben) (Ping timeout: 248 seconds)
2022-09-01 14:56:31 +0200siraben(~siraben@user/siraben)
2022-09-01 14:57:47 +0200nilradical(~nilradica@user/naso) (Ping timeout: 255 seconds)
2022-09-01 15:00:56 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 255 seconds)
2022-09-01 15:01:50 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Ping timeout: 255 seconds)
2022-09-01 15:02:06 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-09-01 15:04:23 +0200frost(~frost@user/frost) (Quit: Ping timeout (120 seconds))
2022-09-01 15:06:45 +0200frost(~frost@user/frost)
2022-09-01 15:07:29 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-01 15:11:53 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 15:12:11 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-01 15:13:42 +0200xff0x(~xff0x@2405:6580:b080:900:2fc4:f88d:3507:57fe)
2022-09-01 15:16:22 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-09-01 15:16:22 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2022-09-01 15:16:29 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-09-01 15:16:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-01 15:17:08 +0200coot(~coot@213.134.176.158)
2022-09-01 15:17:25 +0200nilradical(~nilradica@user/naso)
2022-09-01 15:24:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-01 15:25:30 +0200merijn(~merijn@eduroam.wifi.infracom.nl)
2022-09-01 15:27:18 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-09-01 15:29:12 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-01 15:29:22 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 15:29:27 +0200nilradical(~nilradica@user/naso)
2022-09-01 15:38:54 +0200Kaipei(~Kaiepi@142.68.249.28) (Remote host closed the connection)
2022-09-01 15:39:42 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-09-01 15:41:41 +0200Kaipei(~Kaiepi@142.68.249.28) (Read error: Connection reset by peer)
2022-09-01 15:42:05 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-09-01 15:42:52 +0200guest8080(~guest8080@S01069050ca3016a3.vs.shawcable.net) (Quit: Client closed)
2022-09-01 15:47:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-01 15:49:51 +0200tdbtwlt^^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-01 15:57:33 +0200mncheck(~mncheck@193.224.205.254) (Remote host closed the connection)
2022-09-01 16:01:40 +0200toeffel_(~toeffel@user/toeffel)
2022-09-01 16:02:17 +0200poscat(~poscat@114.245.109.80) (Quit: Bye)
2022-09-01 16:04:01 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 252 seconds)
2022-09-01 16:04:38 +0200poscat(~poscat@2408:8206:4821:6e31:cce:2afe:4f78:9c82)
2022-09-01 16:07:21 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6)
2022-09-01 16:07:50 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-09-01 16:07:54 +0200wafflepirate(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 264 seconds)
2022-09-01 16:07:58 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-09-01 16:07:58 +0200lally(sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 240 seconds)
2022-09-01 16:07:58 +0200vito(sid1962@user/vito) (Ping timeout: 240 seconds)
2022-09-01 16:07:58 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-09-01 16:08:02 +0200wafflepirate(sid467876@id-467876.ilkley.irccloud.com)
2022-09-01 16:08:06 +0200alinab(sid468903@id-468903.helmsley.irccloud.com)
2022-09-01 16:08:07 +0200lally(sid388228@id-388228.uxbridge.irccloud.com)
2022-09-01 16:08:17 +0200Kaipei(~Kaiepi@142.68.249.28) (Remote host closed the connection)
2022-09-01 16:08:18 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2022-09-01 16:08:30 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 264 seconds)
2022-09-01 16:08:33 +0200__monty__(~toonn@user/toonn)
2022-09-01 16:08:34 +0200Kaiepi(~Kaiepi@142.68.249.28) (Read error: Connection reset by peer)
2022-09-01 16:08:38 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2022-09-01 16:08:44 +0200vito(sid1962@user/vito)
2022-09-01 16:08:58 +0200supersven(sid501114@id-501114.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2022-09-01 16:09:02 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2022-09-01 16:09:02 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com) (Ping timeout: 268 seconds)
2022-09-01 16:09:16 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2022-09-01 16:09:39 +0200JSharp(sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 268 seconds)
2022-09-01 16:09:39 +0200pjlsergeant(sid143467@id-143467.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2022-09-01 16:09:39 +0200AndreasK(sid320732@id-320732.uxbridge.irccloud.com) (Ping timeout: 268 seconds)
2022-09-01 16:09:39 +0200mustafa(sid502723@rockylinux/releng/mustafa) (Ping timeout: 268 seconds)
2022-09-01 16:09:39 +0200astra(sid289983@user/amish) (Ping timeout: 268 seconds)
2022-09-01 16:09:42 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-09-01 16:09:42 +0200wallymathieu(sid533252@id-533252.uxbridge.irccloud.com) (Ping timeout: 264 seconds)
2022-09-01 16:10:46 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com)
2022-09-01 16:10:46 +0200supersven(sid501114@id-501114.ilkley.irccloud.com)
2022-09-01 16:10:46 +0200AndreasK(sid320732@id-320732.uxbridge.irccloud.com)
2022-09-01 16:10:46 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com)
2022-09-01 16:10:47 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2022-09-01 16:10:47 +0200wallymathieu(sid533252@id-533252.uxbridge.irccloud.com)
2022-09-01 16:10:57 +0200astra(sid289983@id-289983.hampstead.irccloud.com)
2022-09-01 16:10:57 +0200JSharp(sid4580@id-4580.lymington.irccloud.com)
2022-09-01 16:11:49 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-09-01 16:11:49 +0200mustafa(sid502723@rockylinux/releng/mustafa)
2022-09-01 16:11:49 +0200pjlsergeant(sid143467@id-143467.hampstead.irccloud.com)
2022-09-01 16:11:49 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com)
2022-09-01 16:12:03 +0200haskl(~haskl@user/haskl) (Ping timeout: 268 seconds)
2022-09-01 16:13:50 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 255 seconds)
2022-09-01 16:15:39 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-09-01 16:16:31 +0200arahael(~arahael@60-240-64-125.tpgi.com.au) (Ping timeout: 268 seconds)
2022-09-01 16:20:02 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-01 16:22:55 +0200haskl(~haskl@user/haskl)
2022-09-01 16:23:27 +0200tdbtwlt^^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2022-09-01 16:23:52 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-01 16:24:38 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
2022-09-01 16:26:07 +0200benin0(~benin@117.193.64.161) (Ping timeout: 244 seconds)
2022-09-01 16:28:42 +0200arahael(~arahael@60-241-143-35.tpgi.com.au)
2022-09-01 16:32:19 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds)
2022-09-01 16:32:35 +0200mima(~mmh@dhcp-138-246-3-240.dynamic.eduroam.mwn.de)
2022-09-01 16:35:01 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-01 16:35:10 +0200toeffel(~toeffel@user/toeffel)
2022-09-01 16:37:18 +0200toeffel_(~toeffel@user/toeffel) (Ping timeout: 264 seconds)
2022-09-01 16:38:53 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-09-01 16:41:29 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-01 16:44:01 +0200benin0(~benin@117.193.64.161)
2022-09-01 16:48:01 +0200dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 252 seconds)
2022-09-01 16:48:13 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-09-01 16:52:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 16:55:54 +0200nisstyre(wes@user/nisstyre) (Ping timeout: 264 seconds)
2022-09-01 17:01:13 +0200arahael(~arahael@60-241-143-35.tpgi.com.au) (Ping timeout: 252 seconds)
2022-09-01 17:04:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-01 17:05:24 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 244 seconds)
2022-09-01 17:06:21 +0200dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net)
2022-09-01 17:06:42 +0200acidjnk(~acidjnk@p200300d6e7137a28f0c2e869287c3830.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-01 17:08:23 +0200gmg(~user@user/gehmehgeh)
2022-09-01 17:14:42 +0200arahael(~arahael@115-64-199-183.tpgi.com.au)
2022-09-01 17:15:35 +0200andreabedini(~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6)
2022-09-01 17:15:36 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-09-01 17:16:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 17:17:10 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-09-01 17:18:58 +0200mncheck(~mncheck@193.224.205.254)
2022-09-01 17:19:31 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-01 17:21:33 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-01 17:23:06 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-01 17:23:40 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-01 17:24:04 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2022-09-01 17:26:33 +0200nisstyre(wes@user/nisstyre)
2022-09-01 17:26:53 +0200merijn(~merijn@eduroam.wifi.infracom.nl) (Ping timeout: 252 seconds)
2022-09-01 17:27:15 +0200gmg(~user@user/gehmehgeh)
2022-09-01 17:27:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-01 17:28:41 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-09-01 17:30:05 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-09-01 17:31:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 17:31:48 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-01 17:35:15 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 17:35:25 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-01 17:41:02 +0200ardell(~ardell@user/ardell)
2022-09-01 17:41:11 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds)
2022-09-01 17:41:39 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-09-01 17:42:07 +0200c0c0(~coco@85.195.206.136) (Quit: WeeChat 3.5)
2022-09-01 17:42:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:5545:114e:b297:6323) (Ping timeout: 264 seconds)
2022-09-01 17:43:16 +0200nilradical(~nilradica@user/naso) ()
2022-09-01 17:44:00 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds)
2022-09-01 17:48:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 17:50:20 +0200rockymarine(~rocky@user/rockymarine)
2022-09-01 17:56:45 +0200FragByte(~christian@user/fragbyte) (Quit: Quit)
2022-09-01 17:56:54 +0200FragByte(~christian@user/fragbyte)
2022-09-01 17:56:58 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-09-01 17:58:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-01 18:04:30 +0200akegalj(~akegalj@93-138-22-32.adsl.net.t-com.hr)
2022-09-01 18:05:13 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-01 18:13:45 +0200acidjnk(~acidjnk@p200300d6e7137a81c0d0b58e646b3d85.dip0.t-ipconnect.de)
2022-09-01 18:14:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-01 18:14:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-01 18:15:12 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-09-01 18:16:14 +0200kuribas(~user@silversquare.silversquare.eu) (Remote host closed the connection)
2022-09-01 18:19:23 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-09-01 18:19:42 +0200pagnol(~me@92-68-20-1.biz.kpn.net) (Ping timeout: 268 seconds)
2022-09-01 18:19:57 +0200Midjak(~Midjak@82.66.147.146)
2022-09-01 18:21:52 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 244 seconds)
2022-09-01 18:23:33 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Quit: Leaving)
2022-09-01 18:24:29 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-09-01 18:27:17 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-01 18:29:26 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
2022-09-01 18:33:06 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 18:33:09 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-01 18:34:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 18:37:28 +0200 <shapr> @quote
2022-09-01 18:37:28 +0200 <lambdabot> x11 says: -- this assumes bytes are 8 bits. I hope X isn't more portable than that :(
2022-09-01 18:38:10 +0200neceve(~quassel@2.26.93.14)
2022-09-01 18:46:08 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-01 18:46:45 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 18:50:54 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Quit: Leaving.)
2022-09-01 19:05:09 +0200fserucas(~fserucas@89.214.116.132) (Ping timeout: 252 seconds)
2022-09-01 19:06:29 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-01 19:06:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-01 19:07:52 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-01 19:11:25 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-09-01 19:13:42 +0200biberu(~biberu@user/biberu)
2022-09-01 19:15:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 19:15:35 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-01 19:20:08 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-09-01 19:22:50 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 19:23:43 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-01 19:26:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-01 19:26:53 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-09-01 19:27:07 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-09-01 19:27:07 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-09-01 19:27:32 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-09-01 19:28:16 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2022-09-01 19:29:43 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-01 19:29:56 +0200gehmehgeh(~user@user/gehmehgeh)
2022-09-01 19:29:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 19:30:15 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-01 19:31:43 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2022-09-01 19:32:53 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-01 19:33:08 +0200ardell(~ardell@user/ardell) (Quit: Leaving)
2022-09-01 19:36:44 +0200benin0(~benin@117.193.64.161) (Quit: The Lounge - https://thelounge.chat)
2022-09-01 19:46:15 +0200econo(uid147250@user/econo)
2022-09-01 19:54:06 +0200Guest36(~Guest36@2.58.185.24)
2022-09-01 19:54:46 +0200Guest36(~Guest36@2.58.185.24) (Client Quit)
2022-09-01 19:54:48 +0200gm3(~gm3@2.58.185.24)
2022-09-01 19:55:21 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Read error: Connection reset by peer)
2022-09-01 19:55:43 +0200ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk)
2022-09-01 19:57:15 +0200 <gm3> Data.Vector.replicate 10 undefined evaluates to undefined. Why is it forcing undefined?
2022-09-01 19:57:16 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-01 19:58:09 +0200 <dminuoso> gm3: In what context did you try this? GHCi?
2022-09-01 19:58:22 +0200 <gm3> No, compiled program.
2022-09-01 19:58:35 +0200 <dminuoso> How are you using that vector?
2022-09-01 19:59:17 +0200 <gm3> But I was testing it with a code lens. Maybe that's the problem?
2022-09-01 19:59:32 +0200 <dminuoso> Quite possibly, yes.
2022-09-01 19:59:48 +0200 <dminuoso> If you just try this in GHCi you will observe no bottom: seq (V.replicate 10 undefined) 1
2022-09-01 20:00:13 +0200 <dminuoso> tomsmeding: Whats the protocol to request changes to your yahb instance? I would like `vector` to be added for example
2022-09-01 20:01:12 +0200 <dminuoso> gm3: What exactly do you mean by code lens? Im a mildly confused because you also said this was in a compiled program.
2022-09-01 20:02:08 +0200gm3(~gm3@2.58.185.24) (Quit: Client closed)
2022-09-01 20:10:42 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
2022-09-01 20:14:04 +0200gm3(~gm3@2.58.185.24)
2022-09-01 20:16:54 +0200 <zzz> is implicit prelude considered a wart??
2022-09-01 20:18:34 +0200 <[exa]> no why
2022-09-01 20:19:20 +0200mima(~mmh@dhcp-138-246-3-240.dynamic.eduroam.mwn.de) (Ping timeout: 268 seconds)
2022-09-01 20:19:57 +0200kadir(~kadir@78.190.6.104)
2022-09-01 20:20:58 +0200kadir(~kadir@78.190.6.104) ()
2022-09-01 20:21:17 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-01 20:21:55 +0200 <monochrom> Let's crank that up to eleven!
2022-09-01 20:22:34 +0200 <monochrom> -XIncoherentInstances exists. Therefore, instance coherenence is considered a wart. >:)
2022-09-01 20:22:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-01 20:25:19 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-01 20:25:40 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-09-01 20:25:45 +0200 <zzz> well the only time i use Prelude is when writing a library and that's just because minimizing dependencies is good
2022-09-01 20:25:53 +0200biberu\(~biberu@user/biberu)
2022-09-01 20:26:07 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-01 20:26:19 +0200geekosaurguesses you use it more than you think
2022-09-01 20:26:41 +0200 <zzz> geekosaur: sure, but i wouldn't if i could avoid it
2022-09-01 20:27:22 +0200 <zzz> it keeps us stuck i think
2022-09-01 20:27:26 +0200biberu\biberu
2022-09-01 20:27:27 +0200 <geekosaur> huh?
2022-09-01 20:28:01 +0200 <geekosaur> it's filled with utility functions people use all the time? what's stuck about that? we should reinvent them all the time instead?
2022-09-01 20:28:18 +0200 <zzz> oh no, that;s not my point at all
2022-09-01 20:28:35 +0200 <zzz> of course it;s useful
2022-09-01 20:29:15 +0200 <zzz> but it also keeps many undesireable things around
2022-09-01 20:29:49 +0200 <zzz> well, i'm just bitching about nothing really...
2022-09-01 20:30:10 +0200 <geekosaur> if you mean String, System.IO isn't in the Prelude and has a much larger effect
2022-09-01 20:30:35 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2022-09-01 20:30:46 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 20:31:11 +0200 <geekosaur> (if you mean String, you probably shouldn't. I have lots of little programs sitting around that use String and rarely if ever use any Strings long enough to justify Text)
2022-09-01 20:31:19 +0200 <monochrom> Have you used "1+1"? Then you have used Prelude.
2022-09-01 20:31:29 +0200 <monochrom> Have you used do-notation? Then you have used Prelude.
2022-09-01 20:31:37 +0200 <zzz> what's good does it do besides saving us the effort of writing `import Prelude` ?
2022-09-01 20:31:44 +0200 <zzz> *what
2022-09-01 20:32:16 +0200 <monochrom> Have you used "x == y"? Then you have used Prelude.
2022-09-01 20:32:43 +0200 <monochrom> Have you used "otherwise"? Then you have used Prelude.
2022-09-01 20:32:57 +0200 <monochrom> Have you used "Maybe"? Then you have used Prelude.
2022-09-01 20:33:25 +0200 <monochrom> Have you used "Bool"? Then you have used Prelude.
2022-09-01 20:33:34 +0200 <zzz> lol i get the point
2022-09-01 20:34:15 +0200 <geekosaur> let's turn that around. why should I have to do an import to get very basic stuff?
2022-09-01 20:34:29 +0200 <geekosaur> (as monochrom has been pointing out)
2022-09-01 20:34:30 +0200 <monochrom> You can always write your own "import Prelude hiding (undesirable stuff)" by your logic.
2022-09-01 20:34:45 +0200 <zzz> because you might prefer a Prelude alternative (as there are many)
2022-09-01 20:34:59 +0200 <monochrom> No, speak for yourself.
2022-09-01 20:35:03 +0200 <geekosaur> none of which has enough mindshare to catch on
2022-09-01 20:35:14 +0200 <monochrom> I unprefer all those alternatives.
2022-09-01 20:35:17 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2022-09-01 20:35:21 +0200 <geekosaur> which is why there are so many of them: everyone's got their own notion of an ideal Prelude
2022-09-01 20:35:35 +0200 <geekosaur> and nobody can agree on one
2022-09-01 20:35:35 +0200 <zzz> right
2022-09-01 20:35:42 +0200 <zzz> so why an implicit one?
2022-09-01 20:35:45 +0200 <geekosaur> not because there's already a Prelude
2022-09-01 20:35:59 +0200 <geekosaur> again, why do I have to import something to get the basics?
2022-09-01 20:36:06 +0200 <geekosaur> this isn't Java
2022-09-01 20:36:24 +0200 <geekosaur> and even that implicitly gives you java.lang.whatever
2022-09-01 20:36:24 +0200 <monochrom> Actually Java has its equivalent of implicit prelude too IIRC.
2022-09-01 20:36:40 +0200 <monochrom> Yeah, that.
2022-09-01 20:36:50 +0200 <zzz> i'm getting the feeling i'm not the first person to contest this :p ok i get the point
2022-09-01 20:37:13 +0200 <monochrom> Sure, you in good company with every alternative prelude authors.
2022-09-01 20:37:21 +0200 <monochrom> s/you/you're/
2022-09-01 20:37:32 +0200 <johnw> rolling your own prelude is a rite of passage
2022-09-01 20:38:03 +0200 <monochrom> But are you conflating "implicit prelude is a wart" with "the standard prelude is a wart"?
2022-09-01 20:38:21 +0200 <johnw> I even did so at one point, but I'm sure glad not to have to maintain it now :)
2022-09-01 20:38:48 +0200 <monochrom> Because surely everyone, especially the alternative prelude authors, have to think "implicit prelude is not a wart, as long as it's my prelude".
2022-09-01 20:38:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2022-09-01 20:39:01 +0200 <monochrom> Because programmers are egomaniacs.
2022-09-01 20:39:06 +0200 <zzz> no. my point is that *any* implicit library is wart, because if in the future we find out that it contains something *really* undesireable, it's a pain to change it because "it breaks too many stuff"
2022-09-01 20:39:24 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-09-01 20:39:35 +0200 <geekosaur> it still breaks things if explicitly imported
2022-09-01 20:39:42 +0200 <johnw> I think no size fits all, and engineering teams should evolve their own preludes specific to the applications they're building. If you're a library author, use what's standard.
2022-09-01 20:39:45 +0200 <monochrom> How are explicit libraries any different?
2022-09-01 20:39:57 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-01 20:39:58 +0200 <geekosaur> it is literally no easier to remove something from an explicit prelude
2022-09-01 20:40:00 +0200jinsunGuest1029
2022-09-01 20:40:00 +0200jinsun__(~jinsun@user/jinsun)
2022-09-01 20:40:00 +0200Guest1029(~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services)))
2022-09-01 20:40:00 +0200jinsun__jinsun
2022-09-01 20:40:19 +0200Topsi(~Topsi@dyndsl-095-033-090-077.ewe-ip-backbone.de)
2022-09-01 20:40:19 +0200 <monochrom> 99% of base is non-implicit and still suffers "it's a pain to change it because "it breaks too many stuff"
2022-09-01 20:40:20 +0200 <zzz> geekosaur: no, legacy programs with implicit imports will continue to import the undesireable stuff, but new projects will just import UpdatedPrelude
2022-09-01 20:40:27 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-09-01 20:40:38 +0200 <zzz> s/will/would
2022-09-01 20:40:57 +0200 <monochrom> lens suffers "it's a pain to change it because "it breaks too many stuff"
2022-09-01 20:41:00 +0200 <zzz> s/implicit/explicit
2022-09-01 20:41:15 +0200jinsun(~jinsun@user/jinsun)
2022-09-01 20:41:16 +0200 <monochrom> text suffers "it's a pain to change it because "it breaks too many stuff"
2022-09-01 20:41:24 +0200 <geekosaur> that gets you UpdatedUpdatedUpdated...UpdatedPrelude
2022-09-01 20:41:31 +0200 <zzz> geekosaur: yes
2022-09-01 20:41:48 +0200 <monochrom> The only way to win is to not write software at all.
2022-09-01 20:41:55 +0200 <geekosaur> I *could* see support for specifying a prelude to import, and even cabal support for that
2022-09-01 20:42:22 +0200 <geekosaur> but not importing anything into ghci at all completely misses the point of ghci
2022-09-01 20:42:35 +0200 <yushyin> geekosaur: we have that already with mixins, no?
2022-09-01 20:42:36 +0200 <geekosaur> and the same can be said for small utility programs
2022-09-01 20:42:50 +0200 <geekosaur> for the 5 people who know how to use mixins, maybe
2022-09-01 20:44:45 +0200 <monochrom> Let's crank that up to one hundred and twenty one.
2022-09-01 20:44:53 +0200 <monochrom> Is implicit GHC considered a wart?
2022-09-01 20:47:08 +0200 <monochrom> Hrm so I'm one of the Big Five who know how to use mixins :)
2022-09-01 20:47:33 +0200 <johnw> are mixins different from backpack?
2022-09-01 20:47:55 +0200 <monochrom> We're going be permanent members of some United Haskellers Securty Council or something I guess >:)
2022-09-01 20:48:14 +0200 <yushyin> johnw: it's a by-product of backpack :D
2022-09-01 20:50:24 +0200 <yushyin> but makes it easy to change the implicit prelude to a different one
2022-09-01 20:52:46 +0200 <mniip> so the story of These is that it's a coproduct in Set* and Aligned is a functor(ish) representable in Set*
2022-09-01 20:53:00 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-09-01 20:53:00 +0200 <mniip> is there a story for working with higher arity coproducts in a way that doesn't suck?
2022-09-01 20:56:15 +0200Achylles(~Achylles_@2804:431:d724:a3e0:a3ac:a5c3:30bd:f0d9) (Quit: Leaving)
2022-09-01 20:56:25 +0200 <mniip> I'm looking to write a function that is vaguely of the shape (Map k v1, ..., Map k vn) -> (Map k r1, ..., Map k rm)
2022-09-01 20:56:53 +0200 <mniip> it would suck to go through These v1 (... (These vn-1 vn) ...) because that's exponentially many pattern cases
2022-09-01 21:00:22 +0200 <geekosaur> ohai! (not that I know the answer)
2022-09-01 21:01:04 +0200 <mniip> it's like a state machine but sideways
2022-09-01 21:02:06 +0200 <mniip> in reality n=4 and m=2 but that's enough to make me struggle to manage the complexity of any ad-hoc solution
2022-09-01 21:02:13 +0200 <mniip> (hi!)
2022-09-01 21:05:29 +0200 <mniip> even ignoring the v1...vn bit
2022-09-01 21:06:16 +0200 <mniip> is there a composable way to convert (Bool^n -> Bool^m) into ((Set k)^n -> (Set k)^m)
2022-09-01 21:06:23 +0200 <mniip> assuming the input function is 0-preserving
2022-09-01 21:06:31 +0200michalz(~michalz@185.246.204.75) (Ping timeout: 252 seconds)
2022-09-01 21:07:34 +0200 <mniip> this is the v~() version of the question and here we already run into questions like how to algebraically express the set of 0-preserving boolean functions
2022-09-01 21:08:33 +0200michalz(~michalz@185.246.204.75)
2022-09-01 21:08:42 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds)
2022-09-01 21:13:06 +0200 <mniip> no wait
2022-09-01 21:13:10 +0200 <mniip> These is a product
2022-09-01 21:17:10 +0200 <mniip> do we have tensor-hom in Set*?
2022-09-01 21:19:33 +0200kannon(~NK@198-0-221-12-static.hfc.comcastbusiness.net)
2022-09-01 21:21:26 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-01 21:21:35 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-09-01 21:22:16 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-01 21:23:04 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-01 21:23:31 +0200 <mniip> had to write that one down. Looks like Set* is not cartesian closed, so our ability to define n-ary functions by "currying" and consurming the arguments one by one -- is compromised
2022-09-01 21:25:58 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-09-01 21:28:20 +0200tdbtwlt^^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-01 21:29:02 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-01 21:30:16 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-09-01 21:32:19 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-09-01 21:33:53 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-01 21:38:46 +0200gm3(~gm3@2.58.185.24) (Quit: Client closed)
2022-09-01 21:38:58 +0200 <zzz> oh no, <$> and == have the same priority :X
2022-09-01 21:40:07 +0200neceve(~quassel@2.26.93.14) (Ping timeout: 268 seconds)
2022-09-01 21:40:26 +0200trcc(~trcc@87-57-134-11-cable.dk.customer.tdc.net)
2022-09-01 21:41:30 +0200kannon(~NK@198-0-221-12-static.hfc.comcastbusiness.net) (Quit: leaving)
2022-09-01 21:41:46 +0200mima(~mmh@aftr-62-216-207-192.dynamic.mnet-online.de)
2022-09-01 21:41:53 +0200tdbtwlt^^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
2022-09-01 21:44:02 +0200 <trcc> https://paste.tomsmeding.com/4pLE8NSf for some reason I only get to ("Received the filename: " <> inputFilename), which is outputted. Then the terminal acts weird afterwards. Any ideas?
2022-09-01 21:45:02 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-09-01 21:45:29 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-01 21:46:41 +0200 <geekosaur> the first getContents reads everything up to a control-D
2022-09-01 21:46:51 +0200 <geekosaur> you want getLine
2022-09-01 21:47:02 +0200 <geekosaur> (or control-Z on windows)
2022-09-01 21:47:05 +0200 <trcc> ah ok
2022-09-01 21:47:06 +0200 <trcc> thanks
2022-09-01 21:49:25 +0200Topsi(~Topsi@dyndsl-095-033-090-077.ewe-ip-backbone.de) (Ping timeout: 252 seconds)
2022-09-01 21:53:03 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-09-01 21:55:30 +0200adium(adium@user/adium) (Write error: Connection reset by peer)
2022-09-01 21:56:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-01 21:57:39 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-01 22:03:00 +0200ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Quit: WeeChat 3.5)
2022-09-01 22:04:06 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 22:04:09 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 22:05:00 +0200gm3(~gm3@2.58.185.24)
2022-09-01 22:08:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 22:10:03 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 22:12:21 +0200adium(adium@user/adium)
2022-09-01 22:14:56 +0200trcc(~trcc@87-57-134-11-cable.dk.customer.tdc.net) (Quit: Connection closed)
2022-09-01 22:15:14 +0200akegalj(~akegalj@93-138-22-32.adsl.net.t-com.hr) (Quit: leaving)
2022-09-01 22:15:34 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
2022-09-01 22:16:59 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-09-01 22:17:06 +0200cheater1__(~Username@user/cheater)
2022-09-01 22:17:09 +0200cheater1__cheater
2022-09-01 22:17:48 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-09-01 22:28:14 +0200arahael(~arahael@115-64-199-183.tpgi.com.au) (Ping timeout: 255 seconds)
2022-09-01 22:29:32 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection)
2022-09-01 22:30:53 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-09-01 22:32:19 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-09-01 22:32:42 +0200cheater(~Username@user/cheater)
2022-09-01 22:32:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-01 22:33:01 +0200GascOwn(~gasc_own@151.16.85.124)
2022-09-01 22:33:14 +0200codaraxis(~codaraxis@user/codaraxis)
2022-09-01 22:37:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2022-09-01 22:37:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-01 22:38:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 22:40:54 +0200arahael(~arahael@60-242-185-235.tpgi.com.au)
2022-09-01 22:47:35 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) (Ping timeout: 255 seconds)
2022-09-01 22:49:57 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-09-01 22:50:58 +0200acidjnk(~acidjnk@p200300d6e7137a81c0d0b58e646b3d85.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-09-01 22:51:14 +0200acidjnk(~acidjnk@p200300d6e7137a81043d6c871c3cb3d1.dip0.t-ipconnect.de)
2022-09-01 22:53:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 22:54:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 22:56:30 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-09-01 22:58:43 +0200analoq(~yashi@user/dies)
2022-09-01 22:58:59 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-01 22:59:33 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-01 23:00:06 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-01 23:00:11 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-09-01 23:00:37 +0200cheater(~Username@user/cheater)
2022-09-01 23:02:09 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-09-01 23:02:47 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-01 23:06:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-01 23:06:56 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 255 seconds)
2022-09-01 23:08:18 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds)
2022-09-01 23:09:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 23:11:11 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds)
2022-09-01 23:12:05 +0200janus(janus@anubis.0x90.dk)
2022-09-01 23:12:19 +0200 <janus> how do i set the equivalent of "profiling-detail: none" in stack.yaml?
2022-09-01 23:12:24 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-01 23:12:55 +0200pagnol(~me@213-205-209-87.ftth.glasoperator.nl)
2022-09-01 23:13:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-01 23:14:20 +0200GascOwn(~gasc_own@151.16.85.124) (Read error: Connection reset by peer)
2022-09-01 23:14:31 +0200mrmr(~mrmr@user/mrmr) (Read error: Connection reset by peer)
2022-09-01 23:14:47 +0200mrmr(~mrmr@user/mrmr)
2022-09-01 23:15:53 +0200cheater(~Username@user/cheater) (Quit: BitchX: now with wings!)
2022-09-01 23:16:19 +0200cheater(~Username@user/cheater)
2022-09-01 23:17:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-01 23:19:04 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-01 23:19:33 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-09-01 23:22:29 +0200pagnol(~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 268 seconds)
2022-09-01 23:23:17 +0200arahael(~arahael@60-242-185-235.tpgi.com.au) (Ping timeout: 252 seconds)
2022-09-01 23:23:45 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-09-01 23:24:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-01 23:26:56 +0200mima(~mmh@aftr-62-216-207-192.dynamic.mnet-online.de) (Remote host closed the connection)
2022-09-01 23:35:44 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-09-01 23:36:48 +0200 <sm> ghc-options: something something ?
2022-09-01 23:37:40 +0200arahael(~arahael@124.168.113.77)
2022-09-01 23:43:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-01 23:47:21 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-01 23:50:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-01 23:50:51 +0200arahael(~arahael@124.168.113.77) (Ping timeout: 268 seconds)
2022-09-01 23:51:06 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-09-01 23:51:44 +0200 <janus> some invocations of ghc-options are only specific to the target though.. so i may need 'ghc-options: "$globals": ...'
2022-09-01 23:51:53 +0200cheater1__(~Username@user/cheater)
2022-09-01 23:53:17 +0200statusbot4(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2022-09-01 23:54:01 +0200jinsun__(~jinsun@user/jinsun)
2022-09-01 23:54:01 +0200jinsun(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2022-09-01 23:54:01 +0200jinsun__jinsun
2022-09-01 23:54:05 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-09-01 23:54:08 +0200cheater1__cheater
2022-09-01 23:54:11 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 255 seconds)
2022-09-01 23:54:30 +0200polux8(~polux@51-15-169-172.rev.poneytelecom.eu)
2022-09-01 23:54:34 +0200jrm2(~jrm@user/jrm)
2022-09-01 23:54:40 +0200nek02(~nek0@2a01:4f8:222:2b41::12)
2022-09-01 23:54:50 +0200res0nat0r08449(~Fletch@dia.whatbox.ca)
2022-09-01 23:54:54 +0200drewolson3(~drewolson@user/drewolson)
2022-09-01 23:55:05 +0200texasmynsted_(~texasmyns@99.96.221.112)
2022-09-01 23:55:05 +0200edmundnoble_(sid229620@id-229620.helmsley.irccloud.com)
2022-09-01 23:55:06 +0200christiaanb_(sid84827@id-84827.lymington.irccloud.com)
2022-09-01 23:55:20 +0200ggb_(a62ffbaf4f@2604:bf00:561:2000::3ac)
2022-09-01 23:55:20 +0200lukec_(9dfd4d094e@2604:bf00:561:2000::10e)
2022-09-01 23:55:20 +0200filwisher_(2e6936c793@2604:bf00:561:2000::170)
2022-09-01 23:55:20 +0200dawdler_(035b60b5aa@2604:bf00:561:2000::3b6)
2022-09-01 23:55:20 +0200bsima1_(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-09-01 23:55:21 +0200samhh_(7569f027cf@2604:bf00:561:2000::e4)
2022-09-01 23:55:34 +0200shreyasminocha_(51fdc93eda@user/shreyasminocha)
2022-09-01 23:55:34 +0200jkoshy_(99b9359beb@user/jkoshy)
2022-09-01 23:55:40 +0200matijja`(~matijja@193.77.181.201)
2022-09-01 23:55:42 +0200tdmm_(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-09-01 23:55:42 +0200fluffyballoon_(45ce440a48@2604:bf00:561:2000::e2)
2022-09-01 23:55:43 +0200sooch__(sid533113@id-533113.hampstead.irccloud.com)
2022-09-01 23:55:48 +0200glowcoil_(sid3405@id-3405.tinside.irccloud.com)
2022-09-01 23:55:48 +0200ysh____(sid6017@id-6017.ilkley.irccloud.com)
2022-09-01 23:55:48 +0200acertain_(sid470584@id-470584.hampstead.irccloud.com)
2022-09-01 23:55:49 +0200jmtd(jon@dow.land)
2022-09-01 23:55:50 +0200jleightcap_(7bc4014b62@user/jleightcap)
2022-09-01 23:55:50 +0200Ankhers_(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-09-01 23:55:50 +0200evanrelf_(3addc196af@2604:bf00:561:2000::f0)
2022-09-01 23:55:50 +0200n1essa_(3d621153a5@2604:bf00:561:2000::df7)
2022-09-01 23:55:50 +0200ymherklotz_(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-09-01 23:55:50 +0200jakzale_(6291399afa@user/jakzale)
2022-09-01 23:55:51 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-01 23:55:55 +0200fvr_(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-09-01 23:55:55 +0200b0o_(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2022-09-01 23:55:55 +0200MonsoonSecrecy_(f78c86e960@2604:bf00:561:2000::f99)
2022-09-01 23:56:01 +0200bbhoss_(sid18216@id-18216.tinside.irccloud.com)
2022-09-01 23:56:06 +0200telser_(~quassel@user/telser)
2022-09-01 23:56:09 +0200matthews2(~matthews@gentoo/developer/matthew)
2022-09-01 23:56:09 +0200feliix42(~felix@gibbs.uberspace.de)
2022-09-01 23:56:09 +0200hendi_(sid489601@id-489601.lymington.irccloud.com)
2022-09-01 23:56:10 +0200integral_(sid296274@id-296274.lymington.irccloud.com)
2022-09-01 23:56:12 +0200Pent_(sid313808@id-313808.lymington.irccloud.com)
2022-09-01 23:56:13 +0200zero(~z@user/zero)
2022-09-01 23:56:19 +0200orcus(~orcus@user/brprice)
2022-09-01 23:56:19 +0200cln_(sid336875@id-336875.ilkley.irccloud.com)
2022-09-01 23:56:19 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2022-09-01 23:56:20 +0200PotatoGim_(sid99505@id-99505.lymington.irccloud.com)
2022-09-01 23:56:25 +0200taeaad_(~taeaad@user/taeaad)
2022-09-01 23:56:25 +0200hexeme_(~hexeme@user/hexeme)
2022-09-01 23:56:27 +0200YoungFrawg(~youngfrog@2a02:a03f:c21b:f900:d87c:4e75:f46f:408a)
2022-09-01 23:56:27 +0200poscat0x04(~poscat@114.245.109.80)
2022-09-01 23:56:27 +0200anderson_(~ande@user/anderson)
2022-09-01 23:56:29 +0200sajith-(~sajith@user/sajith)
2022-09-01 23:56:31 +0200Taneb0(~Taneb@runciman.hacksoc.org)
2022-09-01 23:56:31 +0200SethTisue_(sid14912@ilkley.irccloud.com)
2022-09-01 23:56:34 +0200wafflepirate_(sid467876@id-467876.ilkley.irccloud.com)
2022-09-01 23:56:35 +0200dispater-(~dispater@mail.brprice.uk)
2022-09-01 23:56:38 +0200gmc_(sid58314@id-58314.ilkley.irccloud.com)
2022-09-01 23:56:40 +0200gm3(~gm3@2.58.185.24) (Quit: Client closed)
2022-09-01 23:56:41 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Killed (NickServ (GHOST command used by nek02)))
2022-09-01 23:56:45 +0200nek02nek0
2022-09-01 23:56:49 +0200agander_m_(sid407952@id-407952.tinside.irccloud.com)
2022-09-01 23:56:51 +0200sa_(sid1055@id-1055.tinside.irccloud.com)
2022-09-01 23:56:51 +0200Athas_(athas@2a01:7c8:aaac:1cf:239a:5046:d32e:432e)
2022-09-01 23:57:00 +0200quintasan_(~quassel@quintasan.pl)
2022-09-01 23:57:03 +0200qwedfg_(~qwedfg@user/qwedfg)
2022-09-01 23:57:03 +0200SrPx_(sid108780@id-108780.uxbridge.irccloud.com)
2022-09-01 23:57:10 +0200lottaquestions_(~nick@2607:fa49:503e:7100:1134:a996:3e20:f719)
2022-09-01 23:57:20 +0200auri_(~auri@fsf/member/auri)
2022-09-01 23:57:35 +0200whereiseveryone_(206ba86c98@2604:bf00:561:2000::2e4)
2022-09-01 23:57:41 +0200defanor_(~defanor@tart.uberspace.net)
2022-09-01 23:57:50 +0200sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-09-01 23:57:59 +0200meejah_(~meejah@rutas.meejah.ca)
2022-09-01 23:58:00 +0200bsima-(~bsima@2604:a880:400:d0::19f1:7001)
2022-09-01 23:58:06 +0200nshepper1(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2022-09-01 23:58:09 +0200laman1(~laman@rego.ai)
2022-09-01 23:58:13 +0200scobydoo(~whatsupbo@user/scobydoo)
2022-09-01 23:58:14 +0200kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2022-09-01 23:58:17 +0200sshine_(~simon@exocortex.online)
2022-09-01 23:58:18 +0200Gowilla(~ganesh@urchin.earth.li)
2022-09-01 23:58:18 +0200sviermsung(E3Ya4Aww1k@user/s4msung)
2022-09-01 23:58:21 +0200vjok1(~vjoki@2a00:d880:3:1::fea1:9ae)
2022-09-01 23:58:25 +0200bwe_(~bwe@2a01:4f8:1c1c:4878::2)
2022-09-01 23:58:32 +0200nefercheprure(tma@twin.jikos.cz)
2022-09-01 23:58:43 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-01 23:58:56 +0200poscat(~poscat@2408:8206:4821:6e31:cce:2afe:4f78:9c82) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200jespada(~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200Jon(jon@dow.land) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200hendi(sid489601@id-489601.lymington.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200acertain(sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200christiaanb(sid84827@id-84827.lymington.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200ysh___(sid6017@id-6017.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200ryantrinkle(~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200sndr(~sander@user/sander) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200agander_m(sid407952@id-407952.tinside.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200integral(sid296274@user/integral) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200cln(sid336875@id-336875.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200jleightcap(7bc4014b62@user/jleightcap) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200jakzale(6291399afa@user/jakzale) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200filwisher(2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200Athas(athas@sigkill.dk) (Ping timeout: 244 seconds)
2022-09-01 23:58:56 +0200sajith(~sajith@user/sajith) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200orcus-(~orcus@user/brprice) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200hexeme(~hexeme@user/hexeme) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200qwedfg(~qwedfg@user/qwedfg) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200nibelungen(~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200jkoshy(99b9359beb@user/jkoshy) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200robertm(robertm@lattice.rojoma.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200lieven(~mal@ns2.wyrd.be) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200s4msung(oruFimO38n@user/s4msung) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200leah2(~leah@vuxu.org) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200rodental(~rodental@38.146.5.222) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200mht-wtf(~mht@mht.wtf) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200|beowulf|(~ircuser@sourcemage/mage/beowulf) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200Pent(sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200teddyc(theodorc@cassarossa.samfundet.no) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200laman(~laman@rego.ai) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200Guest585(~mike@user/feetwind) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200whatsupboy(~whatsupbo@user/scobydoo) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200sshine(~simon@exocortex.online) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200lyxia(~lyxia@poisson.chat) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200meejah(~meejah@rutas.meejah.ca) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200kristjansson(sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200Heffalump(~ganesh@urchin.earth.li) (Ping timeout: 244 seconds)
2022-09-01 23:58:57 +0200matijja(~matijja@193.77.181.201) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200wafflepirate(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200zaquest(~notzaques@5.130.79.72) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200lottaquestions(~nick@2607:fa49:503e:7100:8a8:aba4:ac00:def5) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200feliix42_(~felix@gibbs.uberspace.de) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200zzz(~z@user/zero) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200texasmynsted(~texasmyns@99.96.221.112) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200davean(~davean@davean.sciesnet.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200landonf(landonf@mac68k.info) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200bsima(~bsima@143.198.118.179) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200auri(~auri@fsf/member/auri) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200Square(~a@user/square) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200anderson(~ande@user/anderson) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200Hafydd_(jc@user/hafydd) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200bbhoss(sid18216@id-18216.tinside.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200dispater(~dispater@user/brprice) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200sooch_(sid533113@id-533113.hampstead.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200glowcoil(sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200CAT_S(apic@brezn3.muc.ccc.de) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200defanor(~defanor@tart.uberspace.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200dawdler(035b60b5aa@user/dawdler) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200sm[i]_(~user@li229-222.members.linode.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200jrm(~jrm@user/jrm) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200matthews(~matthews@gentoo/developer/matthew) (Ping timeout: 244 seconds)
2022-09-01 23:58:58 +0200cross(~cross@spitfire.i.gajendra.net) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200quintasan(~quassel@quintasan.pl) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200Aleksejs(~Aleksejs@107.170.21.106) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200telser(~quassel@user/telser) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200res0nat0r0844(~Fletch@dia.whatbox.ca) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200taeaad(~taeaad@user/taeaad) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200drewolson(~drewolson@user/drewolson) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200Qudit(~user@user/Qudit) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Ping timeout: 244 seconds)
2022-09-01 23:58:59 +0200lieven(~mal@ns2.wyrd.be)
2022-09-01 23:58:59 +0200christiaanb_christiaanb
2022-09-01 23:58:59 +0200MonsoonSecrecy_MonsoonSecrecy
2022-09-01 23:58:59 +0200gmc_gmc
2022-09-01 23:58:59 +0200jleightcap_jleightcap
2022-09-01 23:58:59 +0200acertain_acertain
2022-09-01 23:58:59 +0200hendi_hendi
2022-09-01 23:58:59 +0200ymherklotz_ymherklotz
2022-09-01 23:58:59 +0200bsima1_bsima1
2022-09-01 23:58:59 +0200samhh_samhh
2022-09-01 23:58:59 +0200jkoshy_jkoshy
2022-09-01 23:58:59 +0200fluffyballoon_fluffyballoon
2022-09-01 23:58:59 +0200tdmm_tdmm
2022-09-01 23:58:59 +0200lukec_lukec
2022-09-01 23:58:59 +0200n1essa_n1essa
2022-09-01 23:58:59 +0200YoungFrawgYoungFrog
2022-09-01 23:58:59 +0200vjok1vjoki
2022-09-01 23:58:59 +0200b0o_b0o
2022-09-01 23:59:00 +0200bbhoss_bbhoss
2022-09-01 23:59:00 +0200fvr_fvr
2022-09-01 23:59:00 +0200sa_sa
2022-09-01 23:59:00 +0200edmundnoble_edmundnoble
2022-09-01 23:59:00 +0200wafflepirate_wafflepirate
2022-09-01 23:59:00 +0200sooch__sooch_
2022-09-01 23:59:02 +0200SrPx_SrPx
2022-09-01 23:59:03 +0200glowcoil_glowcoil
2022-09-01 23:59:03 +0200evanrelf_evanrelf
2022-09-01 23:59:03 +0200jakzale_jakzale
2022-09-01 23:59:03 +0200Ankhers_Ankhers
2022-09-01 23:59:03 +0200shreyasminocha_shreyasminocha
2022-09-01 23:59:04 +0200integral_integral
2022-09-01 23:59:04 +0200jespada_(~jespada@77.97.36.250)
2022-09-01 23:59:04 +0200SethTisue_SethTisue
2022-09-01 23:59:04 +0200jrm2jrm
2022-09-01 23:59:04 +0200polux8polux
2022-09-01 23:59:04 +0200drewolson3drewolson
2022-09-01 23:59:08 +0200cross_(~cross@spitfire.i.gajendra.net)
2022-09-01 23:59:10 +0200nibelungen(~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725)
2022-09-01 23:59:14 +0200integral(sid296274@id-296274.lymington.irccloud.com) (Changing host)
2022-09-01 23:59:14 +0200integral(sid296274@user/integral)
2022-09-01 23:59:29 +0200robertm(robertm@lattice.rojoma.com)
2022-09-01 23:59:35 +0200mht-wtf(~mht@2a03:b0c0:3:e0::1e2:c001)
2022-09-01 23:59:40 +0200Aleksejs(~Aleksejs@107.170.21.106)
2022-09-01 23:59:55 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2)
2022-09-01 23:59:59 +0200sander(~sander@user/sander)