[racket-users] Running DrRacket on Chromebook

[Shu-Hung You]

Hi Racketeers,

How can I run Racket/DrRacket on a Chromebook?

I found two ways to run Linux on top of Chromebook, and thus two ways
to run DrRacket:

1. Built-in Linux (Beta) App
2. Crouton, but requires entering developer mode

When Linux App is not available, is Crouton the only option left?

Best,
Shu-Hung

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAMTzy%2BY4Qo5_qSiz22tjSGzH8kiHiW8LSOcV2WWcM1CG0r8MAQ%40mail.gmail.com.

[racket-users] problem with :user-error-message in handin server

[David Bremner]

Apologies if this appears twice. I sent the first one before being
subscribed, so suspect it might just have been black-holed by google.

I'm using the latest handin package for the handin server source,
installed with "raco pkg install handin". The server is running racket
7.2.

I'm trying to make the handin server accept erroneous submissions but
add a header line, following the example from the handin server
documentation I pass the following as :user-error-message

(lambda (msg)
  (add-header-line! "Erroneous submission!")
  (add-header-line! (format "  --> ~a" msg))
  (message (string-append
"You have an error in your program -- please hit"
" \"Run\" and debug your code.\n"
"Email the course staff if you think your code is"
" fine.\n"
"(The submission has been saved but marked as"
" erroneous.)")
   '(ok))
  (message "Handin saved as erroneous." 'final))

This cause the desired dialog box to pop up, but after I press OK I get
a "Server Error" popup "while evaluating #: application: not 
a procedure".

I don't really understand where the identifier "evaluator-message" is
defined, it shows up only in the .zo file for handin-server/checker.rkt.

In case it helps I attach the checker.rkt for the assignment in
question.

I'm triggering the error with a (/ 1 0) in the submission, but the type
of error does not seem to matter.

On a related topic, assuming I can get that to work, I'd like to do
something similar for !test. What's the easiest way to do that? Do I
need to use @test from the grading utilities? I basically just need to
call add-header-line! on test failure.

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/87eewbgeyp.fsf%40tethera.net.


checker.rkt
Description: Binary data

[racket-users] POPLmark Retrospective Panel at POPL: Come, and send us your questions!

[Talia Ringer]

Hi all,

As many of you book your tickets to New Orleans for POPL,* I’d like to 
encourage you to be there on* Tuesday, January 21st (the day before POPL, 
or the last day of CPP) for the POPLmark 15 Year Retrospective Panel 
.
 
This panel will take a look back at the influential POPLmark Challenge 
 for mechanized metatheory 15 
years later, with an eye toward the future. It should be an exciting panel 
for anyone who is interested in proof assistants, mechanized metatheory, 
and in benchmark suites and challenges to help the POPL community more 
broadly. .

We have some stellar panelists:


   - 
   
   Benjamin Pierce (Penn)
   - 
   
   Peter Sewell (Cambridge)
   - 
   
   Xavier Leroy (Collège de France)
   - 
   
   Robby Findler (Northwestern)
   - 
   
   Scott Owens (Kent)
   - 
   
   Brigitte Pientka (McGill)
   

We want to make sure this is a fun and engaging panel, so if you have 
anything you’d like to hear the panelists discuss, we’d love your questions 
ahead of time (we’ll of course also take questions in person at the panel). You 
can send questions using this form 
.
 
No need to shy away from controversy (we have a great moderator), and don’t 
worry if you aren’t sure if your question is worth asking. Just send us 
anything you’d like to hear about related to the POPLmark challenge, 
mechanized metatheory, and benchmark suites and challenges.

Here are just a few examples of what we hope to discuss:


   - 
   
   What did we learn about different proof assistants and different binding 
   styles from the challenge itself?
   - 
   
   What happened in the years immediately following the POPLmark challenge?
   - 
   
   What about POPLmark led to its impact? What can we learn from that in 
   designing future benchmark suites for mechanized metatheory, and for 
   programming languages in general?
   - 
   
   What has changed since 2005, and what new challenges has this brought 
   with it?
   - 
   
   What problems raised in POPLmark were underaddressed? How can we address 
   them?
   
This is completely free if you’re registered for POPL—no need to sign up 
separately! Just show up on January 21st. Hopefully see you there!

Talia Ringer (UW)

http://tlringer.github.io/ 

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/852e3d38-8519-4321-adc3-42cef4d612e5%40googlegroups.com.

[racket-users] Racket News - Issue 23

[Paulo Matos]

The Racket News Happy New Year Issue is here.

Issue 23 still hot off the press just for you.
https://racket-news.com/2020/01/racket-news-issue-23.html

Coffee time - enjoy!

Paulo Matos

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/eb7457d3-1eac-4f4c-85ab-f08bfb911d46%40googlegroups.com.

Re: [racket-users] Re: macOS 10.10 Yosemite?

[Robby Findler]

On Tue, Jan 7, 2020 at 6:10 AM Hendrik Boom  wrote:
>
> On Sat, Jan 04, 2020 at 03:04:32PM -0600, Robby Findler wrote:
> > No Yosemite users to be found?
>
> I seem to have inherited my wife's Mac, and am thinking of trying it out.
> I haave no idea how to use a Mac, the scrolling works in the opposite
> direction to what I'm used to and I can't get to the introductory help
> page by some kind of permission constraint.  I can get to a Unix shell.
>
> How can I find out if it's running Yosemite?

>From the apple menu in the upper right, select "about this mac". The
resulting window should say which version of the OS you have. But
perhaps James's analysis suggests it is unlikely to report 10.10.

Robby

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdOP8kRKXRWUuH7nYMS-ub%2BTY-2YBxMwQN1W1oJPsZamTQA%40mail.gmail.com.

Re: [racket-users] Re: macOS 10.10 Yosemite?

[Hendrik Boom]

On Sat, Jan 04, 2020 at 03:04:32PM -0600, Robby Findler wrote:
> No Yosemite users to be found?

I seem to have inherited my wife's Mac, and am thinking of trying it out.
I haave no idea how to use a Mac, the scrolling works in the opposite 
direction to what I'm used to and I can't get to the introductory help
page by some kind of permission constraint.  I can get to a Unix shell.

How can I find out if it's running Yosemite?

-- hendrik

> 
> Robby
> 
> On Mon, Dec 23, 2019 at 8:36 AM Robby Findler  
> wrote:
> >
> > We recently changed a library that DrRacket uses on macOS 10.10 and
> > later, but have only a 10.11 version to test on. Does someone have
> > version 10.10 running that they can download the current Utah snapshot
> > build and report if DrRacket starts properly and if tabs seem to work
> > properly (creating a new tab (cmd-t), switching between tabs)?
> >
> > This is the place to download it: https://www.cs.utah.edu/plt/snapshots/
> >
> > Thanks!
> >
> > Robby
> 
> -- 
> 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.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/CAL3TdOPHCpNhqo_rgrKmy8SqszDdkBXAzba-uqFTRsPZrW%2BMAg%40mail.gmail.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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/20200107120958.dfzxojsz47zltb46%40topoi.pooq.com.

[racket-users] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[p.achten]

-
 Final call for papers
21st Symposium on Trends in Functional Programming
  tfp2020.org
-

Did you miss the deadline to submit a paper to Trends in Functional 
Programming
http://www.cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late! 
Submission is open until January 10th 2020, for a presentation slot at the 
event 
and post-symposium reviewing.

The symposium on Trends in Functional Programming (TFP) is an international 
forum for researchers with interests in all aspects of functional 
programming, 
taking a broad view of current and future trends in the area. It aspires to 
be 
a lively environment for presenting the latest research results, and other 
contributions. 

* TFP is moving to new winter dates, to provide an FP forum in between the 
  annual ICFP events.

* TFP offers a supportive reviewing process designed to help less 
experienced 
  authors succeed, with two rounds of review, both before and after the 
  symposium itself. Authors have an opportunity to address reviewers' 
concerns 
  before final decisions on publication in the proceedings.

* TFP offers two "best paper" awards, the John McCarthy award for best 
paper, 
  and the David Turner award for best student paper.

* This year we are particularly excited to co-locate with Lambda Days in 
  beautiful Krakow. Lambda Days is a vibrant developer conference with 
hundreds 
  of attendees and a lively programme of talks on functional programming in 
  practice. TFP will be held in the same venue, and participants will be 
able 
  to session-hop between the two events.


Important Dates
---

Submission deadline for pre-symposium review:   15th November,2019  -- 
passed --
Submission deadline for draft papers:   10th January, 2020
Symposium dates:13-14th February, 2020
 
Visit tfp2020.org for more information.

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/38428f3d-19f4-48c4-a845-72c7fa410d05%40googlegroups.com.