December 2020 - ntg-context - NTG Mailing Lists

Re: [NTG-context] Using ConTeXt-LMTX for modern Mathematically-Literate-Programming 2/2
by Stephen Gaito 03 Dec '20

03 Dec '20

Hans, Many thanks for your comments... see below. On Mon, 30 Nov 2020 19:31:55 +0100 Hans Hagen <j.hagen(a)xs4all.nl> wrote: > On 11/30/2020 10:51 AM, Stephen Gaito wrote: > > Hello (again), > > > > This email is further to my previous "Using ConTeXt-LMTX for modern > > Mathematically-Literate-Programming 1/2" email... > > > > My ultimate goal in using ConTeXt-LMTX as a > > Mathematically-Literate-Programming tool, is to actually write a > > kernel "Mathematical Language" in ANSI-C (wrapped in Lua) which is > > then imported back into ConTeXt-LMTX as a standard Lua module (with > > an ANSI-C shared library). > > Just curious: do you think that using c instead of lua for that has > advantages? This is a very good and important question. One I have asked myself repeatedly. My ultimate goal is to write a small mathematical kernel in ANSI-C, which is, using [Frama-C](https://frama-c.com/), proven *correct*. To my knowledge, Lua has no similar tool for correctness proofs. Equally importantly, there are a very wide range of very different compilers which compile ANSI-C for an equally very wide range of CPU's. Again, to my knowledge, Lua v5.4 has only one implementation (though this implementation *can* be compiled for a very wide range of CPU's). The problem here is that Mathematicians are inherently very conservative about the concept of "proof" (it has taken well over 2,000 hard years to develop our current understanding). My kernel will be an extensible "proof" engine. For mathematicians to trust it, this proof engine must itself be proven correct (or as correct as currently possible). It must also be simple enough to *see* that it is correct (hence the Literate-Programming approach), *and* (since I can not even hope to prove the compilers are *correct*), there must be many *different* compiler implementations (to show that the results are not artefacts of one particular implementation). Finally, the computational complexity of my proof engine, will be comparable to MetaFun/MetaPost... which I suspect you would not consider implementing in pure Lua. Some things are faster in C. So yes I do need to implement it in ANSI-C wrapped in Lua (so that it can be used from *inside* ConTeXt). Since this is a mathematical tool, "embedding" it in ConTeXt is ideal. As a mathematician writes, what they write gets proof-checked automatically... in the document they are writing, and by the typesetting tool they are using for the finished PDF. :-) ConTeXt (via LuaMetaTex) makes this possible in a way native TeX/LaTeX never could. So once again, many many thanks for the vision to create such a flexible tool! > > > This would allow the output of "code" in my "Mathematical Language" > > to be directly embedded/typeset in the output of my Mathematical > > document. > > > > (The ultimate goal is to ensure that there is NO wishful thinking > > that the code is "correct" ("just trust me")... all results would be > > directly visible in the PDF). > > > > Alas, while, for other reasons, trying to use the Lua-CJSON Lua > > module from within ConTeXt-LMTX (which also makes use of a shared > > library written in C), I find that the current ConTeXt-LMTX is > > missing (among potentially others) the `lua_checkstack` symbol: > > could be .. we dont' use it > > >> ...Xt/tex/texmf-context/tex/context/base/mkiv/l-package.lua:333: > >> error loading module 'cjson' from file > >> '/usr/local/lib/lua/5.4/cjson.so': > >> /usr/local/lib/lua/5.4/cjson.so: undefined symbol: lua_checkstack > > > > even when using the ConTeXt/LuaMetaTeX `--permiteloadlib` switch. > > > > (Note that this Lua-CJSON module does work with the native 5.4 Lua). > > why not use the build in helpers The test, which triggered the error message (above), was to prove that I could send [NATS](https://nats.io/) messages from *inside* ConTeXt. "Out of the box", the [Lua-NATS](https://github.com/DawnAngel/lua-nats) requires: - luasocket (which LuaMetaTex provides, many many thanks!) - lua-cjson (which is an external shared library and is what I was testing) Fortunately, I found a couple of pure Lua JSON tools which I could get Lua-NATS to use with a one line change. (And, for the record, I *can* send and receive messages from a NATS server from inside ConTeXt :-) If I find I need to make changes to the Lua-NATS code, I will probably use LuaMetaTeX's internal JSON implementation as you suggest below (again many thanks for embedding a JSON implementation). Using Lua-NATS is part of my larger goal to parallelize the typesetting of large documents using ConTeXt (more on this in another email). > > \usemodule[json] > > \starttext > > \startluacode > local l = { a = 1, b = { c = "d" } } > inspect(l) > local j = utilities.json.tojson(l) > inspect(j) > local s = utilities.json.tostring(j) > inspect(s) > io.savedata("temp.json",j) > local t = utilities.json.load("temp.json") > inspect(t) > \stopluacode > > \stoptext > > > 1. Is this an oversight and `--permitloadlib` is meant to be working > > now? > > I dont' know. I never use external modules myself (in luatex I use(d) > ffi for some database acces but those (and a few more) are build in > luametatex as optional modules (as minimalistic as possible lua > itself can do most). I don't want a bloated bianry with all kind of > dependencies that force constant updates. A very important consideration. > > > 2. Is this a trivial fix (and might be fixed soon -- time > > permitting)? > > It's probably a side effect of binaries being stripped cq. functions > being inlined and we don't use lua_checkstack in luametatex. We can > at some point probably add some 'don't strip' feature (which then of > course exposes a whole bunch more that then for sure gets abused and > triggers issues when they change) > > > 3. Is this a rather complex refactoring of the code/build system > > (and hence might take some time before a fix can be rolled > > out)? > > dunno, a such things are driven by demand (and when it doesn't fit > into the 'fun to do' it has to be part of some project) > > > 4. Is this a case of "the `lua_checkstack` symbol will never be > > part of luametatex"? > > dunno, i haven't figured out how to selectively strip and making lua > into a lib that is loaded at runtime adds a dependency and > installation hassle (apart from the fact that when users then kick in > their own variant we need to support it which agsin is not that much > fun) > > > Any of the above scenarios is OK (though scenario 4 would be a > > disappointment as it means no shared library lua modules could be > > used in ConTeXt)... > > at some point (when we're stable and mojca and i have some more > infractstucrure set up, we have some ideas but are not in a hurry) > the source of luatex will be in the distribution and then users can > add their own optional modules If you ever want/need a beta tester of writing and building these optional modules, please let me know. For the moment, I suspect I will "simply" use Lua-NATS to request the proof-computations from an external Docker/Podman container process. Given the size and complexity of the proof-computations, the required network traffic will probably be nearly insignificant. > > > ... it would however be useful to have an idea of which scenario is > > most likely. > > As I said before, again many thanks for a wonderful (and stable) tool! Regards, Stephen Gaito > ----------------------------------------------------------------- > Hans Hagen | PRAGMA ADE > Ridderstraat 27 | 8061 GH Hasselt | The Netherlands > tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl > -----------------------------------------------------------------

2 2

Placing extra bookmarks?
by Bruce Horrocks 02 Dec '20

02 Dec '20

I have \placebookmarks[chapter] in my doc and all is fine except that I'd like to force an extra bookmark at the top of the list that jumps to the cover page. However there is no chapter title, or other built in style on the cover. I tried inserting \bookmark[chapter]{The Cover} but nothing happened - no error, no bookmark. Any suggestions please? There's no need to bookmark to a specific point - just going to page 1 would be enough. (I have looked through the mailing list archives but can't find quite the same scenario.) -- Bruce Horrocks Hampshire, UK

3 4

How do I get rid of the ct and st ligatures in EBGaramond?
by T. Kurt Bond 02 Dec '20

02 Dec '20

Searches didn't reveal the answer. -- T. Kurt Bond, tkurtbond(a)gmail.com, https://tkurtbond.github.io

6 17

Re: [NTG-context] ntg-context Digest, Vol 198, Issue 8
by Andres Conrado Montoya 02 Dec '20

02 Dec '20

You are naming your font "english". If you call "ebgaramond" it will always take the default ebgaramond features. Just call your font with the name you gave it. \definefontfamily[english] [rm] [ebgaramond] [features={dlig=no}] \setupbodyfont[english,10pt] \starttext ct st \stoptext -- Andrés Conrado Montoya Andi Kú andresconrado(a)gmail.com http://sesentaycuatro.com http://messier87.com http://chiquitico.org ---------------------------------------- Los fines no justifican los medios, porque la medida verdadera de nuestro carácter está dada por los medios que estamos dispuestos a utilizar, no por los fines que proclamamos. ---------------------------------------- “You develop an instant global consciousness, a people orientation, an intense dissatisfaction with the state of the world, and a compulsion to do something about it. From out there on the moon, international politics look so petty. You want to grab a politician by the scruff of the neck and drag him a quarter of a million miles out and say, ‘Look at that, you son of a bitch.’” — Apollo 14 astronaut Edgar Mitchell

2 1

Re: [NTG-context] Installing VSCode extension?
by Jeong Dal 02 Dec '20

02 Dec '20

Dear Mikael, > 2) Is there a nice way to compile the tex file from > within vs code? As of > now, I opened a terminal and compiled from that, but that feels like the > wrong way of doing it. For the first question, I don’t know either. For the second question, I’d like to explain what I did for compiling TeX file in vscode. Since I use vscode in MacOsX, you may find your way in Linux. There is a tasks.json file in .vscode folder. I added the following script in the “tasks":[ ] and save it. (You have to modify the "texmf-osx-64/bin” path in the following script from your machine. { "label": "ConTeXt LuaMetaTeX", "type": "shell", "command": "export PATH=/Users/graph/ConTeXtLM/tex/texmf-osx-64/bin:$PATH;mtxrun --autogenerate --script context --autopdf --purge '${file}'", "args": [], "options": { "cwd": "${fileDirname}" }, "group": { "kind": "build", "isDefault": true } }, When you want to compile a ConTeXt file, find “terminal > Run Build task” in the menu, then “ConTeXt LuaMetaTex” will pop up. Or just use the key “command-shift-B” instead using menu item. I hope that it may help. Best wishes, Dalyoung

3 2

Context install for Apple Silicon M1 mac mini
by Keith McKay 01 Dec '20

01 Dec '20

Hi, I have recently retired my 2012 mac mini in favour of a new Apple silicon M1 mac mini on which I would like to install ConTeXt. I know that their are no ARM binaries yet for ConTeXt but Apple say that intel binaries can be run on an ARM using the Rosetta emmulation software. I tried to download the intel binaries using the install.sh that comes with the context-osx-64.zip file but of course it does not recognise the ARM chip and suggests contacting the mailing list. In some previous emails to the list, in which I was a participent, (see the post "new upload" of 26/11/2020) their was some discussion on how Context could be set up to work on these machines by building binaries using Xcode. I am afraid this is well above my skillset so I was wondering how I could get the Intel binaries and then set up ConTeXt running with the Rosetta emulation software. I should be able to do that. If this is possible, I would be very happy to do some testing and report back my experiences to the list. Best Wishes Keith McKay Scotland, UK

3 3

new upload
by Hans Hagen 01 Dec '20

01 Dec '20

Hi, I uploaded a new version. This time some cleanup of the backend, so let's see where I messed up this time. The installer has been adapted so that an apple m1 machine is recognized. No native arm bins, that has to wait till we have some hardware available. Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------

1 0

Install Problems with 64 bit ARM Linux
by Christian Prim 01 Dec '20

01 Dec '20

Hi everyone Is there a reason why the arm binaries for ARM Linux use version 2.29 of glibc? My actual debian buster installation is still on glibc-2.28. The x86_64 Linux binaries also use the older 2.28-version which is widely used among many distros. I would be very happy if I could install a 2.28-version on my ARM Linux box. Else I have to compile my own glic... or my own mtxrun... Many thanks for your clarifications Christian PS.: error messages during the install: .../lmtx/bin/mtxrun: /lib/aarch64-linux-gnu/libm.so.6: version `GLIBC_2.29' not found (required by .../lmtx/bin/mtxrun)

4 11

install.sh not working on Linux (Ubuntu 20.04)?
by Jairo A. del Rio 01 Dec '20

01 Dec '20

Hi everybody. Is anyone else having problems with recent ConTeXt updates on Linux? Since last month, install.sh isn't doing anything. However, when I go to Pragma ADE's website, I can download newer releases and they work fine (e.g. --permitloadlib works now). I'm not so picky about manual downloads, but I think install.sh is (or was) quite better. I'm on Ubuntu 20.04, in case it helps. Thank you very much. Regards, Jairo :)

3 3

Adding syntax highlighting when typesetting from xml (asciidoc/docbook)
by Mojca Miklavec 01 Dec '20

01 Dec '20

Hi, A while ago Hans provided an example of typesetting a document from a docbook source. I'm attaching an over-simplified version of the initial module (a somewhat more complete version exists, but it still needs lots of work) and a minimum working example with XML. I'm not sure how to extend the xml parser to support typesetting from something like this: <section xml:id="_hello_world_in_c_and_context"> <title>Hello World in C and ConTeXt</title> <programlisting language="cpp" linenumbering="unnumbered">#include <stdio.h> int main() { printf("Hello, World!\n"); return 0; }</programlisting> <programlisting language="context" linenumbering="numbered">\starttext Hello world! \stoptext</programlisting> </section> Maybe using the vim module would be the right approach here (since the built-in parser only has support for a limited set of languages), but I'm not exactly sure about the implementation to achieve that goal. I started with \startxmlsetups xml:programlisting \dontleavehmode \startframedtext[background=color,backgroundcolor=lightgray] \obeylines \tt \xmlflush{#1} \stopframedtext \stopxmlsetups but something more is needed to properly handle new lines and to properly pass the text to vim, for example. Any hints welcome. Thank you, Mojca

2 1