korrents

On the map

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

← People who worked as traditional engineers before moving into software…

17 connected korrents · 14 moments on record from 18 Jan 2021 to 1 Sept 2026.

Everything filed under LLMs LLMs Everything filed under writing writing 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: People who worked as traditional engineers before moving into software say that software engineering is real engineering. People who worked as traditionalengineers before moving intosoftware say that softwareengineering is real engineering. Last stated 6 years ago 18 Jan 2021 HW Hillel Wayne — holds since 2021-01-18 — tap for who they are Same subject: Version control is the one thing every traditional engineer wishes their old field had. — tap to centre the map on it Version control is the onething every traditionalengineer wishes their oldfield had. Last stated a month ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: Software engineers behave as though the world exists in the repository, and it does not: the world is production. — tap to centre the map on it Software engineers behave asthough the world exists in therepository, and it does not:the world is production. Last stated 4 weeks ago 12 Aug 2026 CM Charity Majors — holds since 2026-08-12 — tap for who they are Same subject: The argument about whether programming is engineering is conducted entirely by people who have never worked as engineers. — tap to centre the map on it The argument about whetherprogramming is engineering isconducted entirely by peoplewho have never worked as… Last stated 6 years ago 18 Jan 2021 HW Hillel Wayne — holds since 2021-01-18 — tap for who they are Same subject: Software developers probably are engineers after all, on the evidence of the people who did both jobs -- though that research was done before LLMs. — tap to centre the map on it Software developers probablyare engineers after all, onthe evidence of the people whodid both jobs -- though that… Last stated a month ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: He is a software writer, not a software engineer, and the engineering label flattens what most programmers actually do. — tap to centre the map on it He is a software writer, not asoftware engineer, and theengineering label flattenswhat most programmers actually… Last stated a year ago 12 Jul 2025 DH David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are Same subject: High consequences cannot be what makes work engineering, because most traditional engineering is low-stakes too. — tap to centre the map on it High consequences cannot bewhat makes work engineering,because most traditionalengineering is low-stakes too. Last stated 6 years ago 18 Jan 2021 HW Hillel Wayne — holds since 2021-01-18 — tap for who they are Same subject: The engineering that lives in engineers’ spreadsheets is really baby software, and it should be written as real software, with the testing and integration that implies. — tap to centre the map on it The engineering that lives inengineers’ spreadsheets isreally baby software, and itshould be written as real… Last stated a month ago 28 Jul 2026 BS Blake Scholl — holds since 2026-07-28 — tap for who they are Same subject: Being a decent software engineer plus a genuine expert in one industry is a deadly combination, and engineers are the only people who get to change industries at will. — tap to centre the map on it Being a decent softwareengineer plus a genuine expertin one industry is a deadlycombination, and engineers are… Last stated 3 months ago 27 May 2026 DR Dax Raad — holds since 2026-05-27 — tap for who they are Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is nosubstitute for awell-specified conventionalalgorithm, so it cannot simply… Last stated a year ago 7 Jun 2025 GM Gary Marcus — holds since 2025-06-07 — tap for who they are Same subject: A language model is not using language at all, because language requires an intention to communicate. — tap to centre the map on it A language model is not usinglanguage at all, becauselanguage requires an intentionto communicate. Last stated 2 years ago 31 Aug 2024 TC Ted Chiang — holds since 2024-08-31 — tap for who they are Same subject: A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. — tap to centre the map on it A language model's apparentmind is mostly our own bias:it predicts text, andleverages our evolved habit of… Last stated 2 years ago 22 Apr 2024 SC Sean Carroll — holds since 2024-04-22 — tap for who they are Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formalproof necessary, because humanreview of all that generatedcode becomes the bottleneck. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is aboutto become economical, becausemodels are getting good enoughat writing the proofs that… Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Leancurrently takes about tentimes the effort of writing itout: doable, but annoying. Last stated a year ago 14 Jun 2025 TT Terence Tao — holds since 2025-06-14 — tap for who they are Same subject: A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing. — tap to centre the map on it A plain text file and a basiceditor are everything anyoneneeds in order to think andwrite well; the extra tools… Last stated 5 years ago 2 Mar 2022 DS Derek Sivers — holds since 2022-03-02 — tap for who they are Same subject: A sentence that cannot justify a line of its own should be deleted. — tap to centre the map on it A sentence that cannot justifya line of its own should bedeleted. Last stated 4 years ago 20 Jun 2022 DS Derek Sivers — holds since 2022-06-20 — tap for who they are Same subject: AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. — tap to centre the map on it AI-written prose is aninferior read because a modelemits a statistical average --code's audience is a machine… Last stated 6 days ago 1 Sept 2026 GO Gergely Orosz — holds since 2026-09-01 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: how recently it was last stated — full and dark this week, a faint sliver at five yearsa face: someone on record holding the claim — tap it for who they are

At the centre People who worked as traditional engineers before moving into software say that software engineering is real engineering. Last stated 18 Jan 2021 · 6 years ago Holds Hillel Wayne Read this korrent →