Sorry, by "official support" I mean that there is support within MSR to investigate these tools as a research project, no that there is a plan to actually do the conversion.
As I pointed out in a sibling comment, the plan isn't for it to work. This is a job posting for a researcher at MSR to investigate what it might look like someday.
It's less one guy's plan and more one Microsoft Research team's research goal to investigate technologies that might enable that in a few years. So probably more institutional support than just some guy, but less…
I enjoyed this Terence Tao post the other day. The relevant quote is > one might naively expect that the natural question to ask with regards to a given problem X in a field is "What is the answer to X?". But in many…
I don't understand what you're saying? An LLM is a transformer model trained on a large corpus of natural language, often with some post-training. An image model is a different type of transformer model. What's…
Sure, and those aren't LLMs?
This isn’t talking about correctness of SQL. It’s talking about correctness of queries.
So www.catb.org/~esr/jargon/html/M/mu.html
I think this is true when you realize "customer" means "coworker" or "person on the next team over" or "management" or "your intuition about the problem". Which all sort of have the same shape.
There are in fact rough breathing marks there on the articles, stacked under the inverted breve accents. Which is an alternate form of tilde.
Sort of. Romans didn't handwrite like that. See https://en.wikipedia.org/wiki/Roman_cursive . Note that the "u" character in both ancient and late ancient Roman cursive is more like the modern "u". (Source: not an…
Absolutely that is not the point of programming. The point of programming is finding good abstractions, writing clear and concise code, creating beautiful algorithms. If I wanted to make a product, I'd be a product…
Jack regularly mixes up words to humorous effect, so knowing that may help with the joke. But yeah, I agree the joke doesn't really work here.
Outlets benefit from standards, however. Every device (well kind of) uses the same few plug types, and a different plug would be a disadvantage. On the other hand, having a bunch of different languages is an advantage.…
Do you think writing books (and Wikipedia articles, and stack overflow articles, and github repos, and, and, and, and ...) is not a value add?? What terrible claim.
Well, that's literally what "vibe coding means", no?
What exactly are you “getting done”? I’m really curious what you’re doing with so many tokens.
One thing that has happened is that "AI" has been an academic discipline since literally the 1950s. The term was originally used in the hope that we would soon be able to emulate human minds. This turned out to be hard,…
I read commit messages all the time to figure out what a change was about. For small personal projects I often write one phrase messages with `-m`, but if you're working with other people you should be writing good…
> People who care about code quality are not artists who want to paint on the company's dime. They are people who care about shipping a product deeply enough to make sure that doing so is a pleasant experience both for…
I was wondering what these images were! I wasn't sure if they were real photographs or not. They're great!
This reads nothing like any AI text I've read before.
None of my side projects are things where I want the output. They're all things where I want to write the code myself so I understand it better. AI is antithetical to this.
This comment is fascinating to me, as it indicates an entirely different mindset than mine. I'm much more interested in code readability and maintainabilty (and simplicty and elegance) than performance, unless it's…
Or you could believe what she said instead of implying that she's lying??
Sorry, by "official support" I mean that there is support within MSR to investigate these tools as a research project, no that there is a plan to actually do the conversion.
As I pointed out in a sibling comment, the plan isn't for it to work. This is a job posting for a researcher at MSR to investigate what it might look like someday.
It's less one guy's plan and more one Microsoft Research team's research goal to investigate technologies that might enable that in a few years. So probably more institutional support than just some guy, but less…
I enjoyed this Terence Tao post the other day. The relevant quote is > one might naively expect that the natural question to ask with regards to a given problem X in a field is "What is the answer to X?". But in many…
I don't understand what you're saying? An LLM is a transformer model trained on a large corpus of natural language, often with some post-training. An image model is a different type of transformer model. What's…
Sure, and those aren't LLMs?
This isn’t talking about correctness of SQL. It’s talking about correctness of queries.
So www.catb.org/~esr/jargon/html/M/mu.html
I think this is true when you realize "customer" means "coworker" or "person on the next team over" or "management" or "your intuition about the problem". Which all sort of have the same shape.
There are in fact rough breathing marks there on the articles, stacked under the inverted breve accents. Which is an alternate form of tilde.
Sort of. Romans didn't handwrite like that. See https://en.wikipedia.org/wiki/Roman_cursive . Note that the "u" character in both ancient and late ancient Roman cursive is more like the modern "u". (Source: not an…
Absolutely that is not the point of programming. The point of programming is finding good abstractions, writing clear and concise code, creating beautiful algorithms. If I wanted to make a product, I'd be a product…
Jack regularly mixes up words to humorous effect, so knowing that may help with the joke. But yeah, I agree the joke doesn't really work here.
Outlets benefit from standards, however. Every device (well kind of) uses the same few plug types, and a different plug would be a disadvantage. On the other hand, having a bunch of different languages is an advantage.…
Do you think writing books (and Wikipedia articles, and stack overflow articles, and github repos, and, and, and, and ...) is not a value add?? What terrible claim.
Well, that's literally what "vibe coding means", no?
What exactly are you “getting done”? I’m really curious what you’re doing with so many tokens.
One thing that has happened is that "AI" has been an academic discipline since literally the 1950s. The term was originally used in the hope that we would soon be able to emulate human minds. This turned out to be hard,…
I read commit messages all the time to figure out what a change was about. For small personal projects I often write one phrase messages with `-m`, but if you're working with other people you should be writing good…
> People who care about code quality are not artists who want to paint on the company's dime. They are people who care about shipping a product deeply enough to make sure that doing so is a pleasant experience both for…
I was wondering what these images were! I wasn't sure if they were real photographs or not. They're great!
This reads nothing like any AI text I've read before.
None of my side projects are things where I want the output. They're all things where I want to write the code myself so I understand it better. AI is antithetical to this.
This comment is fascinating to me, as it indicates an entirely different mindset than mine. I'm much more interested in code readability and maintainabilty (and simplicty and elegance) than performance, unless it's…
Or you could believe what she said instead of implying that she's lying??