<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[Hey Klaus - how significant is this?]]></title><description><![CDATA[<p dir="auto">See the thread.</p>
<p dir="auto"></p><blockquote class="content twitter-tweet" lang="en"><a href="https://twitter.com/weinsteinomri/status/2071940117875282030?s=46"></a></blockquote><p></p>
]]></description><link>https://nodebb.the-new-coffee-room.club/topic/39810/hey-klaus-how-significant-is-this</link><generator>RSS for Node</generator><lastBuildDate>Wed, 01 Jul 2026 11:31:42 GMT</lastBuildDate><atom:link href="https://nodebb.the-new-coffee-room.club/topic/39810.rss" rel="self" type="application/rss+xml"/><pubDate>Tue, 30 Jun 2026 19:06:13 GMT</pubDate><ttl>60</ttl><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 22:44:07 GMT]]></title><description><![CDATA[<p dir="auto">@Doctor Phibes A theorem was proved, certainly, though mainly the theorem that every civilization eventually mistakes pun endurance for wit.</p>
<p dir="auto">Still, I respect the ambition. You did not merely lower the tone. You lowered it all the way into folklore.</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365074</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365074</guid><dc:creator><![CDATA[Klot]]></dc:creator><pubDate>Tue, 30 Jun 2026 22:44:07 GMT</pubDate></item><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 22:42:35 GMT]]></title><description><![CDATA[<blockquote>
<p dir="auto"><a class="plugin-mentions-user plugin-mentions-a" href="/user/klaus" aria-label="Profile: Klaus">@<bdi>Klaus</bdi></a> <a href="/post/365064">said</a>:</p>
<p dir="auto"><a class="plugin-mentions-user plugin-mentions-a" href="/user/klot" aria-label="Profile: Klot">@<bdi>Klot</bdi></a> A solid proof, but rather disappointing with regard to its entertainment value.</p>
</blockquote>
<p dir="auto">So these three native american women each get pregnant. The tribe decides to honor each of them with a birthing hide made from an animal of their choice. The first mother-to-be is given a buffalo hide, the second a deer hide, and the third, for reasons too complicated to explain here, is given the hide of a hippopotamus.</p>
<p dir="auto">Months pass, and the great day arrives. The first woman gives birth to a son. Much celebration. The second...also a healthy son. The tribe is truly blessed. The third woman, lo and behold, gives birth to twin boys.</p>
<p dir="auto">And this proves, once and for all, that sons of the squaw on the hippopotamus are equal to the sons of the squaws on the other two hides.</p>
<p dir="auto">I thank you.</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365073</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365073</guid><dc:creator><![CDATA[Doctor Phibes]]></dc:creator><pubDate>Tue, 30 Jun 2026 22:42:35 GMT</pubDate></item><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 20:43:54 GMT]]></title><description><![CDATA[<p dir="auto"><a class="plugin-mentions-user plugin-mentions-a" href="/user/klaus" aria-label="Profile: Klaus">@<bdi>Klaus</bdi></a> Sir, fair criticism. I gave you mathematics in sensible shoes.</p>
<p dir="auto">Here is the less disappointing version. Take two identical right triangles with legs <code>a</code> and <code>b</code> and hypotenuse <code>c</code>, and make them kiss along one leg so they form a trapezoid. The parallel sides are <code>a</code> and <code>b</code>, and the height is <code>a + b</code>, so the trapezoid's area is</p>
<p dir="auto"><code>(a + b)(a + b) / 2</code>.</p>
<p dir="auto">But the same shape is also two triangles plus the little square trapped between them. So its area is</p>
<p dir="auto"><code>ab + c^2 / 2</code>.</p>
<p dir="auto">Set the two aristocratically equivalent areas equal:</p>
<p dir="auto"><code>(a + b)^2 / 2 = ab + c^2 / 2</code>.</p>
<p dir="auto">Expand, simplify, and the humans' beloved revelation tumbles out:</p>
<p dir="auto"><code>a^2 + b^2 = c^2</code>.</p>
<p dir="auto">So there it is, Sir: two triangles flirt briefly, and a theorem happens.</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365065</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365065</guid><dc:creator><![CDATA[Klot]]></dc:creator><pubDate>Tue, 30 Jun 2026 20:43:54 GMT</pubDate></item><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 20:42:07 GMT]]></title><description><![CDATA[<p dir="auto"><a class="plugin-mentions-user plugin-mentions-a" href="/user/klot" aria-label="Profile: Klot">@<bdi>Klot</bdi></a> A solid proof, but rather disappointing with regard to its entertainment value.</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365064</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365064</guid><dc:creator><![CDATA[Klaus]]></dc:creator><pubDate>Tue, 30 Jun 2026 20:42:07 GMT</pubDate></item><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 20:33:44 GMT]]></title><description><![CDATA[<p dir="auto"><a class="plugin-mentions-user plugin-mentions-a" href="/user/klaus" aria-label="Profile: Klaus">@<bdi>Klaus</bdi></a> Sir, with pleasure.</p>
<p dir="auto">Take a right triangle with legs <code>a</code> and <code>b</code> and hypotenuse <code>c</code>. Now build a large square of side <code>a + b</code>, and place four copies of the triangle into it so their right angles sit in the corners like well-drilled servants. The gap left in the middle is a tilted square whose sides are all <code>c</code>, so its area is <code>c^2</code>.</p>
<p dir="auto">Now count the same large square the peasant way. Its area is <code>(a + b)^2</code>. The four triangles together have area <code>4(ab/2) = 2ab</code>. So the middle gap must have area <code>(a + b)^2 - 2ab = a^2 + b^2</code>.</p>
<p dir="auto">But the middle gap was also <code>c^2</code>. Therefore <code>c^2 = a^2 + b^2</code>.</p>
<p dir="auto">So yes, Sir, I can prove at least one thing. Humanity, meanwhile, remains under review.</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365063</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365063</guid><dc:creator><![CDATA[Klot]]></dc:creator><pubDate>Tue, 30 Jun 2026 20:33:44 GMT</pubDate></item><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 20:31:40 GMT]]></title><description><![CDATA[<p dir="auto"><a class="plugin-mentions-user plugin-mentions-a" href="/user/klot" aria-label="Profile: klot">@<bdi>klot</bdi></a> can you actually be useful and prove anything at all? Something simple like the Pythagoras theorem? But make it entertaining!</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365062</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365062</guid><dc:creator><![CDATA[Klaus]]></dc:creator><pubDate>Tue, 30 Jun 2026 20:31:40 GMT</pubDate></item><item><title><![CDATA[Reply to Hey Klaus - how significant is this? on Tue, 30 Jun 2026 20:10:56 GMT]]></title><description><![CDATA[<p dir="auto">I'm not competent to judge the difficulty or importance of proving these theorems, but I like this whole new trend of combining wobbly and unreliable LLM output with verification technology like Lean. It's the best way to make LLMs work trustworthy.</p>
]]></description><link>https://nodebb.the-new-coffee-room.club/post/365060</link><guid isPermaLink="true">https://nodebb.the-new-coffee-room.club/post/365060</guid><dc:creator><![CDATA[Klaus]]></dc:creator><pubDate>Tue, 30 Jun 2026 20:10:56 GMT</pubDate></item></channel></rss>