[racket-users] Call for Workshop Proposals: ICFP 2018

['Lindsey Kuper' via users-redirect]

[ Please disregard previous version sent with the wrong subject line. ]

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2018
 23rd ACM SIGPLAN International Conference on Functional Programming


  September 23-29, 2018  
 St. Louis, Missouri, United States
 http://conf.researchr.org/home/icfp-2018

The 23rd ACM SIGPLAN International Conference on Functional Programming
will be held in St. Louis, Missouri, United States on September 23-29, 2018.
ICFP provides a forum for researchers and developers to hear about the latest
work on the design, implementations, principles, and uses of functional
programming.

Proposals are invited for workshops (and other co-located events, such
as tutorials) to be affiliated with ICFP 2018 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on September 23 (the day
before ICFP) and September 27-29 (the three days after ICFP).

--

Submission details
 Deadline for submission: November 20, 2017
 Notification of acceptance:  December 18, 2017

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2017 workshop co-chairs
(Christophe Scholliers and David Christiansen), via email to

icfp-workshops-2...@googlegroups.com

by November 20, 2017. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.

Organizers will be notified if their event proposal is accepted by
December 18, 2017, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2018-files/icfp18-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://www.sigplan.org/Resources/Proposals/Sponsored/

--

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2018 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Christophe Scholliers(University of Ghent)
 Workshop Co-Chair: David Christiansen(Indiana University)
 General Chair: Robby Findler(Northwestern University)
 Program Chair: Matthew Flatt (University of Utah)


--

Further information

Any queries should be addressed to the workshop co-chairs (Christophe
Scholliers and David Christiansen), via email to
icfp-workshops-2...@googlegroups.com

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Call for Participation: ICFP 2017

['Lindsey Kuper' via users-redirect]

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2018
 23rd ACM SIGPLAN International Conference on Functional Programming


  September 23-29, 2018  
 St. Louis, Missouri, United States
 http://conf.researchr.org/home/icfp-2018

The 23rd ACM SIGPLAN International Conference on Functional Programming
will be held in St. Louis, Missouri, United States on September 23-29, 2018.
ICFP provides a forum for researchers and developers to hear about the latest
work on the design, implementations, principles, and uses of functional
programming.

Proposals are invited for workshops (and other co-located events, such
as tutorials) to be affiliated with ICFP 2018 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on September 23 (the day
before ICFP) and September 27-29 (the three days after ICFP).

--

Submission details
 Deadline for submission: November 20, 2017
 Notification of acceptance:  December 18, 2017

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2017 workshop co-chairs
(Christophe Scholliers and David Christiansen), via email to

icfp-workshops-2...@googlegroups.com

by November 20, 2017. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.

Organizers will be notified if their event proposal is accepted by
December 18, 2017, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2018-files/icfp18-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://www.sigplan.org/Resources/Proposals/Sponsored/

--

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2018 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Christophe Scholliers(University of Ghent)
 Workshop Co-Chair: David Christiansen(Indiana University)
 General Chair: Robby Findler(Northwestern University)
 Program Chair: Matthew Flatt (University of Utah)


--

Further information

Any queries should be addressed to the workshop co-chairs (Christophe
Scholliers and David Christiansen), via email to
icfp-workshops-2...@googlegroups.com

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Community or Junior Colleges using Racket for Introductory or Other Courses

[ben.rudgers]

My child is a High School junior and has some interest (and some healthy 
disinterest) in pursuing computer science/engineering/programming/etc.

As a Lisphead and in the interest of presenting a diversity of options if 
it winds up being computer etcetera, I am curious if there are an 
Junior/Community Colleges with Racket oriented curricula.

I have a reasonable idea about four year institutions using Racket from PLT 
page.

Thanks, Ben

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] `raco pkg install` from private GitHub repo?

[Matthew Flatt]

Yes, that makes sense. The "checkout initial protocol failed" error is
from the package manager in "private/stage.rkt". If the package manager
didn't provide `#:initial-error` there, then `git-checkout` would raise
an `exn:fail:git` exception.

At Thu, 26 Oct 2017 09:04:35 -0700, Matthew Butterick wrote:
> FWIW for this command:
> 
> raco pkg install https://github.com/mbutterick/app.git 
> 
> The exception is `exn:fail:user` ("raco pkg install: Git checkout initial 
> protocol failed;
>  the given URL might not refer to a Git repository")
> 
> 
> And for this command: 
> 
> raco pkg install http://github.com/mbutterick/app.git 
> 
> The exception is `exn:fail:network` ("ssl-connect: connect failed 
> (error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol")
> 
> 
> Changing the `exn:fail:git?` to just `exn:fail?` repairs the https case:
> 
> raco pkg install https://github.com/mbutterick/app.git 
> 
> But not the http one:
> 
> raco pkg install http://github.com/mbutterick/app.git 
> 
> (Though AFAIK that error is valid: there's no vanilla http access available 
> to 
> GH)
> 
> 
> So maybe the problem is that `raco pkg install` is raising the wrong kind of 
> error when "Git checkout initial protocol fails" (`exn:fail:user` instead of 
> `exn:fail:git`)?
> 
> 
> > On Oct 26, 2017, at 8:12 AM, Jay McCarthy  wrote:
> > 
> > Okay, what's going on here is that it is supposed to first try without
> > your password and then try with it. But it is failing with something
> > other than a exn:fail:git? so it isn't catching it and trying again.
> > We either need to change that to exn:fail? or audit net/git-checkout
> > and make sure that it is catching every possible network error and
> > transforming it into a exn:fail:git error. The first is clearly going
> > to work but I can see that the second is what Matthew intended to be
> > done when he wrote this. @mflatt, can you weigh in?
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] `raco pkg install` from private GitHub repo?

[Matthew Butterick]

FWIW for this command:

raco pkg install https://github.com/mbutterick/app.git 

The exception is `exn:fail:user` ("raco pkg install: Git checkout initial 
protocol failed;
 the given URL might not refer to a Git repository")


And for this command: 

raco pkg install http://github.com/mbutterick/app.git 

The exception is `exn:fail:network` ("ssl-connect: connect failed 
(error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol")


Changing the `exn:fail:git?` to just `exn:fail?` repairs the https case:

raco pkg install https://github.com/mbutterick/app.git 

But not the http one:

raco pkg install http://github.com/mbutterick/app.git 

(Though AFAIK that error is valid: there's no vanilla http access available to 
GH)


So maybe the problem is that `raco pkg install` is raising the wrong kind of 
error when "Git checkout initial protocol fails" (`exn:fail:user` instead of 
`exn:fail:git`)?


> On Oct 26, 2017, at 8:12 AM, Jay McCarthy  wrote:
> 
> Okay, what's going on here is that it is supposed to first try without
> your password and then try with it. But it is failing with something
> other than a exn:fail:git? so it isn't catching it and trying again.
> We either need to change that to exn:fail? or audit net/git-checkout
> and make sure that it is catching every possible network error and
> transforming it into a exn:fail:git error. The first is clearly going
> to work but I can see that the second is what Matthew intended to be
> done when he wrote this. @mflatt, can you weigh in?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] `raco pkg install` from private GitHub repo?

[Jay McCarthy]

Okay, what's going on here is that it is supposed to first try without
your password and then try with it. But it is failing with something
other than a exn:fail:git? so it isn't catching it and trying again.
We either need to change that to exn:fail? or audit net/git-checkout
and make sure that it is catching every possible network error and
transforming it into a exn:fail:git error. The first is clearly going
to work but I can see that the second is what Matthew intended to be
done when he wrote this. @mflatt, can you weigh in?

On Thu, Oct 26, 2017 at 12:56 AM, Matthew Butterick  wrote:
> I think I found the problem. On this line:
>
> https://github.com/racket/racket/blob/master/racket/collects/pkg/private/checkout-credentials.rkt#L10
>
> The variable `credentials-list` starts out as
>
> [credentials-list (cons #f (get-git-checkout-credentials))]
>
> My correct checkout credentials do appear in
> `(get-git-checkout-credentials)`. But on the next line we have:
>
> (define credentials (first credentials-list))
>
> So the first value assigned to `credentials` is #f. This percolates through,
> and when I run this command:
>
> raco pkg install https://github.com/mbutterick/app.git
>
> The args received by `git-checkout` are:
>
> host = "github.com"
> repo = "mbutterick/app.git"
> dest-dir = #f
> transport = 'https
> ref = "master"
> given-depth = 1
> initial-error = #
> given-tmp-dir = #f
> clean-tmp-dir? = #t
> verify? = #t
> given-port = #f
> strict-links? = #f
> username = #f
> password = #f
>
> Notice the username and password are #f.
>
> But when I go back to "checkout-credentials.rkt" and change this expression:
>
> [credentials-list (cons #f (get-git-checkout-credentials))]
>
> To this:
>
> [credentials-list (get-git-checkout-credentials)]
>
> Then my username and password get passed to `raco pkg install
> https://github.com/mbutterick/app.git`, and everything works as expected:
>
> host = "github.com"
> repo = "mbutterick/app.git"
> dest-dir = #f
> transport = 'https
> ref = "master"
> given-depth = 1
> initial-error = #
> given-tmp-dir = #f
> clean-tmp-dir? = #t
> verify? = #t
> given-port = #f
> strict-links? = #f
> username = "mbutterick"
> password = "password"
>
> Notice that the username and password now get passed through.
>
>
>
>
>
> On Oct 25, 2017, at 6:50 PM, Jay McCarthy  wrote:
>
> Mmm, that SHOULD be the same code path as what `raco pkg` is using.
> Could you plop an eprintf on this line and see what arguments `raco
> pkg` is giving `git-checkout` and we can see what code is at fault?
>
> https://github.com/racket/racket/blob/master/racket/collects/net/git-checkout.rkt#L54
>
> On Wed, Oct 25, 2017 at 2:55 PM, Matthew Butterick  wrote:
>
> The command seems to work when I remove the .git suffix:
>
> racket -l net/git-checkout -- --https -u mbutterick -p password github.com
> /mbutterick/app test
>
> Output:
>
> Contacting github.com
> Getting refs
> Getting 24 objects
> Applying deltas
> Extracting tree to test
> Cleaning up
> "315d1dee1f9e3f90587171d13cc4477756156300"
>
>
>
> On Oct 25, 2017, at 10:08 AM, Jay McCarthy  wrote:
>
> Will you try this first so we can debug the protocol level stuff?
>
> racket -l net/git-checkout -- --https -u mbutterick -p password
> github.com /mbutterick/repo.git test
>
> You may need to fiddle with the second to last argument.
>
> On Tue, Oct 24, 2017 at 6:00 PM, Matthew Butterick  wrote:
>
> PS Same behavior on Ubuntu 14.04 or Mac OS 10.12.6, using Racket 6.10.1 in
> both cases.
>
>
> On Oct 24, 2017, at 2:57 PM, Matthew Butterick  wrote:
>
> Things seem to be on the right track, and then fail:
>
> Querying Git references for app at http://github.com/mbutterick/app.git
> ssl-connect: connect failed (error:140770FC:SSL
> routines:SSL23_GET_SERVER_HELLO:unknown protocol)
> [long traceback]
>
>
>
>
>
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
>
>
>
>
> --
> -=[ Jay McCarthy   http://jeapostrophe.github.io]=-
> -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
> -=[ Moses 1:33: And worlds without number have I created; ]=-
>
>



-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] embedding fonts for slideshow (was Re: slideshow for non-technical presentations)

[Gour]

On Wed, 1 Jun 2016 19:39:40 -0400
Asumu Takikawa  wrote:

> One thing that's not portable is the fonts that you use. You will
> probably have to install the same fonts or ensure that you only
> use fonts that are available on both machines.

I'm resuming my interest for Racket stuff and, afaict, based on the
docs 
(https://docs.racket-lang.org/pict/Basic_Pict_Constructors.html#%28def._%28%28lib._pict%2Fmain..rkt%29._text%29%29)
 for:

(text content [style size angle]) → pict?

  content : string?
  style : text-style/c = null
  size : (integer-in 1 1024) = 12
  angle : real? = 0

one can choose which font to use for the presentation, but wonder how
it would be e.g. possible to create presentation on the Linux and the
make it portable by, somehow, embedding fonts and putting everything on
e.g. USB stick in order to make it presentable on e.g. some Windows
machine?


Sincerely,
Gour


-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.