2023/07/23

2023-07-23 00:00:23 +0200 <dsal> Visual Studio Code
2023-07-23 00:00:46 +0200 <dsal> I'm mostly emacsian, but I've been using it more lately. It sometimes does useful stuff, but I don't actually know how most of it works.
2023-07-23 00:01:00 +0200 <dolio> Well, emacs is the only thing I can think of that might let you fix it.
2023-07-23 00:01:37 +0200 <dolio> Emacs makes you explicitly list all the sequences you want turned into ligatures, so maybe if you list that sequence, it will try to use a dedicated ligature, and presumably there isn't one.
2023-07-23 00:01:38 +0200 <dsal> It's just a display thing. Sometimes it's nice.
2023-07-23 00:01:47 +0200 <probie> Does it do weird spacing around ≥ so it's still 3 characters long?
2023-07-23 00:02:19 +0200 <dolio> But I'm not 100% sure that will work either.
2023-07-23 00:02:19 +0200 <probie> (3 characters long in `<>=`/`<≥`)
2023-07-23 00:02:48 +0200 <dolio> Yeah, most coding fonts with ligatures are designed to preserve spacing.
2023-07-23 00:03:08 +0200 <dsal> It lays out pretty correctly. I'm just not sure how to override this substitution. https://usercontent.irccloud-cdn.com/file/GL5UDYR2/%3C%24%3E.png
2023-07-23 00:03:34 +0200 <dolio> I'm not sure if VS code lets you do something similar. Vim doesn't, as far as I know.
2023-07-23 00:03:47 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-23 00:04:03 +0200 <dolio> Er, I guess I'm thinking of a particular vim UI I use. Otherwise it'd depend on your console or whatever.
2023-07-23 00:06:42 +0200qrst(~qrst@user/qrst)
2023-07-23 00:07:18 +0200qrst(~qrst@user/qrst) (Client Quit)
2023-07-23 00:07:32 +0200 <Lycurgus> html vs what a native gui can do
2023-07-23 00:09:30 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-07-23 00:10:27 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-07-23 00:10:47 +0200Claro(~claro@user/Claro) (Remote host closed the connection)
2023-07-23 00:12:35 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 244 seconds)
2023-07-23 00:13:42 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2023-07-23 00:14:57 +0200 <geekosaur> https://github.com/CoenraadS/vscode-Disable-Ligatures/issues/2 might have some useful hints?
2023-07-23 00:15:06 +0200qrst(~qrst@user/qrst)
2023-07-23 00:15:12 +0200myxokephale(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale)
2023-07-23 00:15:55 +0200qrst(~qrst@user/qrst) (Client Quit)
2023-07-23 00:16:20 +0200 <dsal> Oh nice. Yeah, this is helpful. I also noticed in some aeson code it changed `.!=` to `.≠`
2023-07-23 00:16:29 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-23 00:17:57 +0200qrst(~qrst@user/qrst)
2023-07-23 00:18:39 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 00:20:10 +0200 <dsal> This looks like it's someone saying "this should work" Which, yeah, that'd be cool.
2023-07-23 00:20:59 +0200 <geekosaur> the top is about that, the middle is "oh lemme write that and make a pull request", the bottom is a few people having problems with it and many others happy with it
2023-07-23 00:21:37 +0200 <geekosaur> what I'm not sure of is whether it works to prevent a ligature in the middle of another sequence, or just kills the ligature completely
2023-07-23 00:22:42 +0200 <geekosaur> I also found a ticket from 2022 when it got broken by an Electron upgrade, but it was subsequently fixed
2023-07-23 00:23:12 +0200 <geekosaur> it also mentioned a different extension, Ligatures Limited
2023-07-23 00:24:15 +0200 <dsal> I should probably not miss my flight trying to figure out a minor display problem. heh
2023-07-23 00:24:18 +0200 <dsal> Thanks for the pointer, though.
2023-07-23 00:27:32 +0200 <geekosaur> @tell dsal also there's a pointer somewhere in the middle to discussion of how to modify ligature fonts directly, which might let you define the larger token as a dummy ligature or something?
2023-07-23 00:27:32 +0200 <lambdabot> Consider it noted.
2023-07-23 00:28:10 +0200 <geekosaur> https://github.com/tonsky/FiraCode/wiki/How-to-enable-stylistic-sets
2023-07-23 00:28:35 +0200 <geekosaur> @tell dsal https://github.com/tonsky/FiraCode/wiki/How-to-enable-stylistic-sets
2023-07-23 00:28:35 +0200 <lambdabot> Consider it noted.
2023-07-23 00:29:00 +0200 <geekosaur> won't help if you're using a different font of course, unless they did something similar
2023-07-23 00:30:52 +0200 <mauke> https://www.coderelay.io/fontemon.html
2023-07-23 00:34:44 +0200 <dolio> Does the font not contain information about this? Like, on a mac, if you type 'supercalaZapfinofrajalistic' in the Zapfino font, does it ligature-ize the Zapfino in the middle of the word?
2023-07-23 00:35:53 +0200wroathe(~wroathe@user/wroathe)
2023-07-23 00:38:30 +0200 <dolio> I know some ligatures are supposed to happen in the middle of words. But it seems like most coding ligatures are supposed to be 'whole word' replacements.
2023-07-23 00:40:45 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-23 00:43:19 +0200 <geekosaur> I am under the impression that ligatures don't consider that; it's something of an abuse of the ligature mechanism
2023-07-23 00:51:51 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2023-07-23 00:57:24 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-23 01:01:58 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 01:01:58 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 01:01:58 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 01:03:53 +0200anpad(~pandeyan@user/anpad) (Ping timeout: 246 seconds)
2023-07-23 01:08:23 +0200anpad(~pandeyan@user/anpad)
2023-07-23 01:10:41 +0200 <[Leary]> dolio: Ligatures (liga) are context independent. "Contextual alternates" (calt) can be used to make glyphs dependent upon surrounding characters, but I'm not sure if that can be applied to ligature glyphs directly.
2023-07-23 01:11:31 +0200 <[Leary]> Ordinary programming fonts are not optimised for Haskell operator-soup, so they don't really need to consider whole word replacements.
2023-07-23 01:12:05 +0200 <dolio> Huh. So, does Zapfino in the middle of a word use the ligature? I guess it doesn't really matter. Or maybe they have some particular hack?
2023-07-23 01:12:40 +0200 <[Leary]> I don't know anything about this font, but I'd prusume it does.
2023-07-23 01:14:42 +0200nyc(~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com)
2023-07-23 01:19:05 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2023-07-23 01:19:53 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-23 01:22:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 01:22:29 +0200anpad(~pandeyan@user/anpad) (Ping timeout: 260 seconds)
2023-07-23 01:22:38 +0200pandeyan(~pandeyan@23-93-120-164.fiber.dynamic.sonic.net)
2023-07-23 01:26:59 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2023-07-23 01:32:37 +0200mauke_(~mauke@user/mauke)
2023-07-23 01:32:59 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds)
2023-07-23 01:34:44 +0200mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-07-23 01:34:44 +0200mauke_mauke
2023-07-23 01:40:20 +0200pavonia(~user@user/siracusa)
2023-07-23 01:45:26 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-07-23 01:47:11 +0200Guest9790(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
2023-07-23 01:47:40 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-07-23 01:59:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-07-23 02:01:54 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-07-23 02:03:22 +0200califax(~califax@user/califx)
2023-07-23 02:08:55 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-23 02:08:55 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-23 02:08:55 +0200wroathe(~wroathe@user/wroathe)
2023-07-23 02:09:48 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 02:13:14 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-07-23 02:28:36 +0200Guest9790(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2023-07-23 02:43:08 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2023-07-23 02:45:23 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-23 02:47:27 +0200cbarrett(sid192934@2a03:5180:f:1::2:f1a6) (Ping timeout: 245 seconds)
2023-07-23 02:51:03 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2023-07-23 03:09:06 +0200jargon(~jargon@174-22-223-141.phnx.qwest.net)
2023-07-23 03:10:22 +0200legacy(~legacy@84-236-21-51.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-23 03:11:06 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-23 03:12:05 +0200legacy(~legacy@84-236-1-13.pool.digikabel.hu)
2023-07-23 03:17:14 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-23 03:26:21 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-23 03:29:48 +0200akshitkr(~user@218.185.248.66)
2023-07-23 03:29:52 +0200 <akshitkr> sure
2023-07-23 03:35:14 +0200andrewboltachev(~andrey@178.141.125.70) (Quit: Leaving.)
2023-07-23 03:35:40 +0200andrewboltachev(~andrey@178.141.125.70)
2023-07-23 03:36:40 +0200ddellacosta(~ddellacos@146.70.165.10) (Ping timeout: 244 seconds)
2023-07-23 03:38:38 +0200ddellacosta(~ddellacos@146.70.166.100)
2023-07-23 03:38:51 +0200akshitkr(~user@218.185.248.66) (Remote host closed the connection)
2023-07-23 03:42:34 +0200komikat(~user@218.185.248.66)
2023-07-23 03:42:45 +0200 <komikat> ping
2023-07-23 03:43:21 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-23 03:44:25 +0200komikathi
2023-07-23 03:47:35 +0200komikat`(~user@218.185.248.66)
2023-07-23 03:47:46 +0200 <komikat`> test
2023-07-23 03:49:23 +0200 <geekosaur> hi
2023-07-23 03:49:31 +0200 <geekosaur> I don't think anyone but me is around right now
2023-07-23 03:51:11 +0200 <komikat> damn
2023-07-23 03:58:53 +0200razetime(~quassel@117.193.7.33)
2023-07-23 04:00:46 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 04:01:26 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-23 04:06:38 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2023-07-23 04:08:59 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-23 04:15:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 04:15:33 +0200hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.0.1)
2023-07-23 04:21:01 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-23 04:22:39 +0200td_(~td@i53870914.versanet.de) (Ping timeout: 244 seconds)
2023-07-23 04:24:41 +0200td_(~td@i53870909.versanet.de)
2023-07-23 04:35:18 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-07-23 04:37:42 +0200jero98772(~jero98772@2800:484:1d7f:5d36::3) (Ping timeout: 260 seconds)
2023-07-23 04:37:50 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-07-23 04:37:51 +0200dsrt^(~cd@24.125.210.85)
2023-07-23 04:46:38 +0200mei(~mei@user/mei) (Ping timeout: 250 seconds)
2023-07-23 04:48:29 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2023-07-23 05:01:12 +0200xugaw(~xugaw@p5b340031.dip0.t-ipconnect.de)
2023-07-23 05:01:19 +0200 <xugaw> /exit
2023-07-23 05:01:31 +0200xugaw(~xugaw@p5b340031.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-07-23 05:10:42 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
2023-07-23 05:13:48 +0200ddellacosta(~ddellacos@146.70.166.100) (Ping timeout: 244 seconds)
2023-07-23 05:15:59 +0200ddellacosta(~ddellacos@146.70.165.154)
2023-07-23 05:16:07 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 05:16:07 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 05:16:07 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 05:16:21 +0200shriekingnoise_(~shrieking@186.137.175.87)
2023-07-23 05:16:23 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 244 seconds)
2023-07-23 05:18:44 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-07-23 05:25:09 +0200legacy(~legacy@84-236-1-13.pool.digikabel.hu) (Ping timeout: 260 seconds)
2023-07-23 05:26:44 +0200legacy(~legacy@85-238-93-127.pool.digikabel.hu)
2023-07-23 05:27:06 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-07-23 05:29:04 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 05:29:04 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 05:29:04 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 05:30:01 +0200ddellacosta(~ddellacos@146.70.165.154) (Ping timeout: 245 seconds)
2023-07-23 05:31:51 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1)
2023-07-23 05:33:57 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
2023-07-23 05:33:57 +0200razetime(~quassel@117.193.7.33) (Ping timeout: 244 seconds)
2023-07-23 05:35:26 +0200aforemny_(~aforemny@i59F516EF.versanet.de)
2023-07-23 05:36:01 +0200aforemny(~aforemny@i59F516F8.versanet.de) (Ping timeout: 244 seconds)
2023-07-23 05:38:09 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 05:38:09 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 05:38:09 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 05:42:58 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-07-23 05:47:13 +0200dibblego(~dibblego@116.255.1.151)
2023-07-23 05:47:13 +0200dibblego(~dibblego@116.255.1.151) (Changing host)
2023-07-23 05:47:13 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 05:49:04 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 05:50:48 +0200Alleria(~AllahuAkb@2603-8000-fc01-e000-e0b8-6a5f-2f2a-af1c.res6.spectrum.com)
2023-07-23 05:51:51 +0200Alleria(~AllahuAkb@2603-8000-fc01-e000-e0b8-6a5f-2f2a-af1c.res6.spectrum.com) (Client Quit)
2023-07-23 05:53:46 +0200jargon(~jargon@174-22-223-141.phnx.qwest.net) (Remote host closed the connection)
2023-07-23 05:58:24 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2023-07-23 05:58:34 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Client Quit)
2023-07-23 06:03:08 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2023-07-23 06:03:38 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-23 06:04:58 +0200robertm(robertm@lattice.rojoma.com) (Quit: WeeChat 3.8)
2023-07-23 06:06:44 +0200robertm(robertm@lattice.rojoma.com)
2023-07-23 06:18:04 +0200xff0x(~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 250 seconds)
2023-07-23 06:18:27 +0200xff0x(~xff0x@178.255.149.135)
2023-07-23 06:23:33 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2023-07-23 06:27:34 +0200nick4(~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 260 seconds)
2023-07-23 06:31:42 +0200razetime(~quassel@117.193.7.33)
2023-07-23 06:40:05 +0200libertyprime(~libertypr@203.96.203.44) (Ping timeout: 244 seconds)
2023-07-23 06:48:52 +0200xff0x(~xff0x@178.255.149.135) (Ping timeout: 244 seconds)
2023-07-23 06:50:26 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-07-23 06:50:39 +0200xff0x(~xff0x@2405:6580:b080:900:8170:477f:e943:a1a1)
2023-07-23 06:57:20 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 06:57:20 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 06:57:20 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 07:03:21 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-23 07:15:52 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 07:18:38 +0200trev(~trev@user/trev)
2023-07-23 07:20:01 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-07-23 07:31:26 +0200libertyprime(~libertypr@203.96.203.44) (Quit: leaving)
2023-07-23 07:32:55 +0200myme(~myme@2a01:799:d60:e400:c5b2:fe0:610f:cd7e) (Ping timeout: 240 seconds)
2023-07-23 07:34:17 +0200myme(~myme@2a01:799:d60:e400:f7ae:b326:9b0a:e59)
2023-07-23 07:40:10 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 08:14:38 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2023-07-23 08:16:01 +0200gmg(~user@user/gehmehgeh)
2023-07-23 08:24:58 +0200komikat`(~user@218.185.248.66) (Ping timeout: 244 seconds)
2023-07-23 08:25:11 +0200komikat(~user@218.185.248.66) (Ping timeout: 264 seconds)
2023-07-23 08:28:56 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-07-23 08:30:08 +0200xff0x(~xff0x@2405:6580:b080:900:8170:477f:e943:a1a1) (Ping timeout: 244 seconds)
2023-07-23 08:30:31 +0200xff0x(~xff0x@ai086045.d.east.v6connect.net)
2023-07-23 08:30:39 +0200Inst__(~Inst@2601:6c4:4081:2fc0:a82c:59d6:de54:3fd2) (Ping timeout: 260 seconds)
2023-07-23 08:31:36 +0200komikat`(~user@218.185.248.66)
2023-07-23 08:31:36 +0200komikat(~user@218.185.248.66)
2023-07-23 08:37:29 +0200komikat`(~user@218.185.248.66) (Ping timeout: 246 seconds)
2023-07-23 08:37:29 +0200komikat(~user@218.185.248.66) (Ping timeout: 246 seconds)
2023-07-23 08:37:50 +0200Guest|21(~Guest|21@lnsm3-montreal02-142-118-84-157.internet.virginmobile.ca)
2023-07-23 08:37:57 +0200Guest|21(~Guest|21@lnsm3-montreal02-142-118-84-157.internet.virginmobile.ca) (Client Quit)
2023-07-23 08:38:07 +0200mei(~mei@user/mei)
2023-07-23 08:40:06 +0200komikat`(~user@218.185.248.66)
2023-07-23 08:40:06 +0200komikat(~user@218.185.248.66)
2023-07-23 08:40:46 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-23 08:43:59 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 08:43:59 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 08:43:59 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 08:45:01 +0200komikat`(~user@218.185.248.66) (Ping timeout: 245 seconds)
2023-07-23 08:45:01 +0200komikat(~user@218.185.248.66) (Ping timeout: 245 seconds)
2023-07-23 08:46:10 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-23 08:46:24 +0200libertyprime(~libertypr@203.96.203.44) (Ping timeout: 260 seconds)
2023-07-23 08:48:44 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-23 08:55:07 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-23 08:55:07 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-23 08:55:07 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-23 08:58:02 +0200komikat`(~user@218.185.248.66)
2023-07-23 08:58:02 +0200komikat(~user@218.185.248.66)
2023-07-23 09:01:39 +0200acidjnk(~acidjnk@p200300d6e7072f781cede2166f9d501c.dip0.t-ipconnect.de)
2023-07-23 09:04:14 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds)
2023-07-23 09:04:29 +0200nick4(~nick@ip98-162-147-230.pn.at.cox.net)
2023-07-23 09:05:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-07-23 09:09:09 +0200nick4(~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 260 seconds)
2023-07-23 09:12:59 +0200alexherbo2(~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net)
2023-07-23 09:13:25 +0200thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Quit: The Lounge - https://thelounge.chat)
2023-07-23 09:13:57 +0200cyphase_eviltwincyphase
2023-07-23 09:27:11 +0200thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-07-23 09:28:58 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-23 09:31:16 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 09:36:06 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-23 09:38:03 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2023-07-23 09:40:02 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2023-07-23 09:45:59 +0200gurkenglas(~gurkengla@dynamic-046-114-092-196.46.114.pool.telefonica.de)
2023-07-23 09:57:00 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 09:58:09 +0200razetime(~quassel@117.193.7.33) (Ping timeout: 260 seconds)
2023-07-23 10:01:34 +0200alexherbo2(~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) (Remote host closed the connection)
2023-07-23 10:03:38 +0200akegalj(~akegalj@36-90.dsl.iskon.hr)
2023-07-23 10:04:11 +0200alexherbo2(~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net)
2023-07-23 10:08:54 +0200razetime(~quassel@117.193.7.33)
2023-07-23 10:10:46 +0200akegalj(~akegalj@36-90.dsl.iskon.hr) (Remote host closed the connection)
2023-07-23 10:14:44 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) (Remote host closed the connection)
2023-07-23 10:17:38 +0200alexherbo2(~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) (Remote host closed the connection)
2023-07-23 10:20:33 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-23 10:24:47 +0200alexherbo2(~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net)
2023-07-23 10:25:37 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-23 10:26:44 +0200gurkenglas(~gurkengla@dynamic-046-114-092-196.46.114.pool.telefonica.de) (Ping timeout: 260 seconds)
2023-07-23 10:38:40 +0200gurkenglas(~gurkengla@46.114.94.83)
2023-07-23 10:40:41 +0200libertyprime(~libertypr@203.96.203.44) (Ping timeout: 246 seconds)
2023-07-23 10:40:51 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au)
2023-07-23 10:50:29 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-07-23 10:52:09 +0200mango(~finn@176-151-21-224.abo.bbox.fr)
2023-07-23 10:59:59 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-23 11:00:50 +0200phma(phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) (Read error: Connection reset by peer)
2023-07-23 11:01:46 +0200phma(~phma@2001:5b0:215a:83d8:36ed:3779:fa92:acd)
2023-07-23 11:04:25 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-23 11:05:26 +0200mango(~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 245 seconds)
2023-07-23 11:11:27 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-07-23 11:13:10 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 250 seconds)
2023-07-23 11:15:06 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 11:15:13 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef)
2023-07-23 11:16:54 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 11:19:49 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) (Ping timeout: 260 seconds)
2023-07-23 11:20:07 +0200legacy(~legacy@85-238-93-127.pool.digikabel.hu) (Ping timeout: 244 seconds)
2023-07-23 11:20:20 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-07-23 11:21:40 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2023-07-23 11:22:06 +0200legacy(~legacy@85-238-93-127.pool.digikabel.hu)
2023-07-23 11:27:28 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 250 seconds)
2023-07-23 11:29:05 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 11:32:59 +0200mango(~finn@176-151-21-224.abo.bbox.fr)
2023-07-23 11:33:43 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-07-23 11:34:11 +0200califax(~califax@user/califx)
2023-07-23 11:39:58 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-07-23 11:40:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2023-07-23 11:41:34 +0200Midjak(~Midjak@82.66.147.146)
2023-07-23 11:42:46 +0200Lord_of_Life_Lord_of_Life
2023-07-23 11:49:44 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-23 11:52:04 +0200Inst__(~Inst@2601:6c4:4081:2fc0:78d7:b1ca:6be1:4a52)
2023-07-23 12:05:39 +0200mango(~finn@176-151-21-224.abo.bbox.fr) (Read error: Connection reset by peer)
2023-07-23 12:09:12 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds)
2023-07-23 12:10:56 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (WeeChat 4.0.1)
2023-07-23 12:17:25 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-07-23 12:17:52 +0200califax(~califax@user/califx)
2023-07-23 12:20:56 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 12:23:30 +0200ripspin(~chatzilla@1.145.176.111)
2023-07-23 12:25:13 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2023-07-23 12:31:56 +0200shriekingnoise_(~shrieking@186.137.175.87) (Ping timeout: 244 seconds)
2023-07-23 12:33:35 +0200trillp(~user@2001:19f0:6402:d51:a653:53fd:6a79:a55)
2023-07-23 12:34:29 +0200__monty__(~toonn@user/toonn)
2023-07-23 12:34:52 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 240 seconds)
2023-07-23 12:36:06 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-23 12:37:04 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 12:38:34 +0200legacy(~legacy@85-238-93-127.pool.digikabel.hu) (Ping timeout: 260 seconds)
2023-07-23 12:39:20 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-07-23 12:39:54 +0200legacy(~legacy@89-186-118-192.pool.digikabel.hu)
2023-07-23 12:47:13 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2023-07-23 12:47:32 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-07-23 12:50:54 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-23 12:52:45 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-23 13:01:31 +0200mrmr(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2023-07-23 13:04:27 +0200 <Hecate> int-e: <3 <3
2023-07-23 13:07:05 +0200mrmr(~mrmr@user/mrmr)
2023-07-23 13:08:44 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-07-23 13:09:48 +0200idjaen(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-23 13:13:12 +0200idjaenidgaen
2023-07-23 13:13:42 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds)
2023-07-23 13:17:30 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds)
2023-07-23 13:31:14 +0200kupi(uid212005@id-212005.hampstead.irccloud.com)
2023-07-23 13:31:36 +0200 <int-e> :)
2023-07-23 13:34:01 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-23 13:48:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 13:48:38 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-07-23 13:49:44 +0200legacy(~legacy@89-186-118-192.pool.digikabel.hu) (Ping timeout: 260 seconds)
2023-07-23 13:50:55 +0200 <komikat> good morning
2023-07-23 13:51:32 +0200legacy(~legacy@188-143-101-104.pool.digikabel.hu)
2023-07-23 13:53:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-07-23 13:57:47 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-23 13:59:08 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds)
2023-07-23 14:06:03 +0200Axman6(~Axman6@user/axman6)
2023-07-23 14:08:43 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 14:10:20 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2023-07-23 14:14:11 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 245 seconds)
2023-07-23 14:16:10 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-07-23 14:18:37 +0200razetime(~quassel@117.193.7.33) (Remote host closed the connection)
2023-07-23 14:37:52 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-07-23 14:38:53 +0200Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2023-07-23 14:39:55 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 14:43:18 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-07-23 14:44:03 +0200idgaen(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-07-23 14:52:28 +0200dsrt^(~cd@24.125.210.85) (Ping timeout: 244 seconds)
2023-07-23 14:55:51 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-07-23 14:55:51 +0200Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-07-23 14:59:30 +0200Yumemi(~Yumemi@chamoin.net)
2023-07-23 15:07:39 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-23 15:17:38 +0200Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-07-23 15:20:14 +0200Yumemi(~Yumemi@chamoin.net)
2023-07-23 15:24:17 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-23 15:26:43 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-07-23 15:28:53 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-23 15:32:03 +0200kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-23 15:33:21 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-07-23 15:35:29 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 15:39:52 +0200johnw(~johnw@69.62.242.138) (Read error: Connection reset by peer)
2023-07-23 15:40:01 +0200johnw_(~johnw@2601:204:dc00:b0c0:10:645a:bbeb:9423)
2023-07-23 15:40:19 +0200Guest|83(~Guest|83@staticline-31-183-137-224.toya.net.pl)
2023-07-23 15:40:23 +0200Guest|83(~Guest|83@staticline-31-183-137-224.toya.net.pl) (Client Quit)
2023-07-23 15:40:58 +0200stilgart(~Christoph@chezlefab.net) (Ping timeout: 250 seconds)
2023-07-23 15:42:52 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds)
2023-07-23 15:45:48 +0200ddellacosta(~ddellacos@143.244.47.84)
2023-07-23 15:47:59 +0200Vajb(~Vajb@2001:999:704:b8c8:e14b:a6fe:34f9:7c8b) (Ping timeout: 264 seconds)
2023-07-23 15:48:57 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-23 15:55:22 +0200marinelli(~weechat@gateway/tor-sasl/marinelli)
2023-07-23 15:58:27 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-23 16:00:10 +0200dsrt^(~cd@24.125.210.85)
2023-07-23 16:02:16 +0200alexherbo2(~alexherbo@2a02-8440-2240-ee91-1c12-0fae-770c-588d.rev.sfr.net) (Remote host closed the connection)
2023-07-23 16:09:44 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-07-23 16:12:04 +0200johnw_(~johnw@2601:204:dc00:b0c0:10:645a:bbeb:9423) (Ping timeout: 260 seconds)
2023-07-23 16:14:53 +0200johnw(~johnw@69.62.242.138)
2023-07-23 16:16:37 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-23 16:19:42 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef)
2023-07-23 16:22:22 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds)
2023-07-23 16:22:47 +0200Sciencentistguy8(~sciencent@hacksoc/ordinary-member)
2023-07-23 16:22:55 +0200komikat(~user@218.185.248.66) (Remote host closed the connection)
2023-07-23 16:22:55 +0200komikat`(~user@218.185.248.66) (Remote host closed the connection)
2023-07-23 16:23:31 +0200komikat(~user@218.185.248.66)
2023-07-23 16:23:37 +0200 <komikat> gm
2023-07-23 16:24:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef) (Ping timeout: 260 seconds)
2023-07-23 16:24:36 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds)
2023-07-23 16:24:37 +0200Sciencentistguy8Sciencentistguy
2023-07-23 16:28:25 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-07-23 16:41:53 +0200thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Quit: The Lounge - https://thelounge.chat)
2023-07-23 16:42:20 +0200dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-23 16:43:15 +0200thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-07-23 16:44:25 +0200byte(~byte@user/byte) (Quit: Quitting...)
2023-07-23 16:44:27 +0200mik3d(~mik3d@74.102.139.139)
2023-07-23 16:45:09 +0200byte(~byte@user/byte)
2023-07-23 16:45:21 +0200 <mik3d> Howdy. morpheusgraphql anyone ? https://github.com/morpheusgraphql/morpheus-graphql/pull/842
2023-07-23 16:45:41 +0200 <mik3d> need help deriving a new type
2023-07-23 16:47:59 +0200juri_(~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds)
2023-07-23 16:50:32 +0200dolio(~dolio@130.44.134.54)
2023-07-23 16:51:44 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds)
2023-07-23 16:53:41 +0200Lycurgus(~juan@user/Lycurgus)
2023-07-23 16:56:43 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 17:01:39 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2023-07-23 17:02:15 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-23 17:02:56 +0200ubert(~Thunderbi@178.165.199.123.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
2023-07-23 17:04:51 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2023-07-23 17:05:44 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-23 17:10:14 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 250 seconds)
2023-07-23 17:10:25 +0200Fischmiep8(~Fischmiep@user/Fischmiep)
2023-07-23 17:14:32 +0200Fischmiep86(~Fischmiep@user/Fischmiep)
2023-07-23 17:14:35 +0200Fischmiep8(~Fischmiep@user/Fischmiep) (Ping timeout: 246 seconds)
2023-07-23 17:19:09 +0200Fischmiep86(~Fischmiep@user/Fischmiep) (Ping timeout: 246 seconds)
2023-07-23 17:19:44 +0200Fischmiep86(~Fischmiep@user/Fischmiep)
2023-07-23 17:22:10 +0200Fischmiep86(~Fischmiep@user/Fischmiep) (Excess Flood)
2023-07-23 17:22:51 +0200Fischmiep86(~Fischmiep@user/Fischmiep)
2023-07-23 17:24:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-23 17:25:47 +0200ubert(~Thunderbi@178.165.199.123.wireless.dyn.drei.com)
2023-07-23 17:27:05 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Read error: Connection reset by peer)
2023-07-23 17:29:02 +0200Fischmiep86(~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds)
2023-07-23 17:30:40 +0200Fischmiep863(~Fischmiep@user/Fischmiep)
2023-07-23 17:30:40 +0200Fischmiep863(~Fischmiep@user/Fischmiep) (Excess Flood)
2023-07-23 17:38:52 +0200Fischmiep863(~Fischmiep@user/Fischmiep)
2023-07-23 17:39:08 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-23 17:39:20 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-23 17:39:20 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-23 17:39:20 +0200wroathe(~wroathe@user/wroathe)
2023-07-23 17:42:27 +0200DigitalKiwi(~kiwi@2604:a880:400:d0::1ca0:e001)
2023-07-23 17:45:02 +0200Fischmiep863(~Fischmiep@user/Fischmiep) (Ping timeout: 244 seconds)
2023-07-23 17:49:28 +0200juri_(~juri@79.140.123.215)
2023-07-23 17:49:44 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 17:50:03 +0200juri_(~juri@79.140.123.215) (Read error: Connection reset by peer)
2023-07-23 17:50:12 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2023-07-23 17:50:34 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-23 17:54:28 +0200juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-07-23 17:54:32 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-07-23 17:54:40 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 17:55:22 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2023-07-23 17:56:13 +0200Fischmiep863(~Fischmiep@user/Fischmiep)
2023-07-23 17:56:46 +0200trev(~trev@user/trev)
2023-07-23 17:57:20 +0200mei(~mei@user/mei)
2023-07-23 18:00:34 +0200Fischmiep863(~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds)
2023-07-23 18:09:12 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-07-23 18:11:58 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-23 18:12:10 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:d9e8:7102:9d21:53ef)
2023-07-23 18:12:39 +0200 <dmj`> mik3d: you're going to need to post more code for people to understand why this is occurring. Specifically this module examples/scotty/src/Server/Mythology/API.hs
2023-07-23 18:12:59 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-07-23 18:27:52 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
2023-07-23 18:33:35 +0200ddellacosta(~ddellacos@143.244.47.84) (Ping timeout: 264 seconds)
2023-07-23 18:35:24 +0200ddellacosta(~ddellacos@146.70.185.177)
2023-07-23 18:38:11 +0200wroathe(~wroathe@71.24.231.118)
2023-07-23 18:38:11 +0200wroathe(~wroathe@71.24.231.118) (Changing host)
2023-07-23 18:38:11 +0200wroathe(~wroathe@user/wroathe)
2023-07-23 18:40:12 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 240 seconds)
2023-07-23 18:40:40 +0200 <mik3d> dmj, the code is complete, i just need to figure out how to derive the resolver. the error message is very confusing.
2023-07-23 18:49:12 +0200raym(~ray@user/raym) (Ping timeout: 240 seconds)
2023-07-23 18:50:08 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds)
2023-07-23 18:54:30 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-23 18:57:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-23 18:57:34 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-23 18:57:37 +0200Tlsx(~rscastilh@187.40.124.54)
2023-07-23 18:58:11 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-07-23 18:59:16 +0200ripspin(~chatzilla@1.145.176.111) (Remote host closed the connection)
2023-07-23 19:00:15 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-23 19:01:02 +0200Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-07-23 19:02:11 +0200Yumemi(~Yumemi@chamoin.net)
2023-07-23 19:15:12 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-23 19:18:29 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
2023-07-23 19:19:11 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
2023-07-23 19:22:53 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Client Quit)
2023-07-23 19:23:02 +0200Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-07-23 19:23:35 +0200Yumemi(~Yumemi@chamoin.net)
2023-07-23 19:25:47 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2023-07-23 19:27:58 +0200 <dmj`> mik3d: ok, I'm able to repro your type error
2023-07-23 19:28:23 +0200 <mik3d> oh thanks! dmj` its nice to be able to check in the code!
2023-07-23 19:29:11 +0200 <mik3d> i am trying to serve smaller chunks via the api now instead of the top level going forresolveDeityStory :: DeityArgs -> ResolverQ e IO Global_declarations
2023-07-23 19:30:46 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-07-23 19:31:07 +0200 <mik3d> maybe the prod t*T type is too complex or needs a rule like this instance ToJSON (Prod Global_env Term) where like json does
2023-07-23 19:32:38 +0200wroathe(~wroathe@71.24.231.118)
2023-07-23 19:32:38 +0200wroathe(~wroathe@71.24.231.118) (Changing host)
2023-07-23 19:32:38 +0200wroathe(~wroathe@user/wroathe)
2023-07-23 19:34:32 +0200 <mik3d> yeah stuck there now : (GHC.Generics.Rep (List (Prod Kername Global_decl)))) so basically need to derive these list/prod rules you can see in TestMeta.hs commented out i needed them for other serialization systems
2023-07-23 19:44:54 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 19:45:28 +0200 <dmj`> mik3d: rec_def_term is 50k lines long
2023-07-23 19:46:04 +0200 <mik3d> It's like a freaking goedle number
2023-07-23 19:49:34 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2023-07-23 19:53:18 +0200ub(~Thunderbi@178.165.199.123.wireless.dyn.drei.com)
2023-07-23 19:53:58 +0200michalz(~michalz@185.246.207.197)
2023-07-23 20:06:21 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-23 20:07:06 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-23 20:07:23 +0200 <justsomeguy> So, in "Chapter 15: Monoids and Semigroup" of haskelbook.com, they say "an algebra is one or more operations and the set they operate over". What does "operate over" mean? Is that like a mathematical closure? (I was thinking it was a combination of "closed over" and "operate on".)
2023-07-23 20:07:54 +0200 <dmj`> mik3d: I think their docs / examples might be out of date, in their example they have (ResolverQ e () Deity), but this won't kind check against (type ResolverQ :: forall {k}. * -> (* -> *) -> k -> * )
2023-07-23 20:10:48 +0200Tlsx(~rscastilh@187.40.124.54) ()
2023-07-23 20:12:57 +0200MacSlow(~MacSlow@p57bb296a.dip0.t-ipconnect.de)
2023-07-23 20:13:12 +0200Tlsx(~rscastilh@187.40.124.54)
2023-07-23 20:13:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-23 20:13:38 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl)
2023-07-23 20:14:01 +0200 <MacSlow> Greetings everyone!
2023-07-23 20:14:21 +0200 <jade[m]> hiya
2023-07-23 20:15:44 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
2023-07-23 20:15:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-23 20:18:26 +0200merijn(~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-07-23 20:19:10 +0200captnemo(~captnemo@193.32.127.239)
2023-07-23 20:24:30 +0200 <ncf> justsomeguy: algebraic operations typically take n elements from a set X as input, and produce an element of X; X is the set that the operation operates over, in this case
2023-07-23 20:24:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-23 20:25:08 +0200 <ncf> "operate on" should be synonymous
2023-07-23 20:25:14 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2023-07-23 20:25:18 +0200 <ncf> ok bye
2023-07-23 20:29:26 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-07-23 20:29:54 +0200arizona(~arizona@bcdcac82.skybroadband.com) (Ping timeout: 260 seconds)
2023-07-23 20:30:11 +0200nick4(~nick@2600:8807:9084:7800:f1f0:6aed:eef0:d448)
2023-07-23 20:30:50 +0200mik3d(~mik3d@74.102.139.139)
2023-07-23 20:30:52 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-23 20:33:35 +0200mik3d(~mik3d@74.102.139.139)
2023-07-23 20:33:44 +0200qrst(~qrst@user/qrst) (Quit: leaving)
2023-07-23 20:34:01 +0200qrst(~qrst@user/qrst)
2023-07-23 20:34:40 +0200ystael(~ystael@user/ystael)
2023-07-23 20:41:23 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-23 20:42:09 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-23 20:42:34 +0200ystael(~ystael@user/ystael) (Ping timeout: 250 seconds)
2023-07-23 20:43:30 +0200yangby(~secret@115.220.174.193)
2023-07-23 20:43:35 +0200yangby(~secret@115.220.174.193) (Client Quit)
2023-07-23 20:45:14 +0200yangby(~secret@115.220.174.193)
2023-07-23 20:49:43 +0200komikat(~user@218.185.248.66) (Read error: Connection reset by peer)
2023-07-23 20:52:42 +0200ystael(~ystael@user/ystael)
2023-07-23 20:52:49 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 20:56:33 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-07-23 20:57:21 +0200arizona(~arizona@bcdcac82.skybroadband.com)
2023-07-23 20:59:47 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2023-07-23 21:04:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-23 21:07:18 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds)
2023-07-23 21:08:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-23 21:11:59 +0200captnemo(~captnemo@193.32.127.239) (Quit: WeeChat 3.8)
2023-07-23 21:12:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2023-07-23 21:14:12 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2023-07-23 21:17:44 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2023-07-23 21:22:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-23 21:23:18 +0200marea_(~francesco@151.57.10.138)
2023-07-23 21:24:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-23 21:30:23 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2023-07-23 21:30:25 +0200jjhoo_jjhoo
2023-07-23 21:30:49 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-07-23 21:34:08 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 258 seconds)
2023-07-23 21:35:12 +0200titiband1t(~titibandi@user/titibandit)
2023-07-23 21:35:45 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-07-23 21:36:15 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-23 21:41:16 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-23 21:43:41 +0200gurkenglas(~gurkengla@46.114.94.83) (Read error: Connection reset by peer)
2023-07-23 21:45:44 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds)
2023-07-23 21:48:21 +0200marea_(~francesco@151.57.10.138) (Ping timeout: 245 seconds)
2023-07-23 21:51:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-23 21:54:54 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-23 21:56:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-07-23 21:56:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-23 22:00:53 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-07-23 22:06:06 +0200titiband1t(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-23 22:06:29 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-07-23 22:06:58 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-23 22:07:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-23 22:09:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-23 22:10:46 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-07-23 22:13:30 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-07-23 22:14:15 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-23 22:17:19 +0200Pickchea(~private@user/pickchea)
2023-07-23 22:18:24 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2023-07-23 22:20:44 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-07-23 22:33:16 +0200captnemo(~captnemo@193.32.127.239)
2023-07-23 22:34:03 +0200captnemo(~captnemo@193.32.127.239) (Client Quit)
2023-07-23 22:34:34 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-23 22:34:59 +0200captnemo(~captnemo@193.32.127.239)
2023-07-23 22:37:49 +0200Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-07-23 22:42:03 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-23 22:43:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-23 22:44:15 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-23 22:44:15 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-23 22:44:15 +0200wroathe(~wroathe@user/wroathe)
2023-07-23 22:45:14 +0200MacSlow(~MacSlow@p57bb296a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-07-23 22:48:08 +0200titibandit(~titibandi@user/titibandit) (Read error: Connection reset by peer)
2023-07-23 22:48:56 +0200Lycurgus(~juan@user/Lycurgus)
2023-07-23 22:51:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-23 22:51:28 +0200Tlsx(~rscastilh@187.40.124.54) ()
2023-07-23 22:53:38 +0200titibandit(~titibandi@user/titibandit)
2023-07-23 22:56:40 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-23 22:57:42 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-07-23 22:58:30 +0200gurkenglas(~gurkengla@dynamic-046-114-094-083.46.114.pool.telefonica.de)
2023-07-23 23:02:08 +0200MacSlow(~MacSlow@p57bb296a.dip0.t-ipconnect.de)
2023-07-23 23:05:05 +0200Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2023-07-23 23:05:22 +0200Yumemi(~Yumemi@chamoin.net)
2023-07-23 23:07:16 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-07-23 23:10:04 +0200connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2023-07-23 23:10:31 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-23 23:11:42 +0200connrs(~connrs@user/connrs)
2023-07-23 23:13:31 +0200mik3d(~mik3d@74.102.139.139) (Remote host closed the connection)
2023-07-23 23:13:44 +0200mik3d(~mik3d@74.102.139.139)
2023-07-23 23:22:28 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-07-23 23:26:24 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-07-23 23:27:30 +0200ub1(~Thunderbi@91.141.78.46.wireless.dyn.drei.com)
2023-07-23 23:27:44 +0200ubert1(~Thunderbi@91.141.78.46.wireless.dyn.drei.com)
2023-07-23 23:28:07 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-07-23 23:28:12 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-07-23 23:28:24 +0200ub(~Thunderbi@178.165.199.123.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2023-07-23 23:28:39 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-23 23:29:34 +0200ubert(~Thunderbi@178.165.199.123.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2023-07-23 23:29:34 +0200ubert1ubert
2023-07-23 23:29:35 +0200ub1ub
2023-07-23 23:31:21 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-07-23 23:40:23 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-23 23:41:01 +0200Teacup(~teacup@user/teacup) ()
2023-07-23 23:41:17 +0200Teacup(~teacup@user/teacup)
2023-07-23 23:41:58 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 250 seconds)
2023-07-23 23:45:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-23 23:46:28 +0200accord(uid568320@id-568320.hampstead.irccloud.com)
2023-07-23 23:48:34 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-23 23:50:15 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-07-23 23:50:43 +0200maxell129(~maxell129@2a01:e0a:1e5:e690:34ca:21ab:4432:dde1)
2023-07-23 23:52:04 +0200mik3d(~mik3d@74.102.139.139)
2023-07-23 23:52:41 +0200maxell129(~maxell129@2a01:e0a:1e5:e690:34ca:21ab:4432:dde1) (Quit: Client closed)
2023-07-23 23:56:31 +0200tonyday(~user@122-199-56-230.ip4.superloop.au)