<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: professoretc</title><link>https://news.ycombinator.com/user?id=professoretc</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 09 Sep 2026 15:09:28 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=professoretc" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by professoretc in "On the Navier–Stokes Millennium Prize Problem"]]></title><description><![CDATA[
<p>A proof is not like a program. The goal of a program is to "do the thing", thus you can make the argument that it doesn't matter what the code looks like as long as its works right. But the goal of a proof isn't to "do the thing" (where "the thing" is just to print Yes or No), it's to <i>communicate</i>. An unintelligible proof is really just a first draft.</p>
]]></description><pubDate>Tue, 08 Sep 2026 20:07:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=49616254</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=49616254</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49616254</guid></item><item><title><![CDATA[New comment by professoretc in "Christmas Village shoppers no longer will be allowed to enter booths"]]></title><description><![CDATA[
<p>That article (slash advertisement for Speechpad) spends a lot of words <i>not</i> explaining why human captioning is preferable <i>in general</i> to automated captioning. If I, a human, make a mistake in captioning my videos, am I any better off than if I'd used whisper and it messed up?</p>
]]></description><pubDate>Sat, 05 Sep 2026 01:59:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=49572356</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=49572356</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49572356</guid></item><item><title><![CDATA[New comment by professoretc in "Plastic mechanical computer from 1963: The Digi-Comp 1 [video]"]]></title><description><![CDATA[
<p>I think the algorithm recommended Chris to me because of his topology videos, and from there I watched all his "old computing devices" stuff. Something about the Boston accent, the dry humor, and the occasional audio jump-cut make his stuff quite funny.</p>
]]></description><pubDate>Mon, 17 Aug 2026 03:42:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=49326342</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=49326342</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49326342</guid></item><item><title><![CDATA[New comment by professoretc in "Antigravity 2.0"]]></title><description><![CDATA[
<p>> And, the US providers seem to all be racing to make that capability inaccessible to anyone who isn't at a Fortune 500 and able to use their "cyber" versions.<p>Because it's valuable. I'd be surprised if the big providers didn't go even further with this idea. Need your agent to write some C++? Gotta upgrade to the "system developer" package (a $100/mo add-on to your subscription). SQL? You'll need the DBA package. Working with hardware/firmware (or anything that might be construed as reverse engineering or hardware hacking)? You'll need a verified computer engineering account for that.</p>
]]></description><pubDate>Wed, 05 Aug 2026 19:29:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=49187756</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=49187756</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49187756</guid></item><item><title><![CDATA[New comment by professoretc in "What Big Food Did to Ice Cream"]]></title><description><![CDATA[
<p>A Vitamix is not an immersion blender; an immersion blender is one you "immerse" in the thing you're blending, i.e., a stick or wand blender.<p><a href="https://www.seriouseats.com/best-immersion-blenders" rel="nofollow">https://www.seriouseats.com/best-immersion-blenders</a><p>Wand blender don't make things hot enough to cook, so OP is indeed using raw eggs in their ice cream. Which is probably fine, it just means their ice cream isn't using a cooked custard base.</p>
]]></description><pubDate>Fri, 10 Jul 2026 13:06:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48859373</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=48859373</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48859373</guid></item><item><title><![CDATA[New comment by professoretc in "Markdown Is Not LaTeX"]]></title><description><![CDATA[
<p>> Some markdown flavors for example use \(\), which is probably the worst of them to use.<p>Some markdown flavors <i>say</i> they use `\(\)` but they also use `\` as the escape character, so in practice you have to use `\\(\\)` which is definitely the worst.</p>
]]></description><pubDate>Sun, 24 May 2026 15:12:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=48257894</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=48257894</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48257894</guid></item><item><title><![CDATA[New comment by professoretc in "Everything in C is undefined behavior"]]></title><description><![CDATA[
<p>The post I was replying to said,<p>> UB was coined only in the first C standard, in 1989. Prior to that there was no "If you do this, anything can happen".<p>I.e., the context is, <i>before UB existed as a concept</i>, how would these things be categorized. And I was trying to offer the correction that, <i>before UB existed</i>, it wasn't "all behavior is defined" but rather many behaviors depend on your particular local environment. While that may <i>technically</i> be implementation defined, the current standard requires that implementation defined be documented, and UB-like edge cases were most definitely <i>not</i> documented anywhere consistently in the old days!</p>
]]></description><pubDate>Wed, 20 May 2026 17:42:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48211305</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=48211305</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48211305</guid></item><item><title><![CDATA[New comment by professoretc in "Everything in C is undefined behavior"]]></title><description><![CDATA[
<p>More like, "if you do this, what happens depends on your particular combination of hardware, operating system, and compiler. Don't ask us."</p>
]]></description><pubDate>Wed, 20 May 2026 14:12:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48208153</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=48208153</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48208153</guid></item><item><title><![CDATA[New comment by professoretc in "Gemini 3.5 Flash"]]></title><description><![CDATA[
<p>"Look around to look around."</p>
]]></description><pubDate>Wed, 20 May 2026 04:31:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48203108</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=48203108</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48203108</guid></item><item><title><![CDATA[New comment by professoretc in "Zig → Rust porting guide"]]></title><description><![CDATA[
<p>Plus, if the LLM goes down (or gets "upgraded" to a model that does the translation differently/wrong), you still have the tool available locally.</p>
]]></description><pubDate>Tue, 05 May 2026 16:06:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48024403</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=48024403</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48024403</guid></item><item><title><![CDATA[New comment by professoretc in "He asked AI to count carbs 27000 times. It couldn't give the same answer twice"]]></title><description><![CDATA[
<p>They'll qualify their answers <i>in English</i> but as the article mentions, if your prompt asks for a confidence score, that "uncertainty" doesn't translate into low numerical confidence.</p>
]]></description><pubDate>Wed, 29 Apr 2026 13:47:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47948430</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=47948430</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47948430</guid></item><item><title><![CDATA[New comment by professoretc in "GPT-5.5"]]></title><description><![CDATA[
<p>If my compiler "went down" I could still <i>think through</i> the problem I was trying to solve, maybe even work out the code on paper. I could reach a point where I would be fairly confident that I had the problem solved, even though I lacked the ability to actually implement the solution.<p>If my LLM goes down, I have <i>nothing</i>. I guess I could imagine prompts that might get it to do what I want, but there's no guarantee that those would work once it's available again. No amount of thought on my part will get me any closer to the solution, if I'm relying on the LLM as my "compiler".</p>
]]></description><pubDate>Thu, 23 Apr 2026 22:04:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=47882738</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=47882738</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47882738</guid></item><item><title><![CDATA[New comment by professoretc in "Programming Used to Be Free"]]></title><description><![CDATA[
<p>I just tried QBasic 1.1 and it includes context-sensitive help: press F1 on a keyword to get documentation for it.</p>
]]></description><pubDate>Mon, 13 Apr 2026 22:16:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47758640</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=47758640</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47758640</guid></item><item><title><![CDATA[New comment by professoretc in "Programming Used to Be Free"]]></title><description><![CDATA[
<p>> An interesting side effect might be that only people locked out from using LLMs will learn how to program in the future, as vide coding doesn't teach you the fundamentals.<p>While thinking about/working with LLMs, I've been reminded more than once of Asimov's short story Profession (<a href="http://employees.oneonta.edu/blechmjb/JBpages/m360/Profession%20I%20Asimov.pdf" rel="nofollow">http://employees.oneonta.edu/blechmjb/JBpages/m360/Professio...</a>). In it, no one goes to school: information is just dumped into your brain. You get an initial dump of the basics when you're a kid, and then later all the specialty information for your career (which is chosen for you, based on what your brain layout is most suited to).<p>The protagonist is one of a number of people who <i>can't</i> get the second dump; his brain just isn't wired right, so he's sent to a Home for the Feeble Minded to be with other people who have to learn the old-fashioned way.<p>Through various adventures he eventually realizes that everyone who was "taped" is <i>incapable</i> of learning new material at all. His Home for the Feeble Minded is in fact an Institute of Higher Studies, one of only a handful, which are responsible for <i>all</i> the invention and creation that sustains human progress.</p>
]]></description><pubDate>Mon, 13 Apr 2026 22:11:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=47758568</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=47758568</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47758568</guid></item><item><title><![CDATA[New comment by professoretc in "AI-generated replies are a scourge these days"]]></title><description><![CDATA[
<p>> On a phone keyboard, sure, it's as hard as an accent sign (á, for example), difficult but not twrrible. But on a keyboard? Yeah, no one is typing in Alt combos when literally any other construction will do.<p>For me, --- gets converted to an em-dash (—) while typing, if I have my input method (ELatin) enabled. I'm so used to typing in while working in LaTeX I can easily slip it in elsewhere.</p>
]]></description><pubDate>Tue, 24 Feb 2026 17:28:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47139884</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=47139884</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47139884</guid></item><item><title><![CDATA[New comment by professoretc in "AIs can generate near-verbatim copies of novels from training data"]]></title><description><![CDATA[
<p>Correct; the ability of a model to reproduce source material verbatim does not <i>necessarily</i> make the model's existence illegal. However, <i>using</i> a model to do just that might very well present a legal liability for the <i>user</i>. I would be interested to see the extent to which models can "recite from memory" <i>source code</i>, e.g., from the various MS code leaks. Put another way, if I'm using LLM code generation extensively, do I need to run a filter on its output to ensure that I don't "accidentally" copy large chunks of the Windows codebase?</p>
]]></description><pubDate>Mon, 23 Feb 2026 19:42:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=47127667</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=47127667</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47127667</guid></item><item><title><![CDATA[New comment by professoretc in "I didn't reverse-engineer the protocol for my blood pressure monitor in 24 hours"]]></title><description><![CDATA[
<p>I wonder why that would be? Presumably if the batteries are low then the pressure the machine "thinks" it's inflated the cuffs to is higher than the actual pressure...</p>
]]></description><pubDate>Wed, 12 Nov 2025 19:16:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=45904781</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=45904781</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45904781</guid></item><item><title><![CDATA[New comment by professoretc in "Samsung confirms its smart fridges will start showing you ads"]]></title><description><![CDATA[
<p>And with eye/face tracking it can tell if you really watched it, with a smile.</p>
]]></description><pubDate>Thu, 18 Sep 2025 17:41:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=45292627</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=45292627</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45292627</guid></item><item><title><![CDATA[New comment by professoretc in "GNU Midnight Commander"]]></title><description><![CDATA[
<p>I miss TkDesk, which I discovered many years ago when I was first trying Linux, partly because it supports unlimited splits, not just two. In fact, if I'm remembering correctly, when navigating to a subdirectory the <i>default</i> was just to open it in a new split. You ended up with splits containing the full path from wherever you started to your eventual subdirectory (you could scroll the view of splits horizontally once there got to be too many).<p><a href="https://tkdesk.sourceforge.net/" rel="nofollow">https://tkdesk.sourceforge.net/</a></p>
]]></description><pubDate>Wed, 17 Sep 2025 18:42:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=45279744</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=45279744</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45279744</guid></item><item><title><![CDATA[New comment by professoretc in "I just want an 80×25 console, but that's no longer possible"]]></title><description><![CDATA[
<p>This also lets you run QEMU over SSH, if you want. I use this in my assembly language course; towards the end I give an assignment to write Hello, World! as a 16-bit real mode MBR bootloader. Students can do the whole thing on our SSH server, including testing in QEMU (and even attaching GDB to it to debug) not needing to install anything locally.</p>
]]></description><pubDate>Wed, 17 Sep 2025 15:43:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=45277211</link><dc:creator>professoretc</dc:creator><comments>https://news.ycombinator.com/item?id=45277211</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45277211</guid></item></channel></rss>