Newest at the top
| 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 |
| 2024-12-22 20:31:51 +0100 | sk1lton | (~sk1lton@user/sk1lton) sk1lton |
| 2024-12-22 20:29:15 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-22 20:28:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 20:28:15 +0100 | sinbad | (~sinbad@user/sinbad) () |
| 2024-12-22 20:24:12 +0100 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2024-12-22 20:23:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Remote host closed the connection) |
| 2024-12-22 20:23:25 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-22 20:20:55 +0100 | <monochrom> | Yeah, System F doesn't know that itself is parametric. :) |
| 2024-12-22 20:20:39 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-12-22 20:17:03 +0100 | <ski> | (afaik, you can't internalize this, in System F) |
| 2024-12-22 20:17:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-22 20:15:58 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm... right that makes sense, I will be thinking about this formulation, thank you! |
| 2024-12-22 20:14:03 +0100 | ski | . o O ( `(forall a. Either (f a) (g a)) -> Either (forall a. f a) (forall a. g a)' ) |
| 2024-12-22 20:12:12 +0100 | sinbad | (~sinbad@user/sinbad) Sinbad |
| 2024-12-22 20:12:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-12-22 20:10:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 20:09:05 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-22 20:08:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-22 20:07:06 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/OhYpqzWlQxOOEZERbielBCRQ/4iEIbaNtSto (4 lines) |
| 2024-12-22 20:07:06 +0100 | <haskellbridge> | <thirdofmay18081814goya> so the function has: |