I sub­mit­ted the paper to FOPARA this after­noon. It’s not a fant­astic paper, but it’s not too bad. I prob­ably say that about every paper. The scheme we came up with for bounds infer­ence was slightly hair­ier than I’d hoped which means there were a lot of loose ends to track down while stay­ing within the page limit.

In any case I’m pretty excited about that being done. I can relax a bit and do more imple­ment­a­tion work before LCC.

On a note of annoy­ance, I put a link in the paper to the Pola pro­ject home only to find that Red­mine stopped work­ing about two days ago. Dream­host may have done an upgrade of Rails or some­thing, I’m not sure, but it’s a prob­lem I didn’t fore­see. I’ll have to try to fix it tonight or tomorrow.

I submitted the paper to FOPARA this afternoon. It's not a fantastic paper, but it's not too bad. I probably say that about every paper. The scheme we came up with for bounds inference was slightly hairier than I'd hoped which means there were a lot of loose ends to track down while staying ...