• 4 Posts
  • 141 Comments
Joined 1 year ago
cake
Cake day: May 11th, 2024

help-circle







  • This is an inaccurate understanding of what’s going on. Under the hood is a neutral network with weights and biases, not a database of copyrighted work. That neutral network was trained on a HEAVILY filtered training set (as mentioned above, 45 terabytes was reduced to 570 GB for GPT3). Getting it to bug out and generate full sections of training data from its neutral network is a fun parlor trick, but you’re not going to use it to pirate a book. People do that the old fashioned way by just adding type:pdf to their common web search.








  • Cannot be done with Mint? I’ve OS hopped every few years - currently running Windows 11 at work and Mint at home. I much prefer the Mint install. That said, I’m a video producer - and video production just isn’t there yet on Linux. CUDA’s a pain to get working, proprietary codecs add steps, Davinci’s linux support is more limited than it seems, KDenLive works in a pinch but lacks features, Adobe and Linux are like oil and water, there’s no equivalent for After Effects… I don’t doubt that there are workarounds for many of these issues. But the ROI’s not there yet. I’d love to see a video production focused distro that really aimed for full production suite functionality. Especially since Hackintoshes are about to get even harder to build.





  • I did some source digging to hopefully best address your observations. Science journalism (even when internal and likely done in concert with the authors) is fundamentally a game of telephone. But looking at the source papers:

    They say it in an incredibly formal way, but they do seem to come to the conclusion that the LLM develops understanding. The paper makes that case within an incredibly narrow context, but it does include:

    We anticipate that this technique may be generally applicable to a broad range of semantic probing experiments. We argue that the observed semantic content cannot be fully attributed to a retrieval-like process, and instead requires the LM to perform some degree of generalization over the semantics. More broadly, we see programs and their precise formal semantics as a promising direction for working toward a deeper understanding of the behavior of LMs, such as whether or how LMs acquire and use semantic representations of the underlying domain more generally.

    With it now clear that the generalized case is not shown: the specific type of understanding that they have shown is non-trivial.

    Conclusion: This paper presents empirical evidence that LMs of code can acquire the formal semantics of programs from next token prediction.

    A foundational topic in the theory of programming languages, formal semantics (Winskel, 1993) is the study of how to formally specify the meaning of programs.

    From Winskel: The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages.

    Also notable but unrelated: Jin and Rinard’s paper was supported, in part, by grants from the U.S. Defense Advanced Research Projects Agency (DARPA).