| 2025-12-08 00:03:58 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 00:04:05 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 00:04:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-08 00:08:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-08 00:10:49 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-12-08 00:11:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-08 00:11:35 +0100 | baturhan | (~baturhan@user/baturhan) baturhan |
| 2025-12-08 00:13:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-08 00:14:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 00:14:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-08 00:15:41 +0100 | tromp | (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-08 00:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-08 00:22:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 00:24:37 +0100 | annamalai | (~annamalai@157.33.227.191) (Ping timeout: 264 seconds) |
| 2025-12-08 00:30:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 00:30:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 00:36:23 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 244 seconds) |
| 2025-12-08 00:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 00:44:25 +0100 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-12-08 00:45:58 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-08 00:48:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 00:50:05 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-08 00:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 00:57:19 +0100 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 250 seconds) |
| 2025-12-08 01:04:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 01:18:10 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-08 01:19:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:22:26 +0100 | elarks | (~yerri@user/yerrii) yerrii |
| 2025-12-08 01:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 01:35:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:35:38 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 01:35:40 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 01:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 01:45:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ad3f:f420:2d20:b3b4) (Ping timeout: 250 seconds) |
| 2025-12-08 01:51:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:51:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-08 01:56:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 01:56:56 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-08 01:58:09 +0100 | img | (~img@user/img) img |
| 2025-12-08 01:58:59 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-08 01:59:36 +0100 | trickard_ | trickard |
| 2025-12-08 02:02:41 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 02:02:55 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-08 02:05:43 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 02:06:14 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 02:07:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:12:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 02:15:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-08 02:15:37 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-08 02:16:25 +0100 | ell | (~ellie@user/ellie) (Remote host closed the connection) |
| 2025-12-08 02:22:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:24:13 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-12-08 02:25:16 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-08 02:27:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 02:34:54 +0100 | baturhan | (~baturhan@user/baturhan) (Quit: Client closed) |
| 2025-12-08 02:37:53 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-08 02:38:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:39:52 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-08 02:39:52 +0100 | omidmash9 | omidmash |
| 2025-12-08 02:40:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-08 02:41:48 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-08 02:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 02:49:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-08 02:52:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-08 02:54:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:56:02 +0100 | thalber | (~thalber@user/kerosenewife) kerosenewife |
| 2025-12-08 03:00:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 03:04:54 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 260 seconds) |
| 2025-12-08 03:06:01 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 03:06:17 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 03:10:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 03:16:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 03:17:04 +0100 | trickard___ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 03:18:13 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 03:18:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 03:18:54 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-08 03:20:17 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-08 03:20:17 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-08 03:27:09 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2025-12-08 03:28:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 03:29:59 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-12-08 03:30:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 03:30:38 +0100 | <haskellbridge> | <Zemyla> Is there an ST-like monad that's a MonadPlus, where assignments done in one alternative branch don't propagate to others? |
| 2025-12-08 03:32:16 +0100 | <geekosaur> | I would expect that to be difficult without having each be its own separate ST |
| 2025-12-08 03:32:40 +0100 | <Leary> | Zemyla: That's an interesting idea. `STM` already has such semantics, so you could write it as a layer on top. |
| 2025-12-08 03:32:55 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-12-08 03:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 03:34:11 +0100 | <haskellbridge> | <Zemyla> The other Alternative is to make it be like StateT (IntMap Any) [] and have a bunch of unsafeCoerces under the hood. |
| 2025-12-08 03:35:36 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 03:36:11 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 03:38:30 +0100 | trickard___ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 03:38:44 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 03:39:22 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-12-08 03:40:17 +0100 | forell | (~forell@user/forell) forell |
| 2025-12-08 03:44:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 03:46:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-08 03:48:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 03:57:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-08 03:59:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:04:03 +0100 | <c_wraith> | There's a secret downside to that approach.. you don't get garbage collection. |
| 2025-12-08 04:04:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 04:05:38 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 04:05:42 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 04:15:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:20:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 04:31:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:36:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 04:38:08 +0100 | iqubic | (~sophia@2601:602:9203:1660:767a:e6b6:2f4b:e37e) iqubic |
| 2025-12-08 04:38:40 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai |
| 2025-12-08 04:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:48:48 +0100 | thalber | (~thalber@user/kerosenewife) (WeeChat 4.7.1) |
| 2025-12-08 04:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 04:56:22 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-12-08 04:58:10 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-12-08 05:05:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:06:45 +0100 | dmead | (~halloy975@2601:41:c300:ae80:354a:bc86:483c:6ece) |
| 2025-12-08 05:06:54 +0100 | <dmead> | ?yow |
| 2025-12-08 05:06:55 +0100 | <lambdabot> | Now that I have my "APPLE", I comprehend COST ACCOUNTING!! |
| 2025-12-08 05:07:02 +0100 | <dmead> | i missed you, lambdabot |
| 2025-12-08 05:10:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 05:21:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:24:28 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 05:24:53 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 05:26:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 05:30:00 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-08 05:30:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-08 05:37:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 05:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:44:05 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-08 05:44:25 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-08 05:47:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-08 05:58:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:11:07 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 06:11:22 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 06:14:25 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-08 06:15:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:16:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 06:19:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:20:18 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-08 06:21:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-08 06:22:13 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-12-08 06:23:23 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:9b7c:331e:bc52:4fc0) |
| 2025-12-08 06:28:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-08 06:28:56 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-08 06:29:28 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 06:29:40 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 06:30:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:35:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 06:36:16 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 06:36:29 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 06:40:43 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 06:40:46 +0100 | Googulator49 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 06:41:29 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-08 06:46:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:51:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:02:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:03:33 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-08 07:06:11 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-08 07:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:10:44 +0100 | michalz | (~michalz@185.246.207.201) |
| 2025-12-08 07:18:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:23:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:25:11 +0100 | trickard_ | trickard |
| 2025-12-08 07:34:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:40:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-08 07:43:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:43:46 +0100 | jreicher | (~user@user/jreicher) (Remote host closed the connection) |
| 2025-12-08 07:44:28 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-08 07:48:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 07:54:13 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Ping timeout: 260 seconds) |
| 2025-12-08 07:59:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:04:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-08 08:06:18 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:10:33 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit) |
| 2025-12-08 08:12:15 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:14:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:18:29 +0100 | myxos | (~myxos@2001:579:8380:f20:a84e:a963:182a:8091) myxokephale |
| 2025-12-08 08:19:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 08:20:28 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) () |
| 2025-12-08 08:20:46 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:24:51 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit) |
| 2025-12-08 08:26:32 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:29:14 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) (Ping timeout: 260 seconds) |
| 2025-12-08 08:29:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-12-08 08:30:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:35:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 08:40:36 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 08:40:47 +0100 | Googulator49 | (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 08:44:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:46:09 +0100 | annamalai | (~annamalai@157.33.214.170) annamalai |
| 2025-12-08 08:49:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-08 08:52:17 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-08 08:55:15 +0100 | annamalai | (~annamalai@157.33.214.170) (Ping timeout: 240 seconds) |
| 2025-12-08 09:00:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 09:00:56 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai |
| 2025-12-08 09:02:26 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-08 09:04:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 09:07:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) |
| 2025-12-08 09:10:37 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 09:10:39 +0100 | Googulator83 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 09:15:07 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-12-08 09:33:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-08 09:44:30 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-08 09:45:40 +0100 | Googulator83 | (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 09:45:45 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 09:45:54 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-08 09:47:53 +0100 | kuribas | (~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) kuribas |
| 2025-12-08 09:50:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 09:50:16 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-08 09:50:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 10:02:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) (Ping timeout: 244 seconds) |
| 2025-12-08 10:17:46 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-08 10:18:02 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-08 10:18:55 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-08 10:19:25 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-08 10:19:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-08 10:22:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-08 10:27:31 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2025-12-08 10:27:56 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-12-08 10:31:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 10:32:34 +0100 | Googulator88 | Googulator |
| 2025-12-08 10:36:41 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-08 10:42:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-12-08 10:45:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 10:45:36 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 10:45:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 10:46:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 10:48:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 10:56:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 10:57:28 +0100 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2025-12-08 10:58:03 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-08 11:00:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-08 11:04:12 +0100 | Googulator22 | Googulator |
| 2025-12-08 11:09:36 +0100 | <Square> | I'm trying to get HLS to work with IntelliJ, which seems to work. But I don't seem to be able to navigate to 3rd party libs (especially the one that I've been developing myself). I just get type definitions interspersed for say classes I implement. Is there some general gotcha to this? |
| 2025-12-08 11:09:39 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-08 11:10:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 11:12:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-12-08 11:13:05 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-08 11:14:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-12-08 11:15:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 11:21:13 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-12-08 11:22:42 +0100 | <tomsmeding> | Square: go-to-definition across libraries is very sparsely implemented in HLS if at all |
| 2025-12-08 11:23:20 +0100 | <tomsmeding> | if the dependency you want to jump to is in the same project then it might work, but cabal-installed dependencies definitely do not work |
| 2025-12-08 11:23:53 +0100 | <Square> | tomsmeding, Ok, good to know. Well then I guess I won't need to bother. |
| 2025-12-08 11:24:32 +0100 | <Square> | But you should be able to get haddock from cabal installed dependencies though right? |
| 2025-12-08 11:25:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 11:26:12 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-08 11:26:12 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-08 11:26:12 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-08 11:29:56 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-12-08 11:35:47 +0100 | <tomsmeding> | Square: only if you built those with documentation enabled -- haddock doesn't run by default on all built packages |
| 2025-12-08 11:36:03 +0100 | <tomsmeding> | if you want to always run haddock whenever you build a dependency, set the 'documentation:' key to True in ~/.cabal/config |
| 2025-12-08 11:36:13 +0100 | <tomsmeding> | (or ~/.config/cabal/config, I guess, if you have XDG dir layout) |
| 2025-12-08 11:36:55 +0100 | <tomsmeding> | you should get automatic haddocks for modules inside the component you're working on, though, even without that option set |
| 2025-12-08 11:37:05 +0100 | <Square> | tomsmeding, I build the dependency with Nix, but I do have haddock enabled. |
| 2025-12-08 11:37:31 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-08 11:37:33 +0100 | <Square> | ..for it. |
| 2025-12-08 11:38:05 +0100 | <tomsmeding> | I don't know where HLS tries to find the documentation, so I'll leave that question to others :) |
| 2025-12-08 11:43:13 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 11:43:26 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 11:45:43 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 11:46:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |