> I worry about new languages though. I guess maybe model training with synthetic data will become a requirement?
I read a (rather pessimistic) comment here yesterday claiming that the current generation of languages is most likely going to be the last, since the already existing corpus of code for training is going to trump any other possible feature the new language might introduce, and most of the code will be LLM generated anyways.
The OP question was about agentic utility specifically. I've also gotten great side-project utility from AI codegen without having to marry my project to CC or give up on looking at code by simply prompting when I need something from whatever LLM.
Nothing wrong with CC, but I keep hearing the same kind of app being built -- home automation, side-project CRUD.
What I'm deeply skeptical of is the ability for agentic to integrate with a team maintaining+shipping a critical offering. If you're using LLMs for one-off PRs, great but then agentic seems like a band aid for memory etc.
Meamwhile if you're full CC/agentic it seems like a team would get out of sync.
It's weird, I'm on 8.2.4 but it hasn't asked me for any new permissions. It did use mobile data last October but none this month. Is network access a permission? I only see "Phone" granted.
It may be because my aging phone is on Android 10, I auto-migrated Nova from an even older phone. Back then app drawers were in the free version, so after the migration I can't modify them (don't care, I didn't end up using that feature).
> The reality is that most hand-made art is an unconscious mash-up of learned signifiers mediated by some kind of technique
Yeah, no. Competent artists are not generalizable as "unconscious", solely "mashing up" influences or input, or even working with "signifiers": many are exquisitely aware of their sources; many employ diverse and articulated methodologies for creation and elaboration; many enjoy working with the concrete elements of their medium with no concern for signification. Even "technique" does not have a uniform meaning across different fields and modes.
That's not really the same as stores outright banning AI code.
An apt analogy would be like a shared drawing taking merge requests and having to spend 30 minutes looking at every single merge request zoomed in to see if there was a microscopic phallus embedded somewhere.
It is completely fair for an open source project to have their own standards, and you are also free to fork it so you can accept as many AI PRs as you want.
None of these options are available for someone that wants to sell AI generated music. There are really only 2 marketplaces to sell your own music and if both of them banned AI, then you are effectively locked out of the entire market.
Your point echoes the "death of the author" concept in literature, where the work is independent of the creator, full stop. It's a useful concept up to a point, but if you really have no idea what it means to have a deep connection to music that is wrapped up in some idea of the creator as a human being, you should trust others when they say they do and it's important to them. For those of us with that value, AI slop is offensive, and to be clear, it has precedents in history with Muzak, early schlager music etc -- what they all share is a desire to use the power of music for non-artistic ends, which sucks from any number of viewpoints. If music has non-artistic utility, that doesn't justify a concerted effort to take away artist-made music from those who may not be paying attention.
I appreciate the honesty. I'm not saying people don't have this relationship with art, I think everyone can have some degrees of it, including me.
But my experience as an artist talking to non-artists about art, I don't think the sentiment that art without a struggling artist, purpose, story to tell, human arc, etc, is not real art is a true sentiment. First of all, because it's not true, because people apply their own meaning and form their own unique relationship with an artist. (The saying don't meet your heroes come to mind.)
Note that I'm not talking about AI at all here. I'm 100% for banning purely generated AI on soundcloud, bandcamp, spotify, etc. What I really want is to filter out art created by people who has put profit as first priority and thrown away any shred of artistic integrity.
But this is an impossible feat, because who am I to judge that someone else's favorite artist is devoid of artistic integrity?
Is "gatekeepy" how we're referring to skill now? "Man I'd like to make a top-quality cabinet for my kitchen, lame how those skilled carpenters are gatekeeping that shit smh"
Much of the discussion here seems focused on the Lean part/correctness, but it sure looks like for Tao its the rapid iteration on the _paper_ that's the important part:
> ... to me, the more interesting capability revealed by these events is the ability to rapidly write and rewrite new versions of a text as needed, even if one was not the original author of the argument.
> This is sharp contrast to existing practice where the effort required to produce even one readable manuscript is quite time-consuming, and subsequent revisions (in response to referee reports, for instance) are largely confined to local changes (e.g., modifying the proof of a single lemma), with large-scale reworking of the paper often avoided due both to the work required and the large possibility of introducing new errors. However, the combination of reasonably competent AI text generation and modification capabilities, paired with the ability of formal proof assistants to verify the informal arguments thus generated, allows for a much more dynamic and high-multiplicity conception of what a writeup of an argument is, with the ability for individual participants to rapidly create tailored expositions of the argument at whatever level of rigor and precision is desired.
Of course this implies that the math works which is the Aristotle part, and that's great ... but this rebuts the "but this isn't AI by itself, this is AI and a bunch of experts working hard, nothing to see here": right, well even "experts working hard" fail to iterate on the paper which significantly hinders research progress.
I think that while these langs are "niche" they still have quality web resources and codebases available for training.
I worry about new languages though. I guess maybe model training with synthetic data will become a requirement?
reply