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 !