HackerTrans
TopNewTrendsCommentsPastAskShowJobs

moab

no profile record

Submissions

Recent Advances in LLMs for Mathematics [video]

youtube.com
2 points·by moab·5개월 전·0 comments

comments

moab
·2개월 전·discuss
I love it when people push back like this without suggesting the real reason. Can't think one can you? That too from a new sock puppet.
moab
·2개월 전·discuss
Bro, are we reading the same book? The book is totally uncritical of the subject and paints him like the second coming of christ. It feels like GDM wanted a canonization of Hassabis, and the writer simply obliged. Also, how does everything that GDM did keep coming back to some vague ideas in the guy's thesis? He is a great leader, no doubt, but him winning the Nobel Prize was just a huge joke.

Out of all the heads of AI orgs out there, Dennis is the best, but the book did him a disservice by painting an unrealistically sunny picture of him as some kind of visionary figure.
moab
·3개월 전·discuss
I'm not sure I agree. They're just essay prompts. One could write a bad essay that takes itself too seriously given the prompts, but one could also write a powerful essay starting from any of these prompts. I don't really see where you get the conclusion that students matriculating from these places have recently begun to be smoke-blowers that while possessing detailed knowledge of various arcana fail to produce anything useful.
moab
·3개월 전·discuss
Is anyone surprised? I'm reminded of how I felt during the NFT craze. LLMs are extremely powerful when used with deliberate care. Gas Town is the exact opposite of what is needed to actually do useful things in prod. I guess good on Steve for doing what he does so well, and getting so much hype around a vibe coded mess.
moab
·3개월 전·discuss
So to verify their claims and see how strong these models are, the answer is "believe us"?

Note: I'm expressing some skepticism here largely due to how recent rollouts from Meta flopped. Sincerely hoping that they do better this time around!
moab
·3개월 전·discuss
"Muse Spark is available now, and Contemplating mode will be rolling out gradually in meta.ai."

How does one get their hands on these models? They are not open-source, right? I go to meta.ai, but it's just a chat interface---no equivalent to codex or claud code? Can you use this through OpenCode? Is meta charging for model access, or is the gathering of chat data a sufficiently large tithe?
moab
·4개월 전·discuss
No. Read the book "Careless People". Meta leadership tried to downplay it by saying the stories are exaggerated. It seems doubtful to me.
moab
·4개월 전·discuss
I hope "OpenAI" gets the proverbial sword in the nuts once we get a change of government in this country. Probably unrealistic to hope for. Can a company be more hypocritical after openly bribing the pedophile in charge of this country?
moab
·4개월 전·discuss
How does Brockman sleep at night? These guys used to seem like standup ethical guys. It seems no amount of intellectualism is enough to ward off the poison of wealth.
moab
·5개월 전·discuss
Are you a professor at a R1 school? All the faculty I know at R1s (see CMU, MIT, etc) are doing quite a lot of teaching in addition to their research.
moab
·6개월 전·discuss
Let me use the discussion of coffee to plug what I believe is the most beautiful and long-lasting espresso machine currently out there (you'll hand it down to your grandkids): https://coffeegeek.com/reviews/firstlooks/cafelat-robot-espr...

I've pulled a few thousand cups of long espresso from this guy since we bought it two years ago. Much, much nicer and lower maintenance than a boiler machine. If one wants, you can go deep down the rabbit hole of heat control, etc. but even as a "just boil water and make espresso" machine it works great, with no fuss.

Unfortunately, after buying this thing I can't justify buying other coffee objects that are beautiful but would probably make worse coffee than the robot, e.g., the Moccamaster and other drip machines.
moab
·6개월 전·discuss
This is a bad take. The article makes it clear that most of them will lose money on the venture, and the reason the prices are high are due to status-mining chinese elites and traditional-medicine paranoiacs in vietnam. It's a pretty dismal situation.
moab
·7개월 전·discuss
The point stands that it's less about the language than doing said hard work in any reasonable programming language.
moab
·7개월 전·discuss
This is a very real worry for the AI rollout for the general population. But are folks here using AI to blow smoke up their asses as a sibling comment stated? I'd like to believe we're using it to ask questions, prototype, and then measure... not just blow smoke up there...
moab
·7개월 전·discuss
Napkin math is how you avoid spending several weeks of your life going down ultimately futile rabbit holes. Yes, it's approximations, often very coarse ones, but done right they do work.

Your question about what degree of parallelization is unfortunately too vague to really answer. SSDs offer some internal parallelism. Need more parallelism / IOPS? You can stick a lot more SSDs on your machine. Need many machines worth of SSDs? Disaggregate them, but now you need to think about your network bandwidth, NICs, cross-machine latency, and fault-tolerance.

The best engineers I've seen are usually excellent at napkin math.
moab
·7개월 전·discuss
You can do that by mowing, fyi.
moab
·7개월 전·discuss
You're entitled to your own opinion, but imo the point of posting anything on HN is to subject yourself to feedback. That's what I gave. Feedback.
moab
·7개월 전·discuss
How about not killing the weeds? One doesn't need to live a perfectly manicured pesticide-ridden hellscape.
moab
·9개월 전·discuss
Do you know of important real-world use-cases where cache-oblivious data structures are used? They are frequently mentioned on HN when relevant discussions like this one pop up, but I would love to hear about places where they are actually used in production.
moab
·7년 전·discuss
Because that's the radicalized ideology that pops up most often on 4chan. If you know of a board with a contingent of alt-left/identity-politics I would be interested to know. As you said yourself, the case of the second shooter seems to be related to Twitter, not the chans.