Tap a claim on the ring to put it at the centre.
← Time synchronization is one of the hardest problems in computing.
13 connected korrents · 14 moments from 8 Feb 2017 to 1 Sept 2026.
Everything filed under developer tools
developer tools
Everything filed under cybersecurity
cybersecurity
Everything filed under design
design 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: Time synchronization is one of the hardest problems in computing. Time synchronization is one of the hardest problems in computing. Last stated 2 months ago
1 Sept 2026
XI
Xe Iaso — holds since 2026-09-01 — tap for who they are
Same subject: Accurate time synchronization is a critical system function because it underlies cryptographic verification protocols like TLS. — tap to centre the map on it Accurate time synchronization is a critical system function because it underlies cryptographic verification protocols like TLS. Last stated 7 months ago
26 Mar 2026
JS
Jon Seager — holds since 2026-03-26 — tap for who they are
Same subject: Clocks are right most of the time, and that is precisely why a distributed system may never rely on them. — tap to centre the map on it Clocks are right most of the time, and that is precisely why a distributed system may never rely on them. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Concurrency is hard not because human brains cannot handle it but because nobody gets enough practice at it. — tap to centre the map on it Concurrency is hard not because human brains cannot handle it but because nobody gets enough practice at it. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Locking is too hard for programmers to get right over and over again, so the language runtime should do that part. — tap to centre the map on it Locking is too hard for programmers to get right over and over again, so the language runtime should do that part. Last stated 9 years ago
by 2 Jan 2018
RH
Rich Hickey — holds since 2018-01-02 — tap for who they are
Same subject: A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach. — tap to centre the map on it A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach. Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A developer using AI coding tools remains responsible for reviewing the code they ship. — tap to centre the map on it A developer using AI coding tools remains responsible for reviewing the code they ship. Last stated 7 months ago
10 Mar 2026
JS
Jon Seager — holds since 2026-03-10 — tap for who they are
Same subject: A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling. — tap to centre the map on it A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling. Last stated a year ago
18 Sept 2025
TL
Tobias Lütke — holds since 2025-09-18 — tap for who they are
Same subject: A software engineer who is not using a tool like Cursor is working at half productivity or worse. — tap to centre the map on it A software engineer who is not using a tool like Cursor is working at half productivity or worse. Last stated a year ago
18 Aug 2025
BT
Bret Taylor — holds since 2025-08-18 — tap for who they are
Same subject: AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces. — tap to centre the map on it AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces. Last stated a year ago
30 Sept 2025
HR
Harper Reed — holds since 2025-09-30 — tap for who they are
Same subject: AI coding assistants remove repetitive work without replacing human judgment. — tap to centre the map on it AI coding assistants remove repetitive work without replacing human judgment. Last stated 8 months ago
17 Feb 2026
EB
Emanuele Bartolesi — holds since 2026-02-17 — tap for who they are
Same subject: Building powerful developer tools such as compilers, interpreters, and query languages requires knowledge of parsing. — tap to centre the map on it Building powerful developer tools such as compilers, interpreters, and query languages requires knowledge of parsing. Last stated 10 years ago
8 Feb 2017
TB
Thorsten Ball — holds since 2017-02-08 — tap for who they are
Same subject: In every developer-tool category — databases, compilers, whatever — the open source option eventually becomes the default option. — tap to centre the map on it In every developer-tool category — databases, compilers, whatever — the open source option eventually becomes the default option. Last stated 5 months ago
27 May 2026
DR
Dax Raad — holds since 2026-05-27 — tap for who they are
Same subject: Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed. — tap to centre the map on it Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed. Last stated 3 years ago
31 Dec 2023
PH
Phil Hagelberg — holds since 2023-12-31 — tap for who they are
At the centre
Time synchronization is one of the hardest problems in computing.
Holds Read this korrent →
Accurate time synchronization is a critical system function because it underlies cryptographic verification protocols like TLS.
Holds
Clocks are right most of the time, and that is precisely why a distributed system may never rely on them.
Holds
Concurrency is hard not because human brains cannot handle it but because nobody gets enough practice at it.
Holds
Locking is too hard for programmers to get right over and over again, so the language runtime should do that part.
Holds
A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach.
Holds
A developer using AI coding tools remains responsible for reviewing the code they ship.
Holds
A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling.
Holds
A software engineer who is not using a tool like Cursor is working at half productivity or worse.
Holds
AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces.
Holds
AI coding assistants remove repetitive work without replacing human judgment.
Holds
Building powerful developer tools such as compilers, interpreters, and query languages requires knowledge of parsing.
Holds
In every developer-tool category — databases, compilers, whatever — the open source option eventually becomes the default option.
Holds
Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed.
Holds