florence
2019-1-4 17:43:24

Clearly, you should learn Objective-C++, as thats all you ever need! :stuck_out_tongue:


greg
2019-1-4 18:36:20

:see_no_evil:


lexi.lambda
2019-1-4 18:58:23

@robby Is there a reason DrRacket’s column width guide counts pixels rather than actually counting the number of characters in a line? I have a font that renders some characters (notably unicode but also some non-unicode) slightly wider, so DrRacket complains about a line with 102 characters, but if I change the font it stops doing so.


lexi.lambda
2019-1-4 19:00:25

I find that behavior confusing: I wouldn’t expect changing the font to affect which lines DrRacket thinks are “too long”, given that enforcing a column width seems more about creating a standard shared amongst a team of people, and other people will likely not be using my exact font…


samth
2019-1-5 01:16:45

@ben I’m trying to use gtp-benchmarks and getting stuck. I want to generate the full tree of configurations and not run anything. How do I do that?