Comments on: V in Perl with parsing fix, keksum, and starter, plus the ill-fated vdiff http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/ The search for invariants Wed, 22 Apr 2026 14:17:27 +0000 http://polimedia.us hourly 1 By: Implementing V for Production Use « Ossa Sepia http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-572 Implementing V for Production Use « Ossa Sepia Tue, 25 May 2021 14:28:56 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-572 [...] first-hand experience with all the different ways in which *all* implementations of V so far (v.py, v.pl, v.sh & vtools) fail in practice as soon as applied to any production code base with all its [...] [...] first-hand experience with all the different ways in which *all* implementations of V so far (v.py, v.pl, v.sh & vtools) fail in practice as soon as applied to any production code base with all its [...]

]]> By: Jacob Welsh http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-290 Jacob Welsh Sun, 28 Jun 2020 03:38:01 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-290 I've corrected the awk "shell_quote" function shown here to use gsub rather than sub. I've corrected the awk "shell_quote" function shown here to use gsub rather than sub.

]]> By: A bevy of fixes for V in Perl « Fixpoint http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-289 A bevy of fixes for V in Perl « Fixpoint Sat, 27 Jun 2020 21:49:29 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-289 [...] small and independent fixes, building off the GNAT-demanding ksum/vpatch branch. Paralleling my previous work, the second swaps in keksum and patch to avoid the secondary compiler requirement (a change that's [...] [...] small and independent fixes, building off the GNAT-demanding ksum/vpatch branch. Paralleling my previous work, the second swaps in keksum and patch to avoid the secondary compiler requirement (a change that's [...]

]]> By: yrc re-genesis and patch for smooth scrolling and other fixes « Fixpoint http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-280 yrc re-genesis and patch for smooth scrolling and other fixes « Fixpoint Mon, 08 Jun 2020 06:51:44 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-280 [...] install, you will need a Keccak V implementation such as my v.pl starter, plus the patches and [...] [...] install, you will need a Keccak V implementation such as my v.pl starter, plus the patches and [...]

]]> By: Jacob Welsh http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-252 Jacob Welsh Tue, 21 Apr 2020 18:04:41 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-252 @Stanislav Datskovskiy: I'm speaking only of the Perl one. Should be an easy enough fix too, by memoization tables if nothing else, as seen in yours. @Stanislav Datskovskiy: I'm speaking only of the Perl one. Should be an easy enough fix too, by memoization tables if nothing else, as seen in yours.

]]> By: Stanislav Datskovskiy http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-250 Stanislav Datskovskiy Mon, 20 Apr 2020 22:11:10 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-250 @Jacob Welsh: IIRC in my original v.py, sort was O(n log n) (worst case) while pressing was O(n). At the same time, IMHO a vtree where this detectably matters, is obese. @Jacob Welsh:

IIRC in my original v.py, sort was O(n log n) (worst case) while pressing was O(n).

At the same time, IMHO a vtree where this detectably matters, is obese.

]]> By: Jacob Welsh http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-249 Jacob Welsh Mon, 20 Apr 2020 17:48:51 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-249 Algorithmic inefficiency is a serious drawback of this tool. I suspect the "toposort" is something like O(n^2 log n) while "traverse_press_path" is exponential, like the textbook Fibonacci example of how not to do recursion. This becomes acutely noticeable around 32+ patches. Algorithmic inefficiency is a serious drawback of this tool. I suspect the "toposort" is something like O(n^2 log n) while "traverse_press_path" is exponential, like the textbook Fibonacci example of how not to do recursion. This becomes acutely noticeable around 32+ patches.

]]> By: Selection and other sundries for MP-WP « Fixpoint http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-234 Selection and other sundries for MP-WP « Fixpoint Tue, 07 Apr 2020 04:49:13 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-234 [...] are four patches to the V-tree for Mircea Popescu's Wordpress, which amount to an approximation of the changes I've been running [...] [...] are four patches to the V-tree for Mircea Popescu's Wordpress, which amount to an approximation of the changes I've been running [...]

]]> By: Jacob Welsh http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-233 Jacob Welsh Sat, 04 Apr 2020 20:45:10 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-233 Cheers. Sorry for that pain; I tested as far as !!key but perhaps I've got some assumption to kill about things working because they once did and still say so on the label. I've added direct links on the contact page. Cheers.

Sorry for that pain; I tested as far as !!key but perhaps I've got some assumption to kill about things working because they once did and still say so on the label. I've added direct links on the contact page.

]]> By: Diana Coman http://jfxpt.com/2020/v-in-perl-with-parsing-fix-keksum-and-starter-plus-the-ill-fated-vdiff/#comment-232 Diana Coman Sat, 04 Apr 2020 16:42:35 +0000 http://fixpoint.welshcomputing.com/?p=113#comment-232 Thanks for the fixes and the sigs. I've mirrored the sigs on all as well as your 2 new vpatches (and my sig on the v_strict_headers one). As a side note: it was a pain to find your jfw_unchecked key - maybe update the contact page to list that one too and/or point to it? The wot.deedbot site lists anyway obsolete ratings currently but even asking deedbot directly for it didn't work this time. Thanks for the fixes and the sigs. I've mirrored the sigs on all as well as your 2 new vpatches (and my sig on the v_strict_headers one).

As a side note: it was a pain to find your jfw_unchecked key - maybe update the contact page to list that one too and/or point to it? The wot.deedbot site lists anyway obsolete ratings currently but even asking deedbot directly for it didn't work this time.

]]>