juan_gandhi: (Default)
 Уже забыл, у кого прочитал сегодня, что сегодня особый день, сбыча мечт и завершение проектов.

Спасибо юзеру [personal profile] dsfhjkl, я, наконец, насобачился привинчивать HTTPS с нормальным сертификатом к серверу на базе Akka-Http. Напишу-ка я, пожалуй, readme.md на эту тему, чтоб не забыть.

Короче, https://presheaf.com/ чирикает. Дам ему побегать пару недель, потом буду обратно к фейсбуку привинчивать, чтоб можно было свое личное репо там хранить, а не всю кучу. Тогда можно это репо будет показывать, а не только что в локальной памяти хранится.
juan_gandhi: (VP)
I've upgraded presheaf to render 2-cells, like this:

A \rtwocell^f_g{\alpha} &B



The problem is, dvipng does not render the down arrow properly.
I wonder if anybody knows anything or if anybody cares.
juan_gandhi: (Default)
Now you can include links to diagrams with the option of editing.




⛤◯▯△

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
18192021222324
25262728293031

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 15th, 2025 03:07 pm
Powered by Dreamwidth Studios