4 ms·
This article on hackernews reads the same as "Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data" would on conkernews.
by hettygreen 2y ago
This article on hackernews reads the same as "Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data" would on conkernews.
- qwertox 2y agoI'm also pretty disturbed by it being here. Even worse on place #1.
- Sebguer 2y agoI'd recommend finding more important things to be disturbed by.
- HocusLocus 2y agoHijacking page on place#1 to post this: https://www.youtube.com/watch?v=-rP3AAjsiqY https://www.youtube.com/watch?v=-rP3AAjsiqY "Show HN: Two purple Conkers.. and one yellow honker. In Python using PyBangSwackThump With Fleshy Bits"
- winwang 2y ago#1 does feel a bit much but I don't mind getting a kick out of titles/situations which could be interpreted immaturely.
- vultour 2y agoI'd rather read and learn about conkers than another snake oil AI / crypto blogspam.
- Cthulhu_ 2y agoIt's almost like people upvoted it or it's quiet. Commenting on it won't help; downvote it if you want, upvote things you do want to see. I for one am here for the random things that pop up on occasion. I have zero interest in LLMs and crypto-bollocks (mainly because I'm not earning money off of it)
- dang 2y agohttps://hn.algolia.com/?dateRange=all&page=0&prefix=false&sort=byDate&type=comment&query=diffs%20interesting%20by:dang https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...
- 1oooqooq 2y agoi also though i was on conckernews. the same colorscheme doesn't help! i guess HN is out of kleptocoin or infinitesimal LLM overoptimization war stories today and had to find something to plug the top story spot.
- oytis 2y agoI'm not into AI, so both read approximately the same to me.