2024/05/17

2024-05-17 00:03:20 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-05-17 00:06:16 +0200systemhalted(~systemhal@130.51.137.77)
2024-05-17 00:06:53 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 00:07:47 +0200califax(~califax@user/califx)
2024-05-17 00:13:56 +0200systemhalted(~systemhal@130.51.137.77) (Ping timeout: 268 seconds)
2024-05-17 00:17:33 +0200titibandit(~user@user/titibandit) (Remote host closed the connection)
2024-05-17 00:19:31 +0200agent314(~quassel@193.37.254.131.adsl.inet-telecom.org)
2024-05-17 00:20:05 +0200agent314(~quassel@193.37.254.131.adsl.inet-telecom.org) (Client Quit)
2024-05-17 00:20:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-17 00:20:42 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-17 00:20:59 +0200sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net)
2024-05-17 00:22:24 +0200gmg(~user@user/gehmehgeh)
2024-05-17 00:25:14 +0200acidjnk_new(~acidjnk@p5dd87bdf.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-05-17 00:26:23 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2024-05-17 00:27:57 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-17 00:31:54 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-17 00:37:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 00:40:03 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-05-17 00:40:58 +0200Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Read error: Connection reset by peer)
2024-05-17 00:42:44 +0200systemhalted(~systemhal@130.51.137.77)
2024-05-17 00:45:08 +0200systemhalted(~systemhal@130.51.137.77) (Remote host closed the connection)
2024-05-17 00:45:23 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-05-17 00:51:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-17 00:57:55 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2024-05-17 01:02:50 +0200ystael(~ystael@user/ystael)
2024-05-17 01:10:53 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 01:11:03 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356)
2024-05-17 01:25:48 +0200xff0x(~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 256 seconds)
2024-05-17 01:26:19 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-17 01:29:22 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 246 seconds)
2024-05-17 01:30:24 +0200xff0x(~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c)
2024-05-17 01:34:01 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 01:34:11 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356)
2024-05-17 01:41:19 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 260 seconds)
2024-05-17 01:44:53 +0200zzz(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-17 01:50:58 +0200petrichor(~znc-user@user/petrichor)
2024-05-17 01:51:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-17 02:05:08 +0200bollu(~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds))
2024-05-17 02:05:35 +0200bollu(~bollu@159.65.151.13)
2024-05-17 02:06:49 +0200philopsos1(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-17 02:10:34 +0200philopsos1(~caecilius@user/philopsos)
2024-05-17 02:19:22 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-05-17 02:20:07 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 246 seconds)
2024-05-17 02:21:05 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-17 02:23:26 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-17 02:27:27 +0200zzz(~yin@user/zero)
2024-05-17 02:27:31 +0200mei(~mei@user/mei)
2024-05-17 02:47:03 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca)
2024-05-17 02:47:27 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Remote host closed the connection)
2024-05-17 02:50:26 +0200bilegeek(~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf)
2024-05-17 02:51:53 +0200m257(~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 256 seconds)
2024-05-17 03:03:31 +0200zzz(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-17 03:07:52 +0200otto_s(~user@p4ff27827.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-17 03:09:41 +0200otto_s(~user@p5b0448c7.dip0.t-ipconnect.de)
2024-05-17 03:12:48 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-17 03:13:19 +0200ystael(~ystael@user/ystael) (Ping timeout: 246 seconds)
2024-05-17 03:15:36 +0200xff0x(~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 255 seconds)
2024-05-17 03:15:41 +0200Guest85(~Guest85@c-76-115-231-219.hsd1.or.comcast.net)
2024-05-17 03:16:14 +0200Guest85(~Guest85@c-76-115-231-219.hsd1.or.comcast.net) (Client Quit)
2024-05-17 03:17:26 +0200philopsos(~caecilius@user/philopsos)
2024-05-17 03:21:11 +0200m257(~maaz@174.92.92.146)
2024-05-17 03:49:20 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-17 03:51:49 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds)
2024-05-17 03:54:05 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-05-17 04:01:23 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-17 04:04:01 +0200Athas(athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 04:04:11 +0200Athas(athas@sigkill.dk)
2024-05-17 04:10:44 +0200td_(~td@i53870936.versanet.de) (Ping timeout: 252 seconds)
2024-05-17 04:12:45 +0200td_(~td@i53870915.versanet.de)
2024-05-17 04:15:16 +0200m257(~maaz@174.92.92.146) (Ping timeout: 246 seconds)
2024-05-17 04:30:54 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-17 04:31:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 04:47:39 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-17 04:54:06 +0200mei(~mei@user/mei)
2024-05-17 04:54:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-17 05:01:52 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Quit: WeeChat 4.2.2)
2024-05-17 05:03:35 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-17 05:09:52 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds)
2024-05-17 05:17:25 +0200philopsos1(~caecilius@user/philopsos)
2024-05-17 05:29:49 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 246 seconds)
2024-05-17 05:39:53 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-05-17 05:44:40 +0200m257(~maaz@174.92.92.146)
2024-05-17 05:52:32 +0200aforemny_(~aforemny@2001:9e8:6cfa:400:979c:514d:c315:798d)
2024-05-17 05:53:47 +0200aforemny(~aforemny@2001:9e8:6cd4:e700:d233:e5e6:582d:855) (Ping timeout: 256 seconds)
2024-05-17 05:58:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 06:02:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-17 06:04:40 +0200philopsos(~caecilius@user/philopsos) (Quit: leaving)
2024-05-17 06:05:01 +0200philopsos(~caecilius@user/philopsos)
2024-05-17 06:06:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 06:09:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-05-17 06:09:57 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-17 06:10:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 06:15:09 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 255 seconds)
2024-05-17 06:17:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-05-17 06:21:38 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2024-05-17 06:21:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 06:24:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-05-17 06:27:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 06:32:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-05-17 06:33:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 06:43:58 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 268 seconds)
2024-05-17 06:45:31 +0200m257(~maaz@174.92.92.146) (Ping timeout: 268 seconds)
2024-05-17 06:48:10 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-05-17 07:06:16 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-17 07:09:22 +0200tinjamin(~tinjamin@banshee.h4x0r.space) (Quit: Ping timeout (120 seconds))
2024-05-17 07:09:39 +0200tinjamin(~tinjamin@banshee.h4x0r.space)
2024-05-17 07:22:04 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-17 07:22:41 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving)
2024-05-17 07:28:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-05-17 07:28:39 +0200euphores(~SASL_euph@user/euphores)
2024-05-17 07:30:04 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-17 07:34:42 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-17 07:37:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-17 07:40:26 +0200acidjnk_new(~acidjnk@p200300d6e714dc64113083a2457f0359.dip0.t-ipconnect.de)
2024-05-17 07:51:51 +0200madeleine-sydney(~madeleine@c-71-229-185-228.hsd1.co.comcast.net)
2024-05-17 07:54:10 +0200xal(~xal@mx1.xal.systems) ()
2024-05-17 07:55:07 +0200xal(~xal@mx1.xal.systems)
2024-05-17 07:55:58 +0200Square(~Square@user/square)
2024-05-17 07:57:39 +0200xal(~xal@mx1.xal.systems) (Client Quit)
2024-05-17 07:58:06 +0200xal(~xal@mx1.xal.systems)
2024-05-17 07:58:19 +0200xal(~xal@mx1.xal.systems) (Client Quit)
2024-05-17 07:58:57 +0200xal(~xal@mx1.xal.systems)
2024-05-17 08:08:24 +0200mikko(~mikko@user/mikko) (Ping timeout: 260 seconds)
2024-05-17 08:13:38 +0200bilegeek(~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) (Quit: Leaving)
2024-05-17 08:27:58 +0200kuribas(~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5)
2024-05-17 08:30:26 +0200kuribas(~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) (Remote host closed the connection)
2024-05-17 08:30:28 +0200philopsos1(~caecilius@user/philopsos)
2024-05-17 08:30:39 +0200kuribas(~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c)
2024-05-17 08:31:47 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-17 08:34:57 +0200kuribas(~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Read error: Connection reset by peer)
2024-05-17 08:35:15 +0200kuribas(~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c)
2024-05-17 08:50:22 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-17 09:01:13 +0200kuribas(~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Ping timeout: 255 seconds)
2024-05-17 09:18:36 +0200danza(~francesco@fi-19-216-22.service.infuturo.it)
2024-05-17 09:18:47 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-05-17 09:28:31 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds)
2024-05-17 09:38:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-17 09:40:59 +0200mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi)
2024-05-17 09:40:59 +0200mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host)
2024-05-17 09:40:59 +0200mikko(~mikko@user/mikko)
2024-05-17 09:42:11 +0200 <Hecate> Rembane: yoooo
2024-05-17 09:42:15 +0200 <Hecate> what's up?
2024-05-17 09:45:18 +0200danza(~francesco@fi-19-216-22.service.infuturo.it) (Ping timeout: 255 seconds)
2024-05-17 09:45:43 +0200 <[exa]> hey guys, is there a way to paste clipboard to the play.haskell.org code textarea on cellphones? This might be me becoming obsolete but I can't find a way to do that, the editor blocks the usual "hold select & paste" way
2024-05-17 09:46:06 +0200 <[exa]> "on cellphones" I mean android in this case
2024-05-17 09:46:15 +0200 <[exa]> cc tomsmeding ^
2024-05-17 09:46:46 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-17 09:46:53 +0200 <tomsmeding> [exa]: yeah the mobile experience on the playground is a bit broken because the editor is too clever
2024-05-17 09:46:59 +0200 <tomsmeding> I'm open to suggestions
2024-05-17 09:47:26 +0200 <tomsmeding> I'm not unwilling to just make it a plain <textarea>, but then how to detect whether to do so?
2024-05-17 09:47:29 +0200chele(~chele@user/chele)
2024-05-17 09:48:05 +0200 <tomsmeding> the horizontal vs vertical layout is based on window width, but that makes some kind of sense for layout but is certainly too indirect for something like "has a proper external keyboard"
2024-05-17 09:48:45 +0200 <[exa]> yeah maybe a completely stupid switch like "plain textarea/cool colorcodearea" could do
2024-05-17 09:49:15 +0200 <tomsmeding> there's actually some kind of context menu thing that this fancy editor does where it does offer clipboard actions
2024-05-17 09:49:16 +0200 <[exa]> otoh there us no reason why the editor would block pastes right? so maybe better if I go scream at upstream :)
2024-05-17 09:49:23 +0200 <tomsmeding> but I think I disabled that because it was terribly annoying
2024-05-17 09:50:18 +0200 <[exa]> yeah
2024-05-17 09:51:41 +0200 <[exa]> as a stupid workaround, a button to open a local file would probably do as well
2024-05-17 09:52:11 +0200 <[exa]> what's the editor btw? (quite annoyingly I'm on a cellphone now :D )
2024-05-17 09:52:44 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346)
2024-05-17 09:53:36 +0200 <tomsmeding> Ace
2024-05-17 09:53:40 +0200 <tomsmeding> https://ace.c9.io/
2024-05-17 09:57:18 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds)
2024-05-17 09:58:04 +0200 <[exa]> ah I see
2024-05-17 09:58:24 +0200 <[exa]> yeah really, I cannot paste to the official ace demo
2024-05-17 09:58:43 +0200 <[exa]> but e.g. CodeMirror6 seems to work
2024-05-17 09:58:43 +0200 <tomsmeding> [exa]: do you get the (...) button the right-hand side of the line
2024-05-17 09:59:00 +0200 <tomsmeding> I was using codemirror before because maerwald put that in but I could not make heads or tails of its configuration
2024-05-17 09:59:18 +0200 <tomsmeding> documentation was incomplete, the typescript typing seemed incorrect in places, and there was way too much abstraction
2024-05-17 09:59:31 +0200 <tomsmeding> ace just worked (tm)
2024-05-17 09:59:36 +0200 <tomsmeding> except now this
2024-05-17 10:00:09 +0200 <[exa]> yeah not saying CM would be better :D
2024-05-17 10:00:37 +0200 <[exa]> the ldots button I dont see on play.h.o bot it seems to work on the official site
2024-05-17 10:00:44 +0200 <[exa]> *but
2024-05-17 10:01:06 +0200 <tomsmeding> yeah you don't see it on play.h.o because https://github.com/haskell/play-haskell/blob/master/play-haskell-server/play.mustache#L332-L334 lol
2024-05-17 10:01:16 +0200 <[exa]> what are folks like gitlabs and giteas using?
2024-05-17 10:01:34 +0200 <[exa]> lol
2024-05-17 10:01:36 +0200 <[exa]> ok
2024-05-17 10:01:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-17 10:01:58 +0200 <tomsmeding> [exa]: removed that css now, reload play.haskell.org
2024-05-17 10:02:23 +0200 <tomsmeding> should I just keep that button?
2024-05-17 10:02:48 +0200 <[exa]> ooh yes it works now
2024-05-17 10:02:51 +0200 <[exa]> thanks!
2024-05-17 10:03:07 +0200 <tomsmeding> the full menu doesn't even fit on my phone's screen
2024-05-17 10:03:13 +0200 <[exa]> lemme check a thing tho
2024-05-17 10:03:16 +0200 <[exa]> yep
2024-05-17 10:03:25 +0200 <tomsmeding> and the menu is weird because there's no visual separator between the buttons etc
2024-05-17 10:03:50 +0200 <tomsmeding> but the mobile experience is bound to be awkward anyway so I'm willing to just keep this as a hack :
2024-05-17 10:03:52 +0200 <tomsmeding> * :p
2024-05-17 10:05:37 +0200barak(~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) (Ping timeout: 268 seconds)
2024-05-17 10:06:43 +0200 <[exa]> yeah apparently that is the same on the official site too
2024-05-17 10:06:49 +0200 <tomsmeding> yeah
2024-05-17 10:07:04 +0200 <[exa]> javascripts. *exhales*
2024-05-17 10:07:21 +0200 <tomsmeding> not sure this is js's fault :)
2024-05-17 10:07:37 +0200 <[exa]> anyway this kinda works and does not seem as annoying as I thought it would be
2024-05-17 10:08:18 +0200 <[exa]> so I guess lets wait if anyone comes here to complain about this stupid 3dot button appearing again :D
2024-05-17 10:11:48 +0200cfricke(~cfricke@user/cfricke)
2024-05-17 10:11:53 +0200 <tomsmeding> [exa]: thanks for complaining :)
2024-05-17 10:13:07 +0200 <[exa]> ah np :) thanks for fixing this
2024-05-17 10:24:29 +0200danse-nr3(~danse-nr3@ge-19-102-90.service.infuturo.it)
2024-05-17 10:26:26 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-17 10:35:54 +0200remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!)
2024-05-17 10:36:04 +0200gmg(~user@user/gehmehgeh)
2024-05-17 10:36:20 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds)
2024-05-17 10:42:08 +0200rosco(~rosco@173.150.68.85.rev.sfr.net)
2024-05-17 10:42:32 +0200__monty__(~toonn@user/toonn)
2024-05-17 10:44:47 +0200danse-nr3(~danse-nr3@ge-19-102-90.service.infuturo.it) (Ping timeout: 268 seconds)
2024-05-17 10:50:45 +0200danse-nr3(~danse-nr3@151.46.212.14)
2024-05-17 10:53:36 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-17 10:54:06 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-17 11:00:15 +0200euphores(~SASL_euph@user/euphores)
2024-05-17 11:09:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds)
2024-05-17 11:09:40 +0200ubert(~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de)
2024-05-17 11:25:10 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-17 11:26:41 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-17 11:30:30 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-17 11:31:16 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-05-17 11:31:54 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-05-17 11:33:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-17 11:44:02 +0200Square(~Square@user/square) (Ping timeout: 256 seconds)
2024-05-17 12:01:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-05-17 12:05:40 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2024-05-17 12:08:38 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-17 12:10:45 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-17 12:14:31 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-17 12:19:36 +0200Guest13(~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net)
2024-05-17 12:28:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2024-05-17 12:36:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-05-17 12:47:36 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-17 12:49:43 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-05-17 12:50:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-17 12:56:04 +0200madeleine-sydney(~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Ping timeout: 246 seconds)
2024-05-17 12:59:11 +0200 <Guest13> ski I got my memoized recursive function working!
2024-05-17 13:02:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2024-05-17 13:03:57 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-17 13:14:05 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 256 seconds)
2024-05-17 13:24:11 +0200danse-nr3(~danse-nr3@151.46.212.14) (Ping timeout: 268 seconds)
2024-05-17 13:34:07 +0200ubert1(~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de)
2024-05-17 13:34:22 +0200ubert(~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-17 13:34:22 +0200ubert1ubert
2024-05-17 13:55:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-17 13:55:03 +0200 <Rembane> \o/
2024-05-17 13:55:49 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz)
2024-05-17 13:56:36 +0200rvalue-(~rvalue@user/rvalue)
2024-05-17 13:57:17 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 240 seconds)
2024-05-17 14:00:38 +0200rvalue-rvalue
2024-05-17 14:03:43 +0200cfricke(~cfricke@user/cfricke) (Remote host closed the connection)
2024-05-17 14:04:03 +0200cfricke(~cfricke@user/cfricke)
2024-05-17 14:09:53 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection)
2024-05-17 14:10:07 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de)
2024-05-17 14:13:58 +0200xff0x(~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc)
2024-05-17 14:29:47 +0200qqq(~qqq@92.43.167.61)
2024-05-17 14:30:05 +0200 <[Leary]> Guest13: Speaking of, I got nerdsniped and figured out the dirty version: https://play-haskell.tomsmeding.com/saved/ukgOdGqj
2024-05-17 14:30:40 +0200 <Guest13> ?
2024-05-17 14:31:03 +0200danse-nr3(~danse-nr3@151.46.212.14)
2024-05-17 14:31:24 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-17 14:31:54 +0200 <[Leary]> (the dirty way to memoise a recursive function with a Map)
2024-05-17 14:32:07 +0200 <Guest13> ah what's that?
2024-05-17 14:32:20 +0200 <[Leary]> Check the link?
2024-05-17 14:37:49 +0200 <ski> nice, Guest13 !
2024-05-17 14:38:50 +0200 <Guest13> [Leary] I have no clue what is going on there XD
2024-05-17 14:39:30 +0200 <Guest13> mine looks like:
2024-05-17 14:39:30 +0200 <Guest13> permutationsMemo :: Problem -> (Int, Int, Int) -> Int
2024-05-17 14:39:31 +0200 <Guest13> permutationsMemo problem@(springs, grps) ix@(i, grp, count)
2024-05-17 14:39:31 +0200 <Guest13>   | i < 0 || i > length springs = undefined
2024-05-17 14:39:32 +0200 <Guest13>   | grp < 0 || grp > length grps = undefined
2024-05-17 14:39:32 +0200 <Guest13>   | count < 0 || count > length springs = undefined
2024-05-17 14:39:33 +0200 <Guest13>   | otherwise = memo ! ix
2024-05-17 14:39:33 +0200 <Guest13>   where bounds = ((0,0,0), (length springs, length grps, length springs))
2024-05-17 14:39:34 +0200 <Guest13>         memo = tabulate bounds get
2024-05-17 14:39:34 +0200 <Guest13>         get ixx@(i, grp, count)
2024-05-17 14:39:35 +0200 <Guest13>           | i == length springs = if (count == 0 && grp == length grps) then 1 else endOnHash -- end of springs
2024-05-17 14:39:35 +0200 <Guest13>           | grp == length grps = if ((springs !! i) == Damaged) then 0 else dotCase -- matched all groups
2024-05-17 14:39:36 +0200 <Guest13>           | cur == Operational = dotCase
2024-05-17 14:39:36 +0200 <Guest13>           | cur == Damaged = hashCase
2024-05-17 14:39:37 +0200 <Guest13>           | cur == Unknown = dotCase + hashCase
2024-05-17 14:39:37 +0200 <Guest13>           | otherwise = undefined
2024-05-17 14:39:38 +0200 <Guest13>           where cur = springs !! I
2024-05-17 14:39:38 +0200 <Guest13>                 groupTarget = grps !! grp
2024-05-17 14:39:39 +0200 <yushyin> pls ...
2024-05-17 14:40:28 +0200 <Guest13> sorry ill send a link
2024-05-17 14:43:20 +0200 <Guest13> https://play.haskell.org/saved/WOB84oaz
2024-05-17 14:44:25 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe)
2024-05-17 14:45:17 +0200 <Guest13> I have a function "get" which is meant to be the recursive part which refers to the memoized array inside it
2024-05-17 14:45:53 +0200 <Guest13> and my answer is contained within (0,0,0)
2024-05-17 14:46:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-05-17 14:46:39 +0200 <Guest13> it is basically same code as the unmemorised function
2024-05-17 14:47:20 +0200 <Guest13> maybe it would be best to lazily pass the memo to the "get" function and define it somewhere else?
2024-05-17 14:47:49 +0200 <Guest13> so memo = tabulate bounds (get memo)
2024-05-17 14:53:41 +0200danse-nr3(~danse-nr3@151.46.212.14) (Ping timeout: 252 seconds)
2024-05-17 14:54:19 +0200danse-nr3(~danse-nr3@151.44.168.106)
2024-05-17 15:09:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-17 15:13:35 +0200Guest13(~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed)
2024-05-17 15:14:26 +0200ystael(~ystael@user/ystael)
2024-05-17 15:17:24 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-17 15:22:41 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-17 15:23:42 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-17 15:25:05 +0200igemnace(~igemnace@user/igemnace)
2024-05-17 15:31:07 +0200ph88(~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2)
2024-05-17 15:31:53 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe) (Quit: Leaving)
2024-05-17 15:32:30 +0200 <ph88> i took this as a starting point https://play.haskell.org/saved/A0jyJ40g ok works. Then i wanted to add another typeclass but ran into trouble https://play.haskell.org/saved/nsO7Fn41 Managed to typecheck it like this https://play.haskell.org/saved/fYRQ1REb but the latter is coupled. Is there a way i can write this code decoupled? (see second snippet)
2024-05-17 15:35:55 +0200ubert1(~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de)
2024-05-17 15:40:13 +0200 <[Leary]> ph88: I don't really know what you're trying to do, but `class (c1 a, c2 a) => (c1 & c2) a; instance (c1 a, c2 a) => (c1 & c2) a` will allow you to write `Entity (HasDataID & GetMessage)`.
2024-05-17 15:40:17 +0200ubert(~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-05-17 15:40:17 +0200ubert1ubert
2024-05-17 15:41:04 +0200zer0bitz(~zer0bitz@user/zer0bitz)
2024-05-17 15:46:04 +0200 <[Leary]> You may also want to generalise some functions or instances with QuantifiedConstraints; something like `(forall x. cs x => c x, c a) => a -> Entity cs -> ...` will allow you to handle any `Entity (... & c & ...)` uniformly.
2024-05-17 15:47:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-17 15:48:06 +0200causal(~eric@50.35.88.207)
2024-05-17 15:49:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-17 15:49:40 +0200 <ph88> [Leary], what is that type operator & ?
2024-05-17 15:50:31 +0200 <[Leary]> It's the name of the typeclass I declared.
2024-05-17 15:52:17 +0200talukara(~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep))
2024-05-17 15:52:36 +0200 <tomsmeding> -XTypeOperators
2024-05-17 15:52:46 +0200addfb3(~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191)
2024-05-17 15:52:46 +0200addfb3(~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) (Changing host)
2024-05-17 15:52:46 +0200addfb3(~dante@user/addfb3)
2024-05-17 15:53:24 +0200patrl(~patrl@user/patrl)
2024-05-17 15:54:05 +0200 <ph88> thanks i'll have a look how that works
2024-05-17 16:00:26 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-17 16:13:13 +0200 <ncf> my divination skills are failing me, i still have no idea what the actual problem is here
2024-05-17 16:18:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer)
2024-05-17 16:18:57 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-05-17 16:18:57 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-05-17 16:19:39 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-17 16:20:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-17 16:22:23 +0200gmg(~user@user/gehmehgeh)
2024-05-17 16:24:28 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-17 16:26:39 +0200danse-nr3(~danse-nr3@151.44.168.106) (Remote host closed the connection)
2024-05-17 16:27:05 +0200danse-nr3(~danse-nr3@151.44.168.106)
2024-05-17 16:28:46 +0200zzz(~yin@user/zero)
2024-05-17 16:32:30 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 16:34:15 +0200califax(~califax@user/califx)
2024-05-17 16:38:26 +0200danse-nr3(~danse-nr3@151.44.168.106) (Remote host closed the connection)
2024-05-17 16:38:51 +0200danse-nr3(~danse-nr3@151.44.168.106)
2024-05-17 16:50:10 +0200fendor(~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection)
2024-05-17 17:00:53 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
2024-05-17 17:06:40 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 246 seconds)
2024-05-17 17:11:23 +0200fun-safe-math(~fun-safe-@24.21.106.247) (Ping timeout: 260 seconds)
2024-05-17 17:12:57 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-17 17:19:24 +0200mei(~mei@user/mei)
2024-05-17 17:21:12 +0200billchenchina(~billchenc@103.152.35.21)
2024-05-17 17:23:31 +0200EvanR(~EvanR@user/evanr)
2024-05-17 17:23:44 +0200billchenchina(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-05-17 17:24:02 +0200billchenchina(~billchenc@103.152.35.21)
2024-05-17 17:33:45 +0200rosco(~rosco@173.150.68.85.rev.sfr.net) (Remote host closed the connection)
2024-05-17 17:42:22 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-05-17 17:44:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-05-17 17:47:59 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-05-17 17:55:12 +0200danse-nr3(~danse-nr3@151.44.168.106) (Ping timeout: 256 seconds)
2024-05-17 18:03:20 +0200zzz(~yin@user/zero) (Quit: leaving)
2024-05-17 18:07:32 +0200sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2024-05-17 18:10:06 +0200yin(~yin@user/zero)
2024-05-17 18:13:24 +0200sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net)
2024-05-17 18:19:51 +0200billchenchina(~billchenc@103.152.35.21) (Quit: Leaving)
2024-05-17 18:20:25 +0200billchenchina(~billchenc@103.152.35.21)
2024-05-17 18:27:46 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds)
2024-05-17 18:39:45 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 18:41:03 +0200_xor8(~xor@ip-208-102-243-175.dynamic.fuse.net)
2024-05-17 18:42:35 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 264 seconds)
2024-05-17 18:42:35 +0200_xor8_xor
2024-05-17 18:45:40 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-05-17 18:56:05 +0200petrichor(~znc-user@user/petrichor)
2024-05-17 18:57:32 +0200 <ph88> [Leary], something is not quite right https://play.haskell.org/saved/R4jW1YVV
2024-05-17 18:59:34 +0200 <[Leary]> "Use UndecidableSuperClasses to accept this"
2024-05-17 18:59:42 +0200 <monochrom> Again, "instance ... => Foo a" means that every type is a Foo instance. (Oh, the ... conditions are checked later and cause hard errors, not as preconditions.)
2024-05-17 19:00:47 +0200 <monochrom> You should simply enable ConstraintKinds and write "type (&) c1 c2 a = (c1 a, c2 a)"
2024-05-17 19:01:01 +0200 <[Leary]> No, that doesn't suffice for their use-case.
2024-05-17 19:05:32 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-17 19:08:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 19:10:04 +0200nullie(~nullie@2a01:4f8:c2c:6177::1) (Quit: WeeChat 4.1.1)
2024-05-17 19:10:28 +0200nullie(~nullie@nuremberg.nullie.name)
2024-05-17 19:10:53 +0200 <ph88> [Leary], will allow you to write `Entity (HasDataID & GetMessage)`. Do you mean data Entity ?
2024-05-17 19:15:55 +0200target_i(~target_i@user/target-i/x-6023099)
2024-05-17 19:16:34 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-17 19:19:31 +0200 <[Leary]> ph88: Yes? I mean the type constructor defined by the `data Entity ...` declaration in your first paste.
2024-05-17 19:20:31 +0200 <glguy> Maybe you want to bake the idea of multiple constraints into your entity type? https://play.haskell.org/saved/cMgRB0yD
2024-05-17 19:21:27 +0200 <glguy> I did an example of this style a while back https://github.com/glguy/operations/blob/master/src/Example.hs
2024-05-17 19:22:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-17 19:23:00 +0200mei(~mei@user/mei)
2024-05-17 19:23:03 +0200 <ph88> [Leary], from my second paste https://play.haskell.org/saved/nsO7Fn41 when i move stuff from GetMessage (user part) into data Entity (library part) it defeats the goal. A creative idea nonetheless i will keep it in mind for other situations
2024-05-17 19:24:47 +0200 <ph88> glguy, cool i'll play around with that see how it goes
2024-05-17 19:24:48 +0200nullie(~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1)
2024-05-17 19:25:11 +0200nullie(~nullie@nuremberg.nullie.name)
2024-05-17 19:25:53 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-05-17 19:27:31 +0200kimiamania(~76637481@user/kimiamania)
2024-05-17 19:30:49 +0200nullie(~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1)
2024-05-17 19:31:07 +0200nullie(~nullie@nuremberg.nullie.name)
2024-05-17 19:41:13 +0200 <ph88> glguy, what are the symbols on line 14 and 20 in the gists ?
2024-05-17 19:42:11 +0200 <glguy> ∈ is pronounced "element of" and ⊆ is pronounced "subset of or equal to"
2024-05-17 19:42:39 +0200 <ph88> by the way, this reminds me of the effectful library, looks similar to how to compose effects
2024-05-17 19:43:06 +0200 <glguy> so on line 14 it's a constraint that Show is an element of the list (cs), 20 is that the list [Show] is a subset of the list cs . They're two ways to do write the same idea
2024-05-17 19:44:20 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-05-17 19:45:05 +0200ubert(~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-05-17 19:50:55 +0200 <[Leary]> ph88: I think you've misunderstood. The `data` declaration in the library part doesn't need to change, the /user/ just uses the type at `Entity (c & GetMessage)` instead of `Entity c`.
2024-05-17 19:54:46 +0200 <[Leary]> glguy: Just BTW, the bare constraint is already powerful enough without the list. `class Null` ~ []; `class (c1 & c2) a` ~ c1 ++ c2; `type c <: cs = (forall x. cs x => c x) :: Constraint` ~ c subset cs.
2024-05-17 19:58:01 +0200 <[Leary]> Ah, though I guess that subset is actually just elem, due to QuantifiedConstraints limitations.
2024-05-17 19:58:13 +0200 <glguy> that repository predates quantified constraints
2024-05-17 20:02:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 20:08:38 +0200 <ph88> [Leary], maybe i misunderstood. When i try to use your suggestion i'm not sure how it would work https://play.haskell.org/saved/KPj9Vxob
2024-05-17 20:16:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-17 20:30:06 +0200 <ph88> glguy, i adapted your code. It works with 2 constraints. Why does it fail with one? https://play.haskell.org/saved/EAupqGhV
2024-05-17 20:31:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 20:31:32 +0200 <ph88> glguy, this type checks https://play.haskell.org/saved/EAupqGhV but it carries Op2 into class of Op1 .. they need to be separate
2024-05-17 20:31:51 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 268 seconds)
2024-05-17 20:33:35 +0200califax(~califax@user/califx)
2024-05-17 20:34:31 +0200 <glguy> ph88: you need '[Op1]
2024-05-17 20:34:39 +0200 <[Leary]> ph88: I can't help much when I don't know just what it is you're struggling to achieve---the line where you've commented ?? was already, err, /mysterious/ to me from the start. That said, you probably want `type c <: cs = (forall x. cs x => c x) :: Constraint` (library-side) and `instance GetMessage <: cs => GetMessage (Entity cs)` (user-side).
2024-05-17 20:34:52 +0200petrichor(~znc-user@user/petrichor)
2024-05-17 20:38:38 +0200 <ph88> glguy, thanks
2024-05-17 20:39:40 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 20:40:53 +0200califax(~califax@user/califx)
2024-05-17 20:42:12 +0200 <glguy> [Leary]: adapted https://github.com/glguy/operations/blob/quantifiedconstraints/src/Example.hs
2024-05-17 20:43:39 +0200JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-17 20:43:57 +0200JimL(~quassel@89.162.16.26)
2024-05-17 20:46:00 +0200 <[Leary]> glguy: Nice, looks a bit prettier at least.
2024-05-17 20:46:50 +0200 <glguy> Fwiw I don't recommend using either this or the previous version. It's just exploring the possible
2024-05-17 20:48:36 +0200 <ncf> your ⊆ is backwards
2024-05-17 20:49:07 +0200raym(~ray@user/raym) (Ping timeout: 268 seconds)
2024-05-17 20:49:34 +0200 <ncf> oh no i see it's a projection
2024-05-17 20:51:21 +0200 <ncf> like, instead of saying "the cs objects are a subset of the Show objects" (cs ⊆ Show) you're saying "Show is a member of the list of constraints represented by cs, so that you can project it out" (Show ⊆ cs)
2024-05-17 20:55:35 +0200JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-17 20:55:55 +0200JimL(~quassel@89.162.16.26)
2024-05-17 20:57:02 +0200suvid(~suvid@103.144.93.164)
2024-05-17 20:57:09 +0200suvid(~suvid@103.144.93.164) (Remote host closed the connection)
2024-05-17 20:57:46 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 20:58:43 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-05-17 20:59:26 +0200califax(~califax@user/califx)
2024-05-17 20:59:56 +0200 <glguy> ncf: yeah, maybe the other way around makes more sense; I was still in the list of constraints mindset
2024-05-17 21:00:47 +0200raym(~ray@user/raym)
2024-05-17 21:07:37 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds)
2024-05-17 21:08:53 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-17 21:10:13 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-17 21:10:58 +0200fliife(~fliife@user/fliife)
2024-05-17 21:14:40 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-17 21:20:12 +0200euphores(~SASL_euph@user/euphores)
2024-05-17 21:28:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 21:33:23 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-05-17 21:40:52 +0200 <[Leary]> I suppose the most direct unicode name would be: cs ⊢ c := forall x. cs x => c x
2024-05-17 21:41:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-17 21:45:50 +0200 <ncf> looks like a natural transformation to me, but => is already taken
2024-05-17 21:48:28 +0200 <EvanR> there's like 50 different unicode =>'s xD
2024-05-17 21:48:42 +0200 <EvanR> an embarrassment of riches
2024-05-17 21:49:55 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 21:49:55 +0200ChanServ+v haskellbridge
2024-05-17 21:52:28 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 21:54:23 +0200califax(~califax@user/califx)
2024-05-17 21:56:43 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-05-17 21:56:52 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 21:57:31 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 21:57:31 +0200ChanServ+v haskellbridge
2024-05-17 22:00:19 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 22:02:00 +0200califax(~califax@user/califx)
2024-05-17 22:02:38 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:03:28 +0200 <Rembane> \o/
2024-05-17 22:03:41 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:04:32 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-17 22:05:38 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-17 22:06:50 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:06:52 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:07:02 +0200 <geekosaur> uh
2024-05-17 22:08:16 +0200 <EvanR> bifrost has returned
2024-05-17 22:11:31 +0200kadir(~kadir@88.251.51.100)
2024-05-17 22:11:32 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:11:33 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:12:02 +0200TonyStone(~TonyStone@user/TonyStone) (Ping timeout: 252 seconds)
2024-05-17 22:12:08 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 22:12:54 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 22:12:54 +0200ChanServ+v haskellbridge
2024-05-17 22:14:34 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:14:34 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:15:23 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 256 seconds)
2024-05-17 22:16:00 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-17 22:17:44 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:17:45 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:19:23 +0200 <geekosaur> ble. matterbridge is seriously messed up
2024-05-17 22:19:24 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:19:25 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:19:32 +0200 <geekosaur> guess it's time to look into heisenbridge
2024-05-17 22:21:14 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:21:15 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:21:56 +0200 <haskellbridge> <s​m> welcome back geekosaur !
2024-05-17 22:23:28 +0200addfb3(~dante@user/addfb3) (Remote host closed the connection)
2024-05-17 22:23:32 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 22:23:53 +0200addfb3(~dante@user/addfb3)
2024-05-17 22:24:05 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 22:24:05 +0200ChanServ+v haskellbridge
2024-05-17 22:26:56 +0200 <haskellbridge> <g​eekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms
2024-05-17 22:26:57 +0200 <haskellbridge> <g​eekosaur> there will be another outage sometime tomorrow when they switch my network over
2024-05-17 22:26:59 +0200 <haskellbridge> <s​m> welcome back geekosaur !
2024-05-17 22:27:10 +0200 <geekosaur> argh
2024-05-17 22:27:13 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 22:29:41 +0200matt3(~matt@24-111-26-254-static.midco.net)
2024-05-17 22:30:07 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2024-05-17 22:30:13 +0200hueso(~root@user/hueso) (Read error: Connection reset by peer)
2024-05-17 22:30:22 +0200matt3(~matt@24-111-26-254-static.midco.net) (Client Quit)
2024-05-17 22:30:42 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-17 22:31:17 +0200hueso(~root@user/hueso)
2024-05-17 22:31:55 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-17 22:37:25 +0200pavonia(~user@user/siracusa)
2024-05-17 22:39:54 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-17 22:44:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-17 22:47:30 +0200ph88(~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2) (Remote host closed the connection)
2024-05-17 22:59:21 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-17 22:59:30 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 22:59:30 +0200ChanServ+v haskellbridge
2024-05-17 23:05:42 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-17 23:06:01 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds)
2024-05-17 23:07:02 +0200visilii_(~visilii@188.254.126.77)
2024-05-17 23:08:13 +0200gmg(~user@user/gehmehgeh)
2024-05-17 23:10:11 +0200visilii(~visilii@217.107.125.158) (Ping timeout: 264 seconds)
2024-05-17 23:10:23 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-17 23:10:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-05-17 23:14:34 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 23:15:04 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 23:15:04 +0200ChanServ+v haskellbridge
2024-05-17 23:15:04 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer)
2024-05-17 23:15:12 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-17 23:15:26 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 23:15:26 +0200ChanServ+v haskellbridge
2024-05-17 23:15:38 +0200califax(~califax@user/califx)
2024-05-17 23:21:38 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-05-17 23:21:43 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 23:23:30 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 23:23:30 +0200ChanServ+v haskellbridge
2024-05-17 23:27:30 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 23:29:53 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-17 23:29:53 +0200ChanServ+v haskellbridge
2024-05-17 23:34:45 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-17 23:47:08 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2024-05-17 23:53:14 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-05-17 23:58:58 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:cfe3:13e2:96f6:9d2c)