<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: m_w_</title><link>https://news.ycombinator.com/user?id=m_w_</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 05 Sep 2026 06:39:04 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=m_w_" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by m_w_ in "Formalizing Fermat's Last Theorem"]]></title><description><![CDATA[
<p>> Along the way, it wrote 13 million lines of Lean and proved 29,500 intermediate theorems.<p>Pretty insane. I suppose it lends further credence to the idea that anything that can be shown to be correct can be done by a model.</p>
]]></description><pubDate>Fri, 04 Sep 2026 19:00:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=49568747</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49568747</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49568747</guid></item><item><title><![CDATA[New comment by m_w_ in "IBM Bob"]]></title><description><![CDATA[
<p>The review that "IBM Bob isn't just another autocomplete tool" tells you everything you need to know about this product. lol.</p>
]]></description><pubDate>Fri, 04 Sep 2026 13:41:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=49564509</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49564509</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49564509</guid></item><item><title><![CDATA[New comment by m_w_ in "Introducing Toast 1"]]></title><description><![CDATA[
<p>lore does not make it a good or professional choice</p>
]]></description><pubDate>Fri, 14 Aug 2026 16:07:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=49300688</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49300688</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49300688</guid></item><item><title><![CDATA[New comment by m_w_ in "Defending my own brain against enshittification"]]></title><description><![CDATA[
<p>For one, I think AI music is ontologically evil and have extreme opinions on the matter.<p>More than that though, I completely disagree that anything I'd ever choose to listen to is elevator tier / background noise. Just because it is playing while other things are happening does not mean it never receives focus or active listening.</p>
]]></description><pubDate>Mon, 10 Aug 2026 14:50:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=49244470</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49244470</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49244470</guid></item><item><title><![CDATA[New comment by m_w_ in "Defending my own brain against enshittification"]]></title><description><![CDATA[
<p>This was a very pleasant read. There's (justifiably) a lot of debate about AI prose on this forum, which has become tiring. It's refreshing to read something so grounded. Doubly so while looking at a packet of Belvita breakfast biscuits on my own desk.<p>As far as lo-fi goes, I must recommend Leavv. Mind Garden and Tales of a Flowing Forest. Both pre-AI music albums that are lovely to work/study to.</p>
]]></description><pubDate>Mon, 10 Aug 2026 13:59:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=49243778</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49243778</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49243778</guid></item><item><title><![CDATA[New comment by m_w_ in "Show HN: Simple algorithm and color space to generate diverse skin tones"]]></title><description><![CDATA[
<p>This is super cool! I have always loved projects that try to categorize color space. Usually my work has gone in the other direction - isGray, isCloseToWhite, isPastel - but it's the same insofar as it's defining shapes like your matplot visual.<p>Wish I had this on hand like this three or four years ago when I was working on VR avatar software - we had hard-coded skin tone options at the time - would have been a cool addition!</p>
]]></description><pubDate>Tue, 04 Aug 2026 15:46:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=49170601</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49170601</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49170601</guid></item><item><title><![CDATA[New comment by m_w_ in "Claude Opus 5"]]></title><description><![CDATA[
<p>Very impressive headline benchmark numbers. I expected a step change, but not past Fable. That said - it all depends on whether the classifiers make the model unusable...</p>
]]></description><pubDate>Fri, 24 Jul 2026 17:03:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49038535</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49038535</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49038535</guid></item><item><title><![CDATA[New comment by m_w_ in "Proving a Human Wrote Something"]]></title><description><![CDATA[
<p>This is a good idea - and I might pick it up for my writing, since a lot of it still happens in Obsidian. If a document is worked on across multiple days / revisions / app sessions - how is that handled?</p>
]]></description><pubDate>Fri, 24 Jul 2026 16:43:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=49038223</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=49038223</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49038223</guid></item><item><title><![CDATA[New comment by m_w_ in "Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber"]]></title><description><![CDATA[
<p>It seems that they're trying to push up-market, or at least they were.<p>Given the extremely competitive releases of GLM 5.2 and DeepSeek V4 (both pro and flash), I don't think there'll be appetite for it.</p>
]]></description><pubDate>Tue, 21 Jul 2026 15:57:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48994031</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48994031</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48994031</guid></item><item><title><![CDATA[New comment by m_w_ in "Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber"]]></title><description><![CDATA[
<p>It's a bit disheartening to see no comparison to other models here - and I'm not sure this pushes the curve anywhere. 3.6 flash is more expensive than GLM 5.2 - but seemingly worse, although this post is really light (lite?) on details.<p>It seemed for a time that Google had finally gotten the ball rolling, but I'm doubting that more and more as time passes. We'll see what happens with 3.5 pro I suppose.</p>
]]></description><pubDate>Tue, 21 Jul 2026 15:31:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=48993626</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48993626</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48993626</guid></item><item><title><![CDATA[New comment by m_w_ in "The lost joy of music piracy"]]></title><description><![CDATA[
<p>> There is no joy of discovery of new music that you haven't heard. There is no connection to other humans through music.<p>Hard disagree here.<p>For new music, Discover Weekly is great, if you take some time to engage with it on a routine basis. Even better, if you have an artist/genre you already like, the Fans Also Like or Discovered On will link you to other artists and playlists. Super easy to go down rabbit holes of new artists and playlists.<p>As far as connecting with others, I do like the spotify DMs (in-app share), the friend activity tab, and particularly the share attribution. When you share a song via link (url with ?si=), you'll permanently be linked to it. For a number of my favorite songs, I see "From {friend}" at the bottom while listening. Makes me feel super connected to friends I've bonded with over music.</p>
]]></description><pubDate>Thu, 16 Jul 2026 13:33:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=48934331</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48934331</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48934331</guid></item><item><title><![CDATA[New comment by m_w_ in "AI Is a Bad Tool"]]></title><description><![CDATA[
<p>Yes - this is certainly true. I would have to concede that I could not speak to how my thesis would map onto a truly colossal codebase.<p>That said - I would (again, maybe naively) suppose it's not hugely different - much of the work I do occurs in code where many people have and will work on it, and where the size of the codebase dwarfs model context windows.<p>In that case, I feel the same - current frontier models, when properly oriented to a task, with some assist on the big-picture thinking - are more than capable of generating good code that can slot into big codebases with many moving pieces. Of course, I'd have to point to other people's work to defend this, but I think that's still pretty reasonable especially against the declared "LLMs are worse than useless for generating code".</p>
]]></description><pubDate>Mon, 13 Jul 2026 21:22:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48899071</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48899071</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48899071</guid></item><item><title><![CDATA[New comment by m_w_ in "AI is a bad tool"]]></title><description><![CDATA[
<p>Obviously I'm just one guy, but I maintain what I said w/ typing happily at 120+wpm. I think I could break 150 if I switched to colemak or dvorak, which I've been considering.<p>I don't think my job was ever to type fast, nor do I make any claim that I'm ontologically better than someone writing code by hand - but for what I need to do, I'm way faster now.<p>You might think he's an AI shill, but I was pretty compelled by simonw's post and idea - "your job is to deliver code that works" [1]. I think I can deliver more code that I can prove to work, faster now. The productivity is nice, but as I've said on other parts of the thread, it's also just fun to spend more time thinking, less time hitting the semicolon on my keyboard?<p>[1]: <a href="https://simonwillison.net/2025/Dec/18/code-proven-to-work/" rel="nofollow">https://simonwillison.net/2025/Dec/18/code-proven-to-work/</a><p>Edit: should have used [1] in the first place instead of an asterisk.</p>
]]></description><pubDate>Mon, 13 Jul 2026 21:11:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=48898961</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48898961</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48898961</guid></item><item><title><![CDATA[New comment by m_w_ in "AI is a bad tool"]]></title><description><![CDATA[
<p>Yes - I think that's fair. I'm happy to concede the term coding - I still enjoy the process of telling my computer to build something I've envisioned. It's now much faster, and I get to do more of the big-picture thinking and ideation, which I thoroughly enjoy.</p>
]]></description><pubDate>Mon, 13 Jul 2026 21:07:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48898907</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48898907</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48898907</guid></item><item><title><![CDATA[New comment by m_w_ in "AI Is a Bad Tool"]]></title><description><![CDATA[
<p>I guess I'm of two minds on it.<p>Sometimes, I will review every line, test the front-end in a staging environment, verify the backend contract, et cetera. Over time, though, I realized that many of these reviews just didn't result in any necessary changes. The current model (with guidance/claude.md/etc) was able to one-shot the task.<p>Not to overly personify, but imagine how you might treat a junior colleague. You start by reviewing everything they do with a microscope, later you review the broad-strokes, and eventually, for low-stakes or well-scoped tasks, you just play with the demo and the ticket and approve it.<p>Otherwise it's not materially different than a pre-AI world - you've got sample I/O, test cases, hand-review, look at the application on different screen sizes, contrive some edge cases, test against a spec if there is one - et cetera.</p>
]]></description><pubDate>Mon, 13 Jul 2026 21:04:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48898864</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48898864</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48898864</guid></item><item><title><![CDATA[New comment by m_w_ in "AI is a bad tool"]]></title><description><![CDATA[
<p>I love coding and I always have - arguably moreso now, if you can still call it coding.<p>For me, it is not about the syntax nor the mechanics of typing though. My enjoyment comes from thinking about problems and breaking them down, or thinking about what architecture would best serve them. I guess I'm meant to be a systems design guy, so I'm lucky that AI-coding fits this well (AI models have limited context windows, relative to the size of codebases, so doing the big picture thinking is still important, and fun for me).</p>
]]></description><pubDate>Mon, 13 Jul 2026 20:57:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48898756</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48898756</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48898756</guid></item><item><title><![CDATA[New comment by m_w_ in "AI Is a Bad Tool"]]></title><description><![CDATA[
<p>Generally end-user applications, depending on how you classify internal tools. I'm generally very happy with the output of Opus 4.X with a moderately structured CLAUDE.md and some investment in detection/avoidance of anti-patterns (Next.js+ts). I imagine that the bitter lesson is true here, and these heuristic guidelines will become increasingly unnecessary w/ smarter models.<p>Library-type work has mostly been side/toy projects, although fwiw, with a standard/spec on hand (CommonMark for example), I'm also happy w/ the output. It's often possible to "close the loop" and have the coding agent autonomously iterate until the standard is adhered to.</p>
]]></description><pubDate>Mon, 13 Jul 2026 20:54:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48898701</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48898701</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48898701</guid></item><item><title><![CDATA[New comment by m_w_ in "AI is a bad tool"]]></title><description><![CDATA[
<p>I can only imagine that people who say things like:<p>> If you use AI for anything else, and in particularly if you use it to generate code, you're wasting your time.<p>Have not used frontier models in at least a year.<p>It is nearly inconceivable to me that I would <i>ever</i> go back to writing code by hand, in any context. Even if no new model was ever released, the combination of GLM 5.2 and DeepSeek V4 flash is more than sufficient to do real work. It's not hard to imagine that a distillation of Mythos/5.6S or whatever is a couple generations away will push me even further in this direction.</p>
]]></description><pubDate>Mon, 13 Jul 2026 20:43:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=48898559</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48898559</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48898559</guid></item><item><title><![CDATA[New comment by m_w_ in "Show HN: Super Dario"]]></title><description><![CDATA[
<p>+1 for the claude icon fire bars</p>
]]></description><pubDate>Mon, 13 Jul 2026 18:19:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=48896624</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48896624</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48896624</guid></item><item><title><![CDATA[New comment by m_w_ in "Show HN: DOM-docx – HTML to native, editable Word docs (MIT)"]]></title><description><![CDATA[
<p>I would add a +1 for testing w/ Word - the official Office suite runs some validation where only Word will show a "broken file" popup, even when nothing else does.<p>In our case, clients use only real Word, so any machine-generated/mutated files (excel/ppt as well) need a pass through the real office executable.</p>
]]></description><pubDate>Mon, 13 Jul 2026 13:23:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48892313</link><dc:creator>m_w_</dc:creator><comments>https://news.ycombinator.com/item?id=48892313</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48892313</guid></item></channel></rss>