Newest at the top
| 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) |
| 2024-12-22 21:30:22 +0100 | monochrom | -o monochrom |
| 2024-12-22 21:30:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 21:19:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 21:14:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 21:12:24 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-22 21:11:03 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-22 21:09:50 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-12-22 21:04:19 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-12-22 21:04:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-22 21:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-22 21:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-22 20:59:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 20:56:33 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 248 seconds) |
| 2024-12-22 20:48:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-22 20:43:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 20:43:54 +0100 | son0p | (~ff@186.121.98.118) (Quit: Leaving) |
| 2024-12-22 20:43:09 +0100 | housemate | (~housemate@60.231.48.87) (Ping timeout: 260 seconds) |