What are you working on? July 2013

David_Gerard

This is the supposedly-bimonthly-but-we-missed-April-and-June-2013 'What are you working On?' thread. Previous threads are 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.
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.
Link to your work if it's linkable.

This is the supposedly-bimonthly-but-we-missed-April-and-June-2013 'What are you working On?' thread. Previous threads are 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.
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.
Link to your work if it's linkable.

Working on a new TDT writeup for MIRI.

Working on my classes for SPARC.

Writing a long series of math blog posts around the interface of logic, type theory, and category theory. I may not be able to summon the willpower to get through every topic I want to cover, but if I do then the light at the end of the tunnel is homotopy type theory, and I may also attempt to learn Haskell as a side effect.

Why Haskell and not Coq or Agda? That's where all the HoTT stuff is being done anyways.

0Ben Pace13y

As someone who didn't get past the second round of the SPARC applications this year, have you any recommendations of how I might be able to get a similar education at all?

15

What are you working on? July 2013

15

15

15

What are you working on? July 2013

15

15