azan_

15 ms·

451.
by azan_ 1y ago
Theirs no such thing as excessive abstraction in math, because abstraction is the point. Is category theory “excessive abstraction” in your opinion?
452.
by azan_ 1y ago
I think Waymo has huge potential for being much larger than Uber - people are willing to pay more compared to ordinary uber drive just to avoid dealing with taxi drivers and tech will only get cheaper.
453.
by azan_ 1y ago
Right now there are enough people willing to bend their back in the sun for hours that their salaries are much lower than these of engineers. Do you think that for some reason supply of these people will drop with higher wages and much lowe
454.
by azan_ 1y ago
> AI can displace human work but not human accountability. It has no skin and faces no consequences. Let’s assume that we have amazing aj and robotics, better than humans at everything - if you could choose between robosurgery (completel
455.
by azan_ 1y ago
The relation won’t invert because it’s very easy and quick to train guy pilling up bricks while training architect is slow and hard. If low skilled jobs will pay much better than high skilled then people will just change their job.
456.
by azan_ 1y ago
No, you do not need to trust anyone, you can just verify what works and what doesn't, it's very easy.
457.
by azan_ 1y ago
> There used to be the problem with authors adding new co-authors after acceptance, aka "selling seats". Top AI conferences allow that? That's insane.
458.
by azan_ 1y ago
Absolutely.
459.
by azan_ 1y ago
That’s completely wrong and you are just making things up to fit your anticapitalist world view. I know people that take dope to break 3h in marathon, trust me, no one thinks that you will get any financial benefit from breaking 3h.
460.
by azan_ 1y ago
> I'm not talking about MCP, but rather an open source tool that can plug into either free and open source LLMs or private ones. That would at least allow us to switch to a free and opensource version if the companies behind the pri
461.
by azan_ 1y ago
Paid models are just much, much better.
462.
by azan_ 1y ago
> They are very psychological games (at human level) and are about finding moves that are difficult to handle for the opponent. You try to understand how your opponent thinks and what is going to be unpleasant for them. This gives a lot
463.
by azan_ 1y ago
The scope and creativity required for IMO is much bigger than chess/GO. Also IMO is taken VERY seriously. It's a huge deal, much bigger than any chess or go tournaments.
464.
by azan_ 1y ago
And what would you rather spend money on?
465.
by azan_ 1y ago
I've used Snakemake my whole life, can someone experienced with both systems share whether jumping to nextflow is worth it?
466.
by azan_ 1y ago
The world now is in better place than it ever was. We are less violent, live longer, live healthier, minimum wage workers can have luxuries unimaginable by kings back in time. It's time to end the nihilism epidemic.
467.
by azan_ 1y ago
People do irrational things, especially if they are mentally unwell - https://en.wikipedia.org/wiki/Germanwings_Flight_9525
468.
by azan_ 1y ago
> at which people lose trust in these systems Most of people do not lose trust in system as long as it confirms their biases (which they could've created in the first place).
469.
by azan_ 1y ago
He sold courses (great ones!) long before there was AI-gold rush. He's one of the OG players in online education and I think he deserves praise, not blame for that.
470.
by azan_ 1y ago
There are people that are capable of working 60+/week long term without burnout, they are very rare but do exist (I know like two or three).
471.
by azan_ 1y ago
Are they though? I’m seeing more and more people that used gpt4 and got substandard results get blown away with Claude code and opus once they gave it a chance. Also remember that progress has not stopped (whether it has slowed down is also
472.
by azan_ 1y ago
Well, obviously we could simply take every true sentence of Peano arithmetic as an axiom to obtain a consistent and complete system, but if we think in that spirit, then almost every mathematician in the world is working on finding a better
473.
by azan_ 1y ago
> As soon as Gödel published his first incompleteness theorem, I would have thought the entire field of mathematics would have gone full throttle on trying to find more axioms. But why? Gödel's theorem does not depend on number of a
474.
by azan_ 1y ago
In case of Ukraine one party has nukes, the biggest nuke arsenal in the world actually
475.
by azan_ 1y ago
> We have multiple parts of the brain that interact in vastly different ways! Yes, and thanks to that human brains are generalist
476.
by azan_ 1y ago
Whatever sensible measure you can imagine, it’s most likely very strongly correlated with gdp
477.
by azan_ 1y ago
I think what you are describing is social anxiety, not just being introverted.
478.
by azan_ 1y ago
> Real wages haven’t risen since 1980. Do people really believe that? I think either people have too rosy view of 80s or consider that real wages should also adjust for lifestyle inflation.
479.
by azan_ 1y ago
> Do you have any proof whatsoever that non-programmers are using LLMs to write small bespoke apps for them successfully? I’m radiologist, I’ve been paying for software that sped up my reporting like 200 usd per month. I’ve remade all th
480.
by azan_ 1y ago
People propose overwrought digital solutions because not selling online is worse in almost every aspect.

More ›