John David Pressman
@jd_pressman
LLM developer, AI agents, synthetic data, scalable alignment, forecasting, behavioral uploading. Transhumanist.
All tweets public domain under CC0 1.0.
Joined February 2017
786 Following 10.5K Followers
Wrote a thread on the barriers to formally verified software and why LLMs make them mostly no longer relevant.
