2024-05-17 00:03:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2024-05-17 00:06:16 +0200 | systemhalted | (~systemhal@130.51.137.77) |
2024-05-17 00:06:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 00:07:47 +0200 | califax | (~califax@user/califx) |
2024-05-17 00:13:56 +0200 | systemhalted | (~systemhal@130.51.137.77) (Ping timeout: 268 seconds) |
2024-05-17 00:17:33 +0200 | titibandit | (~user@user/titibandit) (Remote host closed the connection) |
2024-05-17 00:19:31 +0200 | agent314 | (~quassel@193.37.254.131.adsl.inet-telecom.org) |
2024-05-17 00:20:05 +0200 | agent314 | (~quassel@193.37.254.131.adsl.inet-telecom.org) (Client Quit) |
2024-05-17 00:20:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 00:20:42 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 00:20:59 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-17 00:22:24 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 00:25:14 +0200 | acidjnk_new | (~acidjnk@p5dd87bdf.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-05-17 00:26:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
2024-05-17 00:27:57 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-17 00:31:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 00:37:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 00:40:03 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
2024-05-17 00:40:58 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Read error: Connection reset by peer) |
2024-05-17 00:42:44 +0200 | systemhalted | (~systemhal@130.51.137.77) |
2024-05-17 00:45:08 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
2024-05-17 00:45:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-05-17 00:51:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-17 00:57:55 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
2024-05-17 01:02:50 +0200 | ystael | (~ystael@user/ystael) |
2024-05-17 01:10:53 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 01:11:03 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) |
2024-05-17 01:25:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 256 seconds) |
2024-05-17 01:26:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-17 01:29:22 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
2024-05-17 01:30:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) |
2024-05-17 01:34:01 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 01:34:11 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) |
2024-05-17 01:41:19 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 260 seconds) |
2024-05-17 01:44:53 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-17 01:50:58 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-17 01:51:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-17 02:05:08 +0200 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
2024-05-17 02:05:35 +0200 | bollu | (~bollu@159.65.151.13) |
2024-05-17 02:06:49 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-17 02:10:34 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-17 02:19:22 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-17 02:20:07 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-05-17 02:21:05 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 02:23:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-17 02:27:27 +0200 | zzz | (~yin@user/zero) |
2024-05-17 02:27:31 +0200 | mei | (~mei@user/mei) |
2024-05-17 02:47:03 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) |
2024-05-17 02:47:27 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Remote host closed the connection) |
2024-05-17 02:50:26 +0200 | bilegeek | (~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) |
2024-05-17 02:51:53 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 256 seconds) |
2024-05-17 03:03:31 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-17 03:07:52 +0200 | otto_s | (~user@p4ff27827.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-17 03:09:41 +0200 | otto_s | (~user@p5b0448c7.dip0.t-ipconnect.de) |
2024-05-17 03:12:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-17 03:13:19 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
2024-05-17 03:15:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 255 seconds) |
2024-05-17 03:15:41 +0200 | Guest85 | (~Guest85@c-76-115-231-219.hsd1.or.comcast.net) |
2024-05-17 03:16:14 +0200 | Guest85 | (~Guest85@c-76-115-231-219.hsd1.or.comcast.net) (Client Quit) |
2024-05-17 03:17:26 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-17 03:21:11 +0200 | m257 | (~maaz@174.92.92.146) |
2024-05-17 03:49:20 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-17 03:51:49 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
2024-05-17 03:54:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-17 04:01:23 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-17 04:04:01 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 04:04:11 +0200 | Athas | (athas@sigkill.dk) |
2024-05-17 04:10:44 +0200 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 252 seconds) |
2024-05-17 04:12:45 +0200 | td_ | (~td@i53870915.versanet.de) |
2024-05-17 04:15:16 +0200 | m257 | (~maaz@174.92.92.146) (Ping timeout: 246 seconds) |
2024-05-17 04:30:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-17 04:31:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 04:47:39 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 04:54:06 +0200 | mei | (~mei@user/mei) |
2024-05-17 04:54:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-17 05:01:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Quit: WeeChat 4.2.2) |
2024-05-17 05:03:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-17 05:09:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
2024-05-17 05:17:25 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-17 05:29:49 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-05-17 05:39:53 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-17 05:44:40 +0200 | m257 | (~maaz@174.92.92.146) |
2024-05-17 05:52:32 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:400:979c:514d:c315:798d) |
2024-05-17 05:53:47 +0200 | aforemny | (~aforemny@2001:9e8:6cd4:e700:d233:e5e6:582d:855) (Ping timeout: 256 seconds) |
2024-05-17 05:58:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:02:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-17 06:04:40 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: leaving) |
2024-05-17 06:05:01 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-17 06:06:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:09:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-17 06:09:57 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-05-17 06:10:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:15:09 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-17 06:17:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-05-17 06:21:38 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
2024-05-17 06:21:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:24:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-17 06:27:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:32:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-17 06:33:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:43:58 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
2024-05-17 06:45:31 +0200 | m257 | (~maaz@174.92.92.146) (Ping timeout: 268 seconds) |
2024-05-17 06:48:10 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-05-17 07:06:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-17 07:09:22 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: Ping timeout (120 seconds)) |
2024-05-17 07:09:39 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
2024-05-17 07:22:04 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-17 07:22:41 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-17 07:28:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-05-17 07:28:39 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-17 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-17 07:34:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-17 07:37:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-17 07:40:26 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc64113083a2457f0359.dip0.t-ipconnect.de) |
2024-05-17 07:51:51 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
2024-05-17 07:54:10 +0200 | xal | (~xal@mx1.xal.systems) () |
2024-05-17 07:55:07 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-17 07:55:58 +0200 | Square | (~Square@user/square) |
2024-05-17 07:57:39 +0200 | xal | (~xal@mx1.xal.systems) (Client Quit) |
2024-05-17 07:58:06 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-17 07:58:19 +0200 | xal | (~xal@mx1.xal.systems) (Client Quit) |
2024-05-17 07:58:57 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-17 08:08:24 +0200 | mikko | (~mikko@user/mikko) (Ping timeout: 260 seconds) |
2024-05-17 08:13:38 +0200 | bilegeek | (~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) (Quit: Leaving) |
2024-05-17 08:27:58 +0200 | kuribas | (~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) |
2024-05-17 08:30:26 +0200 | kuribas | (~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) (Remote host closed the connection) |
2024-05-17 08:30:28 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-17 08:30:39 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) |
2024-05-17 08:31:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-17 08:34:57 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Read error: Connection reset by peer) |
2024-05-17 08:35:15 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) |
2024-05-17 08:50:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-17 09:01:13 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Ping timeout: 255 seconds) |
2024-05-17 09:18:36 +0200 | danza | (~francesco@fi-19-216-22.service.infuturo.it) |
2024-05-17 09:18:47 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-17 09:28:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
2024-05-17 09:38:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-17 09:40:59 +0200 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
2024-05-17 09:40:59 +0200 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
2024-05-17 09:40:59 +0200 | mikko | (~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 +0200 | danza | (~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 +0200 | sawilagar | (~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 +0200 | chele | (~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 +0200 | fendor | (~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 +0200 | y04nn | (~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 +0200 | L29Ah | (~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 +0200 | barak | (~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 +0200 | cfricke | (~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 +0200 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) |
2024-05-17 10:26:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-17 10:35:54 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
2024-05-17 10:36:04 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 10:36:20 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
2024-05-17 10:42:08 +0200 | rosco | (~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 +0200 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) (Ping timeout: 268 seconds) |
2024-05-17 10:50:45 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) |
2024-05-17 10:53:36 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-17 10:54:06 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-17 11:00:15 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-17 11:09:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
2024-05-17 11:09:40 +0200 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) |
2024-05-17 11:25:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-17 11:26:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 11:30:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-17 11:31:16 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-05-17 11:31:54 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
2024-05-17 11:33:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-17 11:44:02 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
2024-05-17 12:01:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
2024-05-17 12:05:40 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
2024-05-17 12:08:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-05-17 12:10:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-17 12:14:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-17 12:19:36 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) |
2024-05-17 12:28:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2024-05-17 12:36:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-05-17 12:47:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 12:49:43 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-05-17 12:50:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-17 12:56:04 +0200 | madeleine-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 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2024-05-17 13:03:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-17 13:14:05 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
2024-05-17 13:24:11 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) (Ping timeout: 268 seconds) |
2024-05-17 13:34:07 +0200 | ubert1 | (~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) |
2024-05-17 13:34:22 +0200 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-17 13:34:22 +0200 | ubert1 | ubert |
2024-05-17 13:55:01 +0200 | tromp | (~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 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
2024-05-17 13:56:36 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-05-17 13:57:17 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
2024-05-17 14:00:38 +0200 | rvalue- | rvalue |
2024-05-17 14:03:43 +0200 | cfricke | (~cfricke@user/cfricke) (Remote host closed the connection) |
2024-05-17 14:04:03 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-17 14:09:53 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
2024-05-17 14:10:07 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
2024-05-17 14:13:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc) |
2024-05-17 14:29:47 +0200 | qqq | (~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 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) |
2024-05-17 14:31:24 +0200 | Nixkernal | (~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 +0200 | joeyadams | (~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 +0200 | bitdex | (~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? |