/tech/ - Technology

Recently started writing more specifications - the rough sort you'd see for a shed. Was rewriting software over and over again, because I would miss some critical detail that should have been caught in planning. This video was part of the impetus. Have been reading through Ong too, interesting to see a missing mnemonic system for thought which makes the maxim "to think is to write" nearly true.

"When we think we stay with our dictionaries." This one is more aspirational for me. While I love etymologies I rarely put them to work like I should when programming. Rich Hickey sort of makes his own DSL dictionary so that terms are used consistently throughout his program. Not knowing your own terms is surely a way to have weak thoughts.

"Programs are meant to be read by humans and only incidentally by machines." When I was a kid every program I wrote was literate, because I almost exclusively worked through books, and made notes. Although I never had the macro system and typography of WEB, org-mode was a close second. At some point when I started writing more independent programs this was lost. I'm intending to get back into this, even if only in comments.

Been watching CHM Oral Histories: https://www.youtube.com/playlist?list=PLQsxaNhYv8daKdGi7s85ubzbWdTB36-_q specifically Knuth's and Lamport's interviews. They both mention Robert Floyd as seminal to their work, but there's a lacuna in the video record. I only found one video on him. Then of course there's his publications.

I think I'm still doing the functional programming wrong. I've got the service layer, and the repositories which I inject as dependencies, I've got the validation, and just the data without methods. But I'm still just injecting IO functions directly into my service layer. I'm considering importing https://github.com/gcanti/io-ts to give it another go. Really the bulk of my code is IO driven, but there's still room for some small pure functions here and there. I think this is going to result in a utils folder. I feel so stupid still.

>>34040
>I feel so stupid still.
Well, I'll be honest, feel more like I can't get anything done, and even that's getting better.