korrents

On the map

Tap a claim on the ring to put it at the centre.

← Function signatures that support many flexible calling styles make it hard to know everything a function can do.

17 connected korrents · 17 moments from 1 Feb 2015 to 21 Sept 2026.

Everything filed under design design Everything filed under formal proof formal proof Everything filed under documentation documentation Everything filed under code generation code generation Everything filed under simplicity simplicity Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Function signatures that support many flexible calling styles make it hard to know everything a function can do. Function signatures that support manyflexible calling styles make it hard toknow everything a function can do. Last stated 2 weeks ago 21 Sept 2026 SK Steve Klabnik — holds since 2026-09-21 — tap for who they are Same subject: Understanding what a system does does not reveal what it fundamentally is. — tap to centre the map on it Understanding what a system doesdoes not reveal what itfundamentally is. Last stated a month ago 19 Aug 2026 KR Kenneth Reitz — holds since 2026-08-19 — 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 inverification: an expressive languageis hard to prove things about, and alanguage that is easy to provethings 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: The hard part of verification is not proving the code correct but working out what the specification should say. — tap to centre the map on it The hard part of verification is notproving the code correct but workingout what the specification shouldsay. Last stated 8 years ago 21 Jan 2019 HW Hillel Wayne — holds since 2019-01-21 — tap for who they are Same subject: You can now generate ten thousand variants of a function faster than you could write it once, and that economics pushes software towards replacement rather than repair. — tap to centre the map on it You can now generate ten thousandvariants of a function faster thanyou could write it once, and thateconomics pushes software towardsreplacement rather than repair. Last stated 2 months ago 12 Aug 2026 CM Charity Majors — holds since 2026-08-12 — tap for who they are Same subject: Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. — tap to centre the map on it Formal methods are not usedeverywhere because for most realproblems writing down what thefunction should do is itself anightmare, and a program that isright ninety-nine per cent of thetime is good enough. Last stated 2 months ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: A program's simplicity of structure does not limit how sophisticated the computation it performs can be. — tap to centre the map on it A program's simplicity of structuredoes not limit how sophisticated thecomputation it performs can be. Last stated 2 months ago 21 Jul 2026 SW Stephen Wolfram — holds since 2026-07-21 — tap for who they are Same subject: Splitting functions into synchronous and asynchronous kinds forces that distinction into every piece of code a programmer afterwards writes. — tap to centre the map on it Splitting functions into synchronousand asynchronous kinds forces thatdistinction into every piece of codea programmer afterwards writes. Last stated 12 years ago 1 Feb 2015 BN Bob Nystrom — holds since 2015-02-01 — tap for who they are Same subject: Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. — tap to centre the map on it Formalisation's real gift is thegreen check mark — knowing a hardproof is correct before you spendtime on it — and every other fieldwould kill for it. Last stated 3 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: A blank chat box is lazy: it violates the first rule of a good user experience, that it is obvious what you can do. — tap to centre the map on it A blank chat box is lazy: itviolates the first rule of a gooduser experience, that it is obviouswhat you can do. Last stated a year ago 12 May 2025 JZ Julie Zhuo — holds since 2025-05-12 — tap for who they are Same subject: A board game conquers the world when chance and strategy are in balance in it. — tap to centre the map on it A board game conquers the world whenchance and strategy are in balancein it. Last stated 10 months ago 12 Dec 2025 IF Irving Finkel — holds since 2025-12-12 — tap for who they are Same subject: A browser works better as a single window than as multiple separate windows. — tap to centre the map on it A browser works better as a singlewindow than as multiple separatewindows. Last stated 3 weeks ago 15 Sept 2026 CC Chris Coyier — holds since 2026-09-15 — tap for who they are Same subject: A good prototype should express a single idea or test a single hypothesis. — tap to centre the map on it A good prototype should express asingle idea or test a singlehypothesis. Last stated 9 years ago 22 Feb 2018 BF Bennett Foddy — holds since 2018-02-22 — tap for who they are Same subject: A small performance gain is not worth the complexity added to achieve it, since complexity's costs compound rather than add. — tap to centre the map on it A small performance gain is notworth the complexity added toachieve it, since complexity's costscompound rather than add. Last stated 3 years ago 6 Dec 2023 RP Rob Pike — holds since 2023-12-06 — tap for who they are Same subject: Adding rules and complexity to a system drains it of humanity and fun. — tap to centre the map on it Adding rules and complexity to asystem drains it of humanity andfun. Last stated 4 years ago 6 Jun 2022 SC Steve Coast — holds since 2022-06-06 — tap for who they are Same subject: A theme system's styles should be low-specificity rather than targeted directly at specific elements. — tap to centre the map on it A theme system's styles should below-specificity rather than targeteddirectly at specific elements. Last stated 2 months ago 17 Aug 2026 DR Dave Rupert — holds since 2026-08-17 — tap for who they are Same subject: Attribute behavior that depends on CSS layout size rather than an element's natural or declared size is a design trap web authors should avoid relying on. — tap to centre the map on it Attribute behavior that depends onCSS layout size rather than anelement's natural or declared sizeis a design trap web authors shouldavoid relying on. Last stated 3 weeks ago 14 Sept 2026 TE Terence Eden — holds since 2026-09-14 — tap for who they are Same subject: Designers should find what the spec should be and build it in HTML and CSS themselves, not make a product manager's spec look pretty. — tap to centre the map on it Designers should find what the specshould be and build it in HTML andCSS themselves, not make a productmanager's spec look pretty. Last stated 6 months ago 8 Apr 2026 DH David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2015 to today — full is todaya face: someone who holds the claim — tap it for who they are

At the centre Function signatures that support many flexible calling styles make it hard to know everything a function can do. Last stated 21 Sept 2026 · 2 weeks ago Holds Steve Klabnik Read this korrent →