2025/02/01

Newest at the top

2025-02-01 23:10:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 23:10:42 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-02-01 23:10:41 +0100 <sim590> I can make sure to access properly the data by doing `takeMVar` when I need it and `putMVar` when I'm finished modifying it. I have the impression that it is equivalent to using stm's `modifyTVar`. Am I mistaken? Why should I really avoid using MVar over TVar ?
2025-02-01 23:10:39 +0100 <sim590> I'm realizing that I need to use a concurrent access capable datatype for the state of my application in order to modify/read the state on different threads. At first I had a new type around `StateT MyState IO a`. So I think I can change it to `StateT (MVar MyState) IO a`. But I read on stackoverflow that for updating data, I should use TVar instead, but I don't see why. If I understand correctly,
2025-02-01 23:06:16 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-02-01 22:59:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-01 22:56:48 +0100connrs(~connrs@user/connrs) connrs
2025-02-01 22:55:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 22:53:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-01 22:49:54 +0100connrs(~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in)
2025-02-01 22:49:34 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-01 22:43:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-02-01 22:40:10 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-02-01 22:38:48 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-02-01 22:37:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 22:34:53 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-02-01 22:34:42 +0100weary-traveler(~user@user/user363627) user363627
2025-02-01 22:32:48 +0100sonny(~sonny@bras-base-london140cw-grc-03-142-114-127-76.dsl.bell.ca) ()
2025-02-01 22:31:37 +0100monochrmmonochrom
2025-02-01 22:31:36 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 272 seconds)
2025-02-01 22:30:28 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2025-02-01 22:29:39 +0100monochrm(trebla@216.138.220.146)
2025-02-01 22:27:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-02-01 22:24:26 +0100notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-02-01 22:21:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 22:20:09 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-02-01 22:19:33 +0100ensyde(~ensyde@2601:5c6:c200:6dc0::2163) ensyde
2025-02-01 22:14:33 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2025-02-01 22:13:16 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-01 22:12:04 +0100Digit(~user@user/digit) Digit
2025-02-01 22:10:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-01 22:08:39 +0100lisbeths(~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths
2025-02-01 22:06:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 22:06:16 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-02-01 22:02:03 +0100comonad(~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de)
2025-02-01 22:01:56 +0100comonad(~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.1)
2025-02-01 22:01:30 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-01 22:00:42 +0100Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-02-01 21:59:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-01 21:56:41 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-02-01 21:55:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 21:54:13 +0100erdem(~erdem@user/erdem) erdem
2025-02-01 21:53:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-01 21:47:42 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-02-01 21:44:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-01 21:42:03 +0100tabaqui1(~root@87.200.129.102) (Ping timeout: 245 seconds)
2025-02-01 21:39:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-01 21:32:28 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 245 seconds)
2025-02-01 21:28:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-01 21:24:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn