HNHacker News
TopNewBestAskShowJobs

CaptWorld

-3 karma · joined June 25, 2021

submissionscomments
CaptWorld··on The Exponential Time Hypothesis Is False [pdf]
Average de-growther argument.. nothing i say is gonna persuade you as you don't understand or want to do trade offs so let's leave it at that.. have a nice day
CaptWorld··on The Exponential Time Hypothesis Is False [pdf]
Ironically yeah.. if it can solve more complex problems across domains like biology, econ, finance then all the deforestation is worth it
CaptWorld··on Google cleared 300 hectares of Finnish forest
Illegal?
CaptWorld··on Redesigning source control at Anthropic
They review based on the intent of the change not jz blindly.. I think it's mentioned in the article where the job of a developer is to provide high level design decisions and saying no to claude so that it doesn't over engineer solutions.. As the demand for good, but not perfect, software is the bottleneck for anthropic and access to better internal models, I feel that's good enough for their workflow as they've started repeatedly that this is just suitable only for them and they want to share their knowledge like a good software company does.. you talk as though code reviews were not a joke in lots of companies where only specific teams/companies does detailed reviews.. many teams/companies jz blindly approve based on tests passing or just do a high level overview check before merging..
CaptWorld··on 3rd Yandex Cloud Data Center Was Hit
What millions bro? It's arabs killing each other that raised the death count. You guys are brain broken
CaptWorld··on Bot traffic from Yandex
[flagged]
CaptWorld··on Taxing Entrepreneurial Wealth: Evidence from Norway, 2021–2025
Jz because of one billionaire, you wanna punish the whole class of billionaires? Is it enough trade off for you that we must be made poorer cz some rich person bought a yacht? Where's your blood coming from lol? It's zuck's property so he can do whatever he wants.. just like how I can do whatever I want with my property.. it ain't like I'm not being subsided by their incredible jobs and taxes which govt takes and redistributes to people who behave like they're owed that money when it's the hardwork/ideas of his.. are you not aware of economic arguments for yacht and how many people are employed due to that alone which he bought out of his own wealth? Why are these economic illiterates infested the hacker news man? It used to be so good who reasoned amazingly well.. look at the state of it now.. it's like we regressed to primates with base impulses.. we're the richest we've ever been and people themselves are satisfied with their economic status but the envy seems to never go away..
CaptWorld··on Nobel Peace Prize for 2026 to Navanethem Pillay
Allies committed more war crimes in Warsaw than what idf was doing.. allies didn't door knock and all that weak shit, we just bombarded the whole cities.. IDF committed less war crimes compared to what hamas does which oppress its own people and steal aid to enrich themselves instead of surrendering to superior idf and use military outfits in combat
CaptWorld··on Nobel Peace Prize for 2026 to Navanethem Pillay
https://www.reuters.com/graphics/ISRAEL-PALESTINIANS/GAZA-TU...

Guys,there is no vast tunnel infrastructure operated by hamas so we must close our mind to the possibility that hamas is the evil guy compared to idf /s

CaptWorld··on Nobel Peace Prize for 2026 to Navanethem Pillay
Bruh 70-80k that too we don't know how many are civilians/militants and hamas is like prime example to use civilian clothing so as to not even distinguish themselves from civilians and they steal aid, oppress their own people and use civilian shields like crazy and even with all that it's jz 70k? That's some genocide dude.. they shouldn't have launched their genocidal campaign on October 7th then.. FAFO in real time
CaptWorld··on Taxing Entrepreneurial Wealth: Evidence from Norway, 2021–2025
My lord... Taxing billionaires feel more like punishing them out of envy than improving society to people like you and DSA. No matter how much they/their companies carry the economy with taxes, jobs etc, it's still not enough so they must be made poor to please the ego right?
CaptWorld··on Nobel Peace Prize for 2026 to Navanethem Pillay
Don't tell me that you think there's genocide in gaza?
CaptWorld··on GPT-6 Sol and Luna
And comments complaining about how only big businesses get benefitted too
CaptWorld··on Formalizing Fermat's Last Theorem
It's just because of this administration but future admins can revert it back and even then, i would expect the fund receivers themselves will eventually use AI so.
CaptWorld··on Formalizing Fermat's Last Theorem
Sure. But experts seem to be aware of the direction of those solutions so it seems unlikely there could be some hidden bug which disproves it. But it could be possible.
CaptWorld··on Formalizing Fermat's Last Theorem
Of course, there's a possibility but it exists everywhere but there's no sign till now that it has. Same with openai's proofs.
CaptWorld··on Formalizing Fermat's Last Theorem
A) that's a bad model to think. You are of the mind that working more hours is the only way to measure gdp whereas increase in productivity with tools like AI, machinery, tech etc can act as a multiplier. So this way you are conflating bad ways to increase gdp with good ways like AI. That's how US is powerhouse as they are basically a technological hub of the world.

B) ha? More fish means couple of things.. they're able to improve their catching skills with lesser cost or they have more funding or there is more demand for fish..all of these help their company grow as they have to balance out cost/benefits like any business should. If the company is currently in loss but still lives on, it's cause either govt subsidizes it or they're expecting future profit so they can temporarily bear out the costs like amazon did and jz grow as company with capital and all.. you are actually not aware of wealth of nations or any basic economics book? There are gonna be tradeoffs with more wealth and externalities but on net, they seem better than not having wealth, gdp etc..

Human dignity lol.. when have that ever been the case that we respected human dignity? We had communist and fascist regimes commit atrocities like there's nothing and we're still too cowardly to fight the Iran or russian regime to liberate their citizenry from their dictatorships. Please don't make me laugh by saying that AI decreases human dignity when we never respected it in the first place. With AI and markets and liberalism, we can finally free citizens from tedious work and focus on important work like innovation.

1. Am I reading fiction or what? Companies can only sustain themselves if broad members of society can pay to it.. that's why even right now, AI companies are struggling to be profitable where only very few people are paying for it and cz many people are not even aware of the progress and capabilities of AI in different fields. You can easily use local LLMs which are only 6-12 months behind in frontier models if you are so anti business. The benefits still can be utilised by an amateur in their own PC. Of course, they will try to restrict others from distilling as they want to be monopoly but what we want to do is make them be productive to society as well by providing their services for cheap which they're doing. Your screed just feels more like fantasy than real world economics.

2.oh my lord, what kinda idiocy is this? U can free/local models and run in local for dirt cheap and still have epistemic wealth to yourself if you are so worried about it. None of your arguments permit human agency at all.. I'm conscious that anthropic wants me as reliable costumer so that they profit from it but I would pay only if it solves my problem. Whenever I pay, I know that they can terminate if they want but I'm not just restricted to their models. You don't have arguments, you have stories/ted talks.

CaptWorld··on Formalizing Fermat's Last Theorem
Why can't it both? Of course they are not gonna do it just because it improves the world and understanding but because there's an incentive to align money with progress. Even the vaccines initially were distributed to get monetary gains and as the government started subsiding it as well, it became cheaper to produce.. that's basic capitalism and markets and regulations 101, no human is that selfless to give it out for free and they shouldn't because it's their investment in time, money, effort etc. but we should strive to align the greed aspects with good outcomes.

No Americans get fat and don't have a personal responsibility to maintain their health.. no amount of free healthcare is gonna change that.. they vote for free healthcare, see their taxes raise, then vote against cz they don't see tradeoffs in life.. it's better to maintain better habits than rely on govt to subsidize bad behaviour. There should be some basic coverage for poor people but not too much to sustain irresponsibly

CaptWorld··on Formalizing Fermat's Last Theorem
But US also spends too much on education as well. The issue doesn't seem to be funding but the educational reform like in mississippi, where they increased student performance without increasing their budget too much. That's why you see bad k12 educational outcomes compared to the budget spent in blue states. It's all about efficiency. Give AIa chance in few years as I feel it can make great strides.. it's hard to imagine that chatgpt released in 2022 and look at the progress in just few years as it just changed software engineering field entirely.. i expect similar kinda progress where of course humans will still be making breakthroughs but it'll be accelerated with the help of AI.

Spending on health insurance is spending on health care.. Americans want free healthcare but no tax bump so health insurance is a compromise.. when even just ACA was passed and premiums increased, democrats got destroyed at midterms so Americans might be living in la la land.

CaptWorld··on Formalizing Fermat's Last Theorem
Which metrics are poisoned? Can you provide your arguments for why Good heart's law applies here and how and which metrics are bad measures? For b, can the writer at least provide their own thoughts or are they gonna leave it as exercise for some others to fill in?
CaptWorld··on Formalizing Fermat's Last Theorem
Got it. Thanks. I feel people are using this single story to downplay this feat. There's definitely a chance but I don't see any indication of similar bugs in here or the openai's proofs that were created a month ago as i think these companies might've vetted it enough and the other team who's working on similar lean proof for this also seems to have acknowledged this feat
CaptWorld··on Formalizing Fermat's Last Theorem
So I think curing means basically opt in death or something like that. Right now extended life is bad because the person isn't in his prime but curing aging is basically gonna keep him in his prime. This might be what they meant.
CaptWorld··on Formalizing Fermat's Last Theorem
Like? I feel breakthroughs that can be found via AI might help us more in the long term where even previously non AI fields can be helped by AI. So you have specific non AI research in mind that we're underinvesting in? Because the USA is already spending crazy anyway for healthcare and I don't feel like funding is the issue but better incentives, reforms etc
CaptWorld··on Formalizing Fermat's Last Theorem
Do you have proof of this bug or something? Is this just envy against computers now ?
CaptWorld··on Formalizing Fermat's Last Theorem
Can't you see the pathway where the individuals who are experts in their fields utilise AI to make breakthroughs like these mathematicians finding breakthroughs in mere 4-5 years since the advent of LLMs. In other areas, The bottleneck seems to be physical experimentation which researchers are increasingly utilising for new ideas and pathways like how anthropic is concentrating on. It's all about money/status/pride/ envy but are these endeavours solving problems or not. That's why even utilize innovations from bad humans like DBS etc. that's why we tolerate capitalism and markets as well whereas socialism utilises these same sins and makes even worse human atrocities.
CaptWorld··on Formalizing Fermat's Last Theorem
So oppressed that they are one of the main reasons for positive gdp growth in the USA, tax revenues, mathematical/scientific innovations etc. They're doing all this but still can't imagine a positive vision for the world but be a doomer. What a sad state the world is in, the humans are more prosperous, healthier than ever but looks like the seven deadly sins might never go away.
CaptWorld··on Formalizing Fermat's Last Theorem
You talk as though they are making it to intentionally commit felony or not taking measures to reduce harm etc.
CaptWorld··on Formalizing Fermat's Last Theorem
Why? Even communists weren't this doomed and were actively rooting for it to solve the economic calculation problem which ai might take us to. People are just pessimistic in general ig
CaptWorld··on Formalizing Fermat's Last Theorem
Childhood deaths and fatal diseases are also natural parts but that doesn't make them desirable to everyday humans. But with new advances, people might have the ability to CHOOSE in future.
CaptWorld··on Formalizing Fermat's Last Theorem
Regardless the profit margin as a talking point seems to be bad as AI as a tech might never be reversed whether anthropic failed or succeeded. Indeed it's imperative we subsidize AI companies and tech to make them explore more solutions to scientific problems which has a downstream effect on human flourishing.
Page 1 of 2Next →