jryan49's submissions

1.		Ask HN: Anyone else getting token limited at work now?
		2 points by jryan49 37 days ago \| past \| 1 comment
2.		Lean 4 Bug Found Incidentally by AI, "Proving" Collatz (twitter.com/gro_tsen)
		4 points by jryan49 44 days ago \| past
3.		Show HN: Thingo (thingoboard.com)
		2 points by jryan49 8 months ago \| past
4.		Show HN: In The Office Tracker – Track your RTO requirements automatically (intheofficetracker.com)
		3 points by jryan49 9 months ago \| past
5.		Show HN: In the Office Tracker (intheofficetracker.com)
		1 point by jryan49 10 months ago \| past
6.		Rewriting the Code of Life for Fun and Profit [video] (youtube.com)
		1 point by jryan49 on March 13, 2025 \| past
7.		Apple to Launch 'iPhone SE 2' in Early 2020 (macrumors.com)
		5 points by jryan49 on Oct 7, 2019 \| past \| 1 comment
8.		[flagged] Ask HN: Anyone think downvoting is starting to get out of control?
		33 points by jryan49 on July 25, 2018 \| past \| 47 comments
9.		Ask HN: How do you keep up-to-date on current frameworks/language trends?
		1 point by jryan49 on Nov 5, 2014 \| past