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

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718 1920 21
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 27th, 2025 09:13 pm
Powered by Dreamwidth Studios