Ayman Nadeem

Last week, I launched my new product from my hospital room in the antepartum unit.

Like many developers, I’ve spent most of the past year vibe coding.

LLMs continue to push the boundaries of content generation, but they can struggle when the output needs to follow very strict rules, like writing code, generating formulas, or creating markup languages (like JSON or HTML).

I’ve been diving back into static analysis and programming language theory after a 4 year hiatus.

During YC, the group partners’ constant refrain about remaining intellectually honest and prioritizing customers needs seemed almost redundant.

I started using Copilot as a GitHub employee when it first emerged, long before it was available publicly.

On October 30, 2023, while President Biden issued the Executive Order to create AI safeguards, I spoke on a panel for the Practicing Law Institute (PLI) conference, Online Platforms and Popular Technologies 2023: Legal and Regulatory Responses to Technolo…

At this point, it is well known that the SCOTUS decision to overturn Roe v.

This article was published in the Communications of the ACM and in the ACM Queue issue on static analysis.

This is a rough outline of an idea I am experimenting with.