mkehrt

5 ms·

1.
by mkehrt 6d ago
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.
2.
by mkehrt 6d ago
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.
3.
by mkehrt 6d ago
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 actually
4.
by mkehrt 11d ago
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 cases the
5.
by mkehrt 15d ago
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 controversial
6.
by mkehrt 15d ago
Sure, and those aren't LLMs?
7.
by mkehrt 1mo ago
This isn’t talking about correctness of SQL. It’s talking about correctness of queries.
8.
by mkehrt 1mo ago
So www.catb.org/~esr/jargon/html/M/mu.html
9.
by mkehrt 1mo ago
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 sh
10.
by mkehrt 1mo ago
There are in fact rough breathing marks there on the articles, stacked under the inverted breve accents. Which is an alternate form of tilde.
11.
by mkehrt 1mo ago
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 &quot
12.
by mkehrt 1mo ago
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 manager.
13.
by mkehrt 1mo ago
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.
14.
by mkehrt 2mo ago
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 . People can pick t
15.
by mkehrt 2mo ago
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.
16.
by mkehrt 2mo ago
Well, that's literally what "vibe coding means", no?
17.
by mkehrt 5mo ago
What exactly are you “getting done”? I’m really curious what you’re doing with so many tokens.
18.
by mkehrt 5mo ago
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, but the n
19.
by mkehrt 5mo ago
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 commit messages.
20.
by mkehrt 6mo ago
> 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 themselves an
21.
by mkehrt 6mo ago
I was wondering what these images were! I wasn't sure if they were real photographs or not. They're great!
22.
by mkehrt 6mo ago
This reads nothing like any AI text I've read before.
23.
by mkehrt 6mo ago
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.
24.
by mkehrt 6mo ago
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 necessary. So
25.
by mkehrt 6mo ago
Or you could believe what she said instead of implying that she's lying??
26.
by mkehrt 6mo ago
Why would you expect a reporter to magically know what a "unit test" is? Sounds like a simple miscommunication with one of his sources. Not perfect but not "brain rot".
27.
by mkehrt 6mo ago
IDs cost money. How do people with no income get one if they don't have one? How do they get access to the necessary documents? In any case, it's not on me to show that they shouldn't need ID. It's on the proponents of
28.
by mkehrt 6mo ago
So how would you have gotten it if you were homeless with no income?
29.
by mkehrt 6mo ago
Voting is a civil right. We need to have a system that allows everyone who is allowed to vote, to vote. Many people don't have IDs and it is an onerous process to get one. Any system that requires IDs for voting suppresses these peo
30.
by mkehrt 6mo ago
Same--I was worried my lightbulbs might be deprecated!

More ›