<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: Mikhail_K</title><link>https://news.ycombinator.com/user?id=Mikhail_K</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 27 Aug 2026 18:59:25 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=Mikhail_K" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by Mikhail_K in "AI Built a Nuke and Still Lost"]]></title><description><![CDATA[
<p>> It had one option left. It built two nuclear devices and levelled Toulouse.<p>Of course it did, its designer worked for Tony Blair institute.</p>
]]></description><pubDate>Tue, 23 Jun 2026 10:02:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48642683</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=48642683</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48642683</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Formal Verification Gates for AI Coding Loops"]]></title><description><![CDATA[
<p>Thanks. Why the shen language was selected for writing specifications?</p>
]]></description><pubDate>Fri, 22 May 2026 16:34:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48238203</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=48238203</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48238203</guid></item><item><title><![CDATA[New comment by Mikhail_K in "An OpenAI model has disproved a central conjecture in discrete geometry"]]></title><description><![CDATA[
<p>> But, for scientists, I find that these tools address the problem of the 
> exploding complexity barrier in the frontier.<p>They do the opposite by locking the results the produce within the slop
presentation that needs more AI to comprehend.</p>
]]></description><pubDate>Thu, 21 May 2026 16:14:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=48225167</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=48225167</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48225167</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Formal Verification Gates for AI Coding Loops"]]></title><description><![CDATA[
<p>Thank you, interesting work. Please, clarify what is possibly a naive question - your README states that the constraints imposed by your tool are weaker than the formal verification guarantees. Why not implement the backpressure as the full formal verification barrier? Too complex to implement?</p>
]]></description><pubDate>Wed, 20 May 2026 17:25:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=48211082</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=48211082</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48211082</guid></item><item><title><![CDATA[New comment by Mikhail_K in "It is time to give up the dualism introduced by the debate on consciousness"]]></title><description><![CDATA[
<p>> "But scientific understanding is not extraneous to experience; it is entirely 
> about experience."<p>Let us hear about your experience of a wavefunction, Carlo.</p>
]]></description><pubDate>Mon, 18 May 2026 14:15:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48180232</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=48180232</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48180232</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Landmark ancient-genome study shows surprise acceleration of human evolution"]]></title><description><![CDATA[
<p>>  the bulk of changes that resulted in behavioral modernity<p>> surely occurred in Africa<p>"Surely" without examining the actual evidence is almost surely wrong.</p>
]]></description><pubDate>Sat, 18 Apr 2026 14:21:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=47816139</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47816139</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47816139</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Reflections on 30 years of HPC programming"]]></title><description><![CDATA[
<p>>  you realize they've been written for pre-systemd Linux<p>So still retaining some kind of sanity and good engineering practices?</p>
]]></description><pubDate>Sat, 18 Apr 2026 10:58:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47814891</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47814891</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47814891</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Landmark ancient-genome study shows surprise acceleration of human evolution"]]></title><description><![CDATA[
<p>From the article:<p><i>We finally observed signals of selection for combinations of alleles that today are associated with three correlated behavioural traits: scores on intelligence tests (increasing 0.74±0.12), household income (increasing 1.12±0.12) and years of schooling (increasing 0.63±0.13). These signals are all highly polygenic, and we have to drop 449–1,056 loci for the signals to become non-significant(Extended Data Fig.10). The signals are largely driven by selection before approximately 2,000 years , after which tends towards zero.</i><p>That's the part that the speech police is afraid of.</p>
]]></description><pubDate>Sat, 18 Apr 2026 10:33:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47814758</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47814758</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47814758</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Artemis II is not safe to fly"]]></title><description><![CDATA[
<p>That's valuable, detailed explanation, thanks.</p>
]]></description><pubDate>Tue, 31 Mar 2026 14:18:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=47587766</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47587766</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47587766</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Artemis II is not safe to fly"]]></title><description><![CDATA[
<p>>  However NASA also believed the o-rings could still take the abuse, because<p>> although they were moving they were getting shoved deeper into the joint,<p>Why would they be "shoved deeper," when the problem is that the joint <i>opens wider</i> under load?</p>
]]></description><pubDate>Tue, 31 Mar 2026 14:16:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47587744</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47587744</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47587744</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Artemis II is not safe to fly"]]></title><description><![CDATA[
<p>> The sealant and O-rings did not succeed in keeping the hot gasses inside (evidence: Challenger). They were not adequate<p>No. The whole assembly --joint, sealant and O-rings, -- failed.<p>"They were not adequate" - yet, after the redesign, they kept those same O-rings and declared that boosters are safe to fly, in manifest contradiction to your assertion. So your reasoning is clearly flawed.</p>
]]></description><pubDate>Tue, 31 Mar 2026 10:20:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47585183</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47585183</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47585183</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Artemis II is not safe to fly"]]></title><description><![CDATA[
<p>> If the sealant and O-Rings were adequate, the joint would not have failed.<p>That assertion requires some reasoning and evidence to back it.</p>
]]></description><pubDate>Tue, 31 Mar 2026 09:52:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47584935</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47584935</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47584935</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Artemis II is not safe to fly"]]></title><description><![CDATA[
<p>> Challenger: no gasses were supposed to make it past the o-rings no matter what,<p>> but when it became clear that gasses were escaping and the o-rings were being<p>> damaged, there was a push to suggest that it's an acceptable level.<p>Interestingly, the article<<a href="https://docs.google.com/document/d/1ddi792xdfNXcBwF8qpDUxmZzIksrs0jy/edit?pli=1" rel="nofollow">https://docs.google.com/document/d/1ddi792xdfNXcBwF8qpDUxmZz...</a>> by heat shield expert and Shuttle astronaut Charles Camarda, the former Director of Engineering at Johnson Space Center, asserts that it was *not* the O-rings:<p><i>"The Challenger accident was not caused by O-rings or temperature on the day of launch; it was caused by a deviant joint design which opened instead of closed when loaded. It was caused by mistaking analytical adequacy of a simplified test for physical understanding of the system. The solution, post Challenger, was the structural redesign of the SRB field joint and the use of the exact same O-rings."</i><p>I find that highly surprising, because "it was the O-rings" explanation seems universally believed and sanctified by no lesser authority than the Nobel prize laureate Richard Feynman.</p>
]]></description><pubDate>Tue, 31 Mar 2026 09:24:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=47584747</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47584747</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47584747</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Use the Mikado Method to do safe changes in a complex codebase"]]></title><description><![CDATA[
<p>I usually use the method "shout Banzai! and charge straight like a
kamikaze"<p>Is that the Mikado method?</p>
]]></description><pubDate>Mon, 02 Mar 2026 17:16:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47220899</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47220899</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47220899</guid></item><item><title><![CDATA[New comment by Mikhail_K in "LibreOffice blasts OnlyOffice for working with Microsoft to lock users in"]]></title><description><![CDATA[
<p>> their UI feels dated<p>A big selling point for me. Needless reworking of familiar interfaces plagues
MS Windows ecosystem and I'm glad LibreOffice is displaying healthy conservatism
by not fixing what isn't broken.</p>
]]></description><pubDate>Sat, 21 Feb 2026 10:07:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=47099261</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=47099261</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47099261</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Two kinds of AI users are emerging"]]></title><description><![CDATA[
<p>> I still can't figure out quite what motivates these "AI evangelist" types<p>I'd hazard a guess and say "money"</p>
]]></description><pubDate>Mon, 02 Feb 2026 10:54:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=46854589</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=46854589</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46854589</guid></item><item><title><![CDATA[New comment by Mikhail_K in "There's a ridiculous amount of tech in a disposable vape"]]></title><description><![CDATA[
<p>> It’s beautiful, I love it.<p>When computers become disposable, their programmers soon become disposable as well. Maybe, you shouldn't love it.</p>
]]></description><pubDate>Wed, 14 Jan 2026 09:49:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=46614185</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=46614185</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46614185</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Sugars, Gum, Stardust Found in NASA's Asteroid Bennu Samples"]]></title><description><![CDATA[
<p>What, sugars and gum, but no sandwich wrappers?</p>
]]></description><pubDate>Fri, 05 Dec 2025 15:13:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=46162336</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=46162336</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46162336</guid></item><item><title><![CDATA[New comment by Mikhail_K in "Lenses in Julia"]]></title><description><![CDATA[
<p>In the release 1.12 they finally implemented the ability to create compact executables, so I would say the answer to your question is "yes".</p>
]]></description><pubDate>Fri, 31 Oct 2025 09:02:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=45769833</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=45769833</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45769833</guid></item><item><title><![CDATA[New comment by Mikhail_K in "We need to start doing web blocking for non-technical reasons"]]></title><description><![CDATA[
<p>If the USA and Europe decide to got this way, they will be (as in many other ways today) followers, rather than the leaders. China already does large-scale net censorship.</p>
]]></description><pubDate>Thu, 23 Oct 2025 16:48:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=45684049</link><dc:creator>Mikhail_K</dc:creator><comments>https://news.ycombinator.com/item?id=45684049</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45684049</guid></item></channel></rss>