Viewing profile — lcdoutlet

Thank you for your reply. Again, I am big fan of your work specfically rg and fst. I apologize for mentioning this without submitting bug reports. I will do so in the near future. …

I am a big fan of ripgrep. I think the tool is great for quick simple searches. On larger data sets with sufficiently complicated regex patterns the performance gap is small. I hav…

http://www.cl.cam.ac.uk/~jrh13/hol-light/ The author John Harrison who works at Intel has used his theorem proving application hol-light in doing verification on large code bases.

Nice Post! I think tools that enable formal reasoning about code are incredibly valuable. Just going through the process the author was able to find and fix three bugs. Could you i…

Cool project! I currently use http://surfraw.alioth.debian.org/ along with w3m and it works great but does not appear to be currently maintained. Would you have any interest in add…

To install http://tensorflow.org/get_started/os_setup.md They have some general walkthrough tutorials http://tensorflow.org/tutorials/mnist/beginners/index.md and a nice overview o…

If you are still looking for a place to invest. I have a good business model and good references from a previous investor.