software development
excerpt from "Programming is over - quanttype"
Peter Naur argued in Programming as Theory Building (1985) that programming is not just about producing program text. Instead, it’s about the programmer developing insights – a theory -about how “certain affairs of the world will be handled by, or supported by, a computer program”.

Programming as Theory Building - Peter Naur
Programming as Theory Building - Peter Naur
ref: x.com/rsnous/status/…
Omar Rizwan@rsnous
when I used to TA intro systems programming, kids similarly dreaded using gdb -- they would do almost anything, even if it took way longer and they were completely stuck, to avoid breaking it out
Computer Science@CompSciFact
'The psychological profiling [of a programmer] is mostly the ability to shift levels of abstraction, from low level to high level. To see something in the small and to see something in the large.' -- Donald Knuth

Thinking about coding
Thinking about coding
# Thinking about coding
August 31, 2025
In recent years, I have found myself less often in front of the computer, and one result is that I seem to spend as much time thinking about coding as I do actually coding.
I’ve been working on a programming project this summer, one that’s coming together in a really cool way, and its development has been an odd and exciting experience. This week, I had an idea for an important revision; I was superbusy with other work, but/and the plan percolated — on walks, while doing the dishes. Yesterday evening, I had time to tinker, but my laptop stayed shut. Instead, I spent a couple of hours with a notebook. I continued to think about my planned revision as I fell asleep. I dreamed about it — or maybe the loop of thought just kept going, in a way that felt like dreaming.
This morning, I made coffee, finally sat down at my laptop, and … just did it, in one of the more robust, straight-through coding sessions of my life. And the plan that had crystallized in my imagination basically … just worked!
My programming style used to be very much “dive in, start typing, generate errors, learn from them” and I still think that’s the correct approach … but maybe I never realized there was an alternative? More likely, that alternative wasn’t yet available to me, at my level of skill and/or patience.
I’m now convinced that thinking about coding, at a safe distance from the computer, has profound value. I already knew this about writing, about fiction … feels nice to get here with code, too.
(There’s a satisfying thread of connection to programming’s history, the time before interactive terminals, when there wasn’t even the option to “dive in”: only to think, and write your program — the whole thing — and turn in your punchcards, and wait your turn in the queue, and, finally, see the result … !)

Dark Forestry | Henry From Online
Dark Forestry | Henry From Online
Seasons are changing for technologists, and the industry we work in isn’t the same as it was a decade ago. We have new realities and new responsibilities to accept.
A lot of things are now feasible to do, I just need to train my mind to understand that.
amy@amypretzel
software engineers get github, stack overflow, and open source. mechanical engineers get a 40 year old PDF of machinery's handbook and vibes
obviously there are more ethical and less ethical modes-of-being-infant-towards the exterior world, and we can strive to be laudatory in our infancy.
software is a creative act, where you figure out what you're building as you build it
you need to get your hands dirty in the details, and react to incremental versions
it's telling that all the examples of spec driven development are sorting a list or porting thoroughly tested code (like a js runtime or browser engine), which are the exception, not the rule. the vast majority of software doesn't have a spec – or if it does, the spec was created *after*

Learning to code is still worthwhile
Learning to code is still worthwhile
July 6, 2026

Deep Blue
Deep Blue
We coined a new term on the Oxide and Friends podcast last month (primary credit to Adam Leventhal) covering the sense of psychological ennui leading into existential dread that many …
Ofir Press@OfirPress
i'm not exactly sure how to describe what openai just did to math, but whatever that was, that moment is gonna hit coding in 6-18 months, and i have no understanding of what that actually looks like and what it means
