jryan49

1,338 karmajoined August 2, 2012On HN

https://jryan.io https://intheofficetracker.com https://thingoboard.com email: jonathan.ryan at jryan.io

Recent submissions

Ask HN: Anyone else getting token limited at work now?
2jryan491mo1 comment
Lean 4 Bug Found Incidentally by AI, "Proving" Collatz twitter.com
4jryan491modiscuss

All submissions and comments on Hacker News.