Schlagwort: Programmieren

Slopucation.

The real concern is for generations of learners who are being robbed of the opportunity to acquire the expertise to objectively discern what is slop and what is not. Even worse, the possibility that experienced folks who use these tools effectively, will feel disincentivised from mentoring and training junior folks in foundational ways, something that was a natural part of societal evolution. And not just with software development, but the wholesale offloading of agency and decision-making to black boxes.

Kailash Nadh: Code is cheap. Show me the talk. (2026-01-30)

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