Neo Posted October 10, 2022 Share Posted October 10, 2022 I think the title gets right to the point, but in case more info would be useful… I am looking for something like Lambda-the-Ultimate seems to have been during its truly active days, somewhere to discuss/learn/find references type theory, programming language theory, and category theory. I’m not a huge fan of stackoverflow in terms of just asking throwing questions into the void and having less than satisfactory means to continue a discussion, and Reddit has been pretty bare in terms of subreddits that I could find. Anyone with suggestions please chime in and if anyone has another specific area they are looking to get similar references for let’s hear those too. Comments URL: https://news.ycombinator.com/item?id=33147333 Points: 1 # Comments: 0 View the full article Quote Link to comment Share on other sites More sharing options...
Recommended Posts
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.