well_ackshually

5 ms·

1.
by well_ackshually 3d ago
"Vapid" is the best description of the slop that comes out of paul graham's website.
2.
by well_ackshually 3d ago
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 just the outpu
3.
by well_ackshually 3d ago
Breaking news: after being the biggest threat to world stability, the US realizes that their behavior is also a threat to their own stability.
4.
by well_ackshually 3d ago
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 their asses, a
5.
by well_ackshually 3d ago
>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".
6.
by well_ackshually 4d ago
>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 haystack ? >Or, you could prompt agents later to analyze which l
7.
by well_ackshually 4d ago
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 is just ticking
8.
by well_ackshually 4d ago
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 mathe
9.
by well_ackshually 5d ago
>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.
10.
by well_ackshually 5d ago
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 wrong, and cla
11.
by well_ackshually 5d ago
S̶q̶u̶a̶d̶r̶o̶n̶ ̶4̶2̶ AGI is coming next year, promised !
12.
by well_ackshually 5d ago
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 id
13.
by well_ackshually 6d ago
"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 apologists
14.
by well_ackshually 6d ago
Your source: vibes Deepseek's source: mostly open i wonder if there's any relationship hmmmm
15.
by well_ackshually 7d ago
??? 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 magically b
16.
by well_ackshually 7d ago
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 actively
17.
by well_ackshually 7d ago
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.
18.
by well_ackshually 7d ago
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.
19.
by well_ackshually 8d ago
>Backed by YCombinator will turn into absolute dogshit within weeks, use proper software.
20.
by well_ackshually 8d ago
>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.
21.
by well_ackshually 8d ago
>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 ?
22.
by well_ackshually 9d ago
Wouldn't be the first time Volkswagen works with a genocidal regime, to be fair to them. Can't kick old habits out.
23.
by well_ackshually 9d ago
>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
24.
by well_ackshually 9d ago
Reading _that_ on Hackernews of all places is funny as shit.
25.
by well_ackshually 9d ago
Anthropic must love you. Re-blow hundred of thousands of tokens to relearn how to use your profiler and build system at every debugging attempt.
26.
by well_ackshually 9d ago
Because there's about as many ways of taking public transit as there are users. For many, live maps are critical. I don't understand why either, but people want the "control" it offers and knowing that their bus is aroun
27.
by well_ackshually 9d ago
You're not fighting unsophisticated attackers. 50% of them are, maybe. The rest? They're actively hostile, detecting blocking attempts, moving on to botnets, DDoSing you and trying everything they can to bypass you. People have be
28.
by well_ackshually 9d ago
"I disable things and expect others to do things for me, in their own time, without being paid, to bring solutions to my paranoia" You do see how selfish it is, right? While the author did introduce such a solution, it's such
29.
by well_ackshually 10d ago
Because as we all know, the US government (and especially this one) would never lie. How are the weapons of mass destruction in Iraq doing?
30.
by well_ackshually 11d ago
1 million dollars reinvested in the economy by a bunch of math nerds that need to buy food, get housing, pay for services, or 300k in Anthropic's pocket? I wonder which one makes society better off, hmmmm, very complicated question, no

More ›