llm_trw

30 ms·

451.
by llm_trw 2y ago
EC2? It has not been under market value for a decade now. It used to take 12-24 months of on demand pricing to buy the hardware outright in the 00s. Today it's under 6 months for every instance type. With GPU instances being measured i
452.
by llm_trw 2y ago
That's what gets me about AWS. When it came out in 2006 the m1.small was about what you'd get on a mid range desktop at that point. It cost $876 a year [0]. Today for an 8 core machine with 32 gb ram you'll pay $3145.19 [1].
453.
by llm_trw 2y ago
We don't live in 1999 any more. A big machine with a database can serve ervyone in the US and I can fit it in my closet. It's like people are stuck in the early 2000s when they start thinking about computer capabilities. Today I h
454.
by llm_trw 2y ago
Remember when open ai was a not for profit?
455.
by llm_trw 2y ago
>Liberals and the left do not need the right to be online in the way that the right needs liberals and the left This is quite ironic considering that the last 8 years 'Liberals on the left' have done nothing but react to whatev
456.
by llm_trw 2y ago
>>I've just committed a hate crime and possibly called for genocide. >You might want to wish it away, but that doesn't change reality. My post was 4 sentences long and you skipped 2. Why even bother replying?
457.
by llm_trw 2y ago
Hoping that the people who made twitter what it is will somehow create a different outcome when doing the same thing is ... something.
458.
by llm_trw 2y ago
They are social networks not social media, social media is when you scream in a void and the void screams back. The latrinalia of our age if you will.
459.
by llm_trw 2y ago
Yes and? If it keeps 20% of the country alive during a twice in a century event that it's a good justification.
460.
by llm_trw 2y ago
You'd think that people would have realized this after Europe avoided mass death from Russian gas being cut off only because the winter was mild.
461.
by llm_trw 2y ago
I have provided dozens of examples. You have provided one.
462.
by llm_trw 2y ago
You have one counter example. How many 0.1 programmers are there using a debugger to blindly change values in the program in the hope it fixes the bug? I've seen dozens.
463.
by llm_trw 2y ago
I'd love for someone to explain to be how you can use a debugger cross half a dozen languages. Print works on everything from forth to python. In my experience you need to learn at least one debugger per language with a whole bunch of
464.
by llm_trw 2y ago
I find the people quick at fixing bugs are even quicker at introducing new bugs.
465.
by llm_trw 2y ago
It got put in vs code so mediocre developers can finally use it. Like all things they cargo cult it because they don't know how to use it properly.
466.
by llm_trw 2y ago
>Nobody has found a contradiction in (first or second order) ZFC in over a hundred years. Yes, which is exactly why we have guardrails like ZFC in place. We got all sorts of exciting results without them. We of course have to keep adding
467.
by llm_trw 2y ago
Godel starts by the assumption that the system is free from contradictions which makes his papers largely irrelevant here. Again, feel free to explain how you can have a second order logical system without axiomatic limitations that doesn&#
468.
by llm_trw 2y ago
Feel free to explain why.
469.
by llm_trw 2y ago
There is math the abstract field and math the concrete example you're working on. Current education is _extremely_ biased to concrete arithmetic and a bit of algebra. If you have a predisposition to either you will do extremely well. I
470.
by llm_trw 2y ago
Neither does OAI. Their service has been struggling for more than a week now. I guess everyone is scrambling after the new qwen models dropped and matched the current state of the art with open weights.
471.
by llm_trw 2y ago
It wasn't until the 1930s that people realised second order logic with arithmetic will always lead to contradictions without guardrails. Before then all mathematics was done in the object language of whatever the field in question was
472.
by llm_trw 2y ago
They are fundamental to the arithmetic used in analysis and algebra. One can get along quite well without them once you replace the arithmetic expressions with more general objects.
473.
by llm_trw 2y ago
In arithmetic. There is a lot more to math than arithmetic.
474.
by llm_trw 2y ago
You'd also be hard pressed to find one who doesn't know how to flush a toilet. Neither trivia has anything to do with being good at mathematics as done by mathematicians.
475.
by llm_trw 2y ago
>and plots an efficient route toward any capability goal through the required intermediate skills. LLMs currently can't find efficient paths longer than 5 hops when given a simple itinerary. Expecting them to do anything but a tacti
476.
by llm_trw 2y ago
There's a difference between being able to memorize what a square root is and being able to do math - which to mathematicians means being able to organize a proof. I've found that the people who most believe in math being a geneti
477.
by llm_trw 2y ago
Mathematics is the conversion of a large number of object languages in to a single meta language that lets us talk about all of them. The sin of modern mathematics is that it's meta language is so ill define that you need towers of sof
478.
by llm_trw 2y ago
If I hadn't pirated Photoshop when I was a kid I would have just never used it. The question here isn't that adobe would have seem more money, it's that a 12 year old would have not made some image macros.
479.
by llm_trw 2y ago
My favorite post of all time that I can no longer find: >Thesis: China is a backward country where basic hygiene is not followed and any animal will be eaten live and raw. >Antithesis: China is more advanced than many first world coun
480.
by llm_trw 2y ago
We need embodied AI for AI gfs.

More ›