Extreme Programming OG, and otherwise human programmer. This account is interested in programming, philosophy, systems, orgs, puns and cute animals. Will freely mute/block/unfollow as needed to focus my timeline on these topics.
So great — thank you! I had to dig up the source:
Dijkstra, E.W. “Introducing a Course on Calculi.” EWD1213, Department of Computer Sciences, University of Texas at Austin, 30 Aug 1995.
https://www.cs.utexas.edu/~EWD/transcriptions/EWD12xx/EWD1213.html
I was looking up dijkstra quotes and i found a good one i don't remember seeing before:
My point today is that, if we wish to count lines of code, we should not regard them as "lines produced" but as "lines spent": the current conventional wisdom is so foolish as to book that count on the wrong side of the ledger.
is there a tool for annotating webpages or snippets of webpages?
say I'm reading a blog post. I want to:
Why am I spending such a large chunk of my remaining months struggling to create a series of blog posts dissecting critical rationalism/Popper/Lakatos/“the scientific method”/etc? https://blog.oddly-influenced.dev/2026/05/02/waterfall-science-views-of-mount.html
Answer: because I always get annoyed when people advocate rules that they themselves don’t follow. And I dislike moralists who pretend they’re motivated by pure rationality. And I dislike theorists who legislate at those actually doing the work. And and and. (1/3)

Methodologies tell people how to do things: they describe steps in a process. A useful rule of thumb is that gotchas for a methodology cluster around the steps the methodologists aren’t interested in. The critical rationalists aren’t interested in experiments. They are Big Design Up Front, Command and Control people, and their methodology suffers because of it. ⊕ About this series
What causes lightning? The answer keeps getting more interesting
Link: https://www.quantamagazine.org/what-causes-lightning-the-answer-keeps-getting-more-interesting-20260506/
Discussion: https://news.ycombinator.com/item?id=48037517