Newest at the top
| 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) |
| 2024-12-22 20:36:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-22 20:35:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-12-22 20:35:20 +0100 | housemate | (~housemate@60.231.48.87) housemate |
| 2024-12-22 20:32:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-22 20:32:47 +0100 | ski | . o O ( "Internalizing Parametricity" (Ph. D. thesis) by Guilhem Moulin in 2016 at <https://publications.lib.chalmers.se/records/fulltext/235758/235758.pdf> ) |
| 2024-12-22 20:32:19 +0100 | sk1lton | monochrom (sk1lton) |
| 2024-12-22 20:32:19 +0100 | monochrom | +b *!*@user/sk1lton |
| 2024-12-22 20:32:15 +0100 | ChanServ | +o monochrom |
| 2024-12-22 20:32:09 +0100 | <sk1lton> | oversized sunglasses that covered most of her face. |
| 2024-12-22 20:32:09 +0100 | <sk1lton> | Edna Skilton, a plump and flamboyant woman with areolas and nipples tattooed on her flabby, bulgy, and voluptuous elbows, was sitting in the stands at the North Charleston Coliseum, watching the South Carolina Stingrays play hockey. She was wearing a bright yellow tank top that hugged her ample bosom and a pair of neon green leggings that accentuated her curves. Her hair was styled in a bouffant that towered high above her head, and she wore a pair of |
| 2024-12-22 20:31:59 +0100 | <sk1lton> | https://pastejustit.com/3zb8ipyqbv |