type systems: a reality check
The spec is settled. The implementation is another matter.
There is a version of type systems that works well. It is not the cheapest one, and it is rarely the one in the demo.
Subscriber story
Continue reading with a subscription
This piece is part of the subscriber archive. Subscribe to the daily brief for full access — one email, no card, cancel any time.
Already a subscriber?
#reliability#operations#testing
More in this section
🔒softwareSubscriber
The quiet return of single-file binaries
Static linking is fashionable again. The reasons are less about performance and more about deployment fatigue.
🔒softwareSubscriber
A minimal CI pipeline in 200 lines
No plugins, no marketplace, no YAML sprawl. Just a runner, a queue, and honest logging.
software
Editorial: your dependency tree is a supply chain
Treat it like one — pin, audit, mirror, and stop trusting transitive installs by default.