Ar-Curunir

3 ms·

1.
by Ar-Curunir 11d ago
Yes, and even after introducing and using Rust, there were still vulns in the remaining code. FWIW, Rust is my main language, so I am grateful to the humans that created it, and it is indeed a monumental effort. But vuln finding is a differ
2.
by Ar-Curunir 11d ago
Mozilla had 400 Firefox CVEs found by Mythos; if those were so easy to find, why didn’t humans do it before?
3.
by Ar-Curunir 12d ago
The only population growth the US gets is from immigration. Cutting out skilled population growth is not a good idea!!
4.
by Ar-Curunir 16d ago
Oh yeah, the real world has subtitles, right?
5.
by Ar-Curunir 17d ago
What? Plenty of people can use the smaller iPhones with just one hand.
6.
by Ar-Curunir 17d ago
You can indeed generate many nonsensical problems. Generating ones which require interesting and non-trivial mathematics is much more difficult.
7.
by Ar-Curunir 17d ago
Current career structure of mathematicians works partially by looking at whether they have solved novel and interesting problems, or at least done theory-building that can help solve such problems. Many mathematicians are also motivated by
8.
by Ar-Curunir 18d ago
Have you heard of, e.g., Walmart? How do you think their logistics works? Or, similarly, any modern capitalist economy? Do you think it's entirely decentralized planning with independent actors?
9.
by Ar-Curunir 18d ago
"Capitalist central planning is actually communism". If you're going to use wrong words, then be prepared for people to be pissed off at your wrong usage.
10.
by Ar-Curunir 18d ago
They offered to collaborate by asking to drop a coauthor. That is not collaboration, and is not an academic norm.
11.
by Ar-Curunir 18d ago
> And simply knowing a problem can be solved is half the battle. Have you done any mathematical research? If not, then no, knowing that a problem is solvable is not “half the battle”. Homework problems are all designed to be solvable, ye
12.
by Ar-Curunir 18d ago
To come away from this thinking that the academic is the bad actor, given OpenAI’s reputation, is certainly an exercise in creative thinking.
13.
by Ar-Curunir 18d ago
Dude you’re over this entire thread unflinchingly supporting OpenAI with nonsense semantics-based arguments. Either put up some evidence-backed arguments, or shut up.
14.
by Ar-Curunir 19d ago
They definitely do, just implicitly. In the past it was more explicitly stated.
15.
by Ar-Curunir 29d ago
This entire thread you’ve been talking about the PKK with very little evidence in support.
16.
by Ar-Curunir 29d ago
Morality != legality. these anarchists have a much better moral grounding than most US tech companies which gladly support US military destruction.
17.
by Ar-Curunir 1mo ago
Yet on most metrics IBM is a success.
18.
by Ar-Curunir 1mo ago
I don’t think that’s true. True masters will create works that enable additional interpretations, perhaps beyond or even contradictory to those intended by the original authors. I doubt 50 Shades of Grey enables such a multitude of addition
19.
by Ar-Curunir 1mo ago
Man even your comments sound like they’re written by an LLM
20.
by Ar-Curunir 1mo ago
Yes, they just hand out Turing Awards for bullshit.
21.
by Ar-Curunir 1mo ago
What is your envisaged application? ZKPs give you integrity guarantees which prevent malicious behaviour.
22.
by Ar-Curunir 1mo ago
Shipping from Asia to Asia doesn’t make much sense
23.
by Ar-Curunir 1mo ago
No, that’s not what proper encryption means. Security for encryption means that cipher texts encrypting distinct messages are indistinguishable. This is called IND-CPA, and FHE satisfies this.
24.
by Ar-Curunir 1mo ago
The article brings with an incorrect premise, and then argues a different point. The opening premise is: NP-hardness is easy in theory, hard in practice, the point made is that it’s easy in practice. But that premise is itself wrong: comple
25.
by Ar-Curunir 1mo ago
You have clearly not encountered theoretical computer scientists. They love to create all kinds of complexity classes and theorems to capture things like heuristics and approximation algorithms and other things which work in practice but no
26.
by Ar-Curunir 2mo ago
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 in optimizing these algorithms in both theory and practice.
27.
by Ar-Curunir 2mo ago
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 quoted is partially marketing copy.
28.
by Ar-Curunir 2mo ago
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 time complexity of algorithms for solving 3SAT is O(n). In c
29.
by Ar-Curunir 2mo ago
Do you have any evidence that the bugs were due to LLM code? Or are you just speculating baselessly
30.
by Ar-Curunir 2mo ago
Shevy is a long time troll. Should have been banned a while back

More ›