EmacsConf 2021 - Imaginary Programming
Talk: Imaginary Programming
Abstract:
Imaginary Programming (IP
) is both methodology and paradigm. It is an extension
of literate programming and a way of creating software without the use of
imperative, functional or even declarative code. Yet IP employs all disciplines
to achieve the miraculous. The only contingency is on one or more language
models, known as foundation models. The real value of IP is not
found by abandoning sound logic altogether, but in weaving the real with the
imaginary. The future of imaginary programming is one in which almost all of
computing is inferred. I have built a suite of tools based on emacs for
interfacing real programming languages with imaginary ones; all of this in
order to demonstrate what I mean; a ‘complex’ terminal that lets you imagine
what happens no matter how nested you are within interpreters, an example-oriented
language, a file format that encodes the provenance of text and a library for
imaginary functional programming primitives called iLambda. It is important to
recognise IP because, for lack of a better term, it has far-reaching implications for
intellectual property and the GPL. Please keep an open mind.
Outlines:
-
5-10 minutes:
- a 5 minute introduction to imaginary programming, followed by
- a demonstration of iLambda.
-
20 minutes:
- a 5 minute introduction to imaginary programming, followed by
- a 5 minute introduction and demonstration of Pen.el.
- a 5 minute org-babel and emacs lisp demonstration of iLambda.
- a 5 minute demonstration of ‘cterm’ (complex term) and ‘ii’ (imaginary interpreter).
-
40 minutes:
- a 10 minute introduction to language models, their capabilities and imaginary programming.
- a 10 minute introduction to creating prompts with Pen.el.
- a 5 minute org-babel and emacs lisp demonstration of iLambda.
- a 5 minute demonstration of ‘cterm’ (complex term) and ‘ii’ (imaginary interpreter).
- A 5 minute brief on examplary and advanced prompt programming.
- 5 minutes for Prompting Requests and Q&A
Availability
(during the conference days (Nov 27 and 28))
All hours.
How you’d like to handle questions
Live web conference
- IRC
libertyprime
at#emacs
onlibera
If this article appears incomplete, it may be intentional. Try prompting for a continuation.