<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: mavelikara</title><link>https://news.ycombinator.com/user?id=mavelikara</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 10 Jun 2026 13:58:12 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=mavelikara" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by mavelikara in "WH proposes rules giving political appointees final approval on research grants"]]></title><description><![CDATA[
<p>> A law which will be used from the opposite side just as well, as soon as the power switches hands again.<p>This is the real test. If these changes are so bad, will someone campaign bare on overturning these? Will the “other side” change it?<p>If they don’t, you know that they also agreed with it - this handwringing now is just for show.</p>
]]></description><pubDate>Sat, 30 May 2026 13:16:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48335836</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48335836</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48335836</guid></item><item><title><![CDATA[New comment by mavelikara in "The worst job interview I ever had"]]></title><description><![CDATA[
<p>Adding “this is my opinion” to every post would be tedious, rt? :-)</p>
]]></description><pubDate>Wed, 27 May 2026 18:08:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=48298119</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48298119</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48298119</guid></item><item><title><![CDATA[The principles of extreme fault tolerance]]></title><description><![CDATA[
<p>Article URL: <a href="https://planetscale.com/blog/the-principles-of-extreme-fault-tolerance">https://planetscale.com/blog/the-principles-of-extreme-fault-tolerance</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48261611">https://news.ycombinator.com/item?id=48261611</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Sun, 24 May 2026 22:22:29 +0000</pubDate><link>https://planetscale.com/blog/the-principles-of-extreme-fault-tolerance</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48261611</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48261611</guid></item><item><title><![CDATA[New comment by mavelikara in "Green card seekers must leave U.S. to apply, Trump administration says"]]></title><description><![CDATA[
<p>My understanding is that the EB green cards are for a job offer, and not the current job.<p>In practice, though, almost all employers file EB GC petitions for only their current employees, not future ones.</p>
]]></description><pubDate>Sat, 23 May 2026 18:09:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=48249803</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48249803</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48249803</guid></item><item><title><![CDATA[New comment by mavelikara in "Intro to TLA+ for the LLM Era: Prompt Your Way to Victory"]]></title><description><![CDATA[
<p>Not the person you asked, but here are some real world examples: <a href="https://www.linkedin.com/posts/quint-co_community-spotlight-may-ugcPost-7460656586546409472-Vqo9" rel="nofollow">https://www.linkedin.com/posts/quint-co_community-spotlight-...</a><p>(One of the entries cited is something I worked on).</p>
]]></description><pubDate>Thu, 21 May 2026 12:35:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=48221648</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48221648</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48221648</guid></item><item><title><![CDATA[New comment by mavelikara in "Intro to TLA+ for the LLM Era: Prompt Your Way to Victory"]]></title><description><![CDATA[
<p>Everything that can be expressed in TLA+ can’t be expressed in Quint. But everything useful for specifying programs, I believe, can be expressed in both languages.</p>
]]></description><pubDate>Thu, 21 May 2026 12:27:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=48221551</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48221551</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48221551</guid></item><item><title><![CDATA[New comment by mavelikara in "I believe there are entire companies right now under AI psychosis"]]></title><description><![CDATA[
<p>I am guessing you were being snarky. Care to explain what about it you find about it  objectionable?</p>
]]></description><pubDate>Sun, 17 May 2026 10:24:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48167642</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48167642</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48167642</guid></item><item><title><![CDATA[My Thoughts on AI, Part 1: Fears, Opinions, and Mental Journey]]></title><description><![CDATA[
<p>Article URL: <a href="https://blog.isquaredsoftware.com/2026/05/ai-thoughts-part-1-fears-opinions-journey/">https://blog.isquaredsoftware.com/2026/05/ai-thoughts-part-1-fears-opinions-journey/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48167453">https://news.ycombinator.com/item?id=48167453</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Sun, 17 May 2026 09:50:42 +0000</pubDate><link>https://blog.isquaredsoftware.com/2026/05/ai-thoughts-part-1-fears-opinions-journey/</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48167453</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48167453</guid></item><item><title><![CDATA[New comment by mavelikara in "I believe there are entire companies right now under AI psychosis"]]></title><description><![CDATA[
<p>> A real industry should be responsive to events of nature, or at least the market, not vibes.<p>Market <i>is</i> vibes! The price of something at a moment is, for example, what market participants collectively agree what the price of it should be.</p>
]]></description><pubDate>Sun, 17 May 2026 07:35:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=48166816</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48166816</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48166816</guid></item><item><title><![CDATA[New comment by mavelikara in "I believe there are entire companies right now under AI psychosis"]]></title><description><![CDATA[
<p>> He wants to push it just because he lost a bragging contest.<p>That is an uncharitable interpretation, IMO.<p>The CFO heard of a novel technique used by his peers in other companies, and they reported good results. He wants to try it within his organization too. As an executive, he is paid to (among other things) keep abreast of such developments in the industry and ensure that the organization he is leading is not caught flat footed in the market.</p>
]]></description><pubDate>Sun, 17 May 2026 07:33:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48166809</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48166809</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48166809</guid></item><item><title><![CDATA[New comment by mavelikara in "Cisco workforce reductions"]]></title><description><![CDATA[
<p>Polydactyly can be treated surgically! /s<p>Jokes aside, if in 15 years you have worked with only few good Indian engineers, you probably have not yet worked at places with high talent density. I could understand if you had said you have (a) worked with many low quality engineers from India, or (b) worked with far more low quality engineers from India than high quality ones. But if, in absolute numbers, you haven't come across many good engineers from India, I can only infer than you probably haven't worked with very good engineers across the board.</p>
]]></description><pubDate>Thu, 14 May 2026 06:43:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48131916</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48131916</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48131916</guid></item><item><title><![CDATA[New comment by mavelikara in "Cisco workforce reductions"]]></title><description><![CDATA[
<p>> This type of thing should come along with a reduction of allowed H-1bs.<p>H-1Bs also lose jobs in these layoffs, so there is an implicit reduction.</p>
]]></description><pubDate>Thu, 14 May 2026 06:38:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=48131880</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48131880</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48131880</guid></item><item><title><![CDATA[New comment by mavelikara in "Today I've made the difficult decision to reduce the size of Coinbase by ~14%"]]></title><description><![CDATA[
<p>How does the “flattening” affect equity grants. With fewer employees, does each get larger equity stakes?</p>
]]></description><pubDate>Tue, 05 May 2026 22:54:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=48029854</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=48029854</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48029854</guid></item><item><title><![CDATA[New comment by mavelikara in "Opus 4.7 knows the real Kelsey"]]></title><description><![CDATA[
<p>A newspaper ran a contest to write prose in the style of Graham Greene. Greene sent in the opening two paragraphs of an unfinished work. He came in _second_ in the contest. Many years later, Greene sent in an entry to a similar contest. This time he didn’t win any prizes but got an honorable mention from the judges.</p>
]]></description><pubDate>Fri, 01 May 2026 22:43:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=47981359</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=47981359</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47981359</guid></item><item><title><![CDATA[New comment by mavelikara in "Show HN: Destiny – Claude Code's fortune Teller skill"]]></title><description><![CDATA[
<p>Love to see the evals on this one!</p>
]]></description><pubDate>Fri, 01 May 2026 22:37:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47981308</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=47981308</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47981308</guid></item><item><title><![CDATA[New comment by mavelikara in "All phones sold in the EU to have replaceable batteries from 2027"]]></title><description><![CDATA[
<p>> I still remember the people arguing that lightning is just fine and we don't need usb-c. It's true, they existed.<p>Before that, many of them argued that powerpcs were better than x86. :)</p>
]]></description><pubDate>Mon, 20 Apr 2026 22:57:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=47842164</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=47842164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47842164</guid></item><item><title><![CDATA[The AI engineering stack we built internally – on the platform we ship]]></title><description><![CDATA[
<p>Article URL: <a href="https://blog.cloudflare.com/internal-ai-engineering-stack/">https://blog.cloudflare.com/internal-ai-engineering-stack/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47837240">https://news.ycombinator.com/item?id=47837240</a></p>
<p>Points: 12</p>
<p># Comments: 2</p>
]]></description><pubDate>Mon, 20 Apr 2026 17:04:26 +0000</pubDate><link>https://blog.cloudflare.com/internal-ai-engineering-stack/</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=47837240</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47837240</guid></item><item><title><![CDATA[New comment by mavelikara in "What we learned building a Rust runtime for TypeScript"]]></title><description><![CDATA[
<p>What is meant by snapshot testing in this context?</p>
]]></description><pubDate>Wed, 15 Apr 2026 01:33:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=47773618</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=47773618</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47773618</guid></item><item><title><![CDATA[New comment by mavelikara in "Oracle files H-1B visa petitions amid mass layoffs"]]></title><description><![CDATA[
<p>That is an LCA requirement. The company did well to publish this at a place where employees frequent.</p>
]]></description><pubDate>Sat, 04 Apr 2026 00:50:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=47634354</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=47634354</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47634354</guid></item><item><title><![CDATA[New comment by mavelikara in "Nobel Peace Prize 2025: María Corina Machado"]]></title><description><![CDATA[
<p>And Aung San Suu Kyi.</p>
]]></description><pubDate>Fri, 10 Oct 2025 16:45:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=45540938</link><dc:creator>mavelikara</dc:creator><comments>https://news.ycombinator.com/item?id=45540938</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45540938</guid></item></channel></rss>