oersted

11 ms·

181.
by oersted 10mo ago
Indeed, the way out of that is also broad collaboration, sometimes not peaceful or clean. And the last century showed that this also works at a large scale, we all got a lot richer as a global community by letting poor countries develop and
182.
by oersted 10mo ago
This doesn't make sense to me, our current prosperity is founded on an enormous mountain of collaboration and shared beliefs. Usually not out of selflessness of course, often guided and forced by strong leadership and/or strong in
183.
by oersted 10mo ago
I understand that, but if "/", and other common operators, don't mean what they means on paper, you can prove things that would be untrue if copied onto paper (kinda). You can indeed prove "1/0 = 0", which
184.
by oersted 10mo ago
Throughout history, real social conversations and movements have happened around thought leaders that dedicate their lives to painstakingly understanding and expressing a certain point of view on a set of issues. Be it in written form or th
185.
by oersted 10mo ago
This is a really good explanation, but it reinforces my understanding that these “junk maths” are literally undefined behavior as in C and such. They are not defined (in maths), you are not supposed to trigger them, so they can be anythin
186.
by oersted 10mo ago
This is very interesting. What happens if you keep pulling the thread and construct large theories on such abstraction-layer-breaking theorems? Would we arrive at interesting things like pulling the thread on sqrt(-1) for imaginary numbers?
187.
by oersted 10mo ago
Sure the gaming hardware landscape is likely to change, but it won’t be up to Nvidia’s decision. If it remains a viable business, it will thrive whether Nvidia is in it or not. They’ve become a big name now with AI, but they were never the
188.
by oersted 10mo ago
I don’t understand why most people in this thread think that this would be such a big deal. It will not change the market in significant negative or positive ways. AMD has been at their heals for a couple of decades and is more competitive
189.
by oersted 10mo ago
Indeed there are more explicit versions of such mechanisms, which I prefer, otherwise there’s always a bit of paranoia about recursion without assurance that the compiler will handle it properly.
190.
by oersted 10mo ago
For people that like functional style and using recursion for everything, TCO is a must. Otherwise there’s no way around imperative loops if you want decent performance and not having to worry about the stack limit. Perhaps calling it an “o
191.
by oersted 10mo ago
It was quite different when I tried it again. Still fairly fixated on the last month, but it is definitely better.
192.
by oersted 10mo ago
I did like it, but for me it was fixated on 3-5 comments from the last 1-2 months that got a few more upvotes. It didn’t really work as an overview for the year. Still, a pretty cool thingy :)
193.
by oersted 10mo ago
I don't think that's true. Consider that the "reasoning" behaviour trained with Reinforcement Learning in the last generation of "thinking" LLMs is trained on quite narrow datasets of olympiad math / progr
194.
by oersted 10mo ago
LLMs certainly struggle with tasks that require knowledge that is not provided to them (at significant enough volume/variance to retain it). But this is to be expected of any intelligent agent, it is certainly true of humans. It is not
195.
by oersted 10mo ago
The motivation itself is quite fresh and compelling even as a standalone article. https://sdiehl.github.io/zero-to-qed/02_why.html
196.
by oersted 10mo ago
I do appreciate you taking the time to respond. I wish you luck. I suppose I was frustrated due to a mismatch of expectations and the fact that I do things like this every day with AI, it feels rather trivial to me. But I can see how it may
197.
by oersted 10mo ago
I was quite underwhelmed by the demo, I'll try to be as constructive as I can. The core functionality I expect for such a service is for it to automatically detect who I am, I've seen other marketing services do this, there are wa
198.
by oersted 10mo ago
Remember Conglomerates? It just keeps changing name. Free competitive markets are not an emergent natural phenomenon, they are a technology of civilised societies, and without governments constantly keeping markets free, we keep reverting b
199.
by oersted 10mo ago
In practice, just the act supporting the lesser of the two evils has brought so much more evil. If you want to do good, fine, but make sure you are smart about it and actually achieve that aim. The US has shown that its not good at this, re
200.
by oersted 10mo ago
No, that's not at all what I said, read it back please. My point is that history has shown that such action is extremely counterproductive if you actually care about doing good for people under such regimes, particularly when the decis
201.
by oersted 10mo ago
He did just get the FIFA Peace Price that was created out of thin air this year :) Yes FIFA as in the football/soccer league.
202.
by oersted 10mo ago
When US initiates aggressive unilateral military action on other sovereign countries, US bad yes, of course. Old-school UN-led "police action" as in Korea is one thing, at least there's a somewhat universal institution making
203.
by oersted 10mo ago
While I like the sentiment, we have to be somewhat pragmatic. The sanctions on Russia have had a deep impact on the EU economy, mainly the energy crisis and other connected systemic consequences. Germany and much of central and eastern EU b
204.
by oersted 10mo ago
By the “sewage” analogy you are expressing the assumption that the vast majority of what people write is outright toxic and that being exposed to it is actively hurtful. My experience on the internet does not reflect this, this is a very pe
205.
by oersted 10mo ago
I do think it's an interesting idea, I'm just musing. I think a worker-owned for-profit union might quickly start hiring other kinds of workers and become a regular worker-owned company, because often selling actual end products a
206.
by oersted 10mo ago
Great and terrible things have been done from: > We did it not because it was easy, but because we thought it was easy.
207.
by oersted 10mo ago
That's a fair point, I appreciate being taught something new.
208.
by oersted 10mo ago
Agreed, but antitrust law has had a deep enforcement problem for a long time. It's too open-ended and up to interpretation, perhaps fundamentally so as a concept. It's not easy to clearly delineate a market and prove the dominance
209.
by oersted 10mo ago
I hate to get into this, but I'm impressed by the ideological juggling. A conspiracy theory about minorities being anti-minority to weaken the majority by provoking them to anger against minorities? I suppose I'm falling for the t
210.
by oersted 10mo ago
I feel like you are overthinking it. There's a segment of the population that share a set of values, they are collectively more active than average in imposing their worldview on the rest, and they've had a strong momentum towards

More ›