Newest at the top
| 2024-04-25 17:22:29 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 17:19:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-25 17:18:53 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
| 2024-04-25 17:16:13 +0200 | <EvanR> | and doesn't try to claim that complicated stuff is simple |
| 2024-04-25 17:15:58 +0200 | <EvanR> | it makes simple stuff simple |
| 2024-04-25 17:15:14 +0200 | <EvanR> | me too |
| 2024-04-25 17:15:07 +0200 | <carbolymer> | tbh it's the best concurrency api I've worked with |
| 2024-04-25 17:14:45 +0200 | <carbolymer> | no complaints on async implementation |
| 2024-04-25 17:13:50 +0200 | <c_wraith> | .. if the code is written in just the right way. |
| 2024-04-25 17:13:41 +0200 | <c_wraith> | A thread can run for a long time without receiving an async exception |
| 2024-04-25 17:13:30 +0200 | <c_wraith> | Well, it dies whenever the exception is delivered. |
| 2024-04-25 17:13:23 +0200 | <EvanR> | you can cancel an async thread through async |
| 2024-04-25 17:13:16 +0200 | <carbolymer> | oh it does https://hackage.haskell.org/package/async-2.2.5/docs/Control-Concurrent-Async.html#v:cancel |
| 2024-04-25 17:13:07 +0200 | <EvanR> | messing with async's thread without going through async sounds questionable |
| 2024-04-25 17:11:19 +0200 | <carbolymer> | i.e. if I do `throwTo` to async's thread, it doesn't die right away, does it? |
| 2024-04-25 17:10:48 +0200 | <carbolymer> | asyncs are reusing threads, right? |
| 2024-04-25 17:08:22 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-25 17:06:20 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-25 17:03:42 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) (Ping timeout: 268 seconds) |
| 2024-04-25 17:01:49 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-25 16:51:32 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 16:51:19 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
| 2024-04-25 16:51:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-25 16:51:06 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-25 16:43:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-25 16:40:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 16:39:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-25 16:12:45 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 16:12:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-25 16:11:33 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 16:11:01 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.85) (Quit: TheOneWhoFuncts) |
| 2024-04-25 16:10:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) |
| 2024-04-25 16:09:37 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-25 16:07:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-25 16:01:58 +0200 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
| 2024-04-25 16:01:50 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-04-25 16:01:30 +0200 | akegalj | (~akegalj@78-1-50-53.adsl.net.t-com.hr) |
| 2024-04-25 16:00:55 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.85) |
| 2024-04-25 15:54:24 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-25 15:48:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) (Ping timeout: 255 seconds) |
| 2024-04-25 15:42:28 +0200 | <tomsmeding> | (DataKinds is a feature that you absolutely _cannot miss_ if you want to do dependently-typed-ish stuff in haskell) |
| 2024-04-25 15:38:59 +0200 | yin | (~yin@user/zero) |
| 2024-04-25 15:33:43 +0200 | <haskellbridge> | <irregularsphere> thanks (man, you know everything) |
| 2024-04-25 15:32:59 +0200 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/data_kinds.html |
| 2024-04-25 15:32:03 +0200 | <haskellbridge> | <irregularsphere> is there a haskell feature/system that can create new kinds? |
| 2024-04-25 15:31:23 +0200 | danza | (~francesco@151.19.233.234) (Ping timeout: 260 seconds) |
| 2024-04-25 15:20:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-25 15:19:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-04-25 15:10:13 +0200 | zetef | (~quassel@93.122.248.176) (Remote host closed the connection) |
| 2024-04-25 15:02:03 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |