ogogmad

27 ms·

541.
by ogogmad 4y ago
This might combine well with Sympy, especially to help with the var('x y z') nonsense. I think I'll install this.
542.
by ogogmad 4y ago
Citation?
543.
by ogogmad 4y ago
I think our operating systems are going to have this stuff installed one day. It might replace most uses of the CLI.
544.
by ogogmad 4y ago
GPT-4 is a lot better at things like that. That said, you'll either have to pay for it, or instead use some severely rate-limited but free interface you might find by asking around.
545.
by ogogmad 4y ago
:P See https://math.stackexchange.com/questions/75130/how-to-prove-... The OP uses the derivative of sin to find the derivative of arcsin. My point was that the other way round is sort of natural as well. Thought
546.
by ogogmad 4y ago
One technique for finding the derivative of the sin function is to find the derivative of arcsin first. The arcsin function can be expressed as the area of a certain figure, and therefore admits an expression as an integral. From this, the
547.
by ogogmad 4y ago
You keep making these very negative posts, where you sound very confident, but resort to either word salad or making things up. > not fucking up your data, modeling your tables correctly, and a SQL query And getting a pony. > Of the 1
548.
by ogogmad 4y ago
That makes sense, but what can be done with it?
549.
by ogogmad 4y ago
Do people know about Gab? Its CEO is an anti-semite and white Christian nationalist. How did Parler compare to that?
550.
by ogogmad 4y ago
See my comment above about your linear algebra implementation.
551.
by ogogmad 4y ago
I've just looked at the documentation for eigenvalues and eigenvectors in arblib. I was thinking that: - Eigenvectors are not computable in regions surrounding eigenvalue clashes. Therefore you should never compute them. - Let M be a s
552.
by ogogmad 4y ago
Haven't looked in any depth: How does this cope with functions like f(x) = x - x? Interval arithmetic sometimes produces very conservative bounds. If done well, rigorous interval bounds seem like they could be really useful.
553.
by ogogmad 4y ago
Which things can be embedded as low-dimensional vectors? [edit] How exactly might these be used in LLMs? Personally, I know of Word2Vec, but I don't see its relevance to LLMs like GPT.
554.
by ogogmad 4y ago
See my submission on Huang's Law: https://news.ycombinator.com/item?id=35546408
555.
Huang's Law (performance of GPUs doubles every 2 years)(en.wikipedia.org)
1 points by ogogmad 4y ago|1 comments
556.
Why is a matrix similar to its own transpose?(math.stackexchange.com)
2 points by ogogmad 4y ago|0 comments
557.
by ogogmad 4y ago
Combining it with AutoGPT (or the ideas it's based on) and a formal prover like Lean might be the answer. Have you tried? Basically, if you don't allow GPT to iteratively write, execute, criticise and then correct its code, you wo
558.
Can GPT 4 Prompt Itself? MemoryGPT, AutoGPT, Jarvis, Claude-Next [10x GPT 4!](youtube.com)
30 points by ogogmad 4y ago|1 comments
559.
GPT 4 Can Improve Itself (Ft. Reflexion, HuggingGPT, Bard Upgrade and More)(youtube.com)
2 points by ogogmad 4y ago|0 comments
560.
by ogogmad 4y ago
No
561.
New Orleans teens’ Pythagorean proof gains compelling evidence(theguardian.com)
5 points by ogogmad 4y ago|0 comments
562.
by ogogmad 4y ago
Explain?
563.
by ogogmad 4y ago
Probably in between. The point of my comment is that depending on how you interpret the description "predicts the next token", something that can do this well enough should be superhumanly clever. The task is "AI Complete&quo
564.
by ogogmad 4y ago
You can give it puzzles that require understanding cause and effect, and it'll get them right. So this comment is wrong. "Next token prediction" taken to a certain mathematical limit implies reasoning.
565.
by ogogmad 4y ago
From the Github page: Auto-GPT is an experimental open-source application showcasing the capabilities of the GPT-4 language model. This program, driven by GPT-4, autonomously develops and manages businesses to increase net worth. As one of
566.
Update for Auto-GPT: Code Execution(twitter.com)
1 points by ogogmad 4y ago|1 comments
567.
by ogogmad 4y ago
Why? I occasionally use them* for taxes and whatnot, and they pretty much work identically. The differences seem at best marginal. * - LO Calc and MS Excel.
568.
by ogogmad 4y ago
Is this because of compatibility and VBA macros? In a vacuum, what Excel does is straightforward, and there's lots of free alternatives. Don't get me wrong -- I think it's a great program, but I don't see anything unique
569.
by ogogmad 4y ago
That can't be good for all x. You mean x=π/4 or to 1dp.
570.
by ogogmad 4y ago
Link: https://www.theguardian.com/politics/2023/mar/31/sunak-priva...

More ›