lcdoutlet

6 ms·

1.
by lcdoutlet 6y ago
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. https://dumps.wiki
2.
by lcdoutlet 6y ago
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 on med-large datasets
3.
by lcdoutlet 9y ago
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.
4.
by lcdoutlet 9y ago
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 submitted code that had alrea
5.
by lcdoutlet 10y ago
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 applicat
6.
by lcdoutlet 11y ago
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 mach
7.
by lcdoutlet 12y ago
If you are still looking for a place to invest. I have a good business model and good references from a previous investor.