| 2025-03-05 00:02:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-05 00:05:15 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 276 seconds) |
| 2025-03-05 00:06:18 +0100 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) |
| 2025-03-05 00:06:18 +0100 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host) |
| 2025-03-05 00:06:18 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-03-05 00:11:48 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 246 seconds) |
| 2025-03-05 00:12:19 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-03-05 00:13:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 00:16:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 00:17:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 00:20:32 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-05 00:20:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-05 00:26:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-05 00:28:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 00:30:13 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-05 00:31:34 +0100 | doyougnu- | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2025-03-05 00:32:57 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-03-05 00:33:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 00:33:55 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-03-05 00:34:26 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-05 00:34:26 +0100 | jmcantrell | Guest3365 |
| 2025-03-05 00:34:26 +0100 | Guest3365 | (644f1bed9a@user/jmcantrell) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2025-03-05 00:34:26 +0100 | __jmcantrell__ | jmcantrell |
| 2025-03-05 00:34:36 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-03-05 00:43:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 00:44:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-05 00:46:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-05 00:48:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 00:57:48 +0100 | shr\ke | (~shrike@user/shrke:31298) (Read error: Connection reset by peer) |
| 2025-03-05 00:57:57 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2025-03-05 00:57:57 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2025-03-05 00:57:57 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2025-03-05 00:59:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 01:03:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 01:03:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-05 01:07:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-05 01:10:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-05 01:14:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 01:16:21 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-03-05 01:19:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 01:26:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-05 01:29:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 01:34:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 01:39:11 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-05 01:39:22 +0100 | <jle`> | does anyone know how duped TChans get GC'd? AFAICT from looking at the source (https://hackage.haskell.org/package/stm-2.5.3.1/docs/src/Control.Concurrent.STM.TChan.html#dupTChan) it adds the new reader hole to the shared write list, but when that new TChan gets GC'd doesn't the unused hole remain in the list? |
| 2025-03-05 01:39:55 +0100 | <jle`> | but simon states that the TChan does clean up itself (https://github.com/haskell/stm/issues/21) |
| 2025-03-05 01:40:10 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-03-05 01:40:38 +0100 | <jle`> | or maybe i am misunderstanding what 'write' is used for |
| 2025-03-05 01:45:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 01:46:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9c0d:a18a:824d:47d5) (Ping timeout: 260 seconds) |
| 2025-03-05 01:48:09 +0100 | sprotte24 | (~sprotte24@p200300d16f1cc100391369cbcf60a0c3.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-05 01:48:09 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f62f42219c1fddec46c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-05 01:49:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 01:50:17 +0100 | yegorc | (~yegorc@user/yegorc) (Leaving) |
| 2025-03-05 01:50:23 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-05 01:50:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-05 01:52:43 +0100 | <jle`> | oh okay the write hole doesn't reference the duped chans, maybe that's it |
| 2025-03-05 01:54:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-05 01:55:14 +0100 | <jle`> | okay so i think the implementation is basically that each of the readers are climbing up a tvar-linked list essentially, so if one of the readers gets GC'd then it'd just stop reading the list and everytthing upstream of the remaining readers gets gc'd |
| 2025-03-05 02:00:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 02:01:33 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-03-05 02:05:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 02:16:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 02:23:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-05 02:23:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-05 02:33:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 02:34:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 02:35:03 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-03-05 02:35:16 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 02:35:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 02:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-05 02:39:30 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-03-05 02:39:56 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-05 02:40:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-05 02:46:51 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-05 02:47:13 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-05 02:49:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 02:51:23 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-05 02:53:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 02:54:03 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp |
| 2025-03-05 02:54:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-05 03:00:39 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-03-05 03:04:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 03:09:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 03:20:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 03:21:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 03:24:14 +0100 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2025-03-05 03:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 03:25:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-05 03:32:20 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-05 03:32:21 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:3d02:fb32:31ee:6acc) (Read error: Connection reset by peer) |
| 2025-03-05 03:32:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-05 03:34:25 +0100 | hexreel | (~hexreel@user/hexreel) hexreel |
| 2025-03-05 03:35:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 03:40:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-05 03:42:13 +0100 | hexreel | (~hexreel@user/hexreel) () |
| 2025-03-05 03:51:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 03:51:29 +0100 | Square | (~Square@user/square) Square |
| 2025-03-05 03:55:20 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-03-05 03:55:21 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-05 03:56:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-05 04:05:40 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-03-05 04:06:11 +0100 | tromp | (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Ping timeout: 244 seconds) |
| 2025-03-05 04:06:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 04:07:29 +0100 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-03-05 04:07:29 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-03-05 04:07:29 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-05 04:07:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 04:07:58 +0100 | anjii | (~user@177.47.220.78) (Quit: goodnight) |
| 2025-03-05 04:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 04:12:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-05 04:16:51 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 04:21:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 04:23:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-05 04:26:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 04:27:24 +0100 | tavare | (~tavare@user/tavare) (Ping timeout: 272 seconds) |
| 2025-03-05 04:28:29 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Read error: Connection reset by peer) |
| 2025-03-05 04:28:47 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-05 04:31:14 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-03-05 04:34:03 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-03-05 04:37:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 04:41:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 04:43:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-05 04:45:32 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-05 04:47:48 +0100 | bilegeek | (~bilegeek@108.sub-174-228-98.myvzw.com) bilegeek |
| 2025-03-05 04:49:02 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-05 04:52:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 04:53:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 04:54:44 +0100 | messewix | (~jmc@user/messewix) (Quit: Konversation terminated!) |
| 2025-03-05 04:54:49 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-03-05 04:57:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-05 04:59:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 05:03:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-05 05:04:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-05 05:10:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 05:15:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-05 05:26:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 05:30:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 05:39:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 05:41:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 05:43:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-05 05:45:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-05 05:47:48 +0100 | Guest42 | (~Guest42@220-233-36-23.ip4.exetel.com.au) |
| 2025-03-05 05:50:20 +0100 | aforemny | (~aforemny@i577BEE31.versanet.de) (Ping timeout: 244 seconds) |
| 2025-03-05 05:51:18 +0100 | aforemny | (~aforemny@2001:9e8:6ce5:d00:19b4:f9fd:f481:8f07) aforemny |
| 2025-03-05 05:53:13 +0100 | Guest42 | (~Guest42@220-233-36-23.ip4.exetel.com.au) (Quit: Client closed) |
| 2025-03-05 05:56:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 06:01:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 06:01:14 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-05 06:04:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 06:06:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-05 06:07:11 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 06:07:45 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-03-05 06:08:41 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-05 06:10:12 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-03-05 06:12:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 06:12:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 06:14:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-05 06:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 06:17:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 06:18:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-05 06:23:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 06:26:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 06:27:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 06:28:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-05 06:28:27 +0100 | jmcantrell_ | jmcantrell |
| 2025-03-05 06:30:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-05 06:32:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 06:35:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-05 06:38:17 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-05 06:39:23 +0100 | michalz | (~michalz@185.246.207.222) |
| 2025-03-05 06:40:07 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-05 06:41:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 06:41:45 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-03-05 06:45:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-05 06:47:39 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-05 06:56:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 07:00:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-05 07:00:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-05 07:11:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 07:11:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 07:16:11 +0100 | <c_wraith> | anyone know why hsc2hs would be genrating blank files on windows? |
| 2025-03-05 07:16:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 07:16:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-05 07:21:52 +0100 | <c_wraith> | or even where to find its log when run by cabal? |
| 2025-03-05 07:22:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-05 07:26:15 +0100 | bilegeek | (~bilegeek@108.sub-174-228-98.myvzw.com) (Quit: Leaving) |
| 2025-03-05 07:27:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 07:32:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-05 07:32:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-05 07:42:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 07:45:37 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-03-05 07:49:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 07:51:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-05 07:57:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 08:00:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 08:03:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-05 08:05:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-05 08:11:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-03-05 08:11:38 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2025-03-05 08:12:09 +0100 | <kilolympus> | c_wraith, are you able to run e.g. cabal exec -- hsc2hs ? |
| 2025-03-05 08:12:16 +0100 | <kilolympus> | maybe that can help debug stuff |
| 2025-03-05 08:12:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-05 08:15:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 08:20:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 08:20:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-03-05 08:26:13 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2025-03-05 08:28:00 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-03-05 08:30:02 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-03-05 08:31:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 08:33:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-05 08:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-05 08:38:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-03-05 08:40:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-05 08:42:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 08:43:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 08:46:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 08:48:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-05 08:51:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-05 08:51:41 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-05 08:52:40 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-05 08:53:34 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-05 08:54:27 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-03-05 08:56:09 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-05 08:57:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-05 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-05 09:00:53 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-05 09:01:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-05 09:10:51 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-05 09:22:17 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-03-05 09:22:38 +0100 | evgeny | (~Shaeto@94.25.234.254) |
| 2025-03-05 09:24:29 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2025-03-05 09:30:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 09:34:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-05 09:40:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 09:41:07 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-03-05 09:43:11 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-03-05 09:44:05 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-03-05 09:45:59 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-05 09:46:08 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-03-05 09:55:41 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-05 09:56:31 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-05 10:11:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-05 10:12:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f53f42219c1fddec46c.dip0.t-ipconnect.de) acidjnk |
| 2025-03-05 10:15:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 10:16:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 10:20:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-05 10:20:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-03-05 10:22:25 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 2025-03-05 10:22:35 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-03-05 10:29:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 10:35:51 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-03-05 10:36:39 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-05 10:40:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-03-05 10:41:17 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-05 10:44:17 +0100 | yuuta | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 248 seconds) |
| 2025-03-05 10:45:27 +0100 | chele | (~chele@user/chele) chele |
| 2025-03-05 10:47:35 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-03-05 10:50:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-03-05 10:53:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 11:02:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 11:03:36 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-03-05 11:03:50 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-03-05 11:06:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-05 11:18:23 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-05 11:19:28 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-05 11:22:22 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-05 11:22:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-05 11:23:30 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-03-05 11:23:47 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-03-05 11:24:44 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-05 11:32:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-05 11:33:39 +0100 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2025-03-05 11:34:48 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-03-05 11:35:01 +0100 | <euouae> | Hello, what does `class (Stream s, MonadPlus m) => MonadParsec e s m | m -> e s where ` mean? In particular the | character there. |
| 2025-03-05 11:35:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 11:35:24 +0100 | <tomsmeding> | euouae: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/functional_dependencies.html#extens… |
| 2025-03-05 11:40:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-05 11:41:26 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 11:42:18 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:42eb:c7e6:6d02:7a65) ubert |
| 2025-03-05 11:42:19 +0100 | euouae | (~euouae@user/euouae) (Read error: Connection reset by peer) |
| 2025-03-05 11:42:57 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-03-05 11:43:33 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-05 11:45:19 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-03-05 11:45:32 +0100 | xff0x | (~xff0x@2405:6580:b080:900:65a4:3374:7c1f:492b) |
| 2025-03-05 11:46:28 +0100 | <euouae> | It seems that functional dependencies are hints to the type system? |
| 2025-03-05 11:47:10 +0100 | <euouae> | and perhaps constraint in terms of what new instances can be added |
| 2025-03-05 11:47:44 +0100 | <euouae> | so in the case of MonadParsec, e,s are uniquely determined by m? |
| 2025-03-05 11:48:08 +0100 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2025-03-05 11:49:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 11:49:13 +0100 | <mauke> | yes |
| 2025-03-05 11:49:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 11:50:35 +0100 | <euouae> | great thank you |
| 2025-03-05 11:51:42 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-03-05 11:53:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-05 11:54:11 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 12:03:52 +0100 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2025-03-05 12:05:26 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-05 12:06:39 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-03-05 12:06:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:65a4:3374:7c1f:492b) (Ping timeout: 248 seconds) |
| 2025-03-05 12:07:51 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 12:08:59 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 260 seconds) |
| 2025-03-05 12:09:21 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-03-05 12:09:33 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-03-05 12:09:39 +0100 | digitteknohippie | (~user@user/digit) Digit |
| 2025-03-05 12:11:14 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2025-03-05 12:11:44 +0100 | cyphase | (~cyphase@user/cyphase) (Client Quit) |
| 2025-03-05 12:13:28 +0100 | digitteknohippie | Digit |
| 2025-03-05 12:14:25 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 12:15:26 +0100 | cyphase | (~cyphase@user/cyphase) (Client Quit) |
| 2025-03-05 12:20:29 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 12:21:25 +0100 | cyphase | (~cyphase@user/cyphase) (Client Quit) |
| 2025-03-05 12:21:47 +0100 | iteratee_ | (~kyle@162.218.222.207) |
| 2025-03-05 12:22:25 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2025-03-05 12:25:12 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 12:26:45 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-03-05 12:27:12 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-03-05 12:27:59 +0100 | califax_ | califax |
| 2025-03-05 12:31:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-05 12:32:48 +0100 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2025-03-05 12:34:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 12:38:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-05 12:39:09 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-05 12:47:40 +0100 | absence_ | absence |
| 2025-03-05 12:49:28 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp |
| 2025-03-05 12:55:33 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-03-05 13:09:09 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1bc3:e66f:477:1057) |
| 2025-03-05 13:17:29 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-05 13:20:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 13:23:22 +0100 | Googulator | (~Googulato@80-95-93-248.pool.digikabel.hu) (Quit: Client closed) |
| 2025-03-05 13:23:54 +0100 | Googulator | (~Googulato@80-95-93-248.pool.digikabel.hu) |
| 2025-03-05 13:24:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-05 13:30:32 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 268 seconds) |
| 2025-03-05 13:32:12 +0100 | jespada | (~jespada@2800:a4:22da:e400:b167:8181:c13f:cb54) jespada |
| 2025-03-05 13:46:13 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 245 seconds) |
| 2025-03-05 14:02:28 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 272 seconds) |
| 2025-03-05 14:02:43 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-03-05 14:03:07 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-05 14:04:15 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-03-05 14:06:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 14:09:51 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-03-05 14:11:04 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2025-03-05 14:11:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-05 14:11:26 +0100 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2025-03-05 14:22:03 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 245 seconds) |