The is the second 'What are you working on?' thread. The last one is here. So here's the question:
What are you working on?
Here are some guidelines
Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started, those are for a different thread.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
This isn't really that important, but do you know if anyone has actually shown in a rigorous way that CDT two-boxes on Newcomb's problem?
No one has, because CDT isn't rigorous enough to bring into a proof framework without first disambiguating it, and there is at least one disambiguation that one-boxes and at least one disambiguation that two-boxes.
The is the second 'What are you working on?' thread. The last one is here. So here's the question:
What are you working on?
Here are some guidelines