[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
Logic programming works mainly on DFS, and while this can be parallelized there's a limited number of threads you can throw at shit What if you modified the algorithm to pick a very good branch on the graph every time by using machine learning?
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode