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: hello@michaelbjames.com

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.

It’s that third party doctrine that is so convenient when acquiring information otherwise requiring a warrant to obtain.

It's right up there with Wickard v. Filburn in terms of SCOTUS screw-ups.

Acting as a agent, used to anyway, mean the 4th amendment attached to the company

if they WERE NOT acting as an agent then the 4th would not apply. I think they way they get around that is not do not report to the FBI but instead to NCMEC a "non-profit"

> I think they way they get around that is not do not report to the FBI but instead to NCMEC a "non-profit"

No. The courts have already explicitly rejected the entity that NCMEC is a private entity. NCMEC can only handle child porn via special legislative permission and is 99% funded by the government.

The searches here are lawful because Apple searches out of their own free will and commercial interest and when there is something detected their employees search your private communications (which the EULA permits).

This is also why Apple must review the matches before reporting them-- if they just matched an NCMEC database and blindly forwarded then to NCMEC then it would be the NCMEC conducting the search and a warrant would be required.

Reporting to the government doesn't make you a government agent, doing the search at the direction of the government does.

If a private citizen, on their own initiative, searches your house, finds contraband, and reports it to the government, they may be guilty of a variety of torts and crimes (both civil and criminal trespass, among others, are possibilities), there is no fourth amendment violation.

If a police officer asks them to do it, though, there is a different story.

who in turn reports to the government?

No, the Fourth Amendment applies to private actors acting on behalf of the government.

> No, the Fourth Amendment applies to private actors acting on behalf of the government.

It applies to private actors acting as agents of the government, it doesn't apply to private actors who for private reasons not directed by the government conduct searches and report suspicious results to the government (other property and privacy laws might, though.)

So the 4th Amendment doesn't cover Apple voluntarily inducing their devices to check for CSAM prior to cloud upload.

But the 4th Amendment would cover Apple being forced to modify their system to scan for anything else the Government has told them to.

That's correct. If the government asked them to do it, then it would require a warrant to conduct the search.

Why stop there? Instead of getting pesky warrants to search apartments, the government could just contract the landlord to do the search for them. After all, the landlord owns the property and ownership trumps every other consideration in libertarian fantasy-land.

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

And TRIM for SSDs.

I have been running RCs for some time and both TRIM and encryption have worked fine.

Do you know/notice the performance difference from encryption?

I haven't measured it, but it will use AES-NI instructions when available.

I don't notice a difference in daily use.

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).

I think you may have gone to the wrong address. The second link in the article is the most recent implementation (using a virtual DOM)

http://evancz.github.io/elm-todomvc/