teo β€‹

80 Followers
247 Following
749 Posts

Hi I'm teo.

I spend a lot of my time working with computers. I'm interested in functional programming (haskell, nix, rust, agda mostly), formal methods, wikis, public transport and being critical of tech.

No one can be free until we all are. ACAB

I've been on the fediverse on and off since about 2017

Follow requests welcome

pronounsthey/them
gendernon-binary
agemid 20s
locationLeeds, UK (sad trombone)

Managers are often really impressed with trivial code changes or assume that complex impossible changes are trivial.

This makes sense. Being a manager (as a standpoint) puts you far away from the code which limits your ability to understand it.

LLMs turning coders "into managers" then makes it difficult for them to evaluate coding agents' effectiveness. The longer you spend further away from coding, the more difficult it is to tell what is trivial and what isn't.

Umberto Eco uses 50% less fuel and 30% less packaging than regular Umberto
you certainly will not regret morging continvoucly
Muppets Les Miserables and Javert is the human

Wife: Where are all the coffee filters?

Me:

A message for you all to carry through the year

A little louder, a reminder:

"Good UX" mostly means "I've seen this before."

Have you ever seen an adult without your cultural baggage approach a doorknob for the first time? They'll start by pulling it, then pushing it. There's nothing "intuitive" about turning a round doorknob. But you've been trained, so you don't even notice.

"...but Apple, but the iphone", the iPhone was never "easy to use" or "intuitive". They bombarded TV with training videos disguised as ads for 6 months pre-release.

In retrospect, maybe it should have been a red flag earlier that they called the degree they gave me a "BS in computer science"
One thing I really dislike about the impact of LLMs on developers is that theyve has started making random words bold

I'm in a #github internal group for high-profile FOSS projects (due to @leaflet having a few kilo-stars), and the second most-wanted feature is "plz allow us to disable copilot reviews", with the most-wanted feature being "plz allow us to block issues/PRs made with copilot".

Meanwhile, there's a grand total of zero requests for "plz put copilot in more stuff".

This should be significative of the attitude of veteran coders towards #LLM creep.