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.
加入 February 2017
786 正在關注 10.5K 粉絲
Wrote a thread on the barriers to formally verified software and why LLMs make them mostly no longer relevant.
