Jujutsu’s changelog (https://jj-vcs.github.io/jj/latest/changelog/) goes all the way back to 2022 and shows there was a release as recently as two weeks ago. I don’t see why the maintainers would stop at this point.
> I (Martin von Zweigbergk, martinvonz@google.com) started Jujutsu as a hobby project in late 2019, and it has evolved into my full-time project at Google, with several other Googlers (now) assisting development in various capacities.
An excellent example of why dash length matters. Because of the wrong usage of ‘—’ and ‘-’, it took me 10 more seconds of rereading and re-parsing your comment to understand what that first sentence meant.
I see what you did in the second paragraph too. It’s another example of “a millimeter of difference in the length of a line” mattering in that it looks weird, though it’s not much harder to read.
The undotted small "i" character comes from the modern Turkish alphabet. It's perhaps only slightly disorienting for an English reader to slightly shorten some letters that are just lines in a sans-serif font. In Turkish though, a millimeter of line can make an entirely different letter.
Being able to render a variety of line lengths with different meanings is a cool and useful thing.
That’s a misreading of the phrase “proportion of YES votes”. If 30% of judges vote YES, then only 30% – not 100% – of the prediction’s market cap is awarded to those who bet YES. The remaining 70% of the market cap is awarded to those who bet NO.
The market correctly rewards those who bet NO in such a case. Therefore, bettors have no reason to bet YES if they really think NO.
> [The Manifold prediction market] only requires 30% of judges to vote YES for it to resolve to YES.
That’s a misreading. If 30% of judges vote YES, then only 30% of the prediction’s market cap is awarded to those who bet YES, while the remaining 70% of the market cap is awarded to those who bet NO. The market correctly rewards those who bet NO in such a case. Therefore, bettors have no reason to bet YES if they really think NO.
Finder already has equivalent functionality. You can Copy (Command-C) a file, then Paste and Move (Option-Command-V) it to the destination.
I think those are better names for the two steps of moving files than Cut and Paste. Cut implies deleting the file immediately, which isn’t what Cut does in file browsers that support such a command.
Yeah, I was about to post that it looked like some hybrid of a voronoi diagram and a treemap. More about those diagram types that can be combined in this manner:
Also, from Jujutsu’s README (https://github.com/jj-vcs/jj#mandatory-google-disclaimer):
> I (Martin von Zweigbergk, martinvonz@google.com) started Jujutsu as a hobby project in late 2019, and it has evolved into my full-time project at Google, with several other Googlers (now) assisting development in various capacities.