About a month ago, I made a thread to recruit people to our group-studying chatroom. We focus on mathematics, philosphy and computer science. We recently finished our Logic I course, and I'm reposting to see if more people are interested in joining. This sunday, we're continuing with a Logic II course (using the book openlogic), but we decided to also undertake more reading projects. Along with Logic II, we're doing SICP and 'Goedel, Escher, Bach'. you can join the related channels and freely participate in the reading/discussion. But for anyone who can suggest a work related to the subjects I mentioned earlier, and gather enough interest for it, we'll provide support and a channel for it.
If you decide to join, you just have to leave an email here so I can invite you to our slack team. The email can be a throwaway, you will only need it to activate the account I think.
SICP is interesting, you guys using Racket for it or something else? There's a couple examples in edition II that need tweaks even with DrRacket's sicp packages
I joined you guys last time, but now I can't login to the group? It says pic related, can you reactivate me? I did some stuff of the previous course, but I wasn't super active in chat, would that be the reason? My mail is [email protected]
Recruitment is over. This is now an a n i m e thread~
Camden Hall
Damn, missed it by a few hours. Could I please be added at [email protected]? I saw it a couple days ago, but procrastinated on making a throwaway email.
