jryan49 | Dark Hacker News

user:	jryan49
created:	August 2, 2012
karma:	1.3k
about:	https://jryan.io https://intheofficetracker.com https://thingoboard.com email: jonathan.ryan at jryan.io

1.	Ask HN: Anyone else getting token limited at work now? 2 points by jryan49 15 days ago \| 1 comment
2.	Lean 4 Bug Found Incidentally by AI, "Proving" Collatz(twitter.com) 4 points by jryan49 22 days ago \| 0 comments