<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: mkw5053</title><link>https://news.ycombinator.com/user?id=mkw5053</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 30 Oct 2026 05:11:02 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=mkw5053" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by mkw5053 in "I'm so bad at billiards that I ended up in the hyperbolic plane [video]"]]></title><description><![CDATA[
<p>Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.</p>
]]></description><pubDate>Fri, 30 Oct 2026 03:34:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=50299580</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50299580</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50299580</guid></item><item><title><![CDATA[New comment by mkw5053 in "Formlabs Studio 1 $699 Resin Printer"]]></title><description><![CDATA[
<p>Honest question, what would I do if this is my first 3D printer and I don't have the ability to wash and cure? Or do I and I just don't know it, ha</p>
]]></description><pubDate>Wed, 28 Oct 2026 21:37:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=50281259</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50281259</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50281259</guid></item><item><title><![CDATA[New comment by mkw5053 in "The Agent SDK"]]></title><description><![CDATA[
<p>OpenCode + DeepSeek V4.1 Flash Uncensored on Venice AI is truly incredible. Granted, I have it also drive an interactive claude code session in tmux and just do everything Claude Code refuses to. But, it just gets shit done. Kind of what makes Instinct so powerful, don't tell me you won't do something, just get it done.</p>
]]></description><pubDate>Wed, 28 Oct 2026 14:59:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=50274797</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50274797</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50274797</guid></item><item><title><![CDATA[New comment by mkw5053 in "Anthropic trained Claude on illegally obtained Stanford professors' books"]]></title><description><![CDATA[
<p>Of course they did, same with almost every other bit of training material that isn't synthetic (and still indirectly created with illegally obtained training data)</p>
]]></description><pubDate>Tue, 27 Oct 2026 15:58:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=50261216</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50261216</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50261216</guid></item><item><title><![CDATA[New comment by mkw5053 in "Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling"]]></title><description><![CDATA[
<p>No, I'll check it out!</p>
]]></description><pubDate>Tue, 20 Oct 2026 00:51:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=50159973</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50159973</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50159973</guid></item><item><title><![CDATA[New comment by mkw5053 in "Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling"]]></title><description><![CDATA[
<p>I guess it's not totally clear to me that would solve all of my problems. But, I'll look into it more when I have time.</p>
]]></description><pubDate>Mon, 19 Oct 2026 17:32:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=50155312</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50155312</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50155312</guid></item><item><title><![CDATA[New comment by mkw5053 in "Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling"]]></title><description><![CDATA[
<p>I've been using ghosty + ssh + mosh + tmux + claude code (sometimes codex) for a while now. It works well but the few things that still piss me off:<p>1. I have never been able to get copy-paste to work 100% of the time. I'm at about 95% of the time now which has been enough for me to not look into it.<p>2. Pasting and dragging and dropping non-text content (like images and videos).<p>At the end of the day I want it to feel like a native, local terminal</p>
]]></description><pubDate>Mon, 19 Oct 2026 17:16:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=50155107</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50155107</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50155107</guid></item><item><title><![CDATA[New comment by mkw5053 in "New Apple TV 4K"]]></title><description><![CDATA[
<p>I preordered the new AppleTV (coming from Roku), just so my data isn't sold.</p>
]]></description><pubDate>Wed, 14 Oct 2026 02:27:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=50081622</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=50081622</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50081622</guid></item><item><title><![CDATA[New comment by mkw5053 in "iPhone Duo"]]></title><description><![CDATA[
<p>Hey other Mark Watson :)</p>
]]></description><pubDate>Wed, 09 Sep 2026 20:01:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49633325</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49633325</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49633325</guid></item><item><title><![CDATA[New comment by mkw5053 in "Three sites made 215,128 “best software” pages for AI. Perplexity cites them"]]></title><description><![CDATA[
<p>They've raised $155M total now with the latest at a $1B valuation [1] from Lightspeed, Sequoia, Kleiner Perkins, Khosla, and NVIDIA.<p>And very impressive list of angels too: Guillermo Rauch (Vercel), Karim Atiyeh (Ramp), Andrew Karam (AppLovin) among others<p>Last I heard they're trying to reposition from AEO/GEO to "AI Marketer". No clue how that's going, I feel like the AEO/GEO stuff isn't super defensible at that valuation if for no other reason than I assume (hope) the spamming stops working.<p>[1] <a href="https://dealroom.co/news/126181-profound-raises-96m-at-1b-valuation-to-track-how-ai-talks-about-brands/" rel="nofollow">https://dealroom.co/news/126181-profound-raises-96m-at-1b-va...</a></p>
]]></description><pubDate>Wed, 02 Sep 2026 14:55:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=49537295</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49537295</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49537295</guid></item><item><title><![CDATA[New comment by mkw5053 in "OpenAI Jalapeño: Better than Nvidia Blackwell"]]></title><description><![CDATA[
<p>I genuinely curious who’s downvoting me and why. I do not understand this forum sometimes.</p>
]]></description><pubDate>Tue, 25 Aug 2026 22:18:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49441457</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49441457</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49441457</guid></item><item><title><![CDATA[New comment by mkw5053 in "OpenAI Jalapeño: Better than Nvidia Blackwell"]]></title><description><![CDATA[
<p>Warning, this is a long comment! (I’m trying to stick to sourced facts here and not overstate what they mean)<p>I went down a rabbit hole after watching Dylan Patel on Dwarkesh today:
<a href="https://www.youtube.com/watch?v=aV26V1UvkJw" rel="nofollow">https://www.youtube.com/watch?v=aV26V1UvkJw</a><p>I was initially just surprised by how bullish Dylan is on OpenAI/Anthropic and how bearish he is on China, despite Chinese labs getting closer to US SOTA while offering inference at dramatically lower prices.<p>So, I started digging while waiting for various day-job inference calls to return, ha.<p>Dylan says he spent years obsessively posting on hardware forums, moderating hardware subreddits, and running anonymous hardware blogs/videos before SemiAnalysis. But he also says most of that history is now gone, including from the Internet Archive, because he asked for it to be removed.[1]<p>In a 2024 interview he described his post-college job as “data science” around hurricane/earthquake/wildfire simulations for a financial company.[1] In a 2026 Sequoia interview he described himself as having been a “quant at a small quant risk firm” who generated $10M+ of “risk-free revenue.”[2] The Information reports that he declined to identify the employer and doesn’t list it on LinkedIn.[3]<p>Even harmless/silly stuff seems to drift. In February he said he kept bees for ~1.5 years. Today it was “few months, few months.”[4][5] I know, sort of silly and doesn't matter.<p>The Information reports that Patel owns stakes in ~20 startups in the same ecosystem SemiAnalysis covers, organized a $50M Fluidstack SPV, and is now targeting a $400M venture fund.[3][6]<p>And, in a 2022 HN discussion about SemiAnalysis disclosures, after saying his reports had moved smaller stocks by 20% in a day, Patel wrote: “If I thought I could move the stock, I'd make the position in the morning alongside my clients, and publish shortly after.”[7]<p>I don’t know that any of this is false or that anything improper happened (I’m definitely not claiming that). More that 1-2 of these things would just be odd. Taken together, though, they made me question how much trust I was putting in the broader story.<p>The dynamic of reminds me of crypto, WeWork, Theranos, Citron, etc. Once enough important people validate someone, things that would normally invite basic diligence somehow stop getting questioned.<p>[1] <a href="https://www.dwarkesh.com/p/dylan-jon" rel="nofollow">https://www.dwarkesh.com/p/dylan-jon</a><p>[2] <a href="https://sequoiacap.com/podcast/dylan-patel-of-semianalysis-why-hardware-software-co-design-is-ais-real-100x" rel="nofollow">https://sequoiacap.com/podcast/dylan-patel-of-semianalysis-w...</a><p>[3] <a href="https://www.theinformation.com/articles/dylan-patel-semianalysis-grabbed-sway-silicon-valley" rel="nofollow">https://www.theinformation.com/articles/dylan-patel-semianal...</a><p>[4] <a href="https://www.latent.space/p/dylanpatel-cooking" rel="nofollow">https://www.latent.space/p/dylanpatel-cooking</a><p>[5] <a href="https://www.dwarkesh.com/p/dylan-patel-3" rel="nofollow">https://www.dwarkesh.com/p/dylan-patel-3</a><p>[6] <a href="https://www.theinformation.com/briefings/exclusive-semianalysis-dylan-patel-targets-400-million-venture-capital-fund" rel="nofollow">https://www.theinformation.com/briefings/exclusive-semianaly...</a><p>[7] <a href="https://news.ycombinator.com/item?id=31065646">https://news.ycombinator.com/item?id=31065646</a></p>
]]></description><pubDate>Tue, 25 Aug 2026 21:56:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=49441237</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49441237</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49441237</guid></item><item><title><![CDATA[New comment by mkw5053 in "What's the best programming language for coding agents?"]]></title><description><![CDATA[
<p>I try to capture as much as possible in types/schemas/constraints (then lint rules) and then only as a last resort write tests. And as few and complementary as possible. And I want a functional core with unit tests and imperative shell and not a bunch of complex mocks. ¯\_(ツ)_/¯</p>
]]></description><pubDate>Tue, 11 Aug 2026 03:16:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49252952</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49252952</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49252952</guid></item><item><title><![CDATA[New comment by mkw5053 in "Andy Pavlo joins ClickHouse to establish ClickHouse Labs"]]></title><description><![CDATA[
<p>Ok now I need to know.</p>
]]></description><pubDate>Tue, 04 Aug 2026 02:18:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49163709</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49163709</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49163709</guid></item><item><title><![CDATA[New comment by mkw5053 in "U.S. debt-to-GDP ratio reaches 123%"]]></title><description><![CDATA[
<p>I'd argue boomers are the main reason we're in this mess.<p>Boomers spent decades voting for politicians who promised low taxes, protected retirement benefits, and high government spending, then shifted the bill to younger generations.</p>
]]></description><pubDate>Fri, 31 Jul 2026 16:07:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=49124919</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49124919</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49124919</guid></item><item><title><![CDATA[New comment by mkw5053 in "Show HN: CheapFoodMap – A map of good meals under $10"]]></title><description><![CDATA[
<p>Yeah a quick glance and none of the ones I saw around my office are meals. I'm honestly not sure a $10 meal exists in SF anymore...</p>
]]></description><pubDate>Wed, 29 Jul 2026 18:13:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49101009</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49101009</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49101009</guid></item><item><title><![CDATA[New comment by mkw5053 in "Introduction to Formal Verification with Lean Part 1"]]></title><description><![CDATA[
<p>If you like Lean, here are two more great, short books on proving things about your program (not with Lean, though):<p>1. <a href="https://mitpress.mit.edu/9780262527958/the-little-prover/" rel="nofollow">https://mitpress.mit.edu/9780262527958/the-little-prover/</a><p>2. <a href="https://mitpress.mit.edu/9780262536431/the-little-typer/" rel="nofollow">https://mitpress.mit.edu/9780262536431/the-little-typer/</a><p>David Thrane Christiansen, co-author of the second, also wrote Functional Programming in Lean (Lean 4) among many other tutorials and things.</p>
]]></description><pubDate>Wed, 22 Jul 2026 15:24:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49008301</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=49008301</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49008301</guid></item><item><title><![CDATA[New comment by mkw5053 in "PenEcho: An Open-Source Canvas with AI"]]></title><description><![CDATA[
<p>I’m not the author of the project, but I thought it was a really impressive. They also do some cool things to save on API tokens.</p>
]]></description><pubDate>Sat, 18 Jul 2026 03:51:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48955041</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=48955041</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48955041</guid></item><item><title><![CDATA[PenEcho: An Open-Source Canvas with AI]]></title><description><![CDATA[
<p>Article URL: <a href="https://github.com/erickong/penecho">https://github.com/erickong/penecho</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48955040">https://news.ycombinator.com/item?id=48955040</a></p>
<p>Points: 2</p>
<p># Comments: 1</p>
]]></description><pubDate>Sat, 18 Jul 2026 03:51:37 +0000</pubDate><link>https://github.com/erickong/penecho</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=48955040</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48955040</guid></item><item><title><![CDATA[New comment by mkw5053 in "The LLM Critics Are Right. I Use LLMs Anyway"]]></title><description><![CDATA[
<p>We try to use types as much as possible. And if we can't, then lint rules, etc. Basically, get everything as far left in the SDLC as we can.<p>And, if/where we need tests, we write the source so they are few, high value, and complementary. Like actual unit tests, not complex with stuff like mocks just to generate trivial coverage.</p>
]]></description><pubDate>Fri, 17 Jul 2026 04:10:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=48943257</link><dc:creator>mkw5053</dc:creator><comments>https://news.ycombinator.com/item?id=48943257</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48943257</guid></item></channel></rss>