Re: Literate Executables

--000000000000e17b5905eeec5140
Content-Type: text/plain; charset="UTF-8"

Java code has the pseudo-ability to re-generate the original source
through decompilation. Unfortunately given the size of any executable
it would be years worth of work to reverse-engineer the understanding
without explanation. I struggle to even understand the traceback of
any Java failure :-)

Open source, by definition, already has the source available.
Only the URL of the github repository and the hash number corresponding
to the current executable is needed.

I haven't worked for IBM since 1995, the year IBM Research eliminated
the math department, including me. My ground-breaking work in Artificial
Intelligence has yet to be cited by anyone so their decision was probably
wise.

Tim


On Sat, Dec 3, 2022 at 1:01 AM Terence Kelly <[email protected]> wrote:

>
> Hi Tim,
>
> Your observations seem sound.  Keep in mind, however, that we're not
> confronted with an either/or choice.  The chicken/egg aspect of literate
> executables means that, in your context, we can arrange for the PDF to
> generate code *and* for the code to generate PDF.  Cyclic dependency
> graphs take some getting used to, but one can learn to love them.
>
> If literate execution isn't right for Axiom, perhaps it can benefit other
> IBM open source projects.  If you circulate the paper among your
> colleagues I'd be interested to see if they find useful applications.
>
> _Queue_ readers are remarkably creative and routinely find uses for Drill
> Bits ideas that I never anticipated.  I wonder what your colleagues will
> come up with.
>
> Thanks.
>
> -- Terence
>
>
> On Fri, 2 Dec 2022, Tim Daly wrote:
>
> > ...
> >
> > The above considerations leads me to the conclusion that the PDF is the
> > thing that generates code rather than the code generating the PDF.
>

--000000000000e17b5905eeec5140
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Java code has the pseudo-ability to re-generate the o=
riginal source</div><div>through decompilation. Unfortunately given the siz=
e of any executable</div><div>it would be years worth of work to reverse-en=
gineer the understanding</div><div>without explanation. I struggle to even =
understand the traceback of</div><div>any Java failure :-)</div><div><br></=
div><div>Open source, by definition, already has the source available.</div=
><div>Only the URL of the github repository and the hash number correspondi=
ng</div><div>to the current executable is needed.<br></div><div><br></div><=
div>I haven&#39;t worked for IBM since 1995, the year IBM Research eliminat=
ed</div><div>the math department, including me. My ground-breaking work in =
Artificial</div><div>Intelligence has yet to be cited by anyone so their de=
cision was probably wise.<br></div><div><br></div><div>Tim</div><div><br></=
div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_at=
tr">On Sat, Dec 3, 2022 at 1:01 AM Terence Kelly &lt;<a href=3D"mailto:tpke=
[email protected]">[email protected]</a>&gt; wrote:<br></div><blockqu=
ote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px=
 solid rgb(204,204,204);padding-left:1ex"><br>
Hi Tim,<br>
<br>
Your observations seem sound.=C2=A0 Keep in mind, however, that we&#39;re n=
ot <br>
confronted with an either/or choice.=C2=A0 The chicken/egg aspect of litera=
te <br>
executables means that, in your context, we can arrange for the PDF to <br>
generate code *and* for the code to generate PDF.=C2=A0 Cyclic dependency <=
br>
graphs take some getting used to, but one can learn to love them.<br>
<br>
If literate execution isn&#39;t right for Axiom, perhaps it can benefit oth=
er <br>
IBM open source projects.=C2=A0 If you circulate the paper among your <br>
colleagues I&#39;d be interested to see if they find useful applications.<b=
r>
<br>
_Queue_ readers are remarkably creative and routinely find uses for Drill <=
br>
Bits ideas that I never anticipated.=C2=A0 I wonder what your colleagues wi=
ll <br>
come up with.<br>
<br>
Thanks.<br>
<br>
-- Terence<br>
<br>
<br>
On Fri, 2 Dec 2022, Tim Daly wrote:<br>
<br>
&gt; ...<br>
&gt; <br>
&gt; The above considerations leads me to the conclusion that the PDF is th=
e <br>
&gt; thing that generates code rather than the code generating the PDF.<br>
</blockquote></div>

--000000000000e17b5905eeec5140--