korrents

On the map

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

← He prefers languages with expressive type systems and has still never…

17 connected korrents · 16 moments from 7 Nov 2014 to 23 Sept 2026.

Everything filed under software quality software quality Everything filed under vibe coding vibe coding Everything filed under coding agents coding agents Everything filed under code generation code generation Everything filed under compilers compilers Everything filed under taste taste Everything filed under JavaScript JavaScript Everything filed under formal proof formal proof Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: He prefers languages with expressive type systems and has still never noticed them making him more productive or less bug-prone. He prefers languages with expressive typesystems and has still never noticed themmaking him more productive or lessbug-prone. Last stated 12 years ago 7 Nov 2014 DL Dan Luu — holds since 2014-11-07 — tap for who they are Same subject: Ruby is probably his forever language, and he still tries new languages to widen the aperture. — tap to centre the map on it Ruby is probably his foreverlanguage, and he still tries newlanguages to widen the aperture. Last stated a year ago 1 Jul 2025 DH David Heinemeier Hansson — holds since 2025-07-01 — tap for who they are Same subject: AI-generated code does not reach the structural quality of the best hand-written software. — tap to centre the map on it AI-generated code does not reach thestructural quality of the besthand-written software. Last stated 5 months ago 7 Jun 2026 SS Salvatore Sanfilippo — holds since 2026-06-07 — tap for who they are Same subject: He does not read the boring parts of generated code, the data-shuffling and button alignment; what touches the database he reads and reviews. — tap to centre the map on it He does not read the boring parts ofgenerated code, the data-shufflingand button alignment; what touchesthe database he reads and reviews. Last stated 8 months ago 12 Feb 2026 PS Peter Steinberger — holds since 2026-02-12 — tap for who they are Same subject: You cannot be best of breed in an ecosystem by telling its developers to write in a different programming language. — tap to centre the map on it You cannot be best of breed in anecosystem by telling its developersto write in a different programminglanguage. Last stated 5 months ago 13 May 2026 AH Anders Hejlsberg — holds since 2026-05-13 — 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: Rust may be the best language for AI agents to write, because the compiler gives an agent the feedback that tells it what to fix. — tap to centre the map on it Rust may be the best language for AIagents to write, because thecompiler gives an agent the feedbackthat tells it what to fix. Last stated 5 months ago 20 May 2026 AR Alice Ryhl — holds since 2026-05-20 — tap for who they are Same subject: Deep compiler knowledge is still interesting, but it is no longer useful to a working engineer in any meaningful sense. — tap to centre the map on it Deep compiler knowledge is stillinteresting, but it is no longeruseful to a working engineer in anymeaningful sense. Last stated 7 months ago 11 Mar 2026 SY Steve Yegge — holds since 2026-03-11 — tap for who they are Same subject: Code quality still matters even as LLMs make writing code much faster — tap to centre the map on it Code quality still matters even asLLMs make writing code much faster Last stated a year ago 13 May 2025 DH David Heinemeier Hansson — holds since 2025-05-13 — tap for who they are Same subject: "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. — tap to centre the map on it "I don't know" becomes a kind ofsuperpower when you can work withClaude Code to figure things out. Last stated 7 months ago 19 Mar 2026 KP Kris Puckett — holds since 2026-03-19 — tap for who they are Same subject: A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. — tap to centre the map on it A coding agent does not learn fromits mistakes the way a person does-- it repeats the same errorindefinitely unless a human noticesand writes it down. Last stated 7 months ago 25 Mar 2026 MZ Mario Zechner — holds since 2026-03-25 — tap for who they are Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over aweekend returns work that is halfgood, a quarter garbage and aquarter in need of repair. Last stated a year ago 18 Aug 2025 CB Clay Bavor — holds since 2025-08-18 — tap for who they are Same subject: 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. — tap to centre the map on it 95 percent of the software made inan age of abundance will be shitty,and shitty software is easy to dealwith because it goes away. Last stated 4 weeks ago 23 Sept 2026 GT Geoff Teehan — holds since 2026-09-23 — tap for who they are Same subject: A developer using AI coding tools remains responsible for reviewing the code they ship. — tap to centre the map on it A developer using AI coding toolsremains responsible for reviewingthe code they ship. Last stated 7 months ago 10 Mar 2026 JS Jon Seager — holds since 2026-03-10 — tap for who they are Same subject: A feature added to a codebase is extremely difficult to remove once other code is built on top of it. — tap to centre the map on it A feature added to a codebase isextremely difficult to remove onceother code is built on top of it. Last stated 2 months ago 1 Sept 2026 VB Vicki Boykis — holds since 2026-09-01 — tap for who they are Same subject: A boring but non-superficial SaaS app that would have done well five years ago might now get no signups because tens of thousands can easily vibe code it. — tap to centre the map on it A boring but non-superficial SaaSapp that would have done well fiveyears ago might now get no signupsbecause tens of thousands can easilyvibe code it. Last stated 2 months ago 1 Sept 2026 PL Pieter Levels — holds since 2026-09-01 — tap for who they are Same subject: A person at maximum vibe-coding speed has about three productive hours a day, and a company that will not let them stop there is going to break. — tap to centre the map on it A person at maximum vibe-codingspeed has about three productivehours a day, and a company that willnot let them stop there is going tobreak. Last stated 7 months ago 11 Mar 2026 SY Steve Yegge — holds since 2026-03-11 — tap for who they are Same subject: A screenshot is the fastest, easiest way to build, without having to voice it or type it. — tap to centre the map on it A screenshot is the fastest, easiestway to build, without having tovoice it or type it. Last stated 4 months ago 30 Jun 2026 MT Meng To — holds since 2026-06-30 — 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 2014 to today (stretched back to the oldest claim here) — full is todaya face: someone who holds the claim — tap it for who they are

At the centre He prefers languages with expressive type systems and has still never noticed them making him more productive or less bug-prone. Last stated 7 Nov 2014 · 12 years ago Holds Dan Luu Read this korrent →