| 2025-01-17 00:00:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 00:01:52 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-01-17 00:02:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:04:31 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-17 00:05:54 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-17 00:06:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 00:09:03 +0100 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 252 seconds) |
| 2025-01-17 00:10:07 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-01-17 00:10:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-17 00:13:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Client Quit) |
| 2025-01-17 00:14:40 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-17 00:14:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-17 00:15:20 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-17 00:17:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:18:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-17 00:20:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 00:23:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-17 00:25:40 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 00:25:46 +0100 | Guest71 | (~Guest71@2800:a4:109a:fe00:78a8:c71b:478b:eb7d) |
| 2025-01-17 00:33:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 00:33:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:36:15 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 00:37:43 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-17 00:39:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 00:41:04 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 00:42:40 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 272 seconds) |
| 2025-01-17 00:45:39 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-17 00:48:19 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 00:50:04 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 00:50:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:50:24 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-01-17 00:51:45 +0100 | acidjnk | (~acidjnk@p200300d6e7283f2409bfe5ecbb77eb1c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-17 00:51:46 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314 |
| 2025-01-17 00:53:26 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 00:54:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-17 00:55:27 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 00:55:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-17 00:59:14 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-17 01:01:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-01-17 01:04:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 01:05:29 +0100 | mixfix41 | (~s2h@user/mixfix41) mixfix41 |
| 2025-01-17 01:05:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:06:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-17 01:10:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-17 01:11:37 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-17 01:14:20 +0100 | mreh | (~matthew@host86-146-138-36.range86-146.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2025-01-17 01:19:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:cb37:dc44:25ad:be87) (Ping timeout: 248 seconds) |
| 2025-01-17 01:20:10 +0100 | Guest71 | (~Guest71@2800:a4:109a:fe00:78a8:c71b:478b:eb7d) (Ping timeout: 240 seconds) |
| 2025-01-17 01:20:38 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-17 01:20:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:24:39 +0100 | alp | (~alp@2001:861:8ca0:4940:b0b7:f401:582f:6c1b) (Ping timeout: 252 seconds) |
| 2025-01-17 01:29:34 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-17 01:30:53 +0100 | img | (~img@user/img) img |
| 2025-01-17 01:31:30 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 01:31:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 01:33:58 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 01:36:37 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-01-17 01:37:38 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 01:39:53 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-01-17 01:40:44 +0100 | lcssz | (~lcssz@138.186.222.87) |
| 2025-01-17 01:41:35 +0100 | zero | yin |
| 2025-01-17 01:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:45:26 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 01:45:38 +0100 | lcssz | (~lcssz@138.186.222.87) (Quit: lcssz) |
| 2025-01-17 01:47:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 01:50:51 +0100 | lcssz | (~lcssz@user/lcssz) lcssz |
| 2025-01-17 01:51:18 +0100 | <lcssz> | clear |
| 2025-01-17 01:51:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:52:14 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:52:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:52:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:53:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:53:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:53:35 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:53:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:57:24 +0100 | sprotte24 | (~sprotte24@p200300d16f3cd90019624f68c556fd78.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-17 01:58:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:58:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-17 02:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-17 02:07:14 +0100 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-01-17 02:08:21 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-01-17 02:12:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-17 02:13:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 02:17:47 +0100 | lcssz | (~lcssz@user/lcssz) (Remote host closed the connection) |
| 2025-01-17 02:18:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 02:28:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 02:29:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 02:29:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 02:30:46 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 02:31:37 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-17 02:32:24 +0100 | otto_s | (~user@p4ff27909.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-17 02:33:14 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-17 02:33:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-17 02:34:12 +0100 | otto_s | (~user@p5b044128.dip0.t-ipconnect.de) |
| 2025-01-17 02:34:30 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314 |
| 2025-01-17 02:36:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-17 02:44:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 02:45:49 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-17 02:49:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-17 02:53:24 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-17 02:59:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:00:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-17 03:00:52 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-17 03:02:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-17 03:02:21 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:03:14 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:03:57 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:04:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 03:05:39 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:07:27 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:09:09 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:09:57 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:11:25 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:12:29 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:14:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:21:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 03:24:18 +0100 | <sm> | @where+ fast-haskell-redux https://jtobin.io/fast-haskell-redux performance optimisations (2025) |
| 2025-01-17 03:24:18 +0100 | <lambdabot> | Nice! |
| 2025-01-17 03:24:24 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2025-01-17 03:24:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 03:26:21 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-01-17 03:27:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 03:30:25 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-17 03:33:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:33:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 03:33:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-17 03:34:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-17 03:34:06 +0100 | tnt2 | tnt1 |
| 2025-01-17 03:34:19 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-17 03:36:53 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 03:37:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 03:43:36 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 03:46:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 03:47:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-17 03:47:57 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-17 03:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:48:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-17 03:48:30 +0100 | tnt2 | tnt1 |
| 2025-01-17 03:50:21 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 03:53:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 04:02:10 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 04:03:36 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-17 04:03:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:07:01 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-01-17 04:09:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-17 04:13:34 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 04:15:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 04:17:18 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-17 04:19:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:21:10 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-17 04:23:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 04:26:05 +0100 | <homo> | hi, I have some progress trying to bootstrap microhs from hugs, currently compile-time errors are fixed, but runtime is broken, I hope someone can continue from here, because this is as far as I can go https://0.vern.cc/Mm.patch |
| 2025-01-17 04:27:51 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 04:29:40 +0100 | <Leary> | homo: I suggest you put this in a microhs issue; it'll just get lost in here. |
| 2025-01-17 04:30:53 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 04:31:33 +0100 | <homo> | I don't have github account, so I sent this patch by e-mail to Lennart |
| 2025-01-17 04:31:58 +0100 | <Leary> | I guess that works too. |
| 2025-01-17 04:32:56 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 04:33:06 +0100 | <JuanDaugherty> | microhs looks ill conceived |
| 2025-01-17 04:34:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:35:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 04:35:33 +0100 | <homo> | well, microhs is the biggest implementation of haskell that might be cleanly bootstrapped from source |
| 2025-01-17 04:36:08 +0100 | <JuanDaugherty> | i doubt that |
| 2025-01-17 04:36:31 +0100 | <JuanDaugherty> | specifically i doubt that "cleanly" can be given an objective sense |
| 2025-01-17 04:36:56 +0100 | <homo> | clean bootstrap means that it doesn't depend on bootstrap binaries |
| 2025-01-17 04:37:15 +0100 | <homo> | #bootstrappable can bootstrap modern gcc by using 200-byte binary |
| 2025-01-17 04:37:28 +0100 | <homo> | reviewable 200-byte binary that is |
| 2025-01-17 04:37:36 +0100 | <homo> | that is what makes bootstrap clean |
| 2025-01-17 04:37:41 +0100 | <JuanDaugherty> | in addition to big fat thing having bounds period, practically |
| 2025-01-17 04:38:43 +0100 | <JuanDaugherty> | while ill conceived, these new infos certainly indicate entertainment value |
| 2025-01-17 04:39:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-17 04:39:43 +0100 | <JuanDaugherty> | big fat thing that doesn just need to book two seats but charter a damn flight |
| 2025-01-17 04:41:58 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-17 04:43:02 +0100 | <jackdk> | homo: does this mean that you have a good bootstrap from C to Hugs? |
| 2025-01-17 04:43:52 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-17 04:45:55 +0100 | <homo> | jackdk yes, since I'm using guix |
| 2025-01-17 04:46:28 +0100 | <jackdk> | Huh, the last I heard was someone's experiments with nhc98 to bootstrap Hugs. Did something change? |
| 2025-01-17 04:46:34 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 04:47:20 +0100 | <homo> | that person lost interest, expressing disappointment of lack of interest from haskell community in bootstrapping |
| 2025-01-17 04:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:56:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 05:02:13 +0100 | OftenFaded | (OftenFaded@user/tisktisk) (Quit: OftenFaded) |
| 2025-01-17 05:03:26 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-17 05:05:41 +0100 | adamCS | (~adamCS@68.161.167.240) (Ping timeout: 248 seconds) |
| 2025-01-17 05:13:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 05:16:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 05:18:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-17 05:20:04 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-17 05:21:35 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-17 05:23:22 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-01-17 05:24:08 +0100 | <jackdk> | homo: cool, I see you contributed the Hugs fix to Guix. I had formed the (possibly mistaken) impression that it carried blobs in its source - was it really just that little patch? |
| 2025-01-17 05:25:34 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-01-17 05:26:09 +0100 | <jackdk> | Also, might be worth adding to https://discourse.haskell.org/t/keeping-hugs-alive/7737/5 ? |
| 2025-01-17 05:29:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 05:30:44 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 05:31:30 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 244 seconds) |
| 2025-01-17 05:32:04 +0100 | dnerdhm^ | (~dnerdhm@108.192.66.114) (Ping timeout: 260 seconds) |
| 2025-01-17 05:33:34 +0100 | <haskellbridge> | <Bowuigi> I use Hugs almost daily since my laptop broke, and I'm glad people are still working on it! Used to use Miranda but that got too slow too fast |
| 2025-01-17 05:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-17 05:34:18 +0100 | <haskellbridge> | <Bowuigi> The nix-on-droid build of Hugs also works well |
| 2025-01-17 05:35:12 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 05:35:22 +0100 | <homo> | jackdk suprisingly yes, it's just gcc-specific internal that should not be used |
| 2025-01-17 05:36:17 +0100 | Square | (~Square@user/square) Square |
| 2025-01-17 05:36:32 +0100 | adamCS | (~adamCS@pool-100-33-243-37.nycmny.fios.verizon.net) adamCS |
| 2025-01-17 05:39:19 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |