machomaster

4 ms·

31.
by machomaster 26d ago
> I can say the first LLM generated proof Levent sent me was the most horrendous I have ever read; we verified it on Lean on August 22nd. Since this point, we have been working around the clock to understand this proof and turn it into s
32.
by machomaster 26d ago
Not to snatch the prize, but: 1. to test their new model 2. to be able to say "you came with the proof, but our model can do this too" 3. to verify the result. This is also a great thing for the math. Of course, it makes sense to
33.
by machomaster 26d ago
That's not what happened, though. They sugggested a cooperation with the other guy, using OpenAI's resources and OpenAI's solution of NS to work on and publish NS proof (that those other guys didn't have). Of course, Ope
34.
by machomaster 26d ago
Premature optimization is a common sin in software development. One of the reasons is that in the beginning of the process you don't even understand the problem fully. Heck, often you don't understand it even when you actually enc
35.
by machomaster 27d ago
To try to tone police in 2026, you sound insufferable.
36.
by machomaster 27d ago
I was absolutely calm, not outraged at all. Please check the other 2 answers I gave, they answered your questions as well.
37.
by machomaster 27d ago
Linux is great in that it has options. No distro is the best for everyone. Different people can subjectively and honestly like different distros. And this is an amazingly good thing. If you are happy with NixOS, then good for you. Genuinely
38.
by machomaster 27d ago
Popularity is correlated with quality. Not necessarily in the absolute sense, but in the realistic sense of betterness, while taking other important aspects like price into account. Panther was a more technically advanced and expensive tank
39.
by machomaster 27d ago
Nix's old 20+ year design vs. a new design by professional product managers, programmers, designers. It's clear what is superior. The fact that Nix is barely used by anyone, speaks volumes about Nix's age and uselessness. Peo
40.
by machomaster 27d ago
> Nothing that Omarchy provides is important Hundreds of thousands on people beg to disagree.
41.
by machomaster 28d ago
You can never prove the negative.
42.
by machomaster 28d ago
Oh, you must be one of those anti-White racists... > White Democrats showed the effect: they imposed a somewhat weaker norm against offensive statements targeting Whites than against statements targeting other racial groups. > So ther
43.
by machomaster 28d ago
Use MakeResolveDeb to easily install on Ubuntu/Mint.
44.
by machomaster 28d ago
Installing on Mint/Ubuntu is easy with MakeResolveDeb. https://www.danieltufvesson.com/makeresolvedeb The biggest issues are the supports of video cards (nvidia is the king) and different popular codecs. The problem is
45.
by machomaster 28d ago
This is a good place to share that MakeResolveDeb makes installing Davinci Resolve very easy on Ubuntu/Mint/Debian Way more people should know about this solution. https://www.danieltufvesson.com/makeresolvedeb
46.
by machomaster 1mo ago
True. Conservatives are more tolerant of people with differing views than progressives are. Women are the worst at that. The research was done to measure the level of intolerance students had towards people of different views. Women were 3
47.
by machomaster 1mo ago
> I haven't talked personally with a racist in probably 25-30 years. Let me guess, you mostly mingle with white people? It's a different story among Latinos, Asians (toward blacks and other Asians), but especially among African
48.
by machomaster 1mo ago
Was it really her neighbors that sent her there or a police/military? I very much doubt that. But let's play the hypothetical. - Would your grandmother's fate be better if instead of kindness she would be spewing vitriol? Don
49.
by machomaster 1mo ago
Bigotry is innate and one has to fight it. And that's exactly chmod775's point - stop being a bigot towards other people's reasonable opinions, stop being dramatic, stop making a mountain out of a molehill.
50.
by machomaster 1mo ago
You chose your examples badly. Not being able to deadlift 500kg also signifies the inability to effectively the (physical) environment. But even here, in your irrelevant example, you are wrong. In practice IQ is highly correlated with emoti
51.
by machomaster 1mo ago
Love it!
52.
by machomaster 1mo ago
That was a joke. Kinda like saying that in modern feminese, "man" means "rapist".
53.
by machomaster 1mo ago
Aparently DHH has been looking towards NixOS and have been talking with people. Lets see if there Omarchy base will change...
54.
by machomaster 1mo ago
Why would Anthropic trust and use these tests in their official comparisons?
55.
by machomaster 2mo ago
"Years-long feature development freeze due to infra changes" is such a ridiculous claim that it's hard to see this as anything but purposeful and intentional lying. Shame on you.
56.
by machomaster 2mo ago
Means that they are fully covering all of his financial needs.
57.
by machomaster 2mo ago
Your solution applies to people who want to tinker for the sake of tinkering. Not to the people/engineers who want to get stuff done, easily and efficiently.
58.
by machomaster 2mo ago
His business partner Jason also committed 1 million.
59.
by machomaster 4mo ago
What city are you living in? Can you give links to more information that would prove your case?
60.
by machomaster 4mo ago
Stats from Russia/Ukraine are not good. And the ones that exist, could be dismissed for various reasons ("Russians are savages so it doesn't count", "Ukraine is defending itself in existential war so it doesn't

More ›