<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: semessier</title><link>https://news.ycombinator.com/user?id=semessier</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 13 Jun 2026 09:29:45 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=semessier" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by semessier in "Ultrafast machine learning on FPGAs via Kolmogorov-Arnold Networks"]]></title><description><![CDATA[
<p>and where is the Transformer library ;)</p>
]]></description><pubDate>Wed, 10 Jun 2026 04:12:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48471334</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48471334</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48471334</guid></item><item><title><![CDATA[New comment by semessier in "Trees to Flows and Back: Unifying Decision Trees and Diffusion Models"]]></title><description><![CDATA[
<p>this is an empirical engineering paper with theoretical dressing, it would not need to be a theorem paper of course.</p>
]]></description><pubDate>Sun, 07 Jun 2026 04:42:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=48431867</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48431867</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48431867</guid></item><item><title><![CDATA[New comment by semessier in "Google to pay SpaceX $920M a month for compute capacity at xAI data centers"]]></title><description><![CDATA[
<p>the GPU builds are very high stakes games of depreciation: if the mission life is e.g. 4 years you win, if a disrupting ASIC for the transformer comes in you lose.<p>As of today the gamblers seem to win, demand even for A100s, H100s is high prices are even rising.</p>
]]></description><pubDate>Sat, 06 Jun 2026 18:27:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=48427576</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48427576</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48427576</guid></item><item><title><![CDATA[New comment by semessier in "Trees to Flows and Back: Unifying Decision Trees and Diffusion Models"]]></title><description><![CDATA[
<p>this lacks the math for any bold claims</p>
]]></description><pubDate>Sat, 06 Jun 2026 18:07:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=48427407</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48427407</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48427407</guid></item><item><title><![CDATA[New comment by semessier in "Ask HN: What was your "oh shit" moment with GenAI?"]]></title><description><![CDATA[
<p>it would be really interesting when that moment was at probably OpenAI when they realized that this was doing more than next word prediction but signs of <you name it></p>
]]></description><pubDate>Sat, 06 Jun 2026 01:32:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48420493</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48420493</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48420493</guid></item><item><title><![CDATA[New comment by semessier in "When AI Builds Itself: Our progress toward recursive self-improvement"]]></title><description><![CDATA[
<p>what could go wrong in the recursive loops running today 24/7 probably. Attended/unattended almost makes no difference any more, no human can grasp probably numerous changes per iteration. This is outright dangerous.</p>
]]></description><pubDate>Fri, 05 Jun 2026 03:33:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=48407614</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48407614</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48407614</guid></item><item><title><![CDATA[New comment by semessier in "Do transformers need three projections? Systematic study of QKV variants"]]></title><description><![CDATA[
<p>V being collinear is obvious, the question is/was  also which additional orthogonal projections such as camera position for vision would improve the transformer.</p>
]]></description><pubDate>Fri, 05 Jun 2026 03:16:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=48407519</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=48407519</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48407519</guid></item><item><title><![CDATA[New comment by semessier in "Caveman: Why use many token when few token do trick"]]></title><description><![CDATA[
<p>the real interesting question would be if it then does its language-based reasoning also in short form and if so if quality is impacted.</p>
]]></description><pubDate>Sun, 05 Apr 2026 18:29:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=47652396</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=47652396</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47652396</guid></item><item><title><![CDATA[New comment by semessier in "Kotlin creator's new language: a formal way to talk to LLMs instead of English"]]></title><description><![CDATA[
<p>it's not a new question if the as-is programming languages are optimal for LLMs:  a language for LLM use would have to strongly typed. But that's about it for obvious requirements.</p>
]]></description><pubDate>Thu, 12 Mar 2026 17:32:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47354379</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=47354379</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47354379</guid></item><item><title><![CDATA[New comment by semessier in "Tony Hoare has died"]]></title><description><![CDATA[
<p>SIR_TONY_HOARE = μX • (think → create → give → X)<p>-- process ran from 1934 to 2026
-- terminated with SKIP
-- no deadlock detected
-- all assertions satisfied
-- trace: ⟨ quicksort, hoare_logic, csp, monitors,
--         dining_philosophers, knighthood, turing_award,
--         billion_dollar_apology, structured_programming,
--         unifying_theories, ... ⟩
-- trace length: ∞
The channel is closed. The process has terminated.
The algebra endures.</p>
]]></description><pubDate>Tue, 10 Mar 2026 22:27:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=47329562</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=47329562</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47329562</guid></item><item><title><![CDATA[New comment by semessier in "Tony Hoare has died"]]></title><description><![CDATA[
<p>unless its greatly exagerated - he was quite mind sharp in his 80s<p>SIR_TONY_HOARE = μX • (think → create → give → X)<p>-- process ran from 1934 to 2026
-- terminated with SKIP
-- no deadlock detected
-- all assertions satisfied
-- trace: ⟨ quicksort, hoare_logic, csp, monitors,
--         dining_philosophers, knighthood, turing_award,
--         billion_dollar_apology, structured_programming,
--         unifying_theories, ... ⟩
-- trace length: ∞
The channel is closed. The process has terminated.
The algebra endures.</p>
]]></description><pubDate>Tue, 10 Mar 2026 08:03:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=47320299</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=47320299</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47320299</guid></item><item><title><![CDATA[New comment by semessier in "Claude's Cycles [pdf]"]]></title><description><![CDATA[
<p>looks like he is trying to make a point that the actual (formal) proof for 2Z + 1 (odd numbers) is still human - by himself that is. Not sure who came up with the core modular arithmetic idea of with s = 0 k increasing by 2 mod m.</p>
]]></description><pubDate>Tue, 03 Mar 2026 22:08:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47239764</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=47239764</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47239764</guid></item><item><title><![CDATA[New comment by semessier in "Two different tricks for fast LLM inference"]]></title><description><![CDATA[
<p>that's pretty shallow for the front page. What would be interesting in this context are things such MXFP4 quantization etc. not commonplaces.</p>
]]></description><pubDate>Sun, 15 Feb 2026 11:54:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=47023008</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=47023008</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47023008</guid></item><item><title><![CDATA[New comment by semessier in "Case study: Creative math – How AI fakes proofs"]]></title><description><![CDATA[
<p>that's not a proof</p>
]]></description><pubDate>Mon, 26 Jan 2026 00:19:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=46760187</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46760187</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46760187</guid></item><item><title><![CDATA[New comment by semessier in "Systematically Improving Espresso: Mathematical Modeling and Experiment (2020)"]]></title><description><![CDATA[
<p>a parameterization would be helpful for machine designers probably</p>
]]></description><pubDate>Fri, 09 Jan 2026 03:46:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=46549832</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46549832</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46549832</guid></item><item><title><![CDATA[New comment by semessier in "Remembering Lou Gerstner"]]></title><description><![CDATA[
<p>He was Right on outsourcing, wrong on everything else.<p>Gerstner joined IBM in 1993 with the company in a very bad situation and immediately killed the "Baby Blues" breakup plan - no more independent product units for PCs, various servers, storage, semiconductors. Instead: one monolith optimized for selling professional services to enterprises. Outsourcing became the flagship.<p>This saved IBM then. It also set a ceiling on what IBM as a technology company could ever be again.
The services pivot worked commercially. Outsourcing grew into a maybe 20 billion/year business, ironically eventually spun off as Kyndryl in 2021. But the cultural shift - from building systems/cutting edge-tech to managing other people's systems - hollowed out IBM's product DNA.<p>Consider that IBM's last major hardware win was the RS/6000, circa 1990. That's 35 years without a new product category victory. Meanwhile, IBM had countless pieces to own which is cumbersome -- and sad -- to list, and the list would be long. VMs invented in the 1970, running on every mainframe as an example: VMware ate the corporate market while the cloud hyperscalers built actual technology services based on it. You could probably get business consulting on it from IBM in the same time.<p>IBM Research remained well-funded throughout - still producing papers, still winning awards. But research was not focused to support a technology business any more, it even got pulled into service client engagements (!), subordinated to billable hours rather than productization. The research labs that gave us the bar code, DRAM, RISC, relational databases, and the scanning tunneling microscope became a presales asset.<p>The counterexample of large technology company in later trouble is Siemens: a conglomerate that actively manages distinct businesses as distinct businesses. Healthineers spun out and thrived. Energy spun out when it needed different go-to-market models. Industrial automation runs independently. No insistence on "one face to the enterprise customer", yet they can probably provided it if needed (don't know). They did their portfolio reshaping without strategic rigidity and the Gerstner betting on a single non-really-tech managed IT services anchored in shallowish business more than anything else horse and not the technology herd of horses.<p>Gerstner's legacy is complicated. He unquestionably prevented IBM's collapse financially then. But the rescue vehicle became a prison. A company with IBM's research depth, enterprise relationships, and installed base should have built the cloud, should have owned enterprise AI, should have been where AWS, VMware, TSMC even, and more low-hanging Salesforce are now.<p>Gerstner himself probably wouldn't be recognized as an IBMer by most who worked there before him. Brought in by a probably desperate board to save a company he then remade in a different image entirely. He saved IBM by making it something else he knew to be valuable from his prior work as a business leader. Whether that something else was the best available option, or merely an option he was familiar with: purchasing abstract solutions from a single source, is the open question his tenure leaves behind. This post argues it was the wrong one, dead wrong that is. In hindsight it was just good for the business strategic outsourcing (which is managed IT for large enterprises) side of things, wrong for much else.<p>Siemens as a company with similar issues of a collapsing core business ca. 2000, even much more so than the mainframe ever did, is the anti-thesis in terms of approach taken. It actively manage distinct businesses as distinct businesses, reshaping portfolios without insisting on a single face or a single model; an approach that turns out to work better looking at it now in comparison than trying to play seller of a single face to enterprise customer as a monolith. Most of the business are both technologically strong and financially in a good shape.<p>IBM under Gerstner set course on being a monolith optimized for selling and delivering professional services, stripped of the technology capabilities the company was built on. IBM evidently was saved then.  Was it the only/best route to take? Probably not, as the low ceiling on what IBM as a technology company could be afterward turned out to be too low to stand or produce not a single major hardware win thereafter for over 35 years.<p>More bluntly: he transformed a legend into a fallen angel. IBM today is a shadow of what it was, what it stood for, and what it could have been. Gerstner himself fits the pattern of a business turnaround guy - an outside business consultant who saved IBM by remaking it in his own image. He never became an IBMer. But he did make IBM something else.</p>
]]></description><pubDate>Mon, 29 Dec 2025 02:18:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=46416745</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46416745</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46416745</guid></item><item><title><![CDATA[New comment by semessier in "Hungry Fat Cells Could Someday Starve Cancer"]]></title><description><![CDATA[
<p>triggering the cold signal artificially might be an approach</p>
]]></description><pubDate>Sun, 28 Dec 2025 17:09:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=46412525</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46412525</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46412525</guid></item><item><title><![CDATA[New comment by semessier in "Valve: HDMI Forum Continues to Block HDMI 2.1 for Linux"]]></title><description><![CDATA[
<p>> No standard has ever been developed using money obtained by selling copies of the standard.<p>unfortunately there are examples in the Telecom world</p>
]]></description><pubDate>Wed, 10 Dec 2025 20:35:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=46223403</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46223403</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46223403</guid></item><item><title><![CDATA[New comment by semessier in "IBM to acquire Confluent"]]></title><description><![CDATA[
<p>11 billion invested in multiple hardware developments including moonshots would have been more sensible that for Kafka operator (remember MQSeries/MQ btw)</p>
]]></description><pubDate>Tue, 09 Dec 2025 09:08:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=46202880</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46202880</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46202880</guid></item><item><title><![CDATA[New comment by semessier in "IBM to acquire Confluent"]]></title><description><![CDATA[
<p>the price sounds a little bit high from a technical perspective</p>
]]></description><pubDate>Mon, 08 Dec 2025 17:57:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=46195443</link><dc:creator>semessier</dc:creator><comments>https://news.ycombinator.com/item?id=46195443</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46195443</guid></item></channel></rss>