Thank you for doing that. I updated my projects and removed all of those
with named mentors as they have not agreed at present (AFAIK) to be a
potential mentor.
I was expecting to be the main administrator for GSoC again this year. We
will discuss this on the mentors list.
For the proposal, wh
For the potential projects, you can either edit the corresponding wiki page
in Matthias's link or directly post them here (you do not need to be the
mentor).
Also, I would like to have a list of potential mentors. Any SageMath
developer can be a mentor for a GSoC project; so if you are willing
Sorry for the multiple messages.
For potential mentors, there is no commitment required at this time.
You can also decide later to add a project and/or be a mentor.
Best,
Travis
On Sunday, February 4, 2024 at 1:17:54 PM UTC+9 Travis Scrimshaw wrote:
> For the potential projects, you can either
I would like to propose the exact same project I had for last year again,
but I am currently at a conference and additionally don't see how I could
edit the page.
Martin
On Sunday 4 February 2024 at 05:19:17 UTC+1 Travis Scrimshaw wrote:
> Sorry for the multiple messages.
>
> For potential men
I have added it. (For reference on editing the pages, you login using your
trac credentials from the upper left corner.)
Best,
Travis
On Monday, February 5, 2024 at 5:38:52 AM UTC+9 Martin R wrote:
> I would like to propose the exact same project I had for last year again,
> but I am currentl
I have a proposal for a project I would be willing to mentor (detailed
below for completeness), but I'm unsure about how best to estimate the
length (I did GSoC 2021 but estimates of length weren't around then). The
initial coding would not be too challenging, but the mathematical research
whic
Hi Linden,
Thank you. I added the project at the "standard" length 350 hours.
Best,
Travis
On Monday, February 5, 2024 at 7:24:38 PM UTC+9 Linden Disney wrote:
> I have a proposal for a project I would be willing to mentor (detailed
> below for completeness), but I'm unsure about how best to
Hi everyone,
I have submitted the application.
However, we can continue to add projects (and mentors) at any point. So if
you are interested or have any features that you want to request, please
either add it to the wiki page, post it here, or email me.
Best,
Travis
On Tuesday, February 6,
Great, thanks a lot, Travis, also for taking on the role of the GSoC admin
for another year!
On Monday, February 5, 2024 at 9:55:25 PM UTC-8 Travis Scrimshaw wrote:
> Hi everyone,
>I have submitted the application.
>
> However, we can continue to add projects (and mentors) at any point. So i
One question, Matthias: I see that you have proposed a project involving
integration with proof assistants/theorem provers. Just out of curiosity:
how do you envision such integration?
El martes, 6 de febrero de 2024 a las 6:56:44 UTC+1, Matthias Koeppe
escribió:
> Great, thanks a lot, Travis
Hi Miguel,
There's of course a large scope of work that can be meaningful. I'll just
mention two directions, but I'll be happy to have a broader and/or more
detailed conversation.
1. For interactive proof assistants/theorem provers such as LEAN, it can be
powerful to make CAS capabilities availa
So, if i understand what you mean correctly, 1) would go along making it
easier from the sage part to implement tactics like polyrith (which right
now calls the sagecell server to prove equalities between expressions using
groebner basis)?
That sounds very nice. In particular I would like to n
On Sunday, February 11, 2024 at 7:10:59 AM UTC-8 mmarco wrote:
if i understand what you mean correctly, 1) would go along making it easier
from the sage part to implement tactics like polyrith (which right now
calls the sagecell server to prove equalities between expressions using
groebner basi
Miguel, can you add the project to the wiki page (or tell me the
information here), even if it is not fully prepared? It will help increase
our chances of being selected for GSoC again.
For everyone, there is a new 90 hour option for GSoC project lengths this
year.
Best,
Travis
On Monday, Feb
14 matches
Mail list logo