Chad Sharp

What I did: ``` sudo pip install bipython ipython console & bipython ``` This is the traceback: ``` Traceback (most recent call last): File "/usr/bin/bipython", line 9, in load_entry_point('bipython==0.1.2', 'console_scripts',...

Adding proper spacing between functions sometimes separates comments from their associated functions

1

Example: ``` def foo(): pass # TODO: implement bar def bar(): pass ``` becomes ``` def foo(): pass # TODO: implement bar def bar(): pass ``` when it ideally should...

Right now if you shift the divider between the two code windows, the submission titles in the header stay in the same place which looks weird.

Manual should mention that style50 supports Python and Javascript (soon) as well.

1

We should link to PEP8 for python and document the modifications we've made (max line length relaxed to 132 characters and we require padding around operands, although maybe we shouldn't...

https://docs.cs50.net Obviously it is not ever linked to, but I imagine this isn't intentional.

Can't ptrace child started with subprocess.Popen from other child

2

I apologize if this is an ignorant question. I have a parent process which spawns two children and I need one of the children (created via `multiprocessing`) to be able...

This occurs because the `ZqPairsWithUnits` type family is called for every operation in the computation as well as every term in the resulting type (because of Cyc2CT) and for each...

Force key generation in PT2CT

1

Summary of our email correspondence on this subject: Currently, keys are generated on-demand which means that if it is never strictly necessary to generate a key, we don't. This has...

This seems like a useful method (I found use for it in a particular application) that as far as I can tell doesn't exist in the API. It isn't too...