<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: aldanor</title><link>https://news.ycombinator.com/user?id=aldanor</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 11 Oct 2026 08:22:18 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=aldanor" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by aldanor in "What mathematicians should know about the Lean Theorem Prover: reliability & AI"]]></title><description><![CDATA[
<p>I've formalised a few dozen papers from 80s-90s with lean and holy cow the number of author's typos and straight up errors and sometimes false statements is pretty scary. The solution path may not be the one indicated or used by the author, but at least you can easily spot all those issues which would have been very hard to do by hand</p>
]]></description><pubDate>Sat, 10 Oct 2026 11:47:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=50031960</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=50031960</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50031960</guid></item><item><title><![CDATA[New comment by aldanor in "Keyboard differences between Windows and Macs"]]></title><description><![CDATA[
<p>And c-n / c-p - with those you barely ever need arrow keys</p>
]]></description><pubDate>Fri, 09 Oct 2026 09:18:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=50018056</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=50018056</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50018056</guid></item><item><title><![CDATA[New comment by aldanor in "Writing Efficient C++ Code (2013)"]]></title><description><![CDATA[
<p>Depends on your field. When one microsecond is considered "hellishly slow", you might reconsider</p>
]]></description><pubDate>Sun, 27 Sep 2026 20:03:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49870288</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49870288</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49870288</guid></item><item><title><![CDATA[New comment by aldanor in "How to keep enjoying programming in a world of LLMs"]]></title><description><![CDATA[
<p>It's like saying who likes to ride a bicycle in the world of cars, you can do it much easier with a plain steering wheel.<p>Well... sure it's more efficient (although in some cities and certain routes it's not; same with coding and LLMs). But some of us just love riding the bicycle and enjoying the nature, you know. Perhaps even strengthening our muscles as we do it, as a healthy side effect.</p>
]]></description><pubDate>Sat, 26 Sep 2026 13:12:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=49856219</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49856219</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49856219</guid></item><item><title><![CDATA[New comment by aldanor in "English: A vs. An"]]></title><description><![CDATA[
<p>Yes, but then it may sound as if "both/all" is being highlighted which it isn't in the neutral "they are doctors" statement</p>
]]></description><pubDate>Sat, 19 Sep 2026 23:12:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49770925</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49770925</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49770925</guid></item><item><title><![CDATA[New comment by aldanor in "Getting your hands dirty is good for you"]]></title><description><![CDATA[
<p>Not going to lie, I was a bit confused at first (before visiting the link), why would BBC publish an anti-AI post for software developers.</p>
]]></description><pubDate>Tue, 08 Sep 2026 15:07:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49611444</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49611444</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49611444</guid></item><item><title><![CDATA[New comment by aldanor in "De-Brainrot Vacations"]]></title><description><![CDATA[
<p>Indulging in musicianship works very well, too. As in, learning a musical instrument, say classical piano, with some external guidance.<p>You'll have to activate parts of brain you might never had to previously, it's quite some mental gymnastics but also an immersive mind + body + aural connection. You may feel exhausted after an intensive practice session but in a very rewarding way. You'll have to learn to learn differently.</p>
]]></description><pubDate>Mon, 07 Sep 2026 14:16:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49598742</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49598742</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49598742</guid></item><item><title><![CDATA[New comment by aldanor in "GPT-6 Astra"]]></title><description><![CDATA[
<p>We'd have to wait on LeCun to make progress on that</p>
]]></description><pubDate>Fri, 04 Sep 2026 15:10:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=49565814</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49565814</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49565814</guid></item><item><title><![CDATA[New comment by aldanor in "OpenAI begins rolling out GPT-6 Astra"]]></title><description><![CDATA[
<p>Artificial general incompetence?</p>
]]></description><pubDate>Thu, 03 Sep 2026 19:50:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=49555796</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49555796</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49555796</guid></item><item><title><![CDATA[New comment by aldanor in "Muse Spark 1.3"]]></title><description><![CDATA[
<p>Someone did care enough to create a throwaway account to vent here, it seems.</p>
]]></description><pubDate>Wed, 02 Sep 2026 20:26:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49541997</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49541997</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49541997</guid></item><item><title><![CDATA[New comment by aldanor in "Domestic cats kill 1.3–4.0B birds and 6.3–22.3B mammals annually"]]></title><description><![CDATA[
<p>And how can we tell for sure if it's good or bad? Does killing these birds and mammals help maintain the ecosystem balance (due to these birds and mammals not killing billions other animals down the food chain, or not spreading infections and viruses), or the other way around?</p>
]]></description><pubDate>Mon, 31 Aug 2026 06:49:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49506417</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49506417</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49506417</guid></item><item><title><![CDATA[New comment by aldanor in "OpenClaw 2.0, Accidentally"]]></title><description><![CDATA[
<p>It's also things like being able to change runtime configs in human language without having to turn to computer, eg "please also track when this artist is in my area". Nothing revolutionary, but kinda the whole point? Tell it what to do, it goes off, does some chores and searches, updates some configs so that later on some crons would use them.</p>
]]></description><pubDate>Mon, 31 Aug 2026 06:28:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=49506277</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49506277</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49506277</guid></item><item><title><![CDATA[New comment by aldanor in "Hacking IKEA Furniture"]]></title><description><![CDATA[
<p>You don't stare at your AirPods, they don't create the room vibe, whereas, arguably, the furniture does, along with the lighting.</p>
]]></description><pubDate>Sun, 30 Aug 2026 22:50:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49503608</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49503608</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49503608</guid></item><item><title><![CDATA[New comment by aldanor in "A faster way to calculate the day of the week"]]></title><description><![CDATA[
<p>Otherwise, the weekend should have been called weekedge</p>
]]></description><pubDate>Thu, 20 Aug 2026 18:43:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49378488</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49378488</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49378488</guid></item><item><title><![CDATA[New comment by aldanor in "Cursor launches Origin, GitHub alternative"]]></title><description><![CDATA[
<p>So GitHub itself is a trustworthy agent and nothing to do with AI?</p>
]]></description><pubDate>Tue, 18 Aug 2026 16:54:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=49348624</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=49348624</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49348624</guid></item><item><title><![CDATA[New comment by aldanor in "Muse Spark 1.1"]]></title><description><![CDATA[
<p>Things are not always that simple, eg <a href="https://lucumr.pocoo.org/2026/7/4/better-models-worse-tools/" rel="nofollow">https://lucumr.pocoo.org/2026/7/4/better-models-worse-tools/</a></p>
]]></description><pubDate>Thu, 09 Jul 2026 14:47:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=48846788</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=48846788</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48846788</guid></item><item><title><![CDATA[New comment by aldanor in "A software engineering interview question I like: computing the median"]]></title><description><![CDATA[
<p>A pretty good related question is - compute a <i>running</i> median (or window median).</p>
]]></description><pubDate>Thu, 09 Jul 2026 12:17:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=48844669</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=48844669</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48844669</guid></item><item><title><![CDATA[New comment by aldanor in "Rewriting Bun in Rust"]]></title><description><![CDATA[
<p>Even, possibly, the other way around in some cases. A seemingly identical program may (and it does occur) compile to a faster machine code in rust than in C++ due to extra markers (eg alignment) that rust compiler is able to provide to llvm.</p>
]]></description><pubDate>Thu, 09 Jul 2026 07:14:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48842054</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=48842054</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48842054</guid></item><item><title><![CDATA[New comment by aldanor in "Zenzizenzizenzic"]]></title><description><![CDATA[
<p>Or cubizenzic?</p>
]]></description><pubDate>Sat, 20 Jun 2026 14:28:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=48609484</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=48609484</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48609484</guid></item><item><title><![CDATA[New comment by aldanor in "It's hard to justify buying a Framework 12"]]></title><description><![CDATA[
<p>What type of software will you not be able to run? Your browser will work just the same, and your dev env and devtools will be just the same, and it's a posix environment. If that's what I need most and it runs just about the same on macos/linux then why not prioritize the hardware?</p>
]]></description><pubDate>Fri, 29 May 2026 18:26:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48327272</link><dc:creator>aldanor</dc:creator><comments>https://news.ycombinator.com/item?id=48327272</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48327272</guid></item></channel></rss>