Oddbean new post about | logout
▲ ▼
Derek Ross | 4 months ago (raw) | full thread 
 Oh so that's what that PR was for that I  saw recently being merged.