Newest at the top
| 2025-11-19 18:14:43 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-19 18:14:38 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-19 18:06:38 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-19 18:03:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 17:59:53 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-19 17:57:57 +0100 | _bo | (~bo@98.red-83-56-255.dynamicip.rima-tde.net) (Leaving) |
| 2025-11-19 17:52:56 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-19 17:52:36 +0100 | EvanR | (~EvanR@2600:1700:ba69:10:40ed:456a:b2ec:28ad) (Quit: Leaving) |
| 2025-11-19 17:51:13 +0100 | <EvanR> | MVar or TMVar* |
| 2025-11-19 17:50:57 +0100 | <EvanR> | which will return the resource to the MVar in case of the thread fails |
| 2025-11-19 17:50:34 +0100 | <EvanR> | instead of basic locking, consider holding the exclusive resource in an MVar or TVar and accessing it using an appropriate bracket |
| 2025-11-19 17:48:02 +0100 | <pie_> | meanwhile im sitting here intimidated by basic locking |
| 2025-11-19 17:42:40 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 17:39:49 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-19 17:38:57 +0100 | _bo | (~bo@98.red-83-56-255.dynamicip.rima-tde.net) |
| 2025-11-19 17:31:30 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-19 17:30:19 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-19 17:30:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-19 17:29:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-19 17:28:57 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-19 17:21:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 17:14:57 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-19 17:09:03 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) synchromesh |
| 2025-11-19 17:07:50 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer) |
| 2025-11-19 17:06:07 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-19 17:05:11 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-19 17:01:46 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 16:59:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds) |
| 2025-11-19 16:57:40 +0100 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-19 16:57:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-19 16:56:58 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-19 16:56:58 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-19 16:56:58 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-19 16:52:10 +0100 | CatGPT | Catty |
| 2025-11-19 16:49:19 +0100 | Catty | CatGPT |
| 2025-11-19 16:47:12 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-19 16:46:54 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-19 16:34:31 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-19 16:29:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-19 16:28:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-11-19 16:28:20 +0100 | pr1sm | (~pr1sm@2600:1000:b16f:9264:f8ae:817d:7595:2bb4) (Remote host closed the connection) |
| 2025-11-19 16:27:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 16:18:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 16:17:04 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-19 16:16:39 +0100 | pr1sm | (~pr1sm@2600:1000:b16f:9264:f8ae:817d:7595:2bb4) |
| 2025-11-19 16:08:53 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-19 16:01:40 +0100 | bggd | (~bgg@2a01:e0a:819:1510:5811:6b25:6842:9300) |
| 2025-11-19 15:52:12 +0100 | <int-e> | (I misspoke, that's just what the code looks like; I'm not reconstructing why that works) |
| 2025-11-19 15:51:29 +0100 | <lucabtz> | i was reading on the wikipedia page about Yoneda's lemma it is related to continuation style programming. someone has a resource on this |
| 2025-11-19 15:51:18 +0100 | <tomsmeding> | getting precise enough definitions that you can even reason about them properly is hard enough, and I'm not even sure I have the proper ones |