dekhn

5 ms·

1.
by dekhn 5d ago
Yes, I remember. See anything familiar on https://www.weeklyrobotics.com/articles/2023_01_25_the_histo...
2.
by dekhn 6d ago
With regards to Franklin and DNA: the credit went to Watson and Crick because they had the fundamental insight: that DNA is an antiparallel double helix (Franklin knew it was a helix, but not an antiparallel double helix, which is key t
3.
by dekhn 6d ago
When I worked at Google, we spent $100M in power on protein folding and drug discovery (this was long before AlphaFold). Never underestimate the willingness of smart rich people to invest in speculative science.
4.
by dekhn 6d ago
I 3D print cable rocks and mount them in my garage and then hang them in groups by type. I also get rid of every cable type I haven't used in 10 years because you can always just buy more of that cable.
5.
by dekhn 6d ago
Which ones? I have a copy of the movie and can go back and check. But in my experience nearly all the jokes had already been done in the original show, or were duplicative of jokes from other "X vs Y" movies.
6.
by dekhn 6d ago
I don't engage with hyperbole.
7.
by dekhn 6d ago
The claim that OpenAI somehow used the mathematicians' ideas to leapfrog them seems unsupported at this time and IMHO it was irresponsible to bring it up because credulous people will immediately believe that narrative. And from my per
8.
by dekhn 6d ago
rates beat counts almost always.
9.
by dekhn 6d ago
Reputational risk- if they lie about this and get caught, it will have billion dollar implications for their business.
10.
by dekhn 6d ago
Yes, it's pretty clear that's a common pattern.
11.
by dekhn 7d ago
I think pretty much every major mathematician has accepted that the ideas and implementation behind lean is solid.
12.
by dekhn 7d ago
Tell me you don't understand how cancer or medicine works, without telling me you don't understand how cancer or medicine works.
13.
by dekhn 7d ago
Didn't OpenAI make a Lean proof? https://github.com/openai/NavierStokesAndEuler/tree/main/Nav... "This repository contains Lean 4 formalizations of the results presented in “Finite time blowup
14.
by dekhn 7d ago
Individual crystal structures, while heroic, probably don't qualify for the Nobel Prize (the only counterexample that I can think of is the crystal structure of the ribosome, which finally demonstrated that the active site was RNA, not
15.
by dekhn 7d ago
I simply feel that it could have been 10X better. They had everything for it to be great, and it was just.... adequate. Here's an example of Looney Tunes elevating the genre: https://en.wikipedia.org/wiki/What%27s
16.
by dekhn 7d ago
A prior of "one large company is current involved in an unrelated lawsuit with another large company" is pretty weak; the case is undecided and about an entirely different kind of IP theft. In short I think a lot of people are jum
17.
by dekhn 7d ago
I watched it (I'm a big old school looney tunes fan) and I don't think I laughed even once in the entire movie.
18.
by dekhn 7d ago
Actually, I work in biology, which is a far more complicated and undocumented computer than any existing AI model. And we've already seen the failure models (COVID is an example).
19.
by dekhn 7d ago
An opportunity to correct myself? Respectfully, I decline. If you have trouble parsing my sentence, it's not meant for you.
20.
by dekhn 7d ago
Based on: my experience working on AI for 32 years, including a decade at Google including working on large-scale model training systems that used user data and complied with various user policies around data retention, along with a few dec
21.
by dekhn 7d ago
It seems like we can skip much of the expensive modelling and use evolutionary conservation data to shortcut building a full latent space that captures all salient interactions. It's unclear to me whether we truly need to model the en
22.
by dekhn 7d ago
I work in pharma and I've advocated for directly training models that predict drug trial outcomes. I don't think we have the necessary support (data + algorithms) to produce accurate models in this space. I suspect that predicti
23.
by dekhn 8d ago
Only if you interpret statements as being binary logic. "seem to be" carries semantic meaning here: I'm stating my interpretation of the situation based on data we have available (which is limited) and my prior. Put another w
24.
by dekhn 8d ago
I don't think you're taking this thread seriously enough to respond in detail. A university can be tiny, or it can have thousands of researchers. Some of them might want to work on small models, and others on huge frontier models
25.
by dekhn 8d ago
Sure, they have clusters. We often call them "closet clusters". Nothing has changed. Some institutions have larger systems (some extremely large) but none of them have demonstrated running warehouse-scale systems. I'm tal
26.
by dekhn 8d ago
From the perspective of those who don't pass through the singularity to the other side, it is an endpoint. You would have no context or ability to understand a singularity transition. Really, the term is just a placeholder for &quo
27.
by dekhn 8d ago
We don't have enough accurate knowledge to say that, and it doesn't seem to be the case at all.
28.
by dekhn 8d ago
We don't have any proof of that at all. Please stop rushing to judge without data.
29.
by dekhn 8d ago
Oh, I'm pretending that's not canon because it doesn't make any sense and it undermines the original scene.
30.
by dekhn 8d ago
There's a scene in the movie "War of the Worlds" by Spielberg where the protagonist's son walks into a war zone because he is entranced by the battle ( https://www.youtube.com/watch?v=X7rfWPbEufo ). He is

More ›