@bremner That's funny! :-)
I don't think I ran into any discussion over tabs and spaces until I picked up python in the 90s.
I'd rather hit one key once vs a different key 4 times, but I don't care if it inserts a ctrl-i or four 32s as either appears the same to my eyes.
But a'i's don't have eyes or 'i'... :-)
Conversation
Notices
-
Embed this notice
Kermode (gemlog@tilde.zone)'s status on Tuesday, 17-Mar-2026 20:46:31 JST
Kermode
-
Embed this notice
Do-re-mi-so-la-ti-do (bremner@mathstodon.xyz)'s status on Tuesday, 17-Mar-2026 20:46:32 JST
Do-re-mi-so-la-ti-do
RE: https://hachyderm.io/@vbernat/116240955542340468
I guess the question of tabs versus spaces is finally settled for me.
-
Embed this notice