This one from Hacker News .. profound, loving, nerd-perfect obituary written entirely in the formal language that Sir Tony Hoare himself invented: CSP (Communicating Sequential Processes).
SIR_TONY_HOARE = μX • (think → create → give → X)
-- process ran from 1934 to 2026 -- terminated with SKIP -- no deadlock detected -- all assertions satisfied -- trace: ⟨ quicksort, hoare_logic, csp, monitors, -- dining_philosophers, knighthood, turing_award, -- billion_dollar_apology, structured_programming, -- unifying_theories, ... ⟩ -- trace length: ∞ The channel is closed. The process has terminated. The algebra endures.
Life is difficult. People are obnoxious. Stuff is going to piss you off. But can you keep your cool anyway? Can you stay good when surrounded by bad, kind when surrounded by cruelty? Can you keep your eyes on the prize? Our job is not to lose our temper. Our job is to stay focused on solutions, to keep doing what is right.
This! I've been puzzled for a long time by management who shuffles teams around from project to project without considering that the code is just the tip of the iceberg. In many places this is going to get aggravated by LLMs.
Very nice blog post based on a theory of the computer scientist Peter Naur - resonates a lot with me.
Programming is about building a theory, the code is an artifact. Junior developers reflexively accepting LLM-generated code don’t go through the mental struggle of building the programming model and only see codebases balloon with theoretically orphaned implementations.
link: 👇
Very nice blog post based on a theory of the computer scientist Peter Naur - resonates a lot with me.
Programming is about building a theory, the code is an artifact. Junior developers reflexively accepting LLM-generated code don’t go through the mental struggle of building the programming model and only see codebases balloon with theoretically orphaned implementations.
link: 👇
@debasishg It's a bit painful for me as I've recently transferred to a Java role after 13 years of professionally using Scala- and I do see this all over the place.
@debasishg@graninas It's sad really, I remember the rise in Twitter's popularity coincided (and maybe fueled) the growth of the Scala community some 10-15 years ago.
Narcissistic leaders are threatened by talent. They want to be the smartest person in the room.
Humble leaders are drawn to talent. They surround themselves with people who make them smarter.
Great leaders grow talent. They strive to make everyone in the room smarter.
Sometimes success is going to bed on time. Sometimes success is going to the gym because you told yourself you would. Sometimes success is being kind even when someone doesn’t deserve it. Sometimes success is forgiving yourself for your mistakes. Sometimes success is being vulnerable. Sometimes success is avoiding regret. Sometimes success is a smile. Sometimes success is paying your bills on time. Sometimes success is letting go of someone who isn’t good for you. Sometimes success is not saying anything. Sometimes success is not rubbing it in. Sometimes success is doing it when you don’t feel like it.