Newest at the top
| 2024-12-23 00:13:11 +0100 | xal | (~xal@mx1.xal.systems) xal |
| 2024-12-23 00:12:56 +0100 | tnt2 | tnt1 |
| 2024-12-23 00:12:56 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-23 00:12:21 +0100 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-12-23 00:12:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 00:11:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-23 00:04:18 +0100 | tnt2 | tnt1 |
| 2024-12-23 00:04:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2024-12-23 00:03:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 00:02:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 00:02:56 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-12-22 23:59:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 23:53:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-12-22 23:51:52 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-12-22 23:48:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-22 23:47:30 +0100 | tnt2 | tnt1 |
| 2024-12-22 23:47:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2024-12-22 23:46:56 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-22 23:44:47 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-22 23:44:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 23:37:06 +0100 | tnt2 | tnt1 |
| 2024-12-22 23:37:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2024-12-22 23:36:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-22 23:27:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 23:23:57 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2024-12-22 23:20:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 23:11:46 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-12-22 23:09:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-22 23:05:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 23:03:34 +0100 | tnt2 | tnt1 |
| 2024-12-22 23:03:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-22 23:03:04 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-22 22:59:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-22 22:58:40 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-22 22:54:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 22:49:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 22:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-22 22:34:57 +0100 | <haskellbridge> | <thirdofmay18081814goya> or a binary vector |
| 2024-12-22 22:34:42 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-102.cust.tzulo.com) (Remote host closed the connection) |
| 2024-12-22 22:34:36 +0100 | <haskellbridge> | <thirdofmay18081814goya> but I'm having a hard time figuring out the "array that tells it which of these to compose with "Background"" part |
| 2024-12-22 22:34:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 22:33:45 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-22 22:33:12 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-12-22 22:32:36 +0100 | <haskellbridge> | <thirdofmay18081814goya> one possibility is that "Render" receives "type AllPossibleComponentRenderings = [(Nat, Nat) -> Maybe RGB]" and some sort of array that tells it, at each sampling, which of these to compose together with "type Background = (Nat, Nat) -> RGB" to produce "type RenderingResult = (Nat, Nat) -> RGB" |
| 2024-12-22 22:27:42 +0100 | <haskellbridge> | <thirdofmay18081814goya> what I'm wondering more precisely: what passes these two inhabitants to "Render", and what is passed to "Render" so that it knows which of these is the current one? |
| 2024-12-22 22:26:44 +0100 | Square | (~Square@user/square) Square |
| 2024-12-22 22:23:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 22:22:18 +0100 | <haskellbridge> | <thirdofmay18081814goya> we can think of them as two inhabitants of "(Nat, Nat) -> Maybe RGB" where the places the button is not rendered returns "None" |
| 2024-12-22 22:21:49 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-22 22:21:00 +0100 | <haskellbridge> | <thirdofmay18081814goya> geekosaur: suppose "PointlessButton" does nothing, and has only two possible renderings, a clicked form and a nonclicked form |