dataminer's favorites

1.		Show HN: Cursor for Userscripts (github.com/chebykinn)
		56 points by mifydev 8 days ago \| 15 comments
2.		My Tamagotchi is an RL agent playing Slither.io (nkasmanoff.github.io)
		38 points by nkaz123 31 days ago \| 18 comments
3.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		326 points by barthelomew 4 months ago \| 175 comments
4.		Big Book of R (bigbookofr.com)
		288 points by sebg 10 months ago \| 111 comments
5.		Detecting when LLMs are uncertain (thariq.io)
		283 points by trq_ on Oct 25, 2024 \| 165 comments
6.		Ask HN: Which are your favourite machine learning blogs?
		80 points by alexmolas on Dec 31, 2022 \| 10 comments