Newest at the top
| 2025-12-16 17:58:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-16 17:57:32 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-16 17:57:16 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-16 17:49:13 +0100 | annamalai | (~annamalai@117.246.58.193) (Ping timeout: 264 seconds) |
| 2025-12-16 17:48:40 +0100 | Guest15 | (~Guest15@31-39-208.wireless.csail.mit.edu) |
| 2025-12-16 17:48:08 +0100 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2025-12-16 17:48:07 +0100 | Googulator98 | Googulator |
| 2025-12-16 17:48:02 +0100 | cubic_jpg | SnacksSer |
| 2025-12-16 17:43:41 +0100 | cubic_jpg | (~cubic_jpg@user/cubic-jpg:13603) cubic_jpg |
| 2025-12-16 17:43:09 +0100 | NickSer | (~cubic_jpg@user/cubic-jpg:13603) (Quit: Client closed) |
| 2025-12-16 17:42:22 +0100 | NikoChanServv | NickSer |
| 2025-12-16 17:40:15 +0100 | NikServe | NikoChanServv |
| 2025-12-16 17:39:29 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-16 17:38:07 +0100 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-16 17:37:29 +0100 | cubic_jpg | NikServe |
| 2025-12-16 17:36:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-16 17:36:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 17:34:35 +0100 | latticepolytope | (~user@user/isekaijin) (Ping timeout: 240 seconds) |
| 2025-12-16 17:33:43 +0100 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-16 17:32:07 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-16 17:28:36 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-16 17:26:29 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-12-16 17:24:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-16 17:23:15 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 17:23:01 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 17:22:54 +0100 | annamalai | (~annamalai@117.246.58.193) annamalai |
| 2025-12-16 17:22:35 +0100 | annamalai | (~annamalai@157.32.210.253) (Ping timeout: 240 seconds) |
| 2025-12-16 17:22:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-16 17:21:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 17:15:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 17:15:10 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-16 17:14:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Client Quit) |
| 2025-12-16 17:14:07 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 17:05:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-16 17:01:37 +0100 | fp | (~Thunderbi@130.233.70.102) (Quit: fp) |
| 2025-12-16 16:59:55 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-12-16 16:56:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-16 16:56:18 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-12-16 16:54:08 +0100 | <lucabtz> | unless you thread around the memo from different runState calls |
| 2025-12-16 16:54:07 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 16:53:47 +0100 | <lucabtz> | to escape the state you will have to provide a initial memo using runState which will be empty |
| 2025-12-16 16:53:38 +0100 | <kuribas> | yes, just the pure state monad, and I remove it in the end. |
| 2025-12-16 16:53:35 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-16 16:53:13 +0100 | <opqdonut> | (unless you store it somewhere impurely) |
| 2025-12-16 16:53:12 +0100 | <lucabtz> | yeah if you use State you have to live in the State monad |
| 2025-12-16 16:52:42 +0100 | <opqdonut> | sure, but then the next call won't use the outputted memo |
| 2025-12-16 16:52:10 +0100 | <kuribas> | I can get "(a -> State memo foo)" =~ a -> memo -> (foo, memo), then flip, apply memo, and take the first. |
| 2025-12-16 16:51:17 +0100 | <opqdonut> | if you're relying on the monad sequencing to provide the concept of this-has-been-computed-before-that |
| 2025-12-16 16:50:43 +0100 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 264 seconds) |
| 2025-12-16 16:50:21 +0100 | <kuribas> | Why not? |