Newest at the top
| 2024-12-22 16:47:25 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-22 16:47:13 +0100 | <geekosaur> | STM is the usual method |
| 2024-12-22 16:45:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 16:40:29 +0100 | <albet70> | how to share or passing one variable between two async function? like there are async function f and g, jump between f and g with one variable so that f and g can both modify |
| 2024-12-22 16:39:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-22 16:38:00 +0100 | <albet70> | hello everyone |
| 2024-12-22 16:36:08 +0100 | <haskellbridge> | <thirdofmay18081814goya> well this could be a way to make that precise: a monad-encoding of a modal type is inhabited iff it's corresponding modal type is inhabited |
| 2024-12-22 16:35:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-22 16:34:57 +0100 | <ncf> | do you mean anything precise by that |
| 2024-12-22 16:33:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-22 16:32:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-12-22 16:31:49 +0100 | <haskellbridge> | <thirdofmay18081814goya> can Haskell monads simulate modal types? |
| 2024-12-22 16:31:38 +0100 | <haskellbridge> | <thirdofmay18081814goya> I recall reading somewhere that modal types are given by monads |
| 2024-12-22 16:30:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 16:19:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-22 16:18:40 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 265 seconds) |
| 2024-12-22 16:14:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 16:07:42 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-22 16:06:02 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-22 16:04:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-22 16:03:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-22 15:59:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 15:51:08 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-22 15:48:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-22 15:47:12 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 2024-12-22 15:45:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-22 15:43:16 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-22 15:42:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 15:36:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 15:35:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-12-22 15:31:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 15:27:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-22 15:26:57 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-22 15:22:32 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-22 15:21:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-22 15:16:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 15:15:05 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-22 15:13:20 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-12-22 15:11:55 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-22 15:08:11 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350e-cece-fc33-ab37-4fc7-9825.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-22 15:05:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-22 14:58:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 14:52:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-22 14:50:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-22 14:47:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-22 14:43:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-22 14:40:45 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) ft |
| 2024-12-22 14:40:34 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) (Client Quit) |
| 2024-12-22 14:38:57 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) ft |
| 2024-12-22 14:38:45 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) (Quit: leaving) |