Logs: liberachat/#haskell
| 2026-02-04 05:01:34 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-04 05:04:44 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-04 05:05:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2026-02-04 05:11:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 05:16:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-04 05:27:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 05:31:17 | × | jle` quits (~jle`@23.240.67.73) (Quit: WeeChat 4.8.1) |
| 2026-02-04 05:31:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 05:41:15 | → | Square joins (~Square4@user/square) |
| 2026-02-04 05:42:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 05:43:56 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-02-04 05:47:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-04 05:51:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 05:52:35 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2026-02-04 05:53:13 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-02-04 05:53:40 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-02-04 05:55:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 05:56:24 | × | mange quits (~mange@user/mange) (Ping timeout: 260 seconds) |
| 2026-02-04 06:03:18 | → | mange joins (~mange@user/mange) |
| 2026-02-04 06:05:53 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-04 06:06:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 06:11:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-04 06:21:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-04 06:21:24 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-04 06:21:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-04 06:21:24 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2026-02-04 06:21:36 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-04 06:21:38 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-04 06:21:43 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-04 06:21:46 | → | califax joins (~califax@user/califx) |
| 2026-02-04 06:21:47 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-04 06:22:18 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-02-04 06:22:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 06:24:02 | × | mfc_kbs quits (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-04 06:24:22 | → | mfc_kbs joins (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-04 06:24:53 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 06:26:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-04 06:26:28 | xff0x_ | is now known as xff0x |
| 2026-02-04 06:27:44 | → | michalz joins (~michalz@185.246.207.215) |
| 2026-02-04 06:29:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 06:31:12 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-04 06:31:12 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-04 06:31:12 | → | haritz joins (~hrtz@user/haritz) |
| 2026-02-04 06:32:28 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-04 06:32:35 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-04 06:34:07 | → | igemnace joins (~igemnace@user/igemnace) |
| 2026-02-04 06:35:37 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 2026-02-04 06:37:00 | → | jle` joins (~jle`@2603:8001:3b00:11:ceae:40d3:5f9b:7e4d) |
| 2026-02-04 06:37:49 | × | trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-04 06:37:55 | → | trickard___ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 06:38:32 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-04 06:38:42 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-02-04 06:39:01 | trickard___ | is now known as trickard |
| 2026-02-04 06:39:13 | → | attlin joins (~user@user/attlin) |
| 2026-02-04 06:40:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 06:42:12 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-04 06:45:19 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 06:45:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 06:48:42 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 06:49:12 | × | michalz quits (~michalz@185.246.207.215) (Ping timeout: 252 seconds) |
| 2026-02-04 06:50:11 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-02-04 06:50:25 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-02-04 06:50:25 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Changing host) |
| 2026-02-04 06:50:25 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-02-04 06:50:38 | × | hakutaku quits (~textual@user/hakutaku) (Client Quit) |
| 2026-02-04 06:51:01 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-02-04 06:52:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 06:57:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 06:57:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-04 07:02:43 | → | michalz joins (~michalz@185.246.207.217) |
| 2026-02-04 07:05:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-04 07:08:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 07:09:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-02-04 07:11:14 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-04 07:12:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 07:12:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-04 07:14:10 | × | ft quits (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-04 07:23:09 | × | jle` quits (~jle`@2603:8001:3b00:11:ceae:40d3:5f9b:7e4d) (Quit: WeeChat 4.8.1) |
| 2026-02-04 07:23:37 | <gentauro> | tomsmeding: got it. Thx for explanation |
| 2026-02-04 07:23:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 07:24:31 | × | michalz quits (~michalz@185.246.207.217) (Ping timeout: 255 seconds) |
| 2026-02-04 07:25:55 | <[exa]> | is there some way to get an operation that would take a list (or so) of MVars and wait until any of them can be taken? Or do I generally have to do this with another synchronization tool (Chan)? |
| 2026-02-04 07:26:56 | → | michalz joins (~michalz@185.246.207.218) |
| 2026-02-04 07:28:22 | × | ar3ph quits (~ar3ph@user/ar3ph) (Quit: Ping timeout (120 seconds)) |
| 2026-02-04 07:28:33 | → | ar3ph joins (~ar3ph@user/ar3ph) |
| 2026-02-04 07:29:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 07:30:38 | <gentauro> | I've recently been following this persons task on removing F# from the boundries of the .NET platform to become trully native on bare metal: https://speakez.tech/blog/ |
| 2026-02-04 07:30:55 | <gentauro> | the blog post are really enjoyable to read |
| 2026-02-04 07:31:04 | gentauro | And I'm not the guy xD |
| 2026-02-04 07:31:38 | <gentauro> | however, as I understand it, it's a single person doing all the work (perhaps with the help of AI-tools?) |
| 2026-02-04 07:32:38 | <Leary> | [exa]: In principle you can `race` `takeMVar` across the list, but I suggest you just use `TMVar`s instead. |
| 2026-02-04 07:34:22 | <[exa]> | Leary: oh TMVars, that would work too |
| 2026-02-04 07:35:06 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-04 07:35:37 | <[exa]> | I'm currently thinking about just going with TChan, will see |
| 2026-02-04 07:36:56 | → | fp joins (~Thunderbi@2001:708:150:10::9d7e) |
| 2026-02-04 07:38:12 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:6eef) (Read error: Connection reset by peer) |
| 2026-02-04 07:38:24 | → | yuuta joins (~YuutaW@infornography.yta.moe) |
| 2026-02-04 07:39:08 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-04 07:39:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 07:40:12 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
All times are in UTC.