Claire Contraire

clairecontraire.bsky.social

21 August 2026 14:32

This is a fascinating discussion of incentive structures (thus inadvertently economics) in management in tech. Warning: it's nearly 3 hours long. The podcast is by @ryanlpeterman.bsky.social, who is a good interviewer.

Davy

davy.quest

17 August 2026 13:05

Awesome conversation, go watch it! I'm convinced that Lean will become the de facto tool for software verification. I played with something similar a while ago github.com/yamafaktory/....

ManoLol

manolol.bsky.social

17 August 2026 13:04

I'm inspired by how articulate and precise the writing is in those letters. The author of that Medium post is also around at @jiahao.bsky.social

Gergely Orosz

gergely.pragmaticengineer.com

10 August 2026 16:05

If you work in tech, you'll want to read the ~40-page short novel, Profession, by Isaac Asimov. If the availability of intelligence was instant, and learning things the "hard way" was considered a waste: what would the things most valued by society be? Hard to believe it's a 1957 novel.

Simon Willison

simonwillison.net

10 August 2026 15:59

At the risk of starting the flame war to end all flame wars... Modern LLMs (GPT-5.1, Claude 4.5, Gemini 3) produce excellent code and can be a significant productivity boost to software engineers who take the time to learn how to effectively apply them - especially if used with coding agent tools