Feed / overreacted - A blog by Dan AbramovBeyond BooleansSaturday, August 16, 2025What is the type of 2 + 2 = 4?Read original article ↗