Show newer

Languages with type systems designed for 1 are trying to figure out how to enable 2 without breaking backwards compatibility.

(Languages without a full runtime are in a very bad position here.)

Show thread

Now the controversial part.

1 is obsolete. Modern language runtimes can use internal typing, speculation, and side exits to automatically make the speed improvements with no loss of generality.

2 is still valuable.

Show thread

2. Restrictions from one programmer to another. These allow a library author to stop a library user from calling their functions with data that they aren't able to handle. (Enforced by the compiler, of course.)

Show thread

Static Typing comes in two flavors:

1. Promises from the programmer to the compiler. These allow the compiler to generate better machine code by avoiding having to check for things that the programmer promises not to do.

Old: true/false

Bold: certainly true/uncertain

Foretold: possible/certainly false

Old: explanation

Bold: justification

Foretold: recruitment

I'm willing to be convinced, but I'm not willing to be coerced.

This is true regardless of how you feel about race scapegoating or political correctness.

(Obviously, both of those labels were invented by their detractors.)

Show thread

The invention of the term "race scapegoating" is a major step in political discourse. On par with the invention of the term "political correctness".

*sigh*

Does anyone have advice for helping someone with a low credit score get a mortgage?

An acquaintance has been living in a house and paying the payments for a decade, but can't get it in their own name because the banks nope out.

(Locked to followers to avoid spam.)

I steal men's memes and make them my own.

(I did not make this, I just found it somewhere.)

Show thread

A pastiche of the "but these are honorable men" speech from _Julius Ceasar_, but it's about the authors of the suite of anti-SSC articles.

beginning on July 15, new numbers will be added to the decimal system:

- tweven
- onety
- threnty
- hundrion

> tweven years and onety moons ago, there were threnty sailors on a ship. their journey would take them hundrions of miles north.

What's the appropriate way to say goodbye to your ex?

<Drive dangerously. I hope you hit a patch of black ice and die.>

Seems a little too on-the-nose.

Look, High School Sports Tracking App, I know things are tough right now, what with COVID and all, but I don't care how few teams are active this year, nothing in Ho Chi Minh City can be considered "near me".

Show older
Mastodon

a Schelling point for those who seek one