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. The dataset can be found here.…
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 have also encountered situations using rg…
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 imagine a pipeline where people…
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 adding similar search options to your…
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 on machine learning. you will need to…
If you are still looking for a place to invest. I have a good business model and good references from a previous investor.
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. The dataset can be found here.…
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 have also encountered situations using rg…
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 imagine a pipeline where people…
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 adding similar search options to your…
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 on machine learning. you will need to…
If you are still looking for a place to invest. I have a good business model and good references from a previous investor.