RE: https://tapbots.social/@paul/116259043849716393

defaults write com.apple.finder CreateDesktop false; killall Finder

The current and projected impact of AI and formalization on the practice of mathematics is analogous to the impact that the automobile had on the evolution of cities.

Before the introduction of the automobile, city streets were narrow and optimized for humans, horses, and carriages. When cars, buses, and trams were introduced, they were undoubtedly faster and more powerful than any prior form of transport; but they would clog the roads and crowd out pedestrians.

Over time, new roads, railways, and freeways were built for the exclusive use of mechanized vehicles, enabling rapid and efficient long-distance travel; but this came at the cost of urban sprawl, the degradation or destruction of once-walkable communities, traffic congestion, and significant environmental impacts.

It was only belatedly realized that to resolve these problems, it was not sufficient to simply make automobiles faster, more powerful, or more energy efficient, or to bulldoze all the old roads and networks to make way for new ones. Thoughtful urban planning, as well as the development of social and legal rules on how to manage traffic, were necessary to allow both pedestrian and automotive transport to co-exist in a manner that retained the benefits of both. (1/5)

RE: https://mastodon.social/@daringfireball/116252836013163221

My browser extension StopTheMadness Pro stops autoplaying videos and hides Sign in with Google on all sites. It also hides sticky videos and notification requests on many sites.

For more extreme measures, try my Safari extension StopTheScript. It kills JavaScript dead on websites you select. For example, from the blog post, it makes The Guardian readable.

https://underpassapp.com/

Whoa: <https://terathon.com/blog/decade-slug.html>

> What is now known as the Slug Algorithm for rendering fonts directly from Bézier curves on the GPU was developed in the Fall of 2016, so this year marks a full decade since its inception.
…
> Therefore, effective today, I am permanently and irrevocably dedicating the Slug patent to the public domain.

Really enjoyed this interview with @yannlecun in the FT.

Meta really had a single success in LLMs and that was Llama 2 which was built by the team that became Mistral. The rest was downwards from there. LeCun warns that the people left are “LLM-pilled” kids trying to reach super intelligence, which is foolish. At least he has the scientific integrity to say it publicly and left to pursue a more promising and laudable endeavor

🎁🔗 https://giftarticle.ft.com/giftarticle/actions/redeem/13ee86f5-2a75-457b-8898-27e4d2e40a1b