An article introducing the proof-oriented programming language F* has sparked a community discussion focused more on general language design than the specific tool. Readers debated the importance of showcasing syntax on project homepages and argued over the practical benefits and drawbacks of using indentation-based code formatting.