Tap a claim on the ring to put it at the centre.
← Code a company published under the GPL can be forked and improved by…
17 connected korrents · 15 moments on record from 18 Mar 2024 to 3 Sept 2026.
Everything filed under LLMs
LLMs
Everything filed under open source
open source
Everything filed under OpenAI
OpenAI
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: Code a company published under the GPL can be forked and improved by anyone, including the project it was distributed through. Code a company published under the GPL can be forked and improved by anyone, including the project it was distributed through. Last stated 2 years ago
14 Oct 2024
MM
Matt Mullenweg — holds since 2024-10-14 — 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: Matt Mullenweg's demands on WP Engine violate the letter and spirit of open source licences: you do not get to take a gift back. — tap to centre the map on it Matt Mullenweg's demands on WP Engine violate the letter and spirit of open source licences: you do not get to take a gift back. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Respect for trademarks and other intellectual property is part of what open source means, not a departure from it. — tap to centre the map on it Respect for trademarks and other intellectual property is part of what open source means, not a departure from it. Last stated 2 years ago
26 Sept 2024
MM
Matt Mullenweg — holds since 2024-09-26 — tap for who they are
Same subject: Publishing the source is not the same as developing in the open, and only the second changes how the work actually goes. — tap to centre the map on it Publishing the source is not the same as developing in the open, and only the second changes how the work actually goes. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Building a business on open source is a good thing; the objection is to trademark abuse, not to commercial use. — tap to centre the map on it Building a business on open source is a good thing; the objection is to trademark abuse, not to commercial use. Last stated 2 years ago
14 Oct 2024
MM
Matt Mullenweg — holds since 2024-10-14 — tap for who they are
Same subject: The same absence of contracts and lawyers that let companies adopt open source freely is what let experts publish it, and raising the bar would break both. — tap to centre the map on it The same absence of contracts and lawyers that let companies adopt open source freely is what let experts publish it, and raising the bar would break both. Last stated 10 months ago
16 Nov 2025
TD
Thomas Depierre — holds since 2025-11-16 — tap for who they are
Same subject: Work produced by one frontier model should be reviewed by a different one, for the same reason a good programmer's work improves under a good peer's review. — tap to centre the map on it Work produced by one frontier model should be reviewed by a different one, for the same reason a good programmer's work improves under a good peer's review. Last stated 2 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — 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 as though the world exists in the repository, 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: 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
Same subject: A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. — tap to centre the map on it A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. Last stated 2 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. — tap to centre the map on it A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. Last stated 5 days ago
3 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-03 — tap for who they are
Same subject: A tiny language model inventing a plausible-sounding name is the same phenomenon as a large one confidently stating a false fact. — tap to centre the map on it A tiny language model inventing a plausible-sounding name is the same phenomenon as a large one confidently stating a false fact. Last stated 7 months ago
12 Feb 2026
AK
Andrej Karpathy — holds since 2026-02-12 — tap for who they are
At the centre
Code a company published under the GPL can be forked and improved by anyone, including the project it was distributed through.
Holds MM Matt MullenwegRead this korrent →
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
Matt Mullenweg's demands on WP Engine violate the letter and spirit of open source licences: you do not get to take a gift back.
Holds
Respect for trademarks and other intellectual property is part of what open source means, not a departure from it.
Holds MM Matt Mullenweg
Publishing the source is not the same as developing in the open, and only the second changes how the work actually goes.
Holds AH Anders Hejlsberg
Building a business on open source is a good thing; the objection is to trademark abuse, not to commercial use.
Holds MM Matt Mullenweg
The same absence of contracts and lawyers that let companies adopt open source freely is what let experts publish it, and raising the bar would break both.
Holds TD Thomas Depierre
Work produced by one frontier model should be reviewed by a different one, for the same reason a good programmer's work improves under a good peer's review.
Holds
Software engineers behave as though the world exists in the repository, and it does not: the world is production.
Holds CM Charity Majors
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
A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests.
Holds
A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it.
Holds ZM Zvi Mowshowitz
A tiny language model inventing a plausible-sounding name is the same phenomenon as a large one confidently stating a false fact.
Holds