Tap a claim on the ring to put it at the centre.
← The one thing you have to do to stay employable is ride the models —…
17 connected korrents · 15 moments on record from 22 Aug 2018 to 12 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under open source
open source
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: The one thing you have to do to stay employable is ride the models — use each new one for whatever it is you actually do. The one thing you have to do to stay employable is ride the models — use each new one for whatever it is you actually do. Last stated 3 months ago
24 May 2026
DS
Dan Shipper — holds since 2026-05-24 — tap for who they are
Same subject: If this much effort goes into training the model, you had better be willing to keep training your own. — tap to centre the map on it If this much effort goes into training the model, you had better be willing to keep training your own. Last stated 3 months ago
3 Jun 2026
KH
Kelsey Hightower — holds since 2026-06-03 — tap for who they are
Same subject: A model you have to fine-tune for each thing you want it to do is not a general-purpose model. — tap to centre the map on it A model you have to fine-tune for each thing you want it to do is not a general-purpose model. Last stated 4 weeks ago
12 Aug 2026
CF
Chelsea Finn — holds since 2026-08-12 — tap for who they are
Same subject: The workable model right now is one super agent for a whole company, not a personal agent for every person. — tap to centre the map on it The workable model right now is one super agent for a whole company, not a personal agent for every person. Last stated 3 months ago
24 May 2026
DS
Dan Shipper — holds since 2026-05-24 — tap for who they are
Same subject: Before building on a gap in the general models, work out whether that gap survives six months or three years. — tap to centre the map on it Before building on a gap in the general models, work out whether that gap survives six months or three years. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Models have personalities the way people do, and using them well means developing an intuition for which one to reach for. — tap to centre the map on it Models have personalities the way people do, and using them well means developing an intuition for which one to reach for. Last stated 12 months ago
21 Sept 2025
JZ
Julie Zhuo — holds since 2025-09-21 — tap for who they are
Same subject: The way to find what a model can do is to hand it tasks slightly harder than you believe it can handle. — tap to centre the map on it The way to find what a model can do is to hand it tasks slightly harder than you believe it can handle. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: AI does not remove a job so much as change what it consists of, and knowing exactly where a model's capabilities stop is now part of being a good engineer. — tap to centre the map on it AI does not remove a job so much as change what it consists of, and knowing exactly where a model's capabilities stop is now part of being a good engineer. Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — tap for who they are
Same subject: Keeping powerful models available only to a chosen few is not a good strategy. — tap to centre the map on it Keeping powerful models available only to a chosen few is not a good strategy. Last stated a month ago
7 Aug 2026
SA
Sam Altman — holds since 2026-08-07 — 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: A business making hundreds of millions from an open source project owes it money or contribution, and can be refused its trademarks if it gives neither. — tap to centre the map on it A business making hundreds of millions from an open source project owes it money or contribution, and can be refused its trademarks if it gives neither. Last stated 2 years ago
26 Sept 2024
MM
Matt Mullenweg — holds since 2024-09-26 — tap for who they are
Same subject: A company that will not accept a project’s terms is free to go and use a more permissive project instead. — tap to centre the map on it A company that will not accept a project’s terms is free to go and use a more permissive project instead. Last stated 2 years ago
26 Sept 2024
MM
Matt Mullenweg — holds since 2024-09-26 — tap for who they are
Same subject: A few hundred dollars a month is nothing to a company and transformative to a project, so engineers should be the ones asking their employers to pay it. — tap to centre the map on it A few hundred dollars a month is nothing to a company and transformative to a project, so engineers should be the ones asking their employers to pay it. Last stated 8 years ago
22 Aug 2018
DD
Drew DeVault — holds since 2018-08-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
The one thing you have to do to stay employable is ride the models — use each new one for whatever it is you actually do.
Holds DS Dan ShipperRead this korrent →
If this much effort goes into training the model, you had better be willing to keep training your own.
Holds KH Kelsey Hightower
A model you have to fine-tune for each thing you want it to do is not a general-purpose model.
Holds CF Chelsea Finn
The workable model right now is one super agent for a whole company, not a personal agent for every person.
Holds DS Dan Shipper
Before building on a gap in the general models, work out whether that gap survives six months or three years.
Holds JD Jeff Dean
Models have personalities the way people do, and using them well means developing an intuition for which one to reach for.
Holds JZ Julie Zhuo
The way to find what a model can do is to hand it tasks slightly harder than you believe it can handle.
Holds
AI does not remove a job so much as change what it consists of, and knowing exactly where a model's capabilities stop is now part of being a good engineer.
Holds DF Dylan Field
Keeping powerful models available only to a chosen few is not a good strategy.
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
A business making hundreds of millions from an open source project owes it money or contribution, and can be refused its trademarks if it gives neither.
Holds MM Matt Mullenweg
A company that will not accept a project’s terms is free to go and use a more permissive project instead.
Holds MM Matt Mullenweg
A few hundred dollars a month is nothing to a company and transformative to a project, so engineers should be the ones asking their employers to pay it.
Holds DD Drew DeVault
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