A Call for Better Type Hints in AI Safety Tooling

Link post