Newest at the top
| 2025-01-20 13:02:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-20 13:01:37 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p |
| 2025-01-20 13:00:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-20 12:59:25 +0100 | CiaoSen | (~Jura@2a05:5800:2ce:7100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-20 12:59:14 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-20 12:58:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-01-20 12:58:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 12:56:20 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-20 12:53:44 +0100 | akegalj | (~akegalj@89-172-182-73.adsl.net.t-com.hr) |
| 2025-01-20 12:52:42 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-20 12:52:42 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-01-20 12:52:39 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-01-20 12:50:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-20 12:47:55 +0100 | <kuribas> | homo: what's your interest in bootsrapping? |
| 2025-01-20 12:47:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-20 12:42:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 12:37:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-20 12:32:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 12:22:02 +0100 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-20 12:21:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-20 12:20:37 +0100 | <homo> | also I'm not insane to get ghc working on plan9, it's much more trivial to port microhs to plan9 |
| 2025-01-20 12:19:20 +0100 | <homo> | __monty__ using old ghc to cleanly bootstrap modern ghc implies running ghc in x86 emulator on arm and riscv or patching every individual version of ghc to support arm and riscv |
| 2025-01-20 12:18:07 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-01-20 12:17:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 12:15:51 +0100 | <homo> | anyway, I need to spend a lot of time and energy figuring out how to add pattern guards to hugs, as yacc and imperative programming are very hard to get right |
| 2025-01-20 12:14:53 +0100 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2025-01-20 12:14:52 +0100 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) kaskal |
| 2025-01-20 12:13:51 +0100 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in) |
| 2025-01-20 12:13:49 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-20 12:13:48 +0100 | <homo> | it implements tiny language in c and uses that language to recursively implement bigger subset of haskell, that is amazing bootstrap practice |
| 2025-01-20 12:13:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:89d7:1b64:1ef9:ca1d) |
| 2025-01-20 12:12:57 +0100 | <homo> | another great example is this self-hosting haskell compiler https://github.com/blynn/compiler |
| 2025-01-20 12:11:53 +0100 | <homo> | I rewrote pattern guards to make hugs happy and got entire microhs running inside hugs, even though it throws runtime exception |
| 2025-01-20 12:11:49 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 2025-01-20 12:11:34 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-01-20 12:11:14 +0100 | sprotte24 | (~sprotte24@p200300d16f08390080f981bd603eb58d.dip0.t-ipconnect.de) |
| 2025-01-20 12:11:07 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-20 12:10:29 +0100 | <homo> | hugs has everything microhs demands except pattern guards, which are part of haskell2010 |
| 2025-01-20 12:09:46 +0100 | <homo> | take a look at microhs, it only demands haskell2010 (and several extentions supported by hugs), but in return implements over 50 ghc-specific extentions |
| 2025-01-20 12:09:18 +0100 | <__monty__> | Well, GHC itself. Someone's been trying to get every old version of GHC building recently-ish. Presumably that'd be enough to build current GHC. |
| 2025-01-20 12:09:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-20 12:09:08 +0100 | sroso | (~sroso@user/SrOso) (Client Quit) |
| 2025-01-20 12:08:52 +0100 | <homo> | also self-hosting language implementation is not big of a deal if it uses subset of its own features to implement itself |
| 2025-01-20 12:08:10 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-01-20 12:07:46 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-20 12:07:37 +0100 | <homo> | kuribas ghc is not bootstrappable at all, there is no haskell implementation that has enough features to deal with ghc and its internal quirks |
| 2025-01-20 12:05:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-20 12:05:53 +0100 | <homo> | the bootstrappable seeds they use are https://github.com/oriansj/bootstrap-seeds and they are smaller than 500 bytes |
| 2025-01-20 12:04:58 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2025-01-20 12:04:48 +0100 | <homo> | __monty__ thanks, but I'm not into forth and there is already #bootstrappable channel on libera, as well as https://bootstrappable.org and https://bootstrapping.miraheze.org/ |