Forwarded from ❆ (Artyom K)
Война с обоссаным вскодом
Пока воевал с обосанным вскодом, я выяснил, что он, так же как и емакс, вероятно, использует интерфейс mi от gdb для отладки.
Вот так выглядит отладка с этим интерфейсом в емаксе.
По сути mi это протокол, про то как гонять текст между дебаггером и редактором:
https://ftp.gnu.org/old-gnu/Manuals/gdb/html_chapter/gdb_22.html
И это снова очень напоминает language server.
Пока воевал с обосанным вскодом, я выяснил, что он, так же как и емакс, вероятно, использует интерфейс mi от gdb для отладки.
Вот так выглядит отладка с этим интерфейсом в емаксе.
По сути mi это протокол, про то как гонять текст между дебаггером и редактором:
https://ftp.gnu.org/old-gnu/Manuals/gdb/html_chapter/gdb_22.html
И это снова очень напоминает language server.
Forwarded from сладко стянул
en.wikipedia.org/wiki/Representation_theorem
Когда-то я читал одну из книжек Арнольда, где он ругался на математиков которые понапридумывали кучу абстрактной фигни, запутывающей понимание.
В частности, он там формулирует принцип в стиле "абстракция не даёт ничего принципиально нового, кроме самого абстрагирования".
Пример: Лагранж изучал множества перестановок, замкнутые относительно композиции. Потом кто-то решил обобщить эти объекты и придумал абстрактные _группы_: множества с абстрактной операцией, которая удовлетворяет свойству ассоциативности. Казалось бы, это должно было расширить класс изучаемых объектов... но нет: теорема Кэли показывает, что любая группа вкладывается в группу перестановок, то есть абстрактная операция возвращается к этому конкретному смыслу.
В то же время ясно, что само существование группы перестановок только отвлекает, так что абстрактный подход вполне плодотворный.
Другие примеры:
1) алгебра Ли = подпространство некоторой ассоциативной алгебры, замкнутое относительно скобки [A,B]:=A*B-B*A
2) риманово многообразие = подмногообразие некоторого евклидова пространства
3) пучок на топологическом пространстве = "подобъект" множества сечений некоторого расслоения на всевозможных открытых подмножествах базы
4) (малая) абелева категория = полная подкатегория категории R-модулей для некоторого кольца R
....
интересно, насколько развиты соответствующие "теории представлений"? способы вложить многообразие в пространство, наверно, образуют некоторое необозримое множество, но в некоторых ситуациях уж точно можно рассуждать о таких вещах
Когда-то я читал одну из книжек Арнольда, где он ругался на математиков которые понапридумывали кучу абстрактной фигни, запутывающей понимание.
В частности, он там формулирует принцип в стиле "абстракция не даёт ничего принципиально нового, кроме самого абстрагирования".
Пример: Лагранж изучал множества перестановок, замкнутые относительно композиции. Потом кто-то решил обобщить эти объекты и придумал абстрактные _группы_: множества с абстрактной операцией, которая удовлетворяет свойству ассоциативности. Казалось бы, это должно было расширить класс изучаемых объектов... но нет: теорема Кэли показывает, что любая группа вкладывается в группу перестановок, то есть абстрактная операция возвращается к этому конкретному смыслу.
В то же время ясно, что само существование группы перестановок только отвлекает, так что абстрактный подход вполне плодотворный.
Другие примеры:
1) алгебра Ли = подпространство некоторой ассоциативной алгебры, замкнутое относительно скобки [A,B]:=A*B-B*A
2) риманово многообразие = подмногообразие некоторого евклидова пространства
3) пучок на топологическом пространстве = "подобъект" множества сечений некоторого расслоения на всевозможных открытых подмножествах базы
4) (малая) абелева категория = полная подкатегория категории R-модулей для некоторого кольца R
....
интересно, насколько развиты соответствующие "теории представлений"? способы вложить многообразие в пространство, наверно, образуют некоторое необозримое множество, но в некоторых ситуациях уж точно можно рассуждать о таких вещах
Wikipedia
Representation theorem
Proof that every structure with certain properties is isomorphic to another structure
https://play.ertdfgcvb.xyz/#/src/sdf/cube
Procedural ASCII art
Procedural ASCII art
play.ertdfgcvb.xyz
An ASCII Art playground