Tap a claim on the ring to put it at the centre.
← Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific.
17 connected korrents · 13 moments on record from 12 Jul 2025 to 8 Sept 2026.
Everything filed under Python
Python
Everything filed under software quality
software quality
Everything filed under code generation
code generation
Everything filed under TypeScript
TypeScript
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: Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific. Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific. Last stated 2 days ago
6 Sept 2026
AR
Armin Ronacher — holds since 2026-09-06 — 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: The language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python. — tap to centre the map on it The language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — 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 language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. — tap to centre the map on it A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. — tap to centre the map on it A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: Adding a config option so nobody breaks compounds into permutations no test suite can cover, because it is infinitely harder to evolve software that has users. — tap to centre the map on it Adding a config option so nobody breaks compounds into permutations no test suite can cover, because it is infinitely harder to evolve software that has users. Last stated 4 weeks ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great. — tap to centre the map on it Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — tap for who they are
Same subject: A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start. — tap to centre the map on it A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come. — tap to centre the map on it A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. — tap to centre the map on it Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated a month ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: 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: A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. — tap to centre the map on it A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. — tap to centre the map on it AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much. Last stated a month ago
26 Jul 2026
DH
David Heinemeier Hansson — holds since 2026-07-26 — tap for who they are
Same subject: AI is at its best when it reuses great existing components rather than regenerating everything from first principles. — tap to centre the map on it AI is at its best when it reuses great existing components rather than regenerating everything from first principles. Last stated today
8 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-08 — tap for who they are
At the centre
Astra writes weird Python slop when one step removed from normal code, and its unit tests are horrific.
Holds Read this korrent →
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
The language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python.
Holds AH Anders Hejlsberg
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 language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass.
Holds
A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would.
Holds
Adding a config option so nobody breaks compounds into permutations no test suite can cover, because it is infinitely harder to evolve software that has users.
Holds
Agentic code review raises the floor but cannot be trusted, because the model reading the code is the same model that wrote it, and it will tell you the code is great.
Holds DH Dex Horthy
A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start.
Holds AH Anders Hejlsberg
A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come.
Holds AH Anders Hejlsberg
Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer.
Holds AH Anders Hejlsberg
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds HW Hillel Wayne
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
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
A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year.
Holds
AI acceleration threatens 'less software': without the constraint of scarce hours, even 37signals will likely build too much.
Holds
AI is at its best when it reuses great existing components rather than regenerating everything from first principles.
Holds