🧵 How mathematicians reacted to the first major computer aided mathematical proof in 1976
“the present proof relies in effect on an Oracle, and I say down with Oracles! They are not mathematics” … - Paul Halmos, UC Santa Barbara
Sony is bringing back its iconic 1979 Walkman on-ear style with the new Sony MDR-3R. 🎧
⠀
Tipping the scales at a mere 38 grams with classic thin metal extenders, these ultra-lightweight retro cans bypass the headphone jack entirely for a modern USB Type-C connection.📱