Schlagwort: Programmieren

Slop Slogging.

We are in fact faced with a challenge to devise methods of buying originality with plodding, now that we are in possession of slaves which are such persistent plodders.

Hao Wang: Toward mechanical mathematics (1960)

Even when I close my eyes.

No, no matter how far we've come
I can't wait to see tomorrow

Linkin Park: With You

Don’t go for LinkedIn-based development choices.

Keep it simple. Simpler than that. Yes, even simpler. You can always add the complexity later if needed. Keeping it simple requires periodic refactoring / code deletion.

Bert Hubert: On Long Term Software Development (2024-12-22)

But how do I center a proof?

Unlike Gentzen, we can make use of css and javascript

Paperproof README

Leankin Park.

Lists someone should make, no. 2349: recommended combinations of programming languages and music.