michaelbjames

  Location: NYC
  Remote: Willing
  Willing to relocate: Yes (US only)
  Résumé/CV: https://michaelbjames.com/files/michaelbjamesresume.pdf
  Email: hello-at-michaelbjames-dot-com

I work on human-AI collaborative programming. My PhD research built a theoretical framework to understand how programmers use Copilot. I extended this framework to improve the experience using an AI programming assistant.

I want to continue improving the lives of developers through a combination of both probabilistic and formal AI techniques.

Seeking: Research Engineer / Research Scientist / AI Engineer / AI Scientist roles.

  Location: New York
  Remote: Willing
  Willing to relocate: No
  Technologies: Python, Typescript, Program Synthesis, User Research, LLMs, IDE-development (vscode)
  Resume: michaelbjames.com/files/michaelbjamesresume.pdf
  Email: [email protected]

6 years work and PhD in Human-AI collaborative programming. I work to make programmers better at their jobs through more effective tooling. I have discovered and solved usability issues in developer workflows.

3 years as a SWE at Uber and a small startup, working with web and mobile technologies.

As I understand, they're acting as an agent of the government, it's a private company. So, the 4th amendment protecting against unreasonable searches _by the government_ does not apply.

This is big: it finally mainlines the native encryption work.

I like the ideas of the article. An abstraction over IO and being able to distinguish between inherently serial operations and parallel ones on a different level are good ideas. I do not think this article exemplifies these benefits. Instead, it focuses much time on implementing a toy DSL. I want to see what Free can do but IO cannot (functionally or stylistically).