Home liberachat/#haskell: Logs Calendar

Logs on 2022-09-01 (liberachat/#haskell)

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

All times are in UTC on 2022-09-01.