korrents

On the map

Tap a claim on the ring to put it at the centre.

← An artifact that is hard for its builder to verify is usually also hard for its users to verify.

17 connected korrents · 16 moments from 29 Sept 2018 to 20 Sept 2026.

Everything filed under CSS CSS Everything filed under simplicity simplicity Everything filed under taste taste Everything filed under design design Everything filed under formal proof formal proof Everything filed under LLMs LLMs Everything filed under vibe coding vibe coding Everything filed under product management product management Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: An artifact that is hard for its builder to verify is usually also hard for its users to verify. An artifact that is hard for its builderto verify is usually also hard for itsusers to verify. Last stated 3 months ago 29 Jun 2026 HH Hamel Husain — holds since 2026-06-29 — tap for who they are Same subject: There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in. — tap to centre the map on it There is a permanent trade-off inverification: an expressive languageis hard to prove things about, and alanguage that is easy to provethings about is hard to write in. Last stated 8 years ago 21 Jan 2019 HW Hillel Wayne — holds since 2019-01-21 — tap for who they are Same subject: With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation. — tap to centre the map on it With AI, verification has become thebottleneck in producing work,whereas before it happenedincidentally during creation. Last stated 3 months ago 29 Jun 2026 HH Hamel Husain — holds since 2026-06-29 — tap for who they are Same subject: The hard part of verification is not proving the code correct but working out what the specification should say. — tap to centre the map on it The hard part of verification is notproving the code correct but workingout what the specification shouldsay. Last stated 8 years ago 21 Jan 2019 HW Hillel Wayne — holds since 2019-01-21 — tap for who they are Same subject: Code that is difficult to test is a sign of other design problems. — tap to centre the map on it Code that is difficult to test is asign of other design problems. Last stated 5 years ago 24 Jul 2021 ML Marc Littlemore — holds since 2021-07-24 — tap for who they are Same subject: An AI coding assistant's tendency to infer what a user means rather than exactly what they typed is both its greatest strength and the reason it is hard to trust. — tap to centre the map on it An AI coding assistant's tendency toinfer what a user means rather thanexactly what they typed is both itsgreatest strength and the reason itis hard to trust. Last stated 8 months ago 22 Jan 2026 SK Steve Klabnik — holds since 2026-01-22 — tap for who they are Same subject: The hard question is no longer how to build something but what to build, because anything already described can be replicated. — tap to centre the map on it The hard question is no longer howto build something but what tobuild, because anything alreadydescribed can be replicated. Last stated 6 months ago 29 Mar 2026 CH Chip Huyen — holds since 2026-03-29 — tap for who they are Same subject: It is harder to build performance advertising products around audiences that are hard to measure. — tap to centre the map on it It is harder to build performanceadvertising products aroundaudiences that are hard to measure. Last stated 2 weeks ago 20 Sept 2026 PS Peter Sellis — holds since 2026-09-20 — tap for who they are Same subject: LLMs hallucinate constantly and cannot be trusted to produce code without human verification. — tap to centre the map on it LLMs hallucinate constantly andcannot be trusted to produce codewithout human verification. Last stated a month ago 21 Aug 2026 FS Fabien Sanglard — holds since 2026-08-21 — tap for who they are Same subject: A business is more likely to fail from taking on too much complexity than from lacking resources. — tap to centre the map on it A business is more likely to failfrom taking on too much complexitythan from lacking resources. Last stated 8 years ago 29 Sept 2018 TG Tren Griffin — holds since 2018-09-29 — tap for who they are Same subject: A business succeeds through a small number of highly effective distribution channels, not many mediocre ones. — tap to centre the map on it A business succeeds through a smallnumber of highly effectivedistribution channels, not manymediocre ones. Last stated 3 years ago 17 Feb 2024 AW Adam Wiggins — holds since 2024-02-17 — tap for who they are Same subject: A group of businesses only works when every one of them feeds the others, and everything that does not fit the strategy should be sold. — tap to centre the map on it A group of businesses only workswhen every one of them feeds theothers, and everything that does notfit the strategy should be sold. Last stated a year ago 16 Jul 2025 JD Jamie Dimon — holds since 2025-07-16 — tap for who they are Same subject: Many well-paid software engineers fail to appreciate or understand the CSS cascade. — tap to centre the map on it Many well-paid software engineersfail to appreciate or understand theCSS cascade. Last stated 2 months ago 17 Aug 2026 DR Dave Rupert — holds since 2026-08-17 — tap for who they are Same subject: Tailwind is a good way to build a site you're happy with, even without strong CSS skills of your own. — tap to centre the map on it Tailwind is a good way to build asite you're happy with, even withoutstrong CSS skills of your own. Last stated 5 months ago 15 May 2026 JE Julia Evans — holds since 2018-11-01 — tap for who they are JE Julia Evans — no longer holds since 2026-05-15 — tap for who they are Same subject: A theme system's styles should be low-specificity rather than targeted directly at specific elements. — tap to centre the map on it A theme system's styles should below-specificity rather than targeteddirectly at specific elements. Last stated 2 months ago 17 Aug 2026 DR Dave Rupert — holds since 2026-08-17 — tap for who they are Same subject: A first draft should not be graded good or bad; it is only the material that taste then gets to act on. — tap to centre the map on it A first draft should not be gradedgood or bad; it is only the materialthat taste then gets to act on. Last stated 2 months ago 6 Aug 2026 GS George Saunders — holds since 2026-08-06 — tap for who they are Same subject: A gift's perceived price is part of what it does, so a drink known to be cheap fails at its job however good it tastes. — tap to centre the map on it A gift's perceived price is part ofwhat it does, so a drink known to becheap fails at its job however goodit tastes. Last stated 10 months ago 9 Dec 2025 RS Rory Sutherland — holds since 2025-12-09 — tap for who they are Same subject: A good book clears out stale assumptions and disturbs the old ideas a reader has let accumulate. — tap to centre the map on it A good book clears out staleassumptions and disturbs the oldideas a reader has let accumulate. Last stated 4 months ago 15 Jun 2026 AH Ann Handley — holds since 2026-06-15 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2015 to today — full is todaya face: someone who holds the claim — tap it for who they arefaded, dashed ring: they no longer hold it — they changed their mind

At the centre An artifact that is hard for its builder to verify is usually also hard for its users to verify. Last stated 29 Jun 2026 · 3 months ago Holds Hamel Husain Read this korrent →