Xcelerate

10 ms·

91.
by Xcelerate 1y ago
> “When the request came to us, I was almost jumping up and down,” says Dr. Irfan Essa, a principal research scientist at Google DeepMind and director of its Atlanta lab. Wait, what? When did Google DeepMind open an Atlanta office? That
92.
by Xcelerate 1y ago
So fly the person out for an in-person interview back like we did in the ancient year of 2019? This seems like a total non-problem to me.
93.
by Xcelerate 1y ago
> I thought that it might be a rare chance to invoke the NFL theorem appropriately, but I guess I was wrong Haha, I wouldn’t feel bad. It’s one of the most misunderstood theorems, and I don’t think I’ve ever seen it invoked correctly on
94.
New Improvements in Solving Large Labs Instances Using Memetic Tabu Search(arxiv.org)
1 points by Xcelerate 2y ago|0 comments
95.
by Xcelerate 2y ago
> it was hard for a professional working there to describe to their kids what exactly they do all day I work remotely, and my four year old daughter asked me this morning “How does you being upstairs all day give us food?” At dinner time
96.
by Xcelerate 2y ago
Haha, I had the same experience going from scientific work in grad school to big tech. The phrase “a solution in search of a problem” comes to mind. The additional complexity does create new problems however, which is fine for devops, becau
97.
by Xcelerate 2y ago
> Each lemma in Kingma and Ba's ADAM optimization paper is wrong Wrong in the strict formal sense or do you mean even wrong in “spirit”? Physicists are well-known for using “physicist math” that isn’t formally correct but can easily
98.
by Xcelerate 2y ago
> Some years ago, Sanborn began charging $50 to review solutions, providing a speed bump to filter out wild guesses and nut cases Oh man, oh man, this just gave me a great startup idea. What is the total addressable market of nutcases wi
99.
by Xcelerate 2y ago
> But the inferences of the resulting neural nets is not an algorithm It is a self-delimiting program. It is an algorithm in the most basic sense of the definition of “partial recursive function” (total in this case) and thus all known r
100.
by Xcelerate 2y ago
> This is patently false. Ok, I stand corrected.
101.
by Xcelerate 2y ago
Suppose an independent researcher with a background in linguistics solves P vs NP. Unlikely but not impossible. Who on earth is going to take a look at their paper? No one credible, that’s for sure. So even if someone has the funding and th
102.
by Xcelerate 2y ago
> Most simply, it [electron] just exists as a particular distribution of an electrostatic field in space. Best simple description of an electron I think I’ve heard yet. I wish we would drop all the dumb analogies. From a kid’s perspectiv
103.
by Xcelerate 2y ago
I want financial independence for the sole reason that I can work on interesting problems like this without any outside nagging or funding issues from anyone else (there might still be some judgment, but I can ignore that). Personally I thi
104.
by Xcelerate 2y ago
> for one, your 2%ers will look different from mine. That’s a kind and equitable thought, but I daresay there’s significant overlap between each person’s 2%ers. Some people are just really pleasant to be around—to almost everyone. Others
105.
by Xcelerate 2y ago
Oh for sure! Wasn’t critiquing your comment at all. I’ve seen the term a lot lately and it just made me wonder how much the industry is using it as a misleading hype factor. E.g., LLMs are “better” than Turing machines because they are oper
106.
by Xcelerate 2y ago
I’ve never liked that term “sub-symbolic”. It implies that there is something at a deeper level than what a Turing machine can compute (i.e., via the manipulation of strings of symbols), and as far as we can tell, there’s no evidence for th
107.
by Xcelerate 2y ago
This is exactly what’s going on in many situations. For any proposed study, you can ask the question “Is there a possible outcome of this study that would have a strong emotional effect on someone?” If the answer is “yes”, then I’d say it’s
108.
by Xcelerate 2y ago
Yeah but now I just switch my perspective from thinking of it as a formal deductive system to thinking of it as an optimization problem.
109.
by Xcelerate 2y ago
> It's easy for people (especially the kinds of people who gravitate towards engineering) to get all worked up about the necessary implications of the regulations as-written I was once trying to figure out taxes owed on some RSUs gr
110.
by Xcelerate 2y ago
Do you mind sharing which platform?
111.
by Xcelerate 2y ago
Now we just need a smart person who is somehow unaware of the halting problem.
112.
by Xcelerate 2y ago
The name-calling in public discourse wears on me. Ad-hominems, bad faith arguments. I’ve gotten to where I avoid the news altogether because of this seemingly accelerating trend.
113.
by Xcelerate 2y ago
The fact that the human brain can still do better on certain types of problems than SOTA LLMs while using less energy than a nice LED lightbulb continues to bolster my belief that ultimately it all comes down to the right algorithm. That’s
114.
Skolem's Paradox(plato.stanford.edu)
3 points by Xcelerate 2y ago|0 comments
115.
by Xcelerate 2y ago
Curiously enough, the Downward Löwenheim-Skolem theorem proves that if any first-order theory has an infinite model, then it also has a countable model, assuming the theory itself is countable. So even though ZFC talks about uncountable rea
116.
by Xcelerate 2y ago
That’s funny cause I’m going the exact opposite direction and trying to remove the diffuse lighting and replace it with very hard and bright lighting that has a spectrum as similar to sunlight as I can find/afford. Recessed lighting wi
117.
by Xcelerate 2y ago
Yep. I’ve been replacing all the bulbs in my house with Yuji SunWave, and the difference is astonishing. I just put in four of their PAR30 4000K bulbs above my kitchen island, and the first time I turned the lights on at night I gasped at h
118.
by Xcelerate 2y ago
Why do HN commenters want OpenAI to be considered in violation of copyright here? Ok, so imagine you get your wish. Now all the big tech companies enter into billion dollar contracts with each other along with more traditional companies t
119.
by Xcelerate 2y ago
K(x) is the Kolmogorov complexity of x, i.e., the length of the shortest program that halts and outputs x, typically defined with respect to a universal Turing machine. I(x : y) = K(x) + K(y) - K(x, y) is the mutual algorithmic information
120.
by Xcelerate 2y ago
> Holding the field back from what? If the goal of the practitioners of the field is to seek mathematically beauty, then well, that is what they will focus on. Holding the field back from answering questions about the behavior of simple

More ›