Я не знаю как это сделать, код не мой, дебаггер предлагает ввести другую библиотеку, но я не знаю какой литерал нужен.

В смысле, неизвестно где сама so находится?

…или непонятно, что нажать, чтоб USE-VALUE запустить? Просто 1, там написано.

В смысле я не знаю что дальше писать

Вроде разобрался что писать

Строку с полным путем к файлу. Либо pathname (#p"/tmp/lib.so"),

но строки должно хватить.

А нет там список хотят.

Минутка славных историй (без доказательств):

FWIW, i'll submit a recent example of SBCL, applicable for Lisp in general i think, too): a friend of mine wanted to do some linear algebra in real time. The scenario was that he has some sensors recording human movement live and would like to compute some quantities on the fly. He used sympy to precompute the operations to be carried out symbolically, using the "export to C++" function of sympy. Both gcc and clang choked on the large file produced (unless he turned off optimizations completely). Using emacs, I transformed the file into sexps, which were then parsed and compiled into separate lambdas (a process which took about 20 secs -- gcc/clang were taking about 5 minutes before giving up). With only a few type declarations, the lisp version of the update was about twice faster than the C++ counterpart, but I left it there, since due to external (management) constraints, Lisp would not be acceptable.

👍

external (management) constraints - звучит как истории, которые я слышал про яндекс

Например?

некий человек написал какую-то очень удобную утилиту на (кажется) го. Получил выговор, потому что его утилитой стали пользоваться другие, а го не входит в список "разрешенных" языков.

полагаю, что это не самый плохой способ протащить какой-нибудь язык на работе.

видимо, дело было давно. в Яндексе go давным-давно уже используется, только что уточнил у бывшего коллеги.

Может это был perl 6?

кстати, когда я там сам работал (эрлангером), из остальной "экзотики" в Яндексе использовалась схема, если я правильно помню, лингвистами.

подтвердили, что это был go, а история реальная.

может в разных подразделениях по-разному, потому что опять же я слышал, что "для плюсов и для джавы есть фиксированный список библиотек, которыми можно пользоваться, а остальными нельзя"