Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
vouaobrasil
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
31.
▲
by
vouaobrasil
1mo ago
That's not really the point of technology at all. It was at one point perhaps with simple tools, but now it's more like "find a more efficient way to replace work in the short-term to get an advantage over others". The g
32.
▲
by
vouaobrasil
1mo ago
Well yes. Even though we can turn it off technically now, the prisoner's dilemma prevents it. It's not a technical limitations but for practical purposes, it's already virtually impossible to turn off.
33.
▲
by
vouaobrasil
1mo ago
I would burn it because it's too much power for any one person to handle. Or, I would take it for myself by force and use it to dominate everyone else.
34.
▲
by
vouaobrasil
1mo ago
if A then B Can only be false if there is an instance where A is true, and B is false. In all other cases it's true, even when A is always false. That's the key.
35.
▲
by
vouaobrasil
1mo ago
I think it's more like the latter group likes the dopamine hit brought on my getting attention from release stuff.
36.
▲
by
vouaobrasil
1mo ago
I agree with that!
37.
▲
by
vouaobrasil
1mo ago
People become interested in things when they become invested in it personally, because they've contributed to it. So I don't think it will stay relevant...
38.
▲
by
vouaobrasil
1mo ago
Actually, it seems that every time we do move forward, we do make things worse. So I think the tech doomers actually have a point.
39.
▲
by
vouaobrasil
1mo ago
Then maybe sometimes it's better to take a break and not bend the natural constraints of life for once. I mean, I'm all for easing some of life with automation but it seems that a general trend is emerging where people will just k
40.
▲
by
vouaobrasil
1mo ago
The problem with your argument is that there is a cost to using AI so it's not really free. There's an environmental and a social cost that restricts the freedom of others, which is technically still open source but not in the spi
41.
▲
by
vouaobrasil
1mo ago
I miss the days when people would release software not touched by AI. And I wish at least there'd be a disclaimer saying that this was AI-assisted, so I could avoid it.
42.
▲
by
vouaobrasil
1mo ago
From the article: > I am just trying to point out that the FOSS movement is not anything new, not really. It is just another manifestation of a drive that has been with us since time immemorial: the thirst for freedom. I think that was t
43.
▲
by
vouaobrasil
1mo ago
I never accepted the proof of the original, because in my view a proof needs to be convincing as well as correct. Not every mathematician has this view, but language-wise I'd prefer to call the original proof a "verification of co
44.
▲
by
vouaobrasil
1mo ago
But as technology progresses and becomes more advanced, it does seem to set goals in all directions in that seems inevitable if we continue to 'collaborate' with modern technology. I mean, we no longer develop tools to help us out
45.
▲
by
vouaobrasil
1mo ago
I was talking about regular old keyboards. But you're just being pedantic.
46.
▲
by
vouaobrasil
1mo ago
Keyboards don't suggest chains of reasoning or words to type. When I press the K key, I know exactly what will happen. It's just a translation layer that gives an output known ahead of time and thus does not impinge upon the creat
47.
▲
by
vouaobrasil
1mo ago
The tools the researchers used though was much more than an spellchecker, because spellcheckers don't come up with chains of reasoning for the arguments in the book. The LLMs did in the case of the Navier-Stokes problem.
48.
▲
by
vouaobrasil
1mo ago
I don't think they can make up for any mess. Because even if LLMs bring about a lack of scarcity across all domains, human beings will be alienated because indvidual differences and skills won't matter any more so we'll have
49.
▲
by
vouaobrasil
1mo ago
Yes, the glue is already breaking and AI is the next stage in the process.
50.
▲
by
vouaobrasil
1mo ago
Even horrible acts can originate from good intentions and places of beauty. The tool use does not blind me but reveals the stupidity of merely solving problems for the sake of solving them. Only your love and addiction to technology blinds
51.
▲
by
vouaobrasil
1mo ago
I agree that the low-hanging fruit has largely been picked. But then I think we should acknowledge that and stop innovating, or just work less on new solutions and more on clarifying old ones, and start to work on degrowth rather than usele
52.
▲
by
vouaobrasil
1mo ago
Here's the point: when people solve problems, they come together and create a community to eventually use the new knowledge in positive ways, including inspiring younger mathematicians by sharing insights. The human element is key and
53.
▲
by
vouaobrasil
1mo ago
As a former mathematician, I'm not impressed at all. I don't even care about the solution. I think an integral part of math is what the human mind can do, and if AI was required, then to me it's not impressive at all. I never
54.
▲
by
vouaobrasil
1mo ago
Actually there will because if you've actually ever spent time doing math, you only really get to that level of truly understanding and appreciating the stories if you've actually done the hard work yourself, which in turn will be
55.
▲
by
vouaobrasil
1mo ago
The reason is because the entirety of society, historically, has been based upon humans using their differential skills to further it, which in turn promotes societal cohesion. If most human endeavours are solved, then we will enter a perio
56.
▲
by
vouaobrasil
2mo ago
It's usually because they're not the ones living in the dense housing, or will ever.
57.
▲
by
vouaobrasil
2mo ago
No there were a few people that could. And in principle, if Andrew Wiles did it, others could too and were motivated to do it. What I'm saying is that people will be conditioned to explore less on their own with tools like this and thu
58.
▲
by
vouaobrasil
2mo ago
I think it depends on whether the app will make the developer significant extra money. And if so, then the money wins.
59.
▲
by
vouaobrasil
2mo ago
I suspect tools like this will change human behaviour in the future so that no one really understands the math any more. If a solution to the Riemann hypothesis is found with it, I wouldn't be surprised if the person finding it didn&#x
60.
▲
by
vouaobrasil
2mo ago
Hence the desire to tear it down.
More ›