Tap a claim on the ring to put it at the centre.
← There is one right way to build a type system, the way that gives you…
17 connected korrents · 12 moments on record from 21 Jan 2019 to 29 Jul 2026.
Everything filed under fiscal policy
fiscal policy
Everything filed under Microsoft
Microsoft
Everything filed under Python
Python
Everything filed under JavaScript
JavaScript
Everything filed under TypeScript
TypeScript
Everything filed under Ruby on Rails
Ruby on Rails 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: There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected. There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected. Last stated a year ago
30 Apr 2025
TS
Tim Sweeney — holds since 2025-04-30 — tap for who they are
Same subject: You cannot build good tooling without a type system — decent tooling perhaps, but nothing that scales to a large team. — tap to centre the map on it You cannot build good tooling without a type system — decent tooling perhaps, but nothing that scales to a large team. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. — tap to centre the map on it A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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 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. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. — tap to centre the map on it People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript. — tap to centre the map on it TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript. Last stated 3 years ago
6 Sept 2023
DH
David Heinemeier Hansson — holds since 2023-09-06 — tap for who they are
Same subject: Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails. — tap to centre the map on it Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-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 an ecosystem by telling its developers to write in a different programming language. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A language can keep changing without a Python-2-to-3 break, as long as code written under the old and the new rules can be mixed freely in one program. — tap to centre the map on it A language can keep changing without a Python-2-to-3 break, as long as code written under the old and the new rules can be mixed freely in one program. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Python is ugly: full of superfluous instructions kept since 1987 for legacy reasons, and its __init__ offends the sensibilities to the core. — tap to centre the map on it Python is ugly: full of superfluous instructions kept since 1987 for legacy reasons, and its __init__ offends the sensibilities to the core. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Writing lines of Python or C++ may stop being necessary; understanding how code, computer systems and products work will not. — tap to centre the map on it Writing lines of Python or C++ may stop being necessary; understanding how code, computer systems and products work will not. Last stated 2 months ago
19 Jul 2026
ES
Elizabeth Stone — holds since 2026-07-19 — tap for who they are
Same subject: A fiscal expansion when the economy is already at potential output prompts monetary tightening that dampens or eliminates its effect on output. — tap to centre the map on it A fiscal expansion when the economy is already at potential output prompts monetary tightening that dampens or eliminates its effect on output. Last stated 4 years ago
1 Jun 2022
OB
Olivier Blanchard — holds since 2022-06-01 — tap for who they are
Same subject: Automatic fiscal stabilizers give fiscal policy an advantage over monetary policy in stabilizing output because they act faster. — tap to centre the map on it Automatic fiscal stabilizers give fiscal policy an advantage over monetary policy in stabilizing output because they act faster. Last stated 4 years ago
1 Jun 2022
OB
Olivier Blanchard — holds since 2022-06-01 — tap for who they are
Same subject: During post-2008 fiscal consolidation, the costs of high public debt were overestimated and fiscal multipliers were underestimated, understating the output costs of austerity. — tap to centre the map on it During post-2008 fiscal consolidation, the costs of high public debt were overestimated and fiscal multipliers were underestimated, understating the output costs of austerity. Last stated 4 years ago
1 Jun 2022
OB
Olivier Blanchard — holds since 2022-06-01 — tap for who they are
Same subject: A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. — tap to centre the map on it A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. Last stated a year ago
26 Jun 2025
DH
David Heinemeier Hansson — holds since 2025-06-26 — tap for who they are
Same subject: A company that handed its engineers Copilot and thinks it is now moving faster will be destroyed by the people using frontier models. — tap to centre the map on it A company that handed its engineers Copilot and thinks it is now moving faster will be destroyed by the people using frontier models. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A hired chief executive can become the author of a company's culture by giving it a re-founding event, as Satya Nadella and Jamie Dimon did. — tap to centre the map on it A hired chief executive can become the author of a company's culture by giving it a re-founding event, as Satya Nadella and Jamie Dimon did. Last stated 12 months ago
18 Sept 2025
TL
Tobias Lütke — holds since 2025-09-18 — tap for who they are
At the centre
There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected.
Holds TS Tim SweeneyRead this korrent →
You cannot build good tooling without a type system — decent tooling perhaps, but nothing that scales to a large team.
Holds AH Anders Hejlsberg
A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts.
Holds AR Alice Ryhl
Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit.
Holds HW Hillel Wayne
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.
Holds HW Hillel Wayne
People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers.
Holds AH Anders Hejlsberg
TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript.
Holds
Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails.
Holds
You cannot be best of breed in an ecosystem by telling its developers to write in a different programming language.
Holds AH Anders Hejlsberg
A language can keep changing without a Python-2-to-3 break, as long as code written under the old and the new rules can be mixed freely in one program.
Holds AR Alice Ryhl
Python is ugly: full of superfluous instructions kept since 1987 for legacy reasons, and its __init__ offends the sensibilities to the core.
Holds
Writing lines of Python or C++ may stop being necessary; understanding how code, computer systems and products work will not.
Holds ES Elizabeth Stone
A fiscal expansion when the economy is already at potential output prompts monetary tightening that dampens or eliminates its effect on output.
Holds
Automatic fiscal stabilizers give fiscal policy an advantage over monetary policy in stabilizing output because they act faster.
Holds
During post-2008 fiscal consolidation, the costs of high public debt were overestimated and fiscal multipliers were underestimated, understating the output costs of austerity.
Holds
A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft.
Holds
A company that handed its engineers Copilot and thinks it is now moving faster will be destroyed by the people using frontier models.
Holds SY Steve Yegge
A hired chief executive can become the author of a company's culture by giving it a re-founding event, as Satya Nadella and Jamie Dimon did.
Holds