| 2024-05-17 00:05:08 +0000 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 2024-05-17 00:05:35 +0000 | bollu | (~bollu@159.65.151.13) |
| 2024-05-17 00:06:49 +0000 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-05-17 00:10:34 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-17 00:19:22 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-17 00:20:07 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-05-17 00:21:05 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-17 00:23:26 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-17 00:27:27 +0000 | zzz | (~yin@user/zero) |
| 2024-05-17 00:27:31 +0000 | mei | (~mei@user/mei) |
| 2024-05-17 00:47:03 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) |
| 2024-05-17 00:47:27 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Remote host closed the connection) |
| 2024-05-17 00:50:26 +0000 | bilegeek | (~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) |
| 2024-05-17 00:51:53 +0000 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2024-05-17 01:03:31 +0000 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-17 01:07:52 +0000 | otto_s | (~user@p4ff27827.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-17 01:09:41 +0000 | otto_s | (~user@p5b0448c7.dip0.t-ipconnect.de) |
| 2024-05-17 01:12:48 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-17 01:13:19 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2024-05-17 01:15:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 255 seconds) |
| 2024-05-17 01:15:41 +0000 | Guest85 | (~Guest85@c-76-115-231-219.hsd1.or.comcast.net) |
| 2024-05-17 01:16:14 +0000 | Guest85 | (~Guest85@c-76-115-231-219.hsd1.or.comcast.net) (Client Quit) |
| 2024-05-17 01:17:26 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-17 01:21:11 +0000 | m257 | (~maaz@174.92.92.146) |
| 2024-05-17 01:49:20 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-17 01:51:49 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 2024-05-17 01:54:05 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-17 02:01:23 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-17 02:04:01 +0000 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-17 02:04:11 +0000 | Athas | (athas@sigkill.dk) |
| 2024-05-17 02:10:44 +0000 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-17 02:12:45 +0000 | td_ | (~td@i53870915.versanet.de) |
| 2024-05-17 02:15:16 +0000 | m257 | (~maaz@174.92.92.146) (Ping timeout: 246 seconds) |
| 2024-05-17 02:30:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-17 02:31:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 02:47:39 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-17 02:54:06 +0000 | mei | (~mei@user/mei) |
| 2024-05-17 02:54:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-17 03:01:52 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Quit: WeeChat 4.2.2) |
| 2024-05-17 03:03:35 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-17 03:09:52 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-05-17 03:17:25 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-17 03:29:49 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-05-17 03:39:53 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-17 03:44:40 +0000 | m257 | (~maaz@174.92.92.146) |
| 2024-05-17 03:52:32 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfa:400:979c:514d:c315:798d) |
| 2024-05-17 03:53:47 +0000 | aforemny | (~aforemny@2001:9e8:6cd4:e700:d233:e5e6:582d:855) (Ping timeout: 256 seconds) |
| 2024-05-17 03:58:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 04:02:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-17 04:04:40 +0000 | philopsos | (~caecilius@user/philopsos) (Quit: leaving) |
| 2024-05-17 04:05:01 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-17 04:06:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 04:09:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 04:09:57 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-17 04:10:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 04:15:09 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-17 04:17:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-05-17 04:21:38 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-05-17 04:21:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 04:24:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 04:27:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 04:32:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 04:33:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 04:43:58 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
| 2024-05-17 04:45:31 +0000 | m257 | (~maaz@174.92.92.146) (Ping timeout: 268 seconds) |
| 2024-05-17 04:48:10 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-17 05:06:16 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-17 05:09:22 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: Ping timeout (120 seconds)) |
| 2024-05-17 05:09:39 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-05-17 05:22:04 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-17 05:22:41 +0000 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-17 05:28:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-17 05:28:39 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-17 05:30:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-17 05:34:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-17 05:37:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-17 05:40:26 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc64113083a2457f0359.dip0.t-ipconnect.de) |
| 2024-05-17 05:51:51 +0000 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-05-17 05:54:10 +0000 | xal | (~xal@mx1.xal.systems) () |
| 2024-05-17 05:55:07 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-05-17 05:55:58 +0000 | Square | (~Square@user/square) |
| 2024-05-17 05:57:39 +0000 | xal | (~xal@mx1.xal.systems) (Client Quit) |
| 2024-05-17 05:58:06 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-05-17 05:58:19 +0000 | xal | (~xal@mx1.xal.systems) (Client Quit) |
| 2024-05-17 05:58:57 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-05-17 06:08:24 +0000 | mikko | (~mikko@user/mikko) (Ping timeout: 260 seconds) |
| 2024-05-17 06:13:38 +0000 | bilegeek | (~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) (Quit: Leaving) |
| 2024-05-17 06:27:58 +0000 | kuribas | (~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) |
| 2024-05-17 06:30:26 +0000 | kuribas | (~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) (Remote host closed the connection) |
| 2024-05-17 06:30:28 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-17 06:30:39 +0000 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) |
| 2024-05-17 06:31:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-17 06:34:57 +0000 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Read error: Connection reset by peer) |
| 2024-05-17 06:35:15 +0000 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) |
| 2024-05-17 06:50:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-17 07:01:13 +0000 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Ping timeout: 255 seconds) |
| 2024-05-17 07:18:36 +0000 | danza | (~francesco@fi-19-216-22.service.infuturo.it) |
| 2024-05-17 07:18:47 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-17 07:28:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2024-05-17 07:38:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-17 07:40:59 +0000 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
| 2024-05-17 07:40:59 +0000 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
| 2024-05-17 07:40:59 +0000 | mikko | (~mikko@user/mikko) |
| 2024-05-17 07:42:11 +0000 | <Hecate> | Rembane: yoooo |
| 2024-05-17 07:42:15 +0000 | <Hecate> | what's up? |
| 2024-05-17 07:45:18 +0000 | danza | (~francesco@fi-19-216-22.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2024-05-17 07:45:43 +0000 | <[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 07:46:06 +0000 | <[exa]> | "on cellphones" I mean android in this case |
| 2024-05-17 07:46:15 +0000 | <[exa]> | cc tomsmeding ^ |
| 2024-05-17 07:46:46 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-17 07:46:53 +0000 | <tomsmeding> | [exa]: yeah the mobile experience on the playground is a bit broken because the editor is too clever |
| 2024-05-17 07:46:59 +0000 | <tomsmeding> | I'm open to suggestions |
| 2024-05-17 07:47:26 +0000 | <tomsmeding> | I'm not unwilling to just make it a plain <textarea>, but then how to detect whether to do so? |
| 2024-05-17 07:47:29 +0000 | chele | (~chele@user/chele) |
| 2024-05-17 07:48:05 +0000 | <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 07:48:45 +0000 | <[exa]> | yeah maybe a completely stupid switch like "plain textarea/cool colorcodearea" could do |
| 2024-05-17 07:49:15 +0000 | <tomsmeding> | there's actually some kind of context menu thing that this fancy editor does where it does offer clipboard actions |
| 2024-05-17 07:49:16 +0000 | <[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 07:49:23 +0000 | <tomsmeding> | but I think I disabled that because it was terribly annoying |
| 2024-05-17 07:50:18 +0000 | <[exa]> | yeah |
| 2024-05-17 07:51:41 +0000 | <[exa]> | as a stupid workaround, a button to open a local file would probably do as well |
| 2024-05-17 07:52:11 +0000 | <[exa]> | what's the editor btw? (quite annoyingly I'm on a cellphone now :D ) |
| 2024-05-17 07:52:44 +0000 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-17 07:53:36 +0000 | <tomsmeding> | Ace |
| 2024-05-17 07:53:40 +0000 | <tomsmeding> | https://ace.c9.io/ |
| 2024-05-17 07:57:18 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 2024-05-17 07:58:04 +0000 | <[exa]> | ah I see |
| 2024-05-17 07:58:24 +0000 | <[exa]> | yeah really, I cannot paste to the official ace demo |
| 2024-05-17 07:58:43 +0000 | <[exa]> | but e.g. CodeMirror6 seems to work |
| 2024-05-17 07:58:43 +0000 | <tomsmeding> | [exa]: do you get the (...) button the right-hand side of the line |
| 2024-05-17 07:59:00 +0000 | <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 07:59:18 +0000 | <tomsmeding> | documentation was incomplete, the typescript typing seemed incorrect in places, and there was way too much abstraction |
| 2024-05-17 07:59:31 +0000 | <tomsmeding> | ace just worked (tm) |
| 2024-05-17 07:59:36 +0000 | <tomsmeding> | except now this |
| 2024-05-17 08:00:09 +0000 | <[exa]> | yeah not saying CM would be better :D |
| 2024-05-17 08:00:37 +0000 | <[exa]> | the ldots button I dont see on play.h.o bot it seems to work on the official site |
| 2024-05-17 08:00:44 +0000 | <[exa]> | *but |
| 2024-05-17 08:01:06 +0000 | <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 08:01:16 +0000 | <[exa]> | what are folks like gitlabs and giteas using? |
| 2024-05-17 08:01:34 +0000 | <[exa]> | lol |
| 2024-05-17 08:01:36 +0000 | <[exa]> | ok |
| 2024-05-17 08:01:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-17 08:01:58 +0000 | <tomsmeding> | [exa]: removed that css now, reload play.haskell.org |
| 2024-05-17 08:02:23 +0000 | <tomsmeding> | should I just keep that button? |
| 2024-05-17 08:02:48 +0000 | <[exa]> | ooh yes it works now |
| 2024-05-17 08:02:51 +0000 | <[exa]> | thanks! |
| 2024-05-17 08:03:07 +0000 | <tomsmeding> | the full menu doesn't even fit on my phone's screen |
| 2024-05-17 08:03:13 +0000 | <[exa]> | lemme check a thing tho |
| 2024-05-17 08:03:16 +0000 | <[exa]> | yep |
| 2024-05-17 08:03:25 +0000 | <tomsmeding> | and the menu is weird because there's no visual separator between the buttons etc |
| 2024-05-17 08:03:50 +0000 | <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 08:03:52 +0000 | <tomsmeding> | * :p |
| 2024-05-17 08:05:37 +0000 | barak | (~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) (Ping timeout: 268 seconds) |
| 2024-05-17 08:06:43 +0000 | <[exa]> | yeah apparently that is the same on the official site too |
| 2024-05-17 08:06:49 +0000 | <tomsmeding> | yeah |
| 2024-05-17 08:07:04 +0000 | <[exa]> | javascripts. *exhales* |
| 2024-05-17 08:07:21 +0000 | <tomsmeding> | not sure this is js's fault :) |
| 2024-05-17 08:07:37 +0000 | <[exa]> | anyway this kinda works and does not seem as annoying as I thought it would be |
| 2024-05-17 08:08:18 +0000 | <[exa]> | so I guess lets wait if anyone comes here to complain about this stupid 3dot button appearing again :D |
| 2024-05-17 08:11:48 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-17 08:11:53 +0000 | <tomsmeding> | [exa]: thanks for complaining :) |
| 2024-05-17 08:13:07 +0000 | <[exa]> | ah np :) thanks for fixing this |
| 2024-05-17 08:24:29 +0000 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) |
| 2024-05-17 08:26:26 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-17 08:35:54 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
| 2024-05-17 08:36:04 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-17 08:36:20 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
| 2024-05-17 08:42:08 +0000 | rosco | (~rosco@173.150.68.85.rev.sfr.net) |
| 2024-05-17 08:42:32 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-05-17 08:44:47 +0000 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) (Ping timeout: 268 seconds) |
| 2024-05-17 08:50:45 +0000 | danse-nr3 | (~danse-nr3@151.46.212.14) |
| 2024-05-17 08:53:36 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-17 08:54:06 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-17 09:00:15 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-17 09:09:27 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 2024-05-17 09:09:40 +0000 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) |
| 2024-05-17 09:25:10 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-17 09:26:41 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-17 09:30:30 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-17 09:31:16 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-17 09:31:54 +0000 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-05-17 09:33:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-17 09:44:02 +0000 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-05-17 10:01:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-17 10:05:40 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2024-05-17 10:08:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-17 10:10:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-17 10:14:31 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-17 10:19:36 +0000 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) |
| 2024-05-17 10:28:11 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-05-17 10:36:27 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-05-17 10:47:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-17 10:49:43 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-05-17 10:50:42 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-17 10:56:04 +0000 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Ping timeout: 246 seconds) |
| 2024-05-17 10:59:11 +0000 | <Guest13> | ski I got my memoized recursive function working! |
| 2024-05-17 11:02:53 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-05-17 11:03:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-17 11:14:05 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-05-17 11:24:11 +0000 | danse-nr3 | (~danse-nr3@151.46.212.14) (Ping timeout: 268 seconds) |
| 2024-05-17 11:34:07 +0000 | ubert1 | (~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) |
| 2024-05-17 11:34:22 +0000 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-17 11:34:22 +0000 | ubert1 | ubert |
| 2024-05-17 11:55:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-17 11:55:03 +0000 | <Rembane> | \o/ |
| 2024-05-17 11:55:49 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
| 2024-05-17 11:56:36 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-17 11:57:17 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
| 2024-05-17 12:00:38 +0000 | rvalue- | rvalue |
| 2024-05-17 12:03:43 +0000 | cfricke | (~cfricke@user/cfricke) (Remote host closed the connection) |
| 2024-05-17 12:04:03 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-17 12:09:53 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
| 2024-05-17 12:10:07 +0000 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-17 12:13:58 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc) |
| 2024-05-17 12:29:47 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-05-17 12:30:05 +0000 | <[Leary]> | Guest13: Speaking of, I got nerdsniped and figured out the dirty version: https://play-haskell.tomsmeding.com/saved/ukgOdGqj |
| 2024-05-17 12:30:40 +0000 | <Guest13> | ? |
| 2024-05-17 12:31:03 +0000 | danse-nr3 | (~danse-nr3@151.46.212.14) |
| 2024-05-17 12:31:24 +0000 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-17 12:31:54 +0000 | <[Leary]> | (the dirty way to memoise a recursive function with a Map) |
| 2024-05-17 12:32:07 +0000 | <Guest13> | ah what's that? |
| 2024-05-17 12:32:20 +0000 | <[Leary]> | Check the link? |
| 2024-05-17 12:37:49 +0000 | <ski> | nice, Guest13 ! |
| 2024-05-17 12:38:50 +0000 | <Guest13> | [Leary] I have no clue what is going on there XD |
| 2024-05-17 12:39:30 +0000 | <Guest13> | mine looks like: |
| 2024-05-17 12:39:30 +0000 | <Guest13> | permutationsMemo :: Problem -> (Int, Int, Int) -> Int |
| 2024-05-17 12:39:31 +0000 | <Guest13> | permutationsMemo problem@(springs, grps) ix@(i, grp, count) |
| 2024-05-17 12:39:31 +0000 | <Guest13> | | i < 0 || i > length springs = undefined |
| 2024-05-17 12:39:32 +0000 | <Guest13> | | grp < 0 || grp > length grps = undefined |
| 2024-05-17 12:39:32 +0000 | <Guest13> | | count < 0 || count > length springs = undefined |
| 2024-05-17 12:39:33 +0000 | <Guest13> | | otherwise = memo ! ix |
| 2024-05-17 12:39:33 +0000 | <Guest13> | where bounds = ((0,0,0), (length springs, length grps, length springs)) |
| 2024-05-17 12:39:34 +0000 | <Guest13> | memo = tabulate bounds get |
| 2024-05-17 12:39:34 +0000 | <Guest13> | get ixx@(i, grp, count) |
| 2024-05-17 12:39:35 +0000 | <Guest13> | | i == length springs = if (count == 0 && grp == length grps) then 1 else endOnHash -- end of springs |
| 2024-05-17 12:39:35 +0000 | <Guest13> | | grp == length grps = if ((springs !! i) == Damaged) then 0 else dotCase -- matched all groups |
| 2024-05-17 12:39:36 +0000 | <Guest13> | | cur == Operational = dotCase |
| 2024-05-17 12:39:36 +0000 | <Guest13> | | cur == Damaged = hashCase |
| 2024-05-17 12:39:37 +0000 | <Guest13> | | cur == Unknown = dotCase + hashCase |
| 2024-05-17 12:39:37 +0000 | <Guest13> | | otherwise = undefined |
| 2024-05-17 12:39:38 +0000 | <Guest13> | where cur = springs !! I |
| 2024-05-17 12:39:38 +0000 | <Guest13> | groupTarget = grps !! grp |
| 2024-05-17 12:39:39 +0000 | <yushyin> | pls ... |
| 2024-05-17 12:40:28 +0000 | <Guest13> | sorry ill send a link |
| 2024-05-17 12:43:20 +0000 | <Guest13> | https://play.haskell.org/saved/WOB84oaz |
| 2024-05-17 12:44:25 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe) |
| 2024-05-17 12:45:17 +0000 | <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 12:45:53 +0000 | <Guest13> | and my answer is contained within (0,0,0) |
| 2024-05-17 12:46:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-17 12:46:39 +0000 | <Guest13> | it is basically same code as the unmemorised function |
| 2024-05-17 12:47:20 +0000 | <Guest13> | maybe it would be best to lazily pass the memo to the "get" function and define it somewhere else? |
| 2024-05-17 12:47:49 +0000 | <Guest13> | so memo = tabulate bounds (get memo) |
| 2024-05-17 12:53:41 +0000 | danse-nr3 | (~danse-nr3@151.46.212.14) (Ping timeout: 252 seconds) |
| 2024-05-17 12:54:19 +0000 | danse-nr3 | (~danse-nr3@151.44.168.106) |
| 2024-05-17 13:09:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-17 13:13:35 +0000 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed) |
| 2024-05-17 13:14:26 +0000 | ystael | (~ystael@user/ystael) |
| 2024-05-17 13:17:24 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-17 13:22:41 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-17 13:23:42 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-17 13:25:05 +0000 | igemnace | (~igemnace@user/igemnace) |
| 2024-05-17 13:31:07 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2) |
| 2024-05-17 13:31:53 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe) (Quit: Leaving) |
| 2024-05-17 13:32:30 +0000 | <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 13:35:55 +0000 | ubert1 | (~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de) |
| 2024-05-17 13:40:13 +0000 | <[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 13:40:17 +0000 | ubert | (~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-17 13:40:17 +0000 | ubert1 | ubert |
| 2024-05-17 13:41:04 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-05-17 13:46:04 +0000 | <[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 13:47:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-17 13:48:06 +0000 | causal | (~eric@50.35.88.207) |
| 2024-05-17 13:49:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-17 13:49:40 +0000 | <ph88> | [Leary], what is that type operator & ? |
| 2024-05-17 13:50:31 +0000 | <[Leary]> | It's the name of the typeclass I declared. |
| 2024-05-17 13:52:17 +0000 | talukara | (~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep)) |
| 2024-05-17 13:52:36 +0000 | <tomsmeding> | -XTypeOperators |
| 2024-05-17 13:52:46 +0000 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) |
| 2024-05-17 13:52:46 +0000 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) (Changing host) |
| 2024-05-17 13:52:46 +0000 | addfb3 | (~dante@user/addfb3) |
| 2024-05-17 13:53:24 +0000 | patrl | (~patrl@user/patrl) |
| 2024-05-17 13:54:05 +0000 | <ph88> | thanks i'll have a look how that works |
| 2024-05-17 14:00:26 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-17 14:13:13 +0000 | <ncf> | my divination skills are failing me, i still have no idea what the actual problem is here |
| 2024-05-17 14:18:57 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2024-05-17 14:18:57 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-17 14:18:57 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-05-17 14:19:39 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-17 14:20:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-17 14:22:23 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-17 14:24:28 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-17 14:26:39 +0000 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
| 2024-05-17 14:27:05 +0000 | danse-nr3 | (~danse-nr3@151.44.168.106) |
| 2024-05-17 14:28:46 +0000 | zzz | (~yin@user/zero) |
| 2024-05-17 14:32:30 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 14:34:15 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 14:38:26 +0000 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
| 2024-05-17 14:38:51 +0000 | danse-nr3 | (~danse-nr3@151.44.168.106) |
| 2024-05-17 14:50:10 +0000 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-17 15:00:53 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-17 15:06:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-05-17 15:11:23 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 260 seconds) |
| 2024-05-17 15:12:57 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-17 15:19:24 +0000 | mei | (~mei@user/mei) |
| 2024-05-17 15:21:12 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-17 15:23:31 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-05-17 15:23:44 +0000 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-05-17 15:24:02 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-17 15:33:45 +0000 | rosco | (~rosco@173.150.68.85.rev.sfr.net) (Remote host closed the connection) |
| 2024-05-17 15:42:22 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-17 15:44:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-05-17 15:47:59 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-17 15:55:12 +0000 | danse-nr3 | (~danse-nr3@151.44.168.106) (Ping timeout: 256 seconds) |
| 2024-05-17 16:03:20 +0000 | zzz | (~yin@user/zero) (Quit: leaving) |
| 2024-05-17 16:07:32 +0000 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-05-17 16:10:06 +0000 | yin | (~yin@user/zero) |
| 2024-05-17 16:13:24 +0000 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-05-17 16:19:51 +0000 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2024-05-17 16:20:25 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-17 16:27:46 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-05-17 16:39:45 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-17 16:41:03 +0000 | _xor8 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-05-17 16:42:35 +0000 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 264 seconds) |
| 2024-05-17 16:42:35 +0000 | _xor8 | _xor |
| 2024-05-17 16:45:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-17 16:56:05 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-17 16:57:32 +0000 | <ph88> | [Leary], something is not quite right https://play.haskell.org/saved/R4jW1YVV |
| 2024-05-17 16:59:34 +0000 | <[Leary]> | "Use UndecidableSuperClasses to accept this" |
| 2024-05-17 16:59:42 +0000 | <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 17:00:47 +0000 | <monochrom> | You should simply enable ConstraintKinds and write "type (&) c1 c2 a = (c1 a, c2 a)" |
| 2024-05-17 17:01:01 +0000 | <[Leary]> | No, that doesn't suffice for their use-case. |
| 2024-05-17 17:05:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-17 17:08:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 17:10:04 +0000 | nullie | (~nullie@2a01:4f8:c2c:6177::1) (Quit: WeeChat 4.1.1) |
| 2024-05-17 17:10:28 +0000 | nullie | (~nullie@nuremberg.nullie.name) |
| 2024-05-17 17:10:53 +0000 | <ph88> | [Leary], will allow you to write `Entity (HasDataID & GetMessage)`. Do you mean data Entity ? |
| 2024-05-17 17:15:55 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-17 17:16:34 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-17 17:19:31 +0000 | <[Leary]> | ph88: Yes? I mean the type constructor defined by the `data Entity ...` declaration in your first paste. |
| 2024-05-17 17:20:31 +0000 | <glguy> | Maybe you want to bake the idea of multiple constraints into your entity type? https://play.haskell.org/saved/cMgRB0yD |
| 2024-05-17 17:21:27 +0000 | <glguy> | I did an example of this style a while back https://github.com/glguy/operations/blob/master/src/Example.hs |
| 2024-05-17 17:22:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-17 17:23:00 +0000 | mei | (~mei@user/mei) |
| 2024-05-17 17:23:03 +0000 | <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 17:24:47 +0000 | <ph88> | glguy, cool i'll play around with that see how it goes |
| 2024-05-17 17:24:48 +0000 | nullie | (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
| 2024-05-17 17:25:11 +0000 | nullie | (~nullie@nuremberg.nullie.name) |
| 2024-05-17 17:25:53 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-17 17:27:31 +0000 | kimiamania | (~76637481@user/kimiamania) |
| 2024-05-17 17:30:49 +0000 | nullie | (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
| 2024-05-17 17:31:07 +0000 | nullie | (~nullie@nuremberg.nullie.name) |
| 2024-05-17 17:41:13 +0000 | <ph88> | glguy, what are the symbols on line 14 and 20 in the gists ? |
| 2024-05-17 17:42:11 +0000 | <glguy> | ∈ is pronounced "element of" and ⊆ is pronounced "subset of or equal to" |
| 2024-05-17 17:42:39 +0000 | <ph88> | by the way, this reminds me of the effectful library, looks similar to how to compose effects |
| 2024-05-17 17:43:06 +0000 | <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 17:44:20 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-17 17:45:05 +0000 | ubert | (~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-17 17:50:55 +0000 | <[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 17:54:46 +0000 | <[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 17:58:01 +0000 | <[Leary]> | Ah, though I guess that subset is actually just elem, due to QuantifiedConstraints limitations. |
| 2024-05-17 17:58:13 +0000 | <glguy> | that repository predates quantified constraints |
| 2024-05-17 18:02:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 18:08:38 +0000 | <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 18:16:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-17 18:30:06 +0000 | <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 18:31:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 18:31:32 +0000 | <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 18:31:51 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 2024-05-17 18:33:35 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 18:34:31 +0000 | <glguy> | ph88: you need '[Op1] |
| 2024-05-17 18:34:39 +0000 | <[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 18:34:52 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-17 18:38:38 +0000 | <ph88> | glguy, thanks |
| 2024-05-17 18:39:40 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 18:40:53 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 18:42:12 +0000 | <glguy> | [Leary]: adapted https://github.com/glguy/operations/blob/quantifiedconstraints/src/Example.hs |
| 2024-05-17 18:43:39 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-17 18:43:57 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-05-17 18:46:00 +0000 | <[Leary]> | glguy: Nice, looks a bit prettier at least. |
| 2024-05-17 18:46:50 +0000 | <glguy> | Fwiw I don't recommend using either this or the previous version. It's just exploring the possible |
| 2024-05-17 18:48:36 +0000 | <ncf> | your ⊆ is backwards |
| 2024-05-17 18:49:07 +0000 | raym | (~ray@user/raym) (Ping timeout: 268 seconds) |
| 2024-05-17 18:49:34 +0000 | <ncf> | oh no i see it's a projection |
| 2024-05-17 18:51:21 +0000 | <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 18:55:35 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-17 18:55:55 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-05-17 18:57:02 +0000 | suvid | (~suvid@103.144.93.164) |
| 2024-05-17 18:57:09 +0000 | suvid | (~suvid@103.144.93.164) (Remote host closed the connection) |
| 2024-05-17 18:57:46 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 18:58:43 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-17 18:59:26 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 18:59:56 +0000 | <glguy> | ncf: yeah, maybe the other way around makes more sense; I was still in the list of constraints mindset |
| 2024-05-17 19:00:47 +0000 | raym | (~ray@user/raym) |
| 2024-05-17 19:07:37 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds) |
| 2024-05-17 19:08:53 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-17 19:10:13 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-17 19:10:58 +0000 | fliife | (~fliife@user/fliife) |
| 2024-05-17 19:14:40 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-17 19:20:12 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-17 19:28:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 19:33:23 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-05-17 19:40:52 +0000 | <[Leary]> | I suppose the most direct unicode name would be: cs ⊢ c := forall x. cs x => c x |
| 2024-05-17 19:41:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-17 19:45:50 +0000 | <ncf> | looks like a natural transformation to me, but => is already taken |
| 2024-05-17 19:48:28 +0000 | <EvanR> | there's like 50 different unicode =>'s xD |
| 2024-05-17 19:48:42 +0000 | <EvanR> | an embarrassment of riches |
| 2024-05-17 19:49:55 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 19:49:55 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 19:52:28 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 19:54:23 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 19:56:43 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-17 19:56:52 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 19:57:31 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 19:57:31 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 20:00:19 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 20:02:00 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 20:02:38 +0000 | <haskellbridge> | <geekosaur> 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 20:03:28 +0000 | <Rembane> | \o/ |
| 2024-05-17 20:03:41 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:04:32 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-17 20:05:38 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-17 20:06:50 +0000 | <haskellbridge> | <geekosaur> 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 20:06:52 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:07:02 +0000 | <geekosaur> | uh |
| 2024-05-17 20:08:16 +0000 | <EvanR> | bifrost has returned |
| 2024-05-17 20:11:31 +0000 | kadir | (~kadir@88.251.51.100) |
| 2024-05-17 20:11:32 +0000 | <haskellbridge> | <geekosaur> 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 20:11:33 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:12:02 +0000 | TonyStone | (~TonyStone@user/TonyStone) (Ping timeout: 252 seconds) |
| 2024-05-17 20:12:08 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 20:12:54 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 20:12:54 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 20:14:34 +0000 | <haskellbridge> | <geekosaur> 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 20:14:34 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:15:23 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 256 seconds) |
| 2024-05-17 20:16:00 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-17 20:17:44 +0000 | <haskellbridge> | <geekosaur> 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 20:17:45 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:19:23 +0000 | <geekosaur> | ble. matterbridge is seriously messed up |
| 2024-05-17 20:19:24 +0000 | <haskellbridge> | <geekosaur> 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 20:19:25 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:19:32 +0000 | <geekosaur> | guess it's time to look into heisenbridge |
| 2024-05-17 20:21:14 +0000 | <haskellbridge> | <geekosaur> 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 20:21:15 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:21:56 +0000 | <haskellbridge> | <sm> welcome back geekosaur ! |
| 2024-05-17 20:23:28 +0000 | addfb3 | (~dante@user/addfb3) (Remote host closed the connection) |
| 2024-05-17 20:23:32 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 20:23:53 +0000 | addfb3 | (~dante@user/addfb3) |
| 2024-05-17 20:24:05 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 20:24:05 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 20:26:56 +0000 | <haskellbridge> | <geekosaur> 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 20:26:57 +0000 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
| 2024-05-17 20:26:59 +0000 | <haskellbridge> | <sm> welcome back geekosaur ! |
| 2024-05-17 20:27:10 +0000 | <geekosaur> | argh |
| 2024-05-17 20:27:13 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 20:29:41 +0000 | matt3 | (~matt@24-111-26-254-static.midco.net) |
| 2024-05-17 20:30:07 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-05-17 20:30:13 +0000 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2024-05-17 20:30:22 +0000 | matt3 | (~matt@24-111-26-254-static.midco.net) (Client Quit) |
| 2024-05-17 20:30:42 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-17 20:31:17 +0000 | hueso | (~root@user/hueso) |
| 2024-05-17 20:31:55 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-17 20:37:25 +0000 | pavonia | (~user@user/siracusa) |
| 2024-05-17 20:39:54 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-17 20:44:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 20:47:30 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2) (Remote host closed the connection) |
| 2024-05-17 20:59:21 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-17 20:59:30 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 20:59:30 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 21:05:42 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-17 21:06:01 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-05-17 21:07:02 +0000 | visilii_ | (~visilii@188.254.126.77) |
| 2024-05-17 21:08:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-17 21:10:11 +0000 | visilii | (~visilii@217.107.125.158) (Ping timeout: 264 seconds) |
| 2024-05-17 21:10:23 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-17 21:10:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-17 21:14:34 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 21:15:04 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 21:15:04 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 21:15:04 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2024-05-17 21:15:12 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 21:15:26 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 21:15:26 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 21:15:38 +0000 | califax | (~califax@user/califx) |
| 2024-05-17 21:21:38 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-05-17 21:21:43 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 21:23:30 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 21:23:30 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 21:27:30 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 21:29:53 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-17 21:29:53 +0000 | ChanServ | +v haskellbridge |
| 2024-05-17 21:34:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-17 21:47:08 +0000 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-05-17 21:53:14 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-05-17 21:58:58 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:cfe3:13e2:96f6:9d2c) |
| 2024-05-17 22:11:08 +0000 | AlexNoo_ | (~AlexNoo@5.139.232.131) |
| 2024-05-17 22:13:08 +0000 | kadir | (~kadir@88.251.51.100) (Quit: WeeChat 4.2.2) |
| 2024-05-17 22:14:28 +0000 | AlexZenon | (~alzenon@178.34.162.221) (Ping timeout: 268 seconds) |
| 2024-05-17 22:14:49 +0000 | AlexNoo | (~AlexNoo@178.34.162.221) (Ping timeout: 256 seconds) |
| 2024-05-17 22:15:19 +0000 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
| 2024-05-17 22:21:11 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-05-17 22:22:47 +0000 | AlexZenon | (~alzenon@5.139.232.131) |
| 2024-05-17 22:26:10 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-17 22:26:25 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-05-17 22:31:07 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-05-17 22:46:03 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-05-17 22:47:23 +0000 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) |
| 2024-05-17 22:48:29 +0000 | <talismanick> | typeclass laws let us make intuitive assumptions about the behavior of any instance satisfying them, but you do have to prove it |
| 2024-05-17 22:48:31 +0000 | <talismanick> | but, in math, figuring out how to prove something is a big part of understanding it |
| 2024-05-17 22:49:03 +0000 | <talismanick> | just writing out the proofs for Reader, Writer, and State, I don't feel like I understand anything more for doing so |
| 2024-05-17 22:58:08 +0000 | yin | (~yin@user/zero) (Remote host closed the connection) |
| 2024-05-17 23:01:01 +0000 | <monochrom> | I would not take "prove implies understanding" religiously. When it works, it works. When it doesn't, it doesn't, or at most maybe look for another proof approach that brings understanding. |
| 2024-05-17 23:02:36 +0000 | <monochrom> | Hell, in fact, we know in math of a lot of elementary proofs that only achieve being elementary, not furthering understanding, precisely because they avoid "advanced" structures that bring understanding. |
| 2024-05-17 23:07:07 +0000 | <talismanick> | what are some instances with nontrivial proofs? |
| 2024-05-17 23:08:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-17 23:09:52 +0000 | ski | . o O ( "Mathematics, morally" by Eugenia Cheng in 2004-01 at <https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-morality.pdf> ) |
| 2024-05-17 23:15:58 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc64113083a2457f0359.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-05-17 23:17:08 +0000 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Remote host closed the connection) |
| 2024-05-17 23:17:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-17 23:18:54 +0000 | <dolio> | I've been reading a book with some people, and it seems like most of the proofs are less believable than the facts they state. |
| 2024-05-17 23:21:31 +0000 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-05-17 23:21:47 +0000 | <Lycurgus> | 'understanding' - that's a feel innit? |
| 2024-05-17 23:22:41 +0000 | <Lycurgus> | a feel of cognition |
| 2024-05-17 23:24:24 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2024-05-17 23:24:37 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-17 23:25:08 +0000 | <Lycurgus> | feel, qualia, obscure thing |
| 2024-05-17 23:26:05 +0000 | <Lycurgus> | without qualification that is; demonstrated understanding brings you back |
| 2024-05-17 23:27:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-17 23:40:05 +0000 | <Hecate> | tomsmeding: eyo, do you want a PR to enable linear-base for GHC 9.10 on the playground? |
| 2024-05-17 23:40:31 +0000 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-05-17 23:42:17 +0000 | <ski> | presumably understanding is objective insofar as it allows someone to better predict, diagnose, design |
| 2024-05-17 23:54:55 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.2.2) |
| 2024-05-17 23:55:43 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |