Power tools? seems something more -high level- like: "Make me a table", not "saw this board", and evolving to: "make me a 2-level house".
Will the house be solid? You have to cheek indeed, and more complex the tool, mode depth the checking of the results, given the uncertains about the inned workings of these systems.
But correct use of these tools is IMHO the big big problem.
The -best- tool-language-tech is the one you know well, because this will avoid the use for the wrong problem, a situation very uneasy discovering ahead in development. Those AI tools are well understood? Seems not quite.
Readit Newseffed3 commented on AI is to software as power tools are to woodworking · Posted by u/danfunk
effed3 commented on New evidence that Cantor plagiarized Dedekind? quantamagazine.org/the-ma... · Posted by u/rbanffy
>> Suddenly, the monstrosity of infinity, long feared by mathematicians, could no longer be relegated to some unreachable part of the number line. It hid within its every crevice.
Exageration, the quite mayority of mathematician live very well with infinity, just handle with care.
effed3 commented on New evidence that Cantor plagiarized Dedekind? quantamagazine.org/the-ma... · Posted by u/rbanffy
could I just leave my favourite thing ever here? thanks :)
https://en.wikipedia.org/wiki/Hilbert%27s_paradox_of_the_Gra...
and do not forget this:
https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox
way more technical, but wonderfull
effed3 commented on New evidence that Cantor plagiarized Dedekind? quantamagazine.org/the-ma... · Posted by u/rbanffy
Giving no credits on a "co-author" is a bit different than plagiarize (a theft).
It's reasonable to suppose than both authors can have reach results indipendently, given enough time, working on the same matter, maybe Dedekind before Cantor?
Probably Cantor has the core ideas in it's mind, and Deedekind's arguments was similar enough to push him proced. Sure Dedeking has given a (big) contribution, but the core concept is from Cantor
effed3 commented on Yes, AI is intelligent. Prove me wrong. by Bertrwnd Meyer bertrandmeyer.com/2026/02... · Posted by u/PikelEmi
The Hypothesis formulated has to be proved true, not the opposite.
"LLM only appear intelligent": now prove this wrong.
effed3 commented on Why do Stanford math professors still use chalk? (2021) stanforddaily.com/2021/10... · Posted by u/bookofjoe
maybe a wise use of technology?: never adopt a higher complexity tech when a lower one fit well.
And white boards are less clear (to me) and markers dry (often in the worst moment).
And about slides... very easy for prof, but i cannot copy a slide, always follow the reasoning, so having the things written is best, writing indeed is another side of thinking.
_
About efficiency (energetic), correctness and safety (logical), seems way long from a forward step (by now).
[Lemma (: from Murphy's Laws of Computer Programming, wisdom from a more civilized era: Build a system that even a fool can use, and only a fool will want to use it.]
effed3 commented on What if AI made the world’s economic growth explode? economist.com/briefing/20... · Posted by u/andsoitis
What's your problem with growth? Growth means higher GDP which is correlated with all sorts of good things, including longer lives, and less food scarcity.
i like "all sort of good things" (and more if are really available for -all-) but IMHO relating these to an aeternal even bigger growth is a big misconception, seems to me that now the bigger part of growth is going to benefits very few, and polluting/undermining the rest of the world, vanishing the "good thing" for the rest of us.
I imagine growth more as a consequence of a really sane economy, capable to adapt, expand and even shrink when necessary without devastating markets and real GDP, i cannot think now 'growth' as the foundation of a real sustainable and development in the near future.
Is like 'progress', a word mainly referring to speed and more speed, but never about 'direction'.
Returning to AI, really can these new techs benefits all of us? I doubt. In some sectors AI techs can be a great aid (expert systems, data mining, ) but this growth of LLM things seems a big bubble, more related to speculation than others. just my 5c.
effed3 commented on What if AI made the world’s economic growth explode? economist.com/briefing/20... · Posted by u/andsoitis
With enough money/capital growing, you can live however reasonably paced you like!
only if you have a real (sane, sustainable, efficient) economy to give the money some value. without a real economy money is a number in a computer/a piece of paper, and growing is constrained by the finite resources of the world