Jason Rute

icon indicating a website link jasonrute.github.io

icon company @ibm icon location Greater Boston, MA icon location Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

Results 18 comments of Jason Rute

Support Lean 3.15.0 (including widgets)

Also, thanks for the flag info! That would be good to know for any apps currently using the server (like my refactor app which I gave Johan).

Continuous integration

Do you mind if I take a stab at setting it up? I'd like to understand how this stuff works better.

Freezes if you sync an unchanged file

This is addressed by PR #5.

The root of some of our problems with `commands.py`

I agree it should stay inside this file. I can add it after we merge the other PRs.

The root of some of our problems with `commands.py`

Right now there is a back log of PRs that precede this, including #3 (testing) and #5 (not requiring line and column). Now, I guess I don't need either of...

The root of some of our problems with `commands.py`

Also, another reason for the delay is that I took a month long break from working on any of this code. Once the interest increased recently, I knew I had...

The root of some of our problems with `commands.py`

I've been working on this. It is going well. I'm finding (and fixing) a lot of bugs in `commands.py`. Also here is how this relates to other PRs and issues:...

The root of some of our problems with `commands.py`

@gebner > the unspoken assumption with JSON-based protocols is that it is always safe to add new fields, and we explicitly reserve the possibility of adding new fields in the...