Newest at the top
| 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 |
| 2024-12-22 22:20:29 +0100 | <haskellbridge> | <thirdofmay18081814goya> so the render function takes the whole FRP circuit and produces a function "(Nat, Nat) -> RGB" that renders an image by specifying RGB value at each pixel |
| 2024-12-22 22:20:21 +0100 | <geekosaur> | mm, wouldn't it be determined by whatever you want that button to do? |
| 2024-12-22 22:19:46 +0100 | <haskellbridge> | <thirdofmay18081814goya> "type RGB = (Nat, Nat, Nat)" |
| 2024-12-22 22:19:26 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-22 22:18:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 22:18:19 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm, in FRP, what is the relationship between the signal function "PointlessButton :: Signal (Maybe ()) -> ?" and the rendering function "Render :: ? -> Signal (Nat, Nat) -> RGB"? |
| 2024-12-22 22:14:36 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-12-22 22:13:55 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-22 22:13:03 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-12-22 22:08:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-22 22:03:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 21:52:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-22 21:50:20 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-12-22 21:45:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 21:44:00 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-102.cust.tzulo.com) Jeanne-Kamikaze |
| 2024-12-22 21:34:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-22 21:32:57 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 276 seconds) |