复杂性理论家史蒂文·鲁迪奇 (Steven Rudich) (1961-2024) · HackerLangs