From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Newsgroups: gmane.lisp.guile.user Subject: RE: You missed my later work Date: Fri, 31 Mar 2017 16:28:25 -0400 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1490992147 2206 195.159.176.226 (31 Mar 2017 20:29:07 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 31 Mar 2017 20:29:07 +0000 (UTC) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Fri Mar 31 22:28:59 2017 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cu3AA-0007Lw-Tj for guile-user@m.gmane.org; Fri, 31 Mar 2017 22:28:51 +0200 Original-Received: from localhost ([::1]:42756 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cu3AG-0001UL-VT for guile-user@m.gmane.org; Fri, 31 Mar 2017 16:28:56 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33492) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cu39w-0001U4-1W for guile-user@gnu.org; Fri, 31 Mar 2017 16:28:37 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cu39s-0000OV-Ec for guile-user@gnu.org; Fri, 31 Mar 2017 16:28:36 -0400 Original-Received: from itsx00.pdp10.guru ([104.200.30.13]:53296) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cu39s-0000L2-Ak for guile-user@gnu.org; Fri, 31 Mar 2017 16:28:32 -0400 Original-Received: from nnstep by ITSx00.pdp10.guru with local (Exim 4.84_2) (envelope-from ) id 1cu39l-0007yL-1z for guile-user@gnu.org; Fri, 31 Mar 2017 16:28:25 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 104.200.30.13 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.org gmane.lisp.guile.user:13585 Archived-At: I had recently watched your FOSDEM talk https://fosdem.org/2017/schedule/event/guixsdbootstrap/ [fosdem.org] Which you seem to have confused my hex assembler as an end in itself, rather than the first step in Stage0 Basically, I decided to steal a good idea from the C and pascal languages (o-code and p-code specificly) Define a trivial to implement virtual machine (vm.c vm.h vm_decode.c and vm_instructions.c [optionally tty.c and/or dynamic_execution_trace.c but neither is required]) Who's entire instruction set is define in ISA_HEX_Map.org That way all platforms can independently verify every step Looking at your work, I can't help but wonder if we might be making that bootstrap step harder than it has to be. What if we converted my lisp interpreter into a lisp compiler? Could that simplify your initial bootstrap? Since instead of trying to do the full C compiler in scheme in a single step, we could do: Primitive_scheme -> minimal_scheme -> full_scheme -> done What do you think? Jeremiah Orians State of Michigan Cell phone: (517) 896-2948 > -----Original Message----- > From: Jan Nieuwenhuizen [mailto:janneke@gnu.org] > Sent: Tuesday, March 28, 2017 5:09 PM > To: Orians, Jeremiah (DTMB) > Subject: Re: You missed my later work > > Orians, Jeremiah (DTMB) writes: > > Hi! > > Thanks for reaching out. > >> https://github.com/oriansj/stage0 [github.com] > >> It includes everything one needs, starting from a hex monitor to a primitive lisp for >> a very portable VM specification (Which is also included and implemented) > > You implemented a LISP? I'll have to look into it! I looked at your > amazing self hosting hex assembler and that's what got me going on > implementing Mes. > > What do you mean by `You missed my later work?,' are you referring to > some event? I have been very busy working on Mes: a scheme intepreter > written in C, that can execute a Scheme program which is a C compiler > that can compile itself. I'm almost done: Guile can run the C compiler > in Scheme, Mes still fails. > > Have you been following Mes? I'm wondering if we can/should work > together somehow. It seems we very much are working towards a similar > goal. > > Greetings, janneke. > > -- > Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org [lilypond.org] > Freelance IT http://JoyofSource.com [JoyofSource.com] | Avatar® http://AvatarAcademy.nl [AvatarAcademy.nl]