Newest at the top
| 2025-01-20 08:42:47 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-20 08:42:20 +0100 | Square | (~Square@user/square) Square |
| 2025-01-20 08:34:55 +0100 | <homo> | Bowuigi and even impossible, I want to switch to riscv or arm, microhs is easy to boostrap there, but ghc is not |
| 2025-01-20 08:32:50 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2025-01-20 08:30:19 +0100 | <haskellbridge> | <Bowuigi> Well, the bootstrap process has to be made at most once per platform, but still, compiling a ton of GHC versions sounds painful |
| 2025-01-20 08:27:58 +0100 | <homo> | anyway, I have different idea: how about to use hugs ported to plan9 to bootstrap microhs on plan9 to have haskell2010 with 50+ ghc extensions compiler on plan9 |
| 2025-01-20 08:26:48 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-20 08:24:57 +0100 | <homo> | Bowuigi nobody tried even that multistep, it's too much work to adjust source code of any version of ghc |
| 2025-01-20 08:24:15 +0100 | <homo> | the reason to lower requirements is because it only makes sense to use small subset of language to implement whole language |
| 2025-01-20 08:23:52 +0100 | <haskellbridge> | <Bowuigi> Ah it's multistep for now, so like microhs -> ghc -> ghc -> ... -> ghc |
| 2025-01-20 08:23:33 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-20 08:23:11 +0100 | <homo> | nobody tried bootstrapping ghc with microhs |
| 2025-01-20 08:22:57 +0100 | <homo> | it's still preferable that ghc lowers requirements so much that it becomes possible to compile today ghc with ancient ghc, then bootstrap with microhs should be easy |
| 2025-01-20 08:22:51 +0100 | <haskellbridge> | <Bowuigi> Can microhs bootstrap GHC at all? |
| 2025-01-20 08:21:12 +0100 | <homo> | sm jackdk while ideally ghc would be bootstrapped with microhs, the first thing I want is to have darcs binary that I can trust |
| 2025-01-20 08:16:23 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-20 08:16:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 2025-01-20 08:15:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8031585a6e342b94fb.dip0.t-ipconnect.de) acidjnk |
| 2025-01-20 08:11:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 08:07:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-20 08:07:07 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-20 08:05:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-20 08:02:35 +0100 | <jackdk> | Bootstrap gcc -> hugs -> microhs -> ghc |
| 2025-01-20 08:02:14 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-20 08:01:43 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-20 08:01:38 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 248 seconds) |
| 2025-01-20 08:00:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-20 07:58:56 +0100 | <haskellbridge> | <sm> What’s the goal there homo ? |
| 2025-01-20 07:55:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 07:45:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-20 07:37:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 07:34:44 +0100 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) |
| 2025-01-20 07:34:22 +0100 | euleritian | (~euleritia@dynamic-176-006-144-251.176.6.pool.telefonica.de) |
| 2025-01-20 07:31:46 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 272 seconds) |
| 2025-01-20 07:27:10 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-20 07:26:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-20 07:26:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-20 07:23:10 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-20 07:21:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 07:19:45 +0100 | tnt2 | tnt1 |
| 2025-01-20 07:19:45 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-20 07:17:46 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-20 07:13:09 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
| 2025-01-20 07:12:46 +0100 | alp | (~alp@2001:861:8ca0:4940:eea0:f0c9:6:c921) |
| 2025-01-20 07:10:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-20 07:09:36 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-20 07:06:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 06:55:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-20 06:54:18 +0100 | ft | (~ft@p508db21c.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-20 06:50:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |