spdegabrielle
2020-7-15 08:41:58

thanks @jcoo092 Great Idea!

A quick review of the rules revealed that the contest uses docker files; and Racket isn’t in their collection :disappointed:

Fortunately, due to the hard work of @notjack I was able to log an issue and provide link to the Racket Docker images

https://github.com/icfpcontest2020/dockerfiles/issues/63 https://hub.docker.com/r/racket/racket/ based on repo https://github.com/jackfirth/racket-docker


jcoo092
2020-7-15 08:42:52

I did notice that Racket wasn’t there, and thought it was a bit odd - but it seemed like it was probably pretty much driven by who was asking for their favourite language to be included.


spdegabrielle
2020-7-15 08:43:53

(sorry I always hit enter instead of shift enter)


soegaard2
2020-7-15 12:44:37

Hi. Has this Reddit post of mine been “undeleted”? (or am I the only one that sees it on http://math.reddit.com\|math.reddit.com ?)

https://www.reddit.com/r/math/comments/hrm4cx/examples_of_online_math_books_with_nice/


george.privon
2020-7-15 12:53:34

when i view the page (logged in to reddit) it shows the posting as removed by a bot


soegaard2
2020-7-15 12:54:44

Thanks for looking. Is it listed on http://math.reddit.com\|math.reddit.com ?


soegaard2
2020-7-15 12:55:37

When it was removed - the bot commented on the post. I don’t know if “unremoving” a post also removes bot comments.


george.privon
2020-7-15 12:55:43

nope. (also, that redirected me to http://reddit.com/r/math\|reddit.com/r/math)


george.privon
2020-7-15 12:55:51

the bot comment was still there via the direct link


soegaard2
2020-7-15 12:56:01

Ok - good to know.


george.privon
2020-7-15 12:56:15

*nope -> no the post is not on http://math.reddit.com\|math.reddit.com


soegaard2
2020-7-15 12:57:21

I thought that http://math.reddit.com\|math.reddit.com was a better place to ask than http://mathematics.reddit.com\|mathematics.reddit.com (questions without a “correct” answer is frowned upon).

I was slightly annoyed when the bot removed the question - so I hope the moderators will fix it.


george.privon
2020-7-15 12:58:37

yeah, it seems like they should reinstate the post


george.privon
2020-7-15 12:58:44

good luck!


soegaard2
2020-7-15 12:58:51

thanks!



jcoo092
2020-7-15 23:09:07

Can confirm I am seeing it