qsort

5 ms·

1.
Teaching a fruit fly to play chess(flychess-hq.vercel.app)
1 points by qsort 3d ago|0 comments
2.
by qsort 3d ago
Quoting from the official website: >>>>>> The new procedure targets inappropriate behavior by parents and spectators directed at children, coaching staff members, referees, match officials, or other parents and spectators.
3.
by qsort 5d ago
A lot of people have explained how that would happen, in excruciating detail. The reason why this wasn't a major part of the discourse is that most people (including myself) did not believe jumps in capabilities like those we have seen
4.
by qsort 5d ago
Humans not dying would be an excellent feature for the future to have. Not a hard requirement though, we'll see if there are some story points left in the sprint.
5.
by qsort 13d ago
To be fair Codex and Claude Code don't have a lot of secret sauce either. This is not to say that the harness doesn't matter at all or that you can't do any better, but whenever they benchmark it always turns out that you don
6.
by qsort 13d ago
markdown as a service is crazy
7.
by qsort 13d ago
> The ARC-AGI-3 scorecard is extremely misleading (...) True. > Regardless, the result is still valid (...) If you think the game is rigged, the virtuous thing to do is to point that out and refuse to partecipate; making up your own r
8.
by qsort 23d ago
They now give out resets you can choose when to use, but with a "best before" date. With Anthropic you don't even know what model you'll have access to next week. A few months ago I wanted to try a subscription to Gemini
9.
by qsort 23d ago
I agree with you contra GP that "barely speak English" wildly misrepresents LLM capabilities, but I think they don't write very well, and your characterization is also an overstatement. They often use stylistic elements that
10.
by qsort 1mo ago
If your work is more focused on statistics or pure modeling, then I agree R wins hands down. The issue is that most projects have "unclean" parts where you have to gather data from multiple sources, use connectors for services, S3
11.
by qsort 1mo ago
> His polemic against determinants is poorly motivated, misguided, and distracting. What polemic? Defining the determinant as the unique multilinear alternating form satisfying certain properties is very normal (and in fact the only way
12.
by qsort 1mo ago
You zoomers are making a list of linear algebra books and not citing Lang? Get off my lawn ;)
13.
by qsort 1mo ago
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 just showing you the dictionary e
14.
by qsort 1mo ago
> 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 my head”. Huh? Mathematics is an extremely wide subject, i
15.
by qsort 1mo ago
> 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 wouldn't lead to meaningful discoveries in CS.
16.
by qsort 2mo ago
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 that's very wrong. Some things get sped up by an i
17.
by qsort 2mo ago
Counterpoint: the problem is actually HTML and most of webtech is increasingly elaborate cope mechanisms to deal with the original sin.
18.
by qsort 2mo ago
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 broken, but if you tell it to care abou
19.
by qsort 2mo ago
> 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're a bit prone to losing the forest for the
20.
by qsort 2mo ago
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 for the trees, that's all.
21.
by qsort 2mo ago
5.6 Sol on Codex, Opus 5 on Claude Code. (See sibling message, I'm not saying they're useless)
22.
by qsort 2mo ago
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, bad at macro". Similar to how, even for relat
23.
by qsort 2mo ago
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 metaphors. You're spot on with your premise. With that
24.
by qsort 2mo ago
"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 transparently emotional manipulation. I
25.
by qsort 2mo ago
> 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 doesn't strike me as particularly convincing. Th
26.
by qsort 2mo ago
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 the practical sense the rational numbers
27.
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
28.
by qsort 2mo 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.
29.
by qsort 2mo 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
30.
by qsort 2mo 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

More ›