korrents

On the map

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

← Formal specifications like RFCs leave little room for interpretation,…

14 connected korrents · 12 moments from 21 Jan 2019 to 4 Sept 2026.

Everything filed under documentation documentation Everything filed under AI slop AI slop Everything filed under prompt injection prompt injection Everything filed under formal proof formal proof Everything filed under innovation innovation Everything filed under LLMs LLMs Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Formal specifications like RFCs leave little room for interpretation, which enables a high degree of interoperability between implementations. Formal specifications like RFCs leavelittle room for interpretation, whichenables a high degree of interoperabilitybetween implementations. Last stated 2 years ago 3 Mar 2025 TS Tobias Sjösten — holds since 2025-03-03 — tap for who they are Same subject: Interoperability pressure from browser vendors drives migration to standardized protocol mechanisms. — tap to centre the map on it Interoperability pressure frombrowser vendors drives migration tostandardized protocol mechanisms. Last stated 2 months ago 7 Aug 2026 MN Mark Nottingham — holds since 2026-08-07 — 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: 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: 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: Large language models do not reason formally: their performance collapses as a problem is made bigger, in the way a calculator's never does. — tap to centre the map on it Large language models do not reasonformally: their performancecollapses as a problem is madebigger, in the way a calculator'snever does. Last stated 2 years ago 11 Oct 2024 GM Gary Marcus — holds since 2024-10-11 — tap for who they are Same subject: A company that deviates from open standards in its data exports without documenting the deviation creates an artificial vendor lock-in. — tap to centre the map on it A company that deviates from openstandards in its data exportswithout documenting the deviationcreates an artificial vendorlock-in. Last stated 2 years ago 3 Mar 2025 TS Tobias Sjösten — holds since 2025-03-03 — tap for who they are Same subject: A design proposal should describe the feature as though it already existed — once as a tutorial and once as reference documentation. — tap to centre the map on it A design proposal should describethe feature as though it alreadyexisted — once as a tutorial andonce as reference documentation. Last stated 4 months ago 20 May 2026 AR Alice Ryhl — holds since 2026-05-20 — tap for who they are Same subject: A performance test without an explanation of its limiting factor should be treated as unanalyzed and possibly bogus. — tap to centre the map on it A performance test without anexplanation of its limiting factorshould be treated as unanalyzed andpossibly bogus. Last stated a year ago 3 Aug 2025 BG Brendan Gregg — holds since 2025-08-03 — tap for who they are Same subject: Do not run a personal agent on a cheap or local model: weak models are gullible and easy to prompt-inject. — tap to centre the map on it Do not run a personal agent on acheap or local model: weak modelsare gullible and easy toprompt-inject. Last stated 8 months ago 12 Feb 2026 PS Peter Steinberger — holds since 2026-02-12 — tap for who they are Same subject: Auto-mode does not yet convincingly fix prompt-injection risk for coding agents. — tap to centre the map on it Auto-mode does not yet convincinglyfix prompt-injection risk for codingagents. Last stated 2 months ago 8 Aug 2026 SW Simon Willison — holds since 2026-08-08 — tap for who they are Same subject: Current prompt-injection defenses for AI agents (such as auto mode) are now reliable enough that agents can practically be assumed safe from successful injection attacks. — tap to centre the map on it Current prompt-injection defensesfor AI agents (such as auto mode)are now reliable enough that agentscan practically be assumed safe fromsuccessful injection attacks. Last stated 4 weeks ago 4 Sept 2026 ZM Zvi Mowshowitz — holds since 2026-09-04 — tap for who they are Same subject: The people who would most need to disclose AI-generated content are the least motivated to actually disclose it. — tap to centre the map on it The people who would most need todisclose AI-generated content arethe least motivated to actuallydisclose it. Last stated a month ago 19 Aug 2026 ML Michael Lopp — holds since 2026-08-19 — tap for who they are Same subject: A badly written AI outbound email is evidence of a bad vendor, not of a limit of AI. — tap to centre the map on it A badly written AI outbound email isevidence of a bad vendor, not of alimit of AI. Last stated 9 months ago 1 Jan 2026 JL Jason Lemkin — holds since 2026-01-01 — tap for who they are Same subject: A growing fraction of social media is AI slop influencers being replied to by bots — an echo of an echo of an echo. — tap to centre the map on it A growing fraction of social mediais AI slop influencers being repliedto by bots — an echo of an echo ofan echo. Last stated a month ago 23 Aug 2026 FC François Chollet — holds since 2026-08-23 — 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 Formal specifications like RFCs leave little room for interpretation, which enables a high degree of interoperability between implementations. Last stated 3 Mar 2025 · 2 years ago Holds Tobias Sjösten Read this korrent →