>> [Feel free to ignore their typos and other editorial mishaps (does anyone
>> know what "highly thematicalsystems-level programming" is, for
example?...
>
>My guess is "highly mathematical systems-level programming".

How about "theoritical" ?