Viewing profile — Ar-Curunir

There is research as of last year which brings unoptimised impls of those join algorithms to “on-par” with optimized non-optimal industry impls. There’s still research to be done i…

What do you mean? There’s plenty of high impact research on databases happening in academia. (Including, for example, Andy’s group at CMU) Also keep in mind that the part you quote…

Circuit complexity lower bounds (and lower bounds in general) are notoriously difficult to come across. For example, despite our best efforts, the state of the art lower bounds on …

Do you have any evidence that the bugs were due to LLM code? Or are you just speculating baselessly

Shevy is a long time troll. Should have been banned a while back

What does one have to do with the other?

The problems from CS (CVP and circuit complexity) are very important problems that have been worked on by top researchers for 30-40 years. Some of these researchers include Turing …

Some of the problems solved here, at least in CS, have been open for decades, and have been worked on by very smart leading researchers in the field, including Turing Award winners…

It does help for logic errors too, with, eg, sum types and traits and abstraction. Also better defaults.

It is, of course, meant to be taken in a humorous tone here, despite the morbid subject.

There a constructive way to leave feedback you know

As if the social norms only flow one way (gypsies excluding themselves) and not the other way (white Europeans excluding them).

And people all over the world use it, not just Germans

Every engineering student in the US takes those courses. I did too. That doesn’t make us top 2-3% of college grads. The stuff you mentioned is first year business for most math und…

We don't call those bots grandmasters and have them compete in championships, nor do we laud them for beating human grandmasters.

Did your 7 semesters of calculus include any courses that a math major would take? For example, a single upper-division undergrad level course on probability will expose you to mea…

I mean, unfortunately being completely explicit and pedantic does not scale. Imagine that instead of being able to use high-level programming languages, you had to write in assembl…

Possibly, but coming up with algorithms is difficult! And people have been searching for faster DLP algorithms for 50 years

Re 1: that doesn't help with Zig code that doesn't use your annotations. In contrast, Rust forces all code to use annotations. Re 2: that still looks to me to be a runtime check.

Yes clearly that is what is meant here.

the architecture doesn't make sense. MIRI doesn't perform static analysis on MIR. It is, as the name says, an interpreter. The borrow checker is entirely different from miri. Rust'…

No, it would fundamentally change how Zig works.

Why so? Having more time in the evening after work is way better. Getting out of work and it already being dark is depressing.

No, underpaid nerds have built modern civilization.

You think OpenAI didn’t encourage, or even tell them to steal apple IP? Like yes, the employees are not bastions of morality, but they didn’t do it out of insecurity, but because t…