Newest at the top
| 2025-12-22 20:28:21 +0100 | <monochrom> | Actually you can just perform two takeMVars then two putMVars. You already have atomicity. If every site does it in the same order, you won't have deadlocks. |
| 2025-12-22 20:27:32 +0100 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-22 20:26:15 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2025-12-22 20:26:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 20:25:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-22 20:25:48 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 20:24:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 20:24:44 +0100 | <monochrom> | Yeah STM should be much simpler. But sometimes there are causes for sticking to MVars. You never know the context of contextless generic questions! |
| 2025-12-22 20:24:33 +0100 | <gentauro> | EvanR: linear-types? |
| 2025-12-22 20:23:51 +0100 | <EvanR> | atomic swap of two MVars sounds like someone screaming out for STM |
| 2025-12-22 20:21:40 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-22 20:13:35 +0100 | <iqubic> | Those would be useful for me, and I'm not really seeing what prevents those from existing. |
| 2025-12-22 20:13:33 +0100 | <monochrom> | Zemyla: Add one more MVar to atomize the swapping of two existing MVars! |
| 2025-12-22 20:12:14 +0100 | <iqubic> | Is there some reason why the package MemoTrie doesn't have any instances for "MemoTrie v => MemoTrie (Set v)" and "(MemoTrie k, MemoTrie v) => MemoTrie (Map k v)" |
| 2025-12-22 20:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 20:06:06 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-22 20:05:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 20:05:07 +0100 | mehbark | (~mehbark@user/mehbark) mehbark |
| 2025-12-22 20:05:07 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-22 20:03:52 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 20:03:22 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-22 19:59:08 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 19:57:49 +0100 | <gentauro> | anybody know if James Faure is here ^_^? What an absolute masterpiece "Rust and the price of ignoring theory" <3 |
| 2025-12-22 19:55:24 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 19:55:11 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 19:54:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-22 19:51:36 +0100 | <haskellbridge> | <Zemyla> I kind of wish there was an atomic swap for two MVars. |
| 2025-12-22 19:51:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 19:51:05 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 19:45:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:34:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 19:30:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:18:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 19:14:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:12:58 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-22 19:09:47 +0100 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2025-12-22 19:09:23 +0100 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-12-22 19:08:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 19:04:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:03:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-22 19:03:01 +0100 | mehbark9 | (~mehbark@joey.luug.ece.vt.edu) (Ping timeout: 264 seconds) |
| 2025-12-22 19:00:35 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-22 18:59:18 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-12-22 18:58:06 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-22 18:53:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-22 18:49:15 +0100 | irfan | (~irfan@user/irfan) irfan |
| 2025-12-22 18:49:13 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-12-22 18:48:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 18:38:15 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-12-22 18:36:58 +0100 | ridcully_ | (~ridcully@p508aca22.dip0.t-ipconnect.de) ridcully |