[racket-users] Fwd: [PLMW@PLDI] Call for Scholarship Applications & Participation: Deadline April 10, 2016

[Matthias Felleisen]

> Begin forwarded message:
> 
> From: Kathryn S McKinley 
> Subject: [PLMW@PLDI] Call for Scholarship Applications & Participation: 
> Deadline April 10, 2016 
> Date: March 27, 2016 at 5:28:43 PM EDT
> 
> 
> Thanks for agreeing to be a speaker or panelist.  Please forward to your 
> undergraduate and graduate students, so we have some attendees. ;-) 
> 
> Best,
> Kathryn
> 
> 
> Subject [PLMW@PLDI] Call for Scholarship Applications & Participation: 
> Deadline April 10, 2016
>  
> We invite early graduate students and undergraduates to APPLY for a 
> scholarship and to participate 
>  at PLMW@PLDI by APRIL 10, 
> 2016. 
>  
> The first PLMW@PLDI 
>   (the ACM 
> SIGPLAN Programming Languages Mentoring Workshop at the Conference the 
> Programming Language Design and Implementation) will be held in Santa 
> Barbara, California, the Fess Parker Hotel, on Tuesday 14, 2016. 
>  
> The purpose of this mentoring workshop is to encourage and prepare graduate 
> students and senior undergraduate students with a particular focus on women 
> and minorities to pursue careers in programming language research. It is 
> modeled after similar and successful POPL, OOPSLA, and CRA-W workshops. 
> Technical sessions will share cutting-edge research in programming languages; 
> mentoring sessions will help you learn about, prepare, and succeed in 
> research career; and a one-on-one advising sessions with academics and 
> industrial PhDs will answer your career questions. 
>  
> Speakers and panelists will include:
>  
> Steve Blackburn,  Australian National University
> Sam Blackshear, Facebook
> James Bornholt,  University of Washington
> Michael Carbin,MIT
> Alvin Cheung,  University of Washington
> Ravi Chug, University of Chicago
> John Davis, Pure Storage
> Matthias Felleisen, Northeastern University
> Shan Shan Huang, Logicblox
> Milind Kulkarni, Purdue University
> Shan Lu, University of Chicago
> Armando Solar-Lezama, MIT
> Lingjia Tang, University of Michigan
> Jean Yang, Carnegie Mellon University
> 
>  
> This workshop is part of the activities surrounding PLDI and takes place the 
> day before the main conference. One goal of the workshop is to make the PLDI 
> conference more accessible to newcomers. We hope that participants will stay 
> through the entire conference.
>  
> A number of sponsors (NSF, SIGPLAN, Microsoft, and Pure Storage) have 
> generously donated scholarship funds for qualified students to attend 
> PLMW@PLDI. These scholarships should cover reasonable expenses (airfare, 
> hotel, and registration fees) for attendance at both the workshop and the 
> PLDI conference, but are limited. We will welcome students with alternative 
> sources of funding to attend as well. Everyone needs to apply.
>  
> APPLY for a scholarship and to participate at PLMW@PLDI 
> . 
>  
> The deadline for full consideration of funding is SUNDAY, APRIL 10. Selected 
> participants will be notified by MAY 1 and will need to pre-register and 
> commit to attending the workshop by MAY 10.   
>  
> We look forward to seeing you in Santa Barbara.
>  
> The PLMW@PLDI Organizers 
> Ben Wiedermann, Harvey Mudd College
> Kathryn S. McKinley, Microsoft Research
> Jason Mars, University of Michigan
> Mary Hall, University of Utah
>  Md E. Haque, University of Michigan

-- 
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] modern C++ likes Racket

[JCG]

Just a note in case it's not obvious.  Modern C++14, using std::make_shared, 
can be used with Racket.  Mainly due to the make-phantom-bytes call,  Racket's 
GC collects memory at appropriate intervals for my work.  

If anyone needs to access std::shared_ptr stuff in Racket, I find that 
wrapping the shared_ptr in a (return new boost::any(the-thing)) and having a 
general-purpose (register-finalizer) call handles the C++ destruction and 
typing of the boost::any content just fine.

Thanks for a fast and well-thought FFI.




-- 
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] drracket toplevel identifier mouseover values

[Neil Van Dyke]

If this would be easy to add to DrRacket, it might be worthwhile...

When you mouseover syntax for a toplevel identifier, a tooltip-like 
transient display can sometimes show the value.  (By sometimes, I mean, 
perhaps, when either there is a run in progress, or a run has completed 
and the value is still available and not somehow believed to be "out of 
date".)


This is some limited variable debugging, without having to run a 
debugger.  I suspect it's most useful when using DrRacket as a fancy 
script/worksheet calculator.


Latest scenario in which I've wanted this: I'm doing my complicated tax 
returns in DrRacket (for better traceability of 
data/decisions/dependencies than the forms permit), and it would be 
convenient to be able to see the derived/calculated values in the source 
code view.


For example, in code below, I would like to be able to mouseover 
`irs-schedule-b-required?` to see the answer, and if it's true, then I 
might want to quickly mouseover the other identifiers, to see why:


(define irs-schedule-b-required?
  (or 
irs-schedule-b-question-have-over-1500-of-taxable-interest-or-ordinary-dividends

irs-schedule-b-question-received-interest-from-seller-financed-mortage-and-buyer-used-property-as-personal-residence
irs-schedule-b-question-reporting-oid-in-amount-less-than-amount-shown-on-form-1099oid
irs-schedule-b-question-reducing-interest-income-on-a-bond-by-amount-of-amortizable-bond-premium
irs-schedule-b-question-claming-exclusion-of-interest-from-series-ee-or-i-us-savings-bonds-issues-after-1989
irs-schedule-b-question-received-intrest-or-ordinary-dividends-as-a-nominee
irs-schedule-b-question-had-financial-interest-in-or-signature-authority-over-financial-account-in-foreign-country
irs-schedule-b-question-received-a-distribution-from-or-were-grantor-of-or-transferor-to-a-foreign-trust))

For now, I'm doing `define/log` for all the toplevel calculations, which 
works well enough for my immediate needs, but I think that the DrRacket 
feature I suggested would have more general usefulness.


(define-syntax define/log
  (syntax-rules ()
((_ ID VAL)
 (begin (define ID VAL)
(log-taxes-debug "(define ~A ~S)" (quote ID) ID)

An alternative idea I had was to have an option for DrRacket 
programmatically modify the source code after a run, to insert comments 
for calculated toplevel bindings (that are not void, procedures, etc.) 
on the next line, such as:


;;==> #false

That could be a crazy but useful kludge sometimes, but the mouseover 
idea is more idiomatic of DrRacket, and mouseover could be enabled all 
the time for everyone.


Neil V.

--
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] Include link in email: what headers to use?

[Jon Zeppieri]

On Sun, Mar 27, 2016 at 9:29 AM, Marc Kaufmann 
wrote:

> Ah, of course "extra-header ... " means there can be several of them -
> which I know, but forgot in this context. On the other hand, I also didn't
> realize that "Conten-Type: text/html; charset=iso-8859-1" was a single
> header either, so I would still have gotten it wrong.
>
> Works like a charm now, thank.
>
>
Also: unless you're explicitly encoding the message body as latin-1 (a.k.a.
iso-8859-1), it's probably better to use "charset=utf-8" in the
Content-Type header, since that's Racket's default string encoding. It
won't matter unless you use non-ASCII characters, but if you do, it will.

-Jon

-- 
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] Include link in email: what headers to use?

[Marc Kaufmann]

Ah, of course "extra-header ... " means there can be several of them -
which I know, but forgot in this context. On the other hand, I also didn't
realize that "Conten-Type: text/html; charset=iso-8859-1" was a single
header either, so I would still have gotten it wrong.

Works like a charm now, thank.

On Sun, Mar 27, 2016 at 1:42 AM, Jon Zeppieri  wrote:

> The `extra-header` parameter is a rest parameter, so you're supposed to
> pass one string per header, not a single string containing all of them.
> And, if you were going to send them all in a single string, you'd need to
> separate them with an \r\n sequence, not with semicolons. So pass two
> separate strings as the last two arguments:
>
> "Return-Path: "
> "Content-Type: text/html; charset=iso-8859-1"
>
> -Jon
>
> On Sun, Mar 27, 2016 at 1:18 AM, Marc Kaufmann 
> wrote:
>
>> Hi all,
>>
>> I am sending out emails with sendmail, and found a PHP thread [1] on the
>> headers one should include in order to be able to use html in the emails -
>> I want this only to make the links look nice, e.g. > href="i-am-long-and-ugly">Pretty.
>>
>> Unfortunately, adding "Return-Path: ;
>> Content-type: text/html; charset=iso-8859-1;" as the extra-header string to
>> sendmail has absolutely no effect and the html gets simply printed as text.
>>
>> I don't know whether this is due to Racket, sendmail, or the sendmail
>> configuration on my system, so let me know if I should look elsewhere for
>> solutions.
>>
>> Cheers,
>> Marc
>>
>> [1]:
>> http://stackoverflow.com/questions/15711700/php-mail-how-to-put-an-html-link-in-an-email
>>
>> --
>> 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.