Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
anon291
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
25 ms
·
631.
▲
by
anon291
1y ago
There is no jurisdiction on the planet with as diverse and open an environment as America which is why many Indians come here to become citizens and contribute to the country, including my own parents. Now, India actually does have a lot of
632.
▲
by
anon291
1y ago
Honestly dumb. You don't need more house for more kids. The average home today is larger than anything our grandparents had. I mean, do whatever you want just stop blaming everything else for it. You don't want kids. Don't ha
633.
▲
by
anon291
1y ago
27 out of 27 agree that end to end encryption and free speech are dangerous... So spare us all the pearl clutching
634.
▲
by
anon291
1y ago
Literally no other country or market with the perhaps exception of China has anything close to its own tech stack. Europe literally had Linus Torvalds and couldn't keep him. He now lives in Portland, 3 hours from where windows is made
635.
▲
by
anon291
1y ago
I wish Europe would shift from leaching off of the defense tax money of the American people. Conveniently for them, we know that won't happen.
636.
▲
by
anon291
1y ago
But but but... It's a fundamental part of his identity!!! /S
637.
▲
by
anon291
1y ago
In most countries the hereditary caste system that has oppressed the people of the country for centuries is correctly scorned, but the English are very clever and have managed to turn it into a reality tv show. Speaking of a country that de
638.
▲
by
anon291
1y ago
Don't eat too much?
639.
▲
by
anon291
1y ago
This is a city planning problem. I walk 15 minutes to the grocery store. I need to get food. Thus no time is wasted
640.
▲
by
anon291
1y ago
Correct. People get mad about the low carb thing because they have come to believe, via habit, that the insane number of carbs on their plate is normal. It's not. There's hidden sugar and carbs in almost everything. Moreover most
641.
▲
by
anon291
1y ago
While I commend you for your effort, protein shakes are ultimately basically ultra processed food. They have their uses, but if this is the standard diet for humans in 2025, then something is wrong with how people are eating.
642.
▲
by
anon291
1y ago
While I don't know of this guy's diet. I can say I agree with his observations, having seen it in myself. I was on 1800/day for a year (6'2", 33yo male here)... Absolutely no change in weight. I weightlift heavy 4x
643.
▲
by
anon291
1y ago
Not really. For many years mathematics rested on traditional first order logic and traditional naive set theory. That was revisited at the begining of the twentieth century.
644.
▲
by
anon291
1y ago
Other than direct calls for violence (which in a book, really doesn't work that way, since any call to violence would be indirect in a sense), yes, you can publish anything. Any viewpoint at least. You cannot publish certain pornograph
645.
▲
by
anon291
1y ago
People are being arrested with probable cause, sure. You can call it what you want, but when you go back a few days later when all the details are out, invariably you realize the initial story was incomplete.
646.
▲
by
anon291
1y ago
> the Curtis Yarvin / dark enlightenment nexus is big enough and really weird, but also not a topic for HN (not because it's political but because it's stupidly gross and dark). It has high overlap with the rad trad Cathol
647.
▲
by
anon291
1y ago
Horrific violation of the basic rights to free speech.
648.
▲
by
anon291
1y ago
I mean pls also attracts a TON of rad trad Catholics. It turns out being unable to follow social cues makes you more amenable to following niche fields as well as a bit esoteric in your philosophers and lifestyle. I count myself as one of t
649.
▲
by
anon291
1y ago
It really depends on the industry, but 'bidding for a contract' does not entail a lack of competition. Yes, for certain industries, like utilities, there is no competition based on the way things are set up (and really based on th
650.
▲
by
anon291
1y ago
I mean if you ask an llm to do those things it will. https://chatgpt.com/share/68fd15af-ee48-8010-8269-e10f518a3a...
651.
▲
by
anon291
1y ago
In my case, my dad was in this industry so I had heard about it since day one. And I know doctors knew about it too
652.
▲
by
anon291
1y ago
Well no one should get MRIs with contrast for fun. Moreover, doctors regularly use contrast off label. My dad was in this industry when nsf first came out. We would be dragged along to after hours family things at conferences. Doctors openl
653.
▲
by
anon291
1y ago
The link between NSF and gadolinium-based agents has been known for almost two decades and is common knowledge in the industry.
654.
▲
by
anon291
1y ago
> How Gödel’s second incompleteness theorem shows that you can prove anything, That is not at all what it says. > They both can be useful or harmful, If a proof is admitted into lean, there is no doubt as to its truth. There is no way
655.
▲
by
anon291
1y ago
Because population grows exponentially, either up or down, and money is a means of quantifying work and labor at the end of the day. Thus its value rises in the same way Put another way, there is no number of children per couple C such that
656.
▲
by
anon291
1y ago
A 'cost' paid for by a private service directly translates into prices and salaries. Whereas a government wealth transfer program appears as taxation and handouts. Everyone likes the former. No one likes the latter. Why this is st
657.
▲
by
anon291
1y ago
The underlying belief of both is that America is exceptional thus will magically be saved from debt. Now America is exceptional for many reasons, but if we don't fix our debt we will meet the same unexceptional fate as many empires bef
658.
▲
by
anon291
1y ago
As a a hobbyist mathematician / type theorist, chatgpt et al are great at 'looking up' theorems that you want to exist but that you may not have read about yet. It's also good at connecting disparate areas of math. I don
659.
▲
by
anon291
1y ago
I mean, if you understand leans system then you understand the formal manipulation needed for precise and accurate proofs. Most mathematical papers are rather handwavy about things and expect people to fill in the formalism, which is not al
660.
▲
by
anon291
1y ago
Possible but not precise depending on your use case. LLM compilers would suffer from the same sort of propensity to bugs as humans.
More ›