lawn's comments

On: 'Students who use AI as a crutch don't learn anyth...

[lawn]

> That’s what they said when the calculator was invented.

And it's beneficial to ban calculators for learning, which is the point of the article?

On: It's Time to Stop Taking Sam Altman at His Word

[lawn]

> The real story of LLMs is revealed when you posit a magical technology that can print any car part for free.

I think the insight is that some people truly believe that LLMs would be exactly as groundbreaking as a magical 3D printer that prints out any part for free.

And they're pumping AI madly because of this belief.

On: Sorry, GenAI is NOT going to 10x computer programm...

[lawn]

Didn't xkcd teach us the dangers of extrapolation years ago?

https://xkcd.com/605/

On: Trump calls for prosecution of Google over search ...

[lawn]

And if there was such a law, Trump would be the big looser as Fox News would be shut down immediately.

On: Why I still blog after 15 years

[lawn]

It's a custom one, you'd have to check the source and try to copy it manually.

On: Why I still blog after 15 years

[lawn]

It's Concourse and Century Supra: https://mbtype.com/

On: I Am Tired of AI

[lawn]

The evidence I've been seeing is that progress with LLMs have already slowed down and that they're nowhere near good enough to replace programmers.

They can be useful tools ro be sure, but it seems more and more clear that they will not reach AGI.

[cubefox → lawn]

They are already above average human level on many tasks, like math benchmarks.

[amusedcyclist → cubefox]

They really aren't better than humans at math or logic, they are good at the benchmarks because they are hyper optimized for the benchmarks lol. But if you ask LLMs simple logical questions they still get them wrong all the time

[lawn → cubefox]

Yes, there are certain tasks they're great at, just as AI has been superhuman in some tasks for decades.

[cubefox → lawn]

But now they are good or even great at way more tasks than before because they can understand and use natural languages like English.

[lawn → cubefox]

Yeah, and they're still under delivering to their hype and the improvements have vastly slowed down.

[cudgy → cubefox]

So are calculators …

[kranuck → cubefox]

If you ignore the part where there proofs are meandering drivel, sure.

[cubefox → kranuck]

Even if you don't ignore this part they (e.g. o1-preview) are still better at proofs than the average human. Substantially better even.

On: Coding Font by Typogram – Find Your True Love of C...

[lawn]

Yeah, you can (almost) make Iosevka feel any way you want, and it would be nearly impossible to do it justice in a comparison like this.

Here are the options I currently use: https://www.jonashietala.se/iosevka/

On: Mozilla has fired their Chief Product Officer afte...

[lawn]

Mozilla is appalling. Not only are the disgusting people in charge running Firefox towards a slow decay into obscurity, they're also treating their fellow human beings as garbage.

Not surprising, but still.

I can't wait for Ladybird and the Servo web browser to mature so I can distance myself from this garbage company.

(No, Chrome-based browsers aren't a compelling alternative and I don't use Apple devices.)

[dijit → lawn]

You might not use Safari, but webkit is open source still and used by a few browsers.

I was about to suggest Midori, but it seems that it’s a firefox derivative now. :/

[sandwichmonger → dijit]

Why are all the good browsers giving up all the hard work and good quality to become skins of bad browsers? Opera was a major fatality in this area.

[umanwizard → sandwichmonger]

Because maintaining a modern browser engine is a huge amount of work that only major companies can afford.

On: 18 Months with a Framework 13

[lawn]

It hasn't happened to me yet after a few months.