kdtg

3 ms·

1. 1.▲
   by kdtg 9y ago

   Intractable problems i.e., the ones that can't be solve in polynomial time. Logic programming in general is NP-Hard, so it's suitable for NP-Hard problems (constraint satisfaction problems, backtracking, etc). If you try to solve
2. 2.▲
   by kdtg 10y ago

   For vim people living in terminal, I suggest cellmode plugin for vim ( https://github.com/julienr/vim-cellmode ). You can split tmux window into vim + ipython panes, and trigger the evaluation of selected vim lines by pr
3. 3.▲
   by kdtg 14y ago

   Penis. It's called a penis.