andriy_koval

10 ms·

1.
by andriy_koval 3d ago
> Better newer package support when you're on something slower moving like a Debian distro? exactly
2.
by andriy_koval 4d ago
Nvidia and OpenAI claimed AGI, but you still have a job.
3.
by andriy_koval 5d ago
Tao has enough moat (name, funding) to make shift happen and even capitalize on this.
4.
by andriy_koval 5d ago
Its by choice. Mathematicians still can use AI to "achieve the primary goal of conceptual understanding and insight"
5.
by andriy_koval 5d ago
Not every, but I hope it is hard to deny that concentration of radicalized members of Hamas is very high in that area, they historically use civilians as human shield, thus casualties.
6.
by andriy_koval 5d ago
> There's a reason why Israel has stopped directly striking Iran. its inefficient at this point and Israel has other targets
7.
by andriy_koval 5d ago
Yemen is far from Israel, the same as Syria is not tied to Israel. Iran confronts other Suni regional powers in addition to Israel.
8.
by andriy_koval 5d ago
> path of excessive modularity with each module being excessively complex its contradicting metrics. You either have modules being excessively complex and not enough modularity or vice versa
9.
by andriy_koval 5d ago
> A lot of human written code, particularly at the enterprise level, was of low quality well before AI automated it. its just now the same humans weaponized by AI ship 20x more of low quality code.
10.
by andriy_koval 5d ago
> when in reality they basically are the government of 70-80% population of Yemen and absorbed 60+ percent of the Yemeni regular army. sure, they took this by force while killing those who disagree. Its part of Sunni vs Shia confrontatio
11.
by andriy_koval 5d ago
> Iran clearly has the capability to flatten every major hospital and university and desalination plant in Israel its not clear at all. They clearly tried to hit Izrael with barrages of missiles, but looks like their targeting systems su
12.
by andriy_koval 5d ago
> even Pakistan and India, which are at each other throat all the time Iran is way more aggressive in spreading influence in region (hoothis, hezbollah, hamas, Syria, Iraq, denying Israel existence).
13.
by andriy_koval 5d ago
You can use actual CH Cloud on AWS?..
14.
by andriy_koval 7d ago
I read Tristan's allegation from https://cims.nyu.edu/~tristanb/statement.pdf , and he didn't make it clear if threats to him were made over email, texts, calls or during personal meetings, so it is not clear
15.
by andriy_koval 7d ago
> If there was really no bad behavior, why not post the whole thing? what is whole thing?..
16.
by andriy_koval 7d ago
They claim 900M revenue
17.
by andriy_koval 7d ago
I am not sure what is devin's value proposition, but one can build lots of enterprise stuff into coding harness: integration with various internal doc, auth, db services, some enterprise jiras, meeting software, security/privacy c
18.
by andriy_koval 7d ago
> But he wasn't lying. and we know this how?
19.
by andriy_koval 7d ago
> And a third thing: OpenAI's thuggish behavior. Threatening a researcher with reputational ruin and demanding one of their competitors be denied proper credit is unacceptable, and we know OpenAI did both (unless Buckmaster is simpl
20.
by andriy_koval 7d ago
likely there are some, the question if its "millennial" type problems. Also, lots of hype around "millennial" grading, it is kinda funny if we solve all "millennial" problems in first 30 yeas of millenia.
21.
by andriy_koval 7d ago
wondering if creativity can be managed by setting reasoning level.. You pick lover reasoning for simpler tasks and high reasoning for open ended research.
22.
by andriy_koval 7d ago
They have some internal market where he likely sold his shares and now is very rich.
23.
by andriy_koval 8d ago
> Either way, it seems AI was involved. I think the important question which AI made breakthrough, Claude or Codex..
24.
by andriy_koval 10d ago
> when someone refers to “ZFC” when they are filling a slot that needs a (axioms + rules of inference), the obvious interpretation is that they are referring to the usual system of ZFC. its bro-math. In formal math you need to be specifi
25.
by andriy_koval 10d ago
zfc is a bunch of axioms and not inference system. It is commonly assumed that it is built on top of some unspecified first order logic which commonly assumed to include bunch of inference rules. There is no ground truth in my understanding
26.
by andriy_koval 11d ago
> Formally, a function f is a relation discussion was if zfc has functions at all, not sure why you put relation here.
27.
by andriy_koval 11d ago
Obviously citation from wikipedia can't be considered as replacement of math proof. > If you're going against the general consensus you should present something more than nebulous assertions that it's wrong. burden of proo
28.
by andriy_koval 11d ago
and what is that system?
29.
by andriy_koval 11d ago
we need to find real solvable problems. Those you listed are mostly not solvable in society with current governance process. AI got lots of abilities suddenly emerged, and can be applied on solving problems and not silly toys.
30.
by andriy_koval 11d ago
No, once you start formalize this, it becomes complicated. There is a reason why looks like there is no "peano can be derived from zfc" theorem which would close dispute, and my opponents need to throw links on bro math from stack

More ›