Newest at the top
| 2026-02-08 00:09:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-08 00:03:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-08 00:00:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-07 23:53:11 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-02-07 23:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 23:52:07 +0100 | trickard_ | trickard |
| 2026-02-07 23:51:02 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-02-07 23:47:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 23:47:15 +0100 | Hafydd | (~Hafydd@user/hafydd) (Quit: WeeChat 4.8.1) |
| 2026-02-07 23:46:32 +0100 | <int-e> | EvanR: True, but you do have a lever to make it as strict as you want, something that stateTVar doesn't have: (\g -> (,) g $! g+1) |
| 2026-02-07 23:42:13 +0100 | Inline | (~User@2a02:908:1246:26e0:ba5b:904f:46b4:eceb) (Ping timeout: 260 seconds) |
| 2026-02-07 23:35:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 23:30:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 23:24:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-07 23:19:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 23:17:50 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-07 23:17:11 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2026-02-07 23:16:57 +0100 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2026-02-07 23:14:45 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-02-07 23:12:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 23:11:13 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 23:10:54 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 23:10:44 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-07 23:10:17 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 23:09:51 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-07 23:05:19 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2026-02-07 23:03:49 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 23:03:36 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 23:01:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 22:59:49 +0100 | <EvanR> | n <- stateTVar tv (\g -> (g, g+1)) -- now tv holds a (possibly even bigger) thunk |
| 2026-02-07 22:59:34 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-07 22:58:52 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2026-02-07 22:58:03 +0100 | <EvanR> | (good thing I double checked xD) |
| 2026-02-07 22:56:56 +0100 | <EvanR> | am I tripping. The docs for stateTVar says "like modifyTVar'" implying that it evaluates the new state before writing it back to the var. But upon inspection of the code, it does not |
| 2026-02-07 22:56:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 22:56:15 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-02-07 22:54:03 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 22:49:27 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-07 22:49:27 +0100 | attlin | (~user@2602:fa59:9:ad6::1) (Changing host) |
| 2026-02-07 22:49:26 +0100 | attlin_ | attlin |
| 2026-02-07 22:49:26 +0100 | attlin | (~user@user/attlin) (Ping timeout: 244 seconds) |
| 2026-02-07 22:48:49 +0100 | attlin_ | (~user@2602:fa59:9:ad6::1) |
| 2026-02-07 22:48:34 +0100 | polykernel_ | polykernel |
| 2026-02-07 22:48:34 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 2026-02-07 22:45:55 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-07 22:45:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 22:43:10 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 22:42:56 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 22:41:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 22:30:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |