Richard Möhn
Richard Möhn
I'm trying to modify git-merge-po so that it accepts an option like -Xours. However, I have a hard time understanding how it works, not least because the documentation of the...
### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Read about bug reporting in general: https://rspamd.com/doc/faq.html#how-to-report-bugs-found-in-rspamd *...
There are several places in the code where a `Context` is constructed from datastore contents like this: ```python all_successors = [Context(args[0], db, args[1], parent=args[2]) for args in answer_successors + workspace_successors]...
For exercising Patchwork with random inputs. Implementation notes: - I don't know if the code involving threading is correct. - Leave many TODOs, because doing them would good, but isn't...
Exhibit 1: ``` What is your root question? > Question: [$1: ] Scratchpad: [$1: ] Subquestions: > ``` Exhibit 2: ``` What is your root question? > What is the...
``` What is your root question? > What is your favourite colour? Question: [$1: What is your favourite colour?] Scratchpad: [$2: ] Subquestions: > ask What is your favourite colour?...
Don't try to understand the title. Look at this scenario instead: ``` What is your root question? > Who wrote Gödel, Escher, Bach? Question: [$1: Who wrote Gödel, Escher, Bach?]...
It appears that the HTML source of nytimes.com was changed to HTML5 and the `div` tags for stories became `article` tags. As a result, the `*story-selector*` doesn't work anymore. My...