Tap a claim on the ring to put it at the centre.
← Asking a candidate for their salary history is a way to justify paying…
17 connected korrents · 10 moments on record from 23 Jan 2012 to 18 Aug 2026.
Everything filed under mathematics
mathematics
Everything filed under formal proof
formal proof
Everything filed under hiring
hiring
Everything filed under AI and science
AI and science 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: Asking a candidate for their salary history is a way to justify paying them below market, so a candidate should never name a number first. Asking a candidate for their salary history is a way to justify paying them below market, so a candidate should never name a number first. Last stated 15 years ago
23 Jan 2012
PM
Patrick McKenzie — holds since 2012-01-23 — tap for who they are
Same subject: A company is not sensitive to the few thousand dollars a candidate is afraid to ask for, because the fully-loaded cost of employing them dwarfs it. — tap to centre the map on it A company is not sensitive to the few thousand dollars a candidate is afraid to ask for, because the fully-loaded cost of employing them dwarfs it. Last stated 15 years ago
23 Jan 2012
PM
Patrick McKenzie — holds since 2012-01-23 — tap for who they are
Same subject: Negotiating hard costs a candidate nothing, because the person on the other side is spending a budget rather than their own money and will not hold it against them. — tap to centre the map on it Negotiating hard costs a candidate nothing, because the person on the other side is spending a budget rather than their own money and will not hold it against them. Last stated 15 years ago
23 Jan 2012
PM
Patrick McKenzie — holds since 2012-01-23 — tap for who they are
Same subject: A career is not built by searching for jobs but by accumulating a reputation slowly, so that when you become available the opportunities come to you. — tap to centre the map on it A career is not built by searching for jobs but by accumulating a reputation slowly, so that when you become available the opportunities come to you. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers. — tap to centre the map on it Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A hiring loop should have few, well-calibrated interviewers rather than many, because extra interviewers add veto points instead of judgement. — tap to centre the map on it A hiring loop should have few, well-calibrated interviewers rather than many, because extra interviewers add veto points instead of judgement. Last stated 2 years ago
17 Dec 2024
CM
Charity Majors — no longer holds since 2024-12-17 — tap for who they are
Same subject: Doing your best at a bad job is not for the boss: it is how the warm referral that gets the next job is earned, and slacking there cheats only yourself. — tap to centre the map on it Doing your best at a bad job is not for the boss: it is how the warm referral that gets the next job is earned, and slacking there cheats only yourself. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: Past a certain hiring rate the marginal value of another engineer falls towards nothing, because training and interviewing consume the engineers you already have. — tap to centre the map on it Past a certain hiring rate the marginal value of another engineer falls towards nothing, because training and interviewing consume the engineers you already have. Last stated 10 years ago
10 Oct 2016
WL
Will Larson — holds since 2016-10-10 — tap for who they are
Same subject: Requiring everyone at a company to reach for AI first is a fairness measure, because otherwise the people who already do will take all the best careers. — tap to centre the map on it Requiring everyone at a company to reach for AI first is a fairness measure, because otherwise the people who already do will take all the best careers. Last stated 12 months ago
18 Sept 2025
TL
Tobias Lütke — holds since 2025-09-18 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. — tap to centre the map on it AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
Same subject: AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. — tap to centre the map on it AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — 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
Asking a candidate for their salary history is a way to justify paying them below market, so a candidate should never name a number first.
Holds PM Patrick McKenzieRead this korrent →
A company is not sensitive to the few thousand dollars a candidate is afraid to ask for, because the fully-loaded cost of employing them dwarfs it.
Holds PM Patrick McKenzie
Negotiating hard costs a candidate nothing, because the person on the other side is spending a budget rather than their own money and will not hold it against them.
Holds PM Patrick McKenzie
A career is not built by searching for jobs but by accumulating a reputation slowly, so that when you become available the opportunities come to you.
Holds TP Thuan Pham
Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers.
Holds GS Grant Sanderson
A hiring loop should have few, well-calibrated interviewers rather than many, because extra interviewers add veto points instead of judgement.
No longer holds CM Charity Majors
Doing your best at a bad job is not for the boss: it is how the warm referral that gets the next job is earned, and slacking there cheats only yourself.
Holds
Past a certain hiring rate the marginal value of another engineer falls towards nothing, because training and interviewing consume the engineers you already have.
Holds WL Will Larson
Requiring everyone at a company to reach for AI first is a fairness measure, because otherwise the people who already do will take all the best careers.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds GS Grant Sanderson
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds GS Grant Sanderson
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
Holds
AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder.
Holds TT Terence Tao
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds LF Lex Fridman
AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different.
Holds MK Michael Kratsios
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