18,101 karma · joined November 13, 2013
CTO at Redo.
Co-founder of Rivet Health.
Formerly Lucid Software
https://www.linkedin.com/in/paul-draper/
I don’t want one title 16pt and another 28pt.
Or one Helvetica and the other Arial.
It's physically impossible.
The problem is to draw it in the least disturbing way possible.
It should be consistent, or else compromise browsing.
The content has no such situation.
In reality, you could probably put any date in there and it would work.
The proof was not actually a proof at all, because it was unsound (despite Lean admitting the proof).
What does a reasoning program look like and why is matrix multiplication not that?
Manager // interface
ManagerImpl // classThis is wrong on almost every count.
1. The numbers are by milestone not month.
2. The latest milestone (or month) did not exceed the previous two years of milestones.
3. The only thing discussed are security bugs, not bugs in general.
What is true: the article is about Chrome.
There is one highly successful use of REST: the World Wide Web.
The Web/Web browsers are driven from hypermedia. (This is circular, as Fielding was looking at the web when making his dissertation.)
Granted, Web browsers stand alone as an application with extreme flexibility.
So REST is both highly common and very rare, depending on how you count.
That idea being that AI is less important than humans.
Yes, you have understood the proposal.
Can’t speak to the results, but the cost isn’t high.
And the proposal is that we should more closely align the presentation and function.
You are correct that if you don’t care about alignment, there is nothing wrong with the status quo.
An electric drill from Harbor Freight costs as much as breakfast from Dennys.
You going to pass it on to your kids? No. But maybe you don’t need to.
Guaranteed
It's easier to click a single button than hunt for how to create/access an account for the brand.
That's like asking why you need employee onboarding.
You could have Stephen Freaking Hawking and he still wouldn't know what you specifically want.
> Why do I need another black box AIs to review the code of the black box AI why can’t these things get code right the first time.
That's like asking why you need code reviews.
Thinking about it from an antagonistic perspective is useful. You can combine it into all the "same system" if helpful.
> Why is the best “coding model” in the world still making up APIs that don’t exist and do seemingly random unreleased changes that it wasn’t prompted for.
Because....it still isn't perfect?
> Why do these models (supposedly) keep getting “better” (on benchmarks) but continue to degrade in output quality
That is disconnected from reality.
I don't want randomnewssite to track me. But a favorite online store...I do want help with recommendations.
Huh?
Search and AI are hand-in-hand.
They both rely on embeddings. (Unless you still do keyword-only search, but that's not as good.)
That's what you give if captured as a prisoner of war.
And the purpose of the reference is to understand your actual performance.
If you’re lazy or cruel to coworkers, they won’t want to hire you.
What are these, TCP packets?
No one has claimed Chinese models violated copyright law.
Some have claimed they violated ToS, which is different.
Your point is the people can be "hacked."
And you are correct. That's often called scamming or phishing.
The difference is that LLMs -- as of this point in time -- are more amenable to that attack than a smart human.
It violates contractual terms of use.
You can use an original work to write an encyclopedia (e.g. Wikipedia). That is fair use.
You cannot copy an original work and distribute it.
LLMs are an encyclopedia.