qsort

5 ms·

31.
by qsort 2mo ago
Many of my friends are mathematicians, they are saying pretty much the same thing the article is saying. Unfortunately, even the "I have wondered if it is the express goal of these companies to make me kill myself" line I haven&#x
32.
by qsort 3mo ago
> you're being bitchy Honestly you're right, I'm sorry. I'm not having a great day and ended up venting online. Logging off.
33.
by qsort 3mo ago
Yes, did you read that section? It's using different terminology but it's saying exactly what I'm saying (of course it does, it's elementary computer science). There is no accepted definition of the word "algorithm
34.
by qsort 3mo ago
Rogers "Theory of Recursive Functions and Effective Computability", page 1, emphasis is the author's: § 1.1 The informal notion of algorithm In this chapter we give a formal (i.e., mathematically exact) characterization of
35.
by qsort 3mo ago
> A compiler is an algorithm and Claude isn't "Algorithm" is not a word with a definition, so I can't say that you're wrong, but I struggle to see how you conceptualize "algorithm" in a way that does in
36.
by qsort 3mo ago
I wouldn't say that "over-engineering means solving the wrong problem". It's possible that the idea is basically correct, but people are directing effort towards optimizing for constraints that don't really exist or
37.
by qsort 3mo ago
It's tedious, but you could literally even do this by hand. I'm pretty sure I've done worse coordinate bash back when I did math competitions in high school.
38.
by qsort 3mo ago
> I will just point out the benefit is not as obvious as you think. Developers have consistently overestimated LLM I think there are two different claims here: - developers overestimate productivity gains, which is a solid finding in man
39.
by qsort 3mo ago
I'll admit I have a bit of a skill issue here. I'm letting go of reading every single line, especially within well-scoped modules that don't affect anything else. On the other hand I struggle to form the mental model required
40.
by qsort 3mo ago
I agree that the Bun rewrite is much more reasonable than knee-jerk reactions imply, however: - I don't think Claude Code is using the Rust version yet in their official build - Claude Code is not a particularly complicated piece of so
41.
by qsort 4mo ago
It always divides it evenly, that's why it works. After the i-th iteration of the for loop, ans will contain n!/((n-i)!i!) which is exactly \binom{n}{i}, an integer. Technically "ans" can grow above the final result in m
42.
by qsort 4mo ago
You don't need space for 40!/20!, for example: let ans = 1 for (let i=1; i<21; ++i) { ans *= (41 - i) ans /= i } The same idea can be trivially tweaked to compute any binomial coefficient without ever st
43.
by qsort 4mo ago
"The government sucks therefore aliens built the pyramids" has to be the line of thinking I sympathize the least with in the entire span of human opinions.
44.
by qsort 4mo ago
Actually yea, it has everything to do with it. I am open to the idea that we should handle immigration differently, but I want a plan and specifics, not slogans. What we want to achieve, and by what mechanisms you plan to get there. Open an
45.
by qsort 4mo ago
This is unfortunately the problem. The level of the public debate is abysmal, most politicians push unbelivably stupid shit about immigration and other identitarian nonsense, budget gets spent to ensure cheese and wine have the proper AOC c
46.
by qsort 4mo ago
Agreed, I don't know if it's going to stay like this forever, but right now , if anything, the difference is amplified. You can make unbelivable stuff happen through the sheer power of knowing what you're doing.
47.
by qsort 4mo ago
Yeah, GPT 5.5 + Fable beating either individually is belivable, but 2x Opus > Fable is what makes me a bit dubious about the whole thing. They might be measuring skills that are too specific or benefit a lot from more tokens being thrown
48.
by qsort 4mo ago
Not all translations are the same. Literary translations are often works of art in and of themselves, and automating them would be missing the point entirely, like automating homework or weightlifting at the gym. I don't really know wh
49.
by qsort 4mo ago
It's almost certainly a reference to Lovecraft actually: https://en.wikipedia.org/wiki/Cthulhu_Mythos Hopefully future models will be kind enough not to behave like malevolent gods.
50.
by qsort 4mo ago
If you're a "React person", as the article puts it, friendly reminder that you can render components to HTML and serve that to the user. I have done exactly that on a project that was under similar constraints. The UI models
51.
by qsort 4mo ago
These are the results from the website they link in the paper: https://math.sciencebench.ai/benchmarks I take the "2 unsolved" claim to mean "not solved by any model in any configuration in any stage with any
52.
by qsort 4mo ago
Look, I've never been someone who mindlessly hypes AI companies, as a matter of fact I think they have serious leadership problems across the board, but you people are straw-manning them so badly it actually makes me sympathize with th
53.
by qsort 4mo ago
I'm dumb as a rock and I don't have a PhD, but since ~1 year ago I started forcing myself to do small bits of coding and math manually. I'm not noticing a "cognitive decline" per se, but I do see I'm a lot &quo
54.
by qsort 4mo ago
The object-level discussion is interesting, but I disagree with the premise to such an extent it feels like a moot point. It feels like the article doesn't play out the line to its logical conclusion. Why would agents want GUIs made fo
55.
by qsort 4mo ago
I'm with you that people are insanely hyped about Claude Code in particular when e.g. Codex isn't far behind (and with recent models I actually prefer it). But I'm going to need a citation for this: > a lot of GenZ and you
56.
by qsort 4mo ago
I don't know what this table is supposed to measure but it doesn't check out. (C, C++) and (JS, TS) are almost source-compatible, chances are you can rename test.c to test.cpp and test.js to test.ts and you're done. Yet they&
57.
by qsort 4mo ago
I truly don't get Google's move. I'm sure the model is fine, but it's not Google Search, and when I want Search I want Search. If I wanted to ask an AI, why can't I ask the one from my subscription... that I'm
58.
by qsort 4mo ago
I'm not at liberty to talk more about the details, but last year I worked on a project to modernize a process that critically relied on a VBA macro to handle billions (yes, with a B). > they run in such a sandbox What makes them int
59.
by qsort 4mo ago
I have almost never seen someone start a sentence with "Christian roots" or "Judeo-Christian values" and not end it with a tirade that uses religion as the fig leaf to justify and authorize their reactionary politics. Th
60.
by qsort 4mo ago
> Much of Western thought traces back to serious work by Church theologians. The problem I have with this is that it's structurally a motte-and-bailey claim. If I have to take it literally, then it's obviously true and it'

More ›