mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

The fact that space indents won out over tabs actually makes me a little sad.

I just don't see why pressing a key four times is better.

peterb

@HauntedOwlbear My galaxy brain take is "It's ludicrous that we have to care at all about the orthography of invisible glyphs, and the actual failure here is that the magic space genies in front of us require us to have an opinion on this issue instead of just making decisions that solve the problem for us."

If I looked at the text of a program you wrote but had to decide what Unicode code point every single character was before being sure I could compile it, we'd all agree that that was insane.

@peterb @HauntedOwlbear One of the things the Go team really got right. Tabs for indentation, one standard formatter everyone uses.

@peterb @HauntedOwlbear I take it even further: programming languages shouldn't have "source code" at all. They should store only the abstract syntax trees, and your editor could be set to determine what indentations looked like, whether your language's keywords were in English or one of the many many other human languages that techies are shocked to learn exist, or even whether your code consists of words at all or just, like, pictures you can move around on the screen to program. We really have a senselessly tight coupling between code and its textual representation.