"Vapid" is the best description of the slop that comes out of paul graham's website.
Hundreds, at this point? Every benchmark is flawed as shit, written by clowns. DeepSWE, They're given the full git history (the solution is in it), others don't even bother to verify if the code is the right one and…
Breaking news: after being the biggest threat to world stability, the US realizes that their behavior is also a threat to their own stability.
The only metric by which they are the largest company in the world is valuation. There are thousands of companies more important to your daily existence than Jensen's leather jacket factory. They are also talking out of…
>Who is actually paying this money? You, when their circular financing scheme fails and you're the one left holding the bag as your government says "they're too important to let them fail".
>Not a Lean expert but some of the proof tactics used to prove are probably novel Maybe. But they're in 32 millions lines of Lean. How do you find the needle in the heystack ? >Or, you could prompt agents later to…
No, you don't understand: that proof is useless. When you solve mathematical problems, you open up new ones in the process of doing so. You create new research. You create new theories, new notations, new thought. This…
It doesn't. It's 32 millions lines of bullshit, and the only thing it brought is "it's not true in some extreme conditions lol". The effort needed to figure out why that is, what conditions lead to it, the new…
>You can still read and understand an AI written proof. No you can't lol, they're multi million lines of Lean, which is already an obscure language to understand. It's an assault on your senses.
So it wasted everyone's time, thousands of hours of research trying to disprove something said very loudly. What OpenAI is doing is a DoS of the scientific community: wasting your time trying to check if they're not…
S̶q̶u̶a̶d̶r̶o̶n̶ ̶4̶2̶ AGI is coming next year, promised !
Yep. Every single post I've seen about "game development is over" is yet another procedurally generated game. Not only it doesn't prove anything about Astra being "better" at making games (do people have any idea the…
"no see they didn't use it to give people cancer, they merely wanted to make the land they lived in so uninhabitable and devoid of life that staying there would mean death either by starvation or bombing" War crime…
Your source: vibes Deepseek's source: mostly open i wonder if there's any relationship hmmmm
??? WindowSizeClasses, Postures, Navigation3, ListDetailScaffolds, the list goes on. Android & Compose is pretty much flawless when it comes to develop for it, it's thoroughly documented and works well. Layouts will not…
There will inevitably be a crease after a few weeks/months, as every folding phone has had. Apple is relying on Samsung's display tech, and Apple doesn't have better solutions than Samsung. The reason it doesn't…
Watching my iOS colleagues tear their hair out with SwiftUI's lack of proper support of foldables for the next... Two years about will be highly entertaining.
Relying on an Apple Watch instead of a proper medical device if you're having heart issues is, well, uh... There's a reason an Apple Watch isn't a medical device.
Stop sealioning.
>Backed by YCombinator will turn into absolute dogshit within weeks, use proper software.
>People are having fun making images. 3 billion images per week isn't people, it's automated farms, dogshit marketing companies and other attacks on your brain.
>the product is not even to 1.0 yet and already the writing is on the wall for the path towards enshittification & acquisition by $bigco. https://herdr.dev/blog/herdr-is-joining-y-combinator/ On the wall ? It's spray…
Wouldn't be the first time Volkswagen works with a genocidal regime, to be fair to them. Can't kick old habits out.
>Artificial general intelligence (AGI) is a hypothetical type of artificial intelligence that matches or surpasses human capabilities across virtually all cognitive tasks. Keep moving the goalposts
Reading _that_ on Hackernews of all places is funny as shit.
"Vapid" is the best description of the slop that comes out of paul graham's website.
Hundreds, at this point? Every benchmark is flawed as shit, written by clowns. DeepSWE, They're given the full git history (the solution is in it), others don't even bother to verify if the code is the right one and…
Breaking news: after being the biggest threat to world stability, the US realizes that their behavior is also a threat to their own stability.
The only metric by which they are the largest company in the world is valuation. There are thousands of companies more important to your daily existence than Jensen's leather jacket factory. They are also talking out of…
>Who is actually paying this money? You, when their circular financing scheme fails and you're the one left holding the bag as your government says "they're too important to let them fail".
>Not a Lean expert but some of the proof tactics used to prove are probably novel Maybe. But they're in 32 millions lines of Lean. How do you find the needle in the heystack ? >Or, you could prompt agents later to…
No, you don't understand: that proof is useless. When you solve mathematical problems, you open up new ones in the process of doing so. You create new research. You create new theories, new notations, new thought. This…
It doesn't. It's 32 millions lines of bullshit, and the only thing it brought is "it's not true in some extreme conditions lol". The effort needed to figure out why that is, what conditions lead to it, the new…
>You can still read and understand an AI written proof. No you can't lol, they're multi million lines of Lean, which is already an obscure language to understand. It's an assault on your senses.
So it wasted everyone's time, thousands of hours of research trying to disprove something said very loudly. What OpenAI is doing is a DoS of the scientific community: wasting your time trying to check if they're not…
S̶q̶u̶a̶d̶r̶o̶n̶ ̶4̶2̶ AGI is coming next year, promised !
Yep. Every single post I've seen about "game development is over" is yet another procedurally generated game. Not only it doesn't prove anything about Astra being "better" at making games (do people have any idea the…
"no see they didn't use it to give people cancer, they merely wanted to make the land they lived in so uninhabitable and devoid of life that staying there would mean death either by starvation or bombing" War crime…
Your source: vibes Deepseek's source: mostly open i wonder if there's any relationship hmmmm
??? WindowSizeClasses, Postures, Navigation3, ListDetailScaffolds, the list goes on. Android & Compose is pretty much flawless when it comes to develop for it, it's thoroughly documented and works well. Layouts will not…
There will inevitably be a crease after a few weeks/months, as every folding phone has had. Apple is relying on Samsung's display tech, and Apple doesn't have better solutions than Samsung. The reason it doesn't…
Watching my iOS colleagues tear their hair out with SwiftUI's lack of proper support of foldables for the next... Two years about will be highly entertaining.
Relying on an Apple Watch instead of a proper medical device if you're having heart issues is, well, uh... There's a reason an Apple Watch isn't a medical device.
Stop sealioning.
>Backed by YCombinator will turn into absolute dogshit within weeks, use proper software.
>People are having fun making images. 3 billion images per week isn't people, it's automated farms, dogshit marketing companies and other attacks on your brain.
>the product is not even to 1.0 yet and already the writing is on the wall for the path towards enshittification & acquisition by $bigco. https://herdr.dev/blog/herdr-is-joining-y-combinator/ On the wall ? It's spray…
Wouldn't be the first time Volkswagen works with a genocidal regime, to be fair to them. Can't kick old habits out.
>Artificial general intelligence (AGI) is a hypothetical type of artificial intelligence that matches or surpasses human capabilities across virtually all cognitive tasks. Keep moving the goalposts
Reading _that_ on Hackernews of all places is funny as shit.