
@jesse.alama has joined the channel

Is it OK if I join the RacketCon virtual biergarten on Friday at 5 pm Central European Time? With a real beer. Asking for a friend.

More seriously: could we open up the space so that Racketeers in Europe or other places far from the US could join in at 5 pm, for them?

the main event on Saturday and Sunday keep their times, of course; I just mean the virtual biergarten

Sounds good… like that we can have a beer at 5pm and again at 8pm…

now that I am thinking about it, we can have a stream of continuous beers from 5pm onwards…

goes stock up on beer!

wonders how I’ll appear to the Americans showing up at their virtual biergarten, after having begun hours earlier…

@mihaidobri has joined the channel

Hello! Is anybody offering tutoring (as a service) ? I need a little support with a project.

IDK but questions and answers are free here :grinning: - #general is fine but there is also a specific #beginners channel if you think that is a better fit.

thank you!

Is anyone able to test out this issue https://github.com/racket/racket/issues/3430 on their machine? I’d like to check if it happens elsewhere (particularly on non-linux systems).

@samth I got
$ raco test proxy-server.rkt
raco test: (submod "proxy-server.rkt" test)
raco test: @(test-responsible '(mflatt))
4 tests passed

on Mac

Racket 7.8 CS

@sorawee how long did it take?

12:04:06 PM – 12:06:40 PM

So two minutes and a half

very odd

because it changed from 3 seconds to 5 minutes in DrDr 3 weeks ago with no changes in anything at the same time that I can find


My Racket is at 73053d7a60668f5b5f74aef6dc (Oct 2), FYI. Not up-to-date, but definitely after the change that broke DrDr.

In our class we ask students to setup the line length warning to 80 characters (Preferences>Editing>General Editing). As part of our style guidelines we then dock marks for people who submit code with longer lines. But on our recent midterm I’ve now had two students show me that the setting somehow changed to 102. Does anyone know of a scenario where that could happen?

@mflatt aha, I missed that it connected to an outside service. Trying to connect in my browser to that port on http://q.com\|q.com times out. The test was added in https://github.com/racket/racket/pull/1411, but there wasn’t any discussion of that site or why that port is used.

Out of curiosity, why were polymorphic types and type constructors unified?

I think “it seemed like a good idea at the time” is one answer.

Another answer is that I didn’t really know what I was doing, and if you squint, they’re related.

102 is the recommendation in the racket style guide, which seems too coincidental to be unrelated

(it’s a bizarre choice, honestly)