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
Forwarded from Лингвопанк
Мы привыкли, что языки программирования основаны на английском языке.
Но язык Uiua основан на математической записи.
Особо красиво, как формулы превращаются в графику или звук.
https://www.uiua.org
Но язык Uiua основан на математической записи.
Особо красиво, как формулы превращаются в графику или звук.
https://www.uiua.org
🔥1
Forwarded from Pediwikia