F foonathan.net Should we stop writing functions? (C++) 40 points loopinvariant 3 years ago 37 comments