Viewing profile — kdtg

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 …

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 th…

Penis. It's called a penis.