📝 AI as Normal Technology (Arvind Narayanan & Sayash Kapoor / Knight First Amendment Institute). This is the approach being discussed in Does AI Progress Have a Speed Limit?. While I don't have as much evidence to support my intuitive opinion, I do agree that modeling the world (especially in general) is particularly hard.

# link, ai

Trying ty, Astral's type checker #

It's not done, but very fast.

Astral has been delivering impressive improvements to the Python ecosystem with ruff, taking over rye, and releasing uv to manage projects and Python installs. And there have been musings about when they'd release a type checker.

Well the alpha release is now here (via Patrick Kage). You can try it out:

# requires rust to compile
curl https://sh.rustup.rs -sSf | sh
uv add git+https://github.com/astral-sh/ty
uv run ty check

Note: It takes a little bit of time to compile ty, but like all the other Astral tools it runs very quickly.

Also: Fair warning, lots of stuff doesn't work yet. For example, when I tried it on my castfit library, it choked on dict() (see #100).

How long before ty replaces mypy and pyright in my build process for all my projects? I'll probably wait for the official release, but I'll probably try it at least once on all my projects just to see what it produces.

# python, typed, ty, castfit, Patrick Kage

📝 Project Xanadu: Even More Hindsight (Gwern Branwen). In Minority Report they have "futuristic" interfaces where you wave your arms around to manipulate 3D projections. In the real world your arms would get very tired very quickly. Project Xanadu tried to create a hypertext environment with lots of guarantees, but Gwern's realization about the UX is notable:

“Oh my god. It’s completely unreadable.”

The lines were confusing clutter, especially as they crisscrossed (a perennial problem in sidenotes layout, made far worse by the outlines). None of the ‘sidenotes’ were readable because the screen was so small. Even as you simply scrolled, for many possible settings, you were unable to read anything! How could a document UI where often you could read nothing have ever seemed like a good idea? The UI was just terrible—it could never have worked. Even on a large screen like my 4k monitor, I wouldn’t want that.

The lesson?

So, to me, Project Xanadu is a case-study in why designers must mock-up and prototype their designs before too much is invested in them. Xanadu wasn’t the victim of “Worse is Better”; it was just a solution in search of a problem.

# link, ux, Gwern Branwen

📝 Product Purgatory: When they love it but still don’t buy (Jason Cohen). Main takeaways:

  1. People are surprised to discover that the prospective customer wouldn't even take your solution if it was free and had many other magical properties. This is an important signal.
  2. You need to solve a burning pain. Even if it's a great idea and otherwise important, if it's not urgent, it's probably not relevant.
  3. Towards the end of the post, there's a nice bit about "how you would find customers in this condition" that I thought was useful.

# link, business, sales, Jason Cohen

📝 You Sent the Message. But Did You Write It? (David Duncan). My favorite of these is GPTune:

Like Auto-Tune for writing. GPTune takes someone’s normal idea and smooths it into something that feels more articulate, structured, erudite - but less authentic.

# link, ai, writing

🐦 Euromaidan Press on Gamified War (Euromaidan Press).

Ukrainian soldiers get reward points for destroyed Russian targets, which they can then exchange for new equipment. Just like in a game. - Politico.

The exchange happens through an online marketplace called Brave 1 and the troops need to provide video evidence to earn points.

♦️6 points for eliminating a Russian soldier
♦️40 points for destroying a tank
♦️50 points for taking out a mobile rocket system

For example, 43 points can get a powerful "Vampire" drone capable of carrying a 15-kg warhead.

What benefits?
♦️gets equipment directly to the most effective fighting units without bureaucratic delays
♦️motivates soldiers through friendly competition
♦️has already doubled the rate of Russian casualties since adjusting the point values.
♦️improves Ukraine's military intelligence by creating a verified database of Russian losses

Incentives matter.

# link, tweet, war, incentives

View all posts