Tap a claim on the ring to put it at the centre.
← Launch-early advice does not survive contact with mission-critical…
17 connected korrents · 15 moments on record from 22 Apr 2024 to 31 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under journalism
journalism
Everything filed under startups
startups
Everything filed under formal proof
formal proof Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: Launch-early advice does not survive contact with mission-critical software: email is not something you can ship half-baked. Launch-early advice does not survive contact with mission-critical software: email is not something you can ship half-baked. Last stated a year ago
23 Mar 2025
RV
Rahul Vohra — holds since 2025-03-23 — tap for who they are
Same subject: Reaching product-market fit requires deliberately not acting on the feedback of many of your early users, at the same time as listening intensely. — tap to centre the map on it Reaching product-market fit requires deliberately not acting on the feedback of many of your early users, at the same time as listening intensely. Last stated a year ago
23 Mar 2025
RV
Rahul Vohra — holds since 2025-03-23 — tap for who they are
Same subject: At three billion users you cannot launch without testing and cannot test without it becoming news, so the communications plan comes before the launch decision. — tap to centre the map on it At three billion users you cannot launch without testing and cannot test without it becoming news, so the communications plan comes before the launch decision. Last stated 2 months ago
9 Jul 2026
AM
Adam Mosseri — holds since 2026-07-09 — tap for who they are
Same subject: Every email should be routed through an LLM that scores it and approves or rejects it, with what is left ordered by importance. — tap to centre the map on it Every email should be routed through an LLM that scores it and approves or rejects it, with what is left ordered by importance. Last stated a week ago
31 Aug 2026
PL
Pieter Levels — holds since 2026-08-31 — tap for who they are
Same subject: The press release should be written before the project starts, not after the product ships. — tap to centre the map on it The press release should be written before the project starts, not after the product ships. Last stated 3 months ago
7 Jun 2026
TF
Tony Fadell — holds since 2026-06-07 — tap for who they are
Same subject: It is still early in AI go-to-market: the markets have not hardened and the good tools do not exist yet. — tap to centre the map on it It is still early in AI go-to-market: the markets have not hardened and the good tools do not exist yet. Last stated 8 months ago
1 Jan 2026
JL
Jason Lemkin — holds since 2026-01-01 — tap for who they are
Same subject: Weekly contact with paying users is what the launch-early rule is really for: it means learning from reality instead of your own extrapolated conception of it. — tap to centre the map on it Weekly contact with paying users is what the launch-early rule is really for: it means learning from reality instead of your own extrapolated conception of it. Last stated a month ago
31 Jul 2026
PC
Patrick Collison — holds since 2026-07-31 — tap for who they are
Same subject: You cannot get real feedback on a new consumer product before shipping the whole thing; feedback starts when somebody spends their own money on it. — tap to centre the map on it You cannot get real feedback on a new consumer product before shipping the whole thing; feedback starts when somebody spends their own money on it. Last stated 3 months ago
7 Jun 2026
TF
Tony Fadell — holds since 2026-06-07 — tap for who they are
Same subject: Almost all standard startup advice is still true in the AI era. — tap to centre the map on it Almost all standard startup advice is still true in the AI era. Last stated 4 weeks ago
12 Aug 2026
PG
Paul Graham — holds since 2026-08-12 — tap for who they are
Same subject: A correction never travels as far as the scare it corrects: the press said a fifth of the project's skills were malicious, and the measured figure was 0.3 percent. — tap to centre the map on it A correction never travels as far as the scare it corrects: the press said a fifth of the project's skills were malicious, and the measured figure was 0.3 percent. Last stated 4 weeks ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: Ask who benefits from you reading a piece of news, and you conclude that perhaps 95 percent of it was published to get you to buy, support, fight or donate. — tap to centre the map on it Ask who benefits from you reading a piece of news, and you conclude that perhaps 95 percent of it was published to get you to buy, support, fight or donate. Last stated 11 months ago
30 Sept 2025
PD
Pavel Durov — holds since 2025-09-30 — tap for who they are
Same subject: Establishment journalists claim to speak truth to power but never investigate themselves or each other. — tap to centre the map on it Establishment journalists claim to speak truth to power but never investigate themselves or each other. Last stated 2 months ago
12 Jul 2026
BS
Balaji Srinivasan — holds since 2026-07-12 — 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 no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. 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 using language at all, because language requires an intention to 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 apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. 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 formal proof necessary, because human review of all that generated code 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 about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. 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 Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
At the centre
Launch-early advice does not survive contact with mission-critical software: email is not something you can ship half-baked.
Holds RV Rahul VohraRead this korrent →
Reaching product-market fit requires deliberately not acting on the feedback of many of your early users, at the same time as listening intensely.
Holds RV Rahul Vohra
At three billion users you cannot launch without testing and cannot test without it becoming news, so the communications plan comes before the launch decision.
Holds AM Adam Mosseri
Every email should be routed through an LLM that scores it and approves or rejects it, with what is left ordered by importance.
Holds
The press release should be written before the project starts, not after the product ships.
Holds TF Tony Fadell
It is still early in AI go-to-market: the markets have not hardened and the good tools do not exist yet.
Holds JL Jason Lemkin
Weekly contact with paying users is what the launch-early rule is really for: it means learning from reality instead of your own extrapolated conception of it.
Holds
You cannot get real feedback on a new consumer product before shipping the whole thing; feedback starts when somebody spends their own money on it.
Holds TF Tony Fadell
Almost all standard startup advice is still true in the AI era.
Holds
A correction never travels as far as the scare it corrects: the press said a fifth of the project's skills were malicious, and the measured figure was 0.3 percent.
Holds
Ask who benefits from you reading a piece of news, and you conclude that perhaps 95 percent of it was published to get you to buy, support, fight or donate.
Holds
Establishment journalists claim to speak truth to power but never investigate themselves or each other.
Holds
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds GM Gary Marcus
A language model is not using language at all, because language requires an intention to communicate.
Holds TC Ted Chiang
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.
Holds SC Sean Carroll
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao