Benoît Legat

My bad, I was initially making the mistake "corrolary", I fixed it but apparently never renamed the name of the environment

@Nhoutain up :)

@Nhoutain kind reminder :-P

Ah zut :( Maybe the user can clone the project on their ShareLaTeX and do pull request from it without the need of our project to be on ShareLaTeX ?...

Log-det is the barrier for the PSD cone. If the log-det is in the objective function, we can leave it as is since it is self-concordant. For a constraint `log-det...

I just asked [François Glineur](https://perso.uclouvain.be/francois.glineur/) about the log-det barrier. There is a paper of Lewis and Sendov which gives a construction for a barrier with parameter n^2 in the case...

> Luckily some good people figured out the new links and calls It seems to be using this link https://github.com/theogf/Remarkable.jl/blob/ba6bea95b7cabb6c4f225dfe97dfd5dffd242725/src/const.jl#L5 with https://github.com/theogf/Remarkable.jl/blob/ba6bea95b7cabb6c4f225dfe97dfd5dffd242725/src/const.jl#L11 It seems the other projects didn't change this...

I made a post : https://discord.com/channels/385916768696139794/1203250594580529183 Otherwise I guess we can try listening to the official discord client with Wireshark or equivalent

rmapi seems to be working for the v1.5 of the api with what's in their `api/sync15` folder. It seems we need to first do https://github.com/juruen/rmapi/blob/fca802162a412f232a8a35f3a649a543ee3a86ff/api/sync15/blobstorage.go#L48 Looking at https://github.com/juruen/rmapi/blob/fca802162a412f232a8a35f3a649a543ee3a86ff/model/document.go#L67-L72 It seems...

@caleb-allen Thanks, I pushed my local changes to https://github.com/blegat/Remarkable.jl/tree/debug