Viewing profile — qsort

That's actually ok. In virtually all Latin dictionaries verbs are listed in the first singular person of the present indicative (e.g. you would find "sum" and not "esse"). It's jus…

> When OpenAI posted about their 10 breakthroughs, I saw lots of career research mathematicians say things mostly along the lines of “I don’t understand any of this it’s way over m…

> I wonder if national, institutional, or otherwise "eccentric" sponsorships (encouraging a similar migrant-madman approach to academic cultivation) of some of the folks on HN woul…

I've had similar conversations with a client recently while discussing estimates for a large project. Senior leadership has a mental model where AI makes everything X% faster, but …

Counterpoint: the problem is actually HTML and most of webtech is increasingly elaborate cope mechanisms to deal with the original sin.

I'm not a frontend guy so take this with a pinch of salt, but for a few personal projects I've done my approach is now "ai pls generate css". I thought it would be inconsistent and…

> guidance or missing context issue I mean yeah, that's mostly what I'm saying? The only parts where I would disagree are that capabilities are spiky, and also the fact that they'r…

I'm not saying I don't get any use out of them, fwiw. In a lot of ways they write perfectly fine code, I'm just saying without some guidance at the macro-level they lose the forest…

5.6 Sol on Codex, Opus 5 on Claude Code. (See sibling message, I'm not saying they're useless)

Very hard to say anything definitive on this because it's a moving target, but last time I tried models still had a distinct sense of "consistently good, sometimes great at micro, …

I completely agree with you that the chat interface is very undercooked and there's a big untapped space for agent-first interfaces, perhaps even replacing traditional desktop meta…

"Torture" is definitely hyperbolic, but being forced to listen to the heartbeat of the fetus is not something that's based on any kind of science or rational argument, it's quite t…

> The big Cantorian leap that we make is when we use the diagonal argument to argue that the rationals are countable. Again, I don't think your position is indefensible, but this d…

I don't think your position is silly, but this is not a great argument for it. > But when we say things like "the rationals are discrete" In the usual topology they are not? > In t…

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…

> 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.

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…

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.,…

> 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"…

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 con…

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.

> 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 overest…

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 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 - Cl…

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 "a…