<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: astrange</title><link>https://news.ycombinator.com/user?id=astrange</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 01 Aug 2026 10:17:55 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=astrange" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by astrange in "Claude Fable produced a counterexample to the Jacobian Conjecture"]]></title><description><![CDATA[
<p>> In HN terms - it's never the compiler. Yes, very occasionally it might be the compiler, but you're better off assuming it's a bug in your code.<p>Conversely:<p>- if your company has an internal compiler team then it's likely the compiler because they broke it.<p>- if it's not the compiler, you're not pushing it hard enough.</p>
]]></description><pubDate>Mon, 20 Jul 2026 23:17:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48986113</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48986113</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48986113</guid></item><item><title><![CDATA[New comment by astrange in "Claude Fable produced a counterexample to the Jacobian Conjecture"]]></title><description><![CDATA[
<p>Agents can generate formal proofs that are checked with an oracle like Lean and can run in a loop.</p>
]]></description><pubDate>Mon, 20 Jul 2026 23:13:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48986072</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48986072</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48986072</guid></item><item><title><![CDATA[New comment by astrange in "My falling-out with the rationalist community"]]></title><description><![CDATA[
<p>The entire point of rationalism is to take your own beliefs seriously and follow them as if you were a robot.<p>(Except that they don't claim them to be "their own beliefs" but instead call them "priors".)</p>
]]></description><pubDate>Mon, 20 Jul 2026 22:41:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=48985789</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48985789</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48985789</guid></item><item><title><![CDATA[New comment by astrange in "GPT-5.6 used a prompt to close a 30-year gap in convex optimization"]]></title><description><![CDATA[
<p>Probably that you'd be doing it in a group, which is a lot less lonely than doing it from home.<p>I think there's a lot of opportunity for computer vision in exercise coaching.</p>
]]></description><pubDate>Sun, 19 Jul 2026 04:30:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48964988</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48964988</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48964988</guid></item><item><title><![CDATA[New comment by astrange in "GPT-5.6 used a prompt to close a 30-year gap in convex optimization"]]></title><description><![CDATA[
<p>Productivity improvements tend to increase employment. AI will not reduce employment.<p>(Also, the US budget deficit is way too high to afford a UBI.)</p>
]]></description><pubDate>Sun, 19 Jul 2026 04:29:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48964983</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48964983</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48964983</guid></item><item><title><![CDATA[New comment by astrange in "GPT-5.6 used a prompt to close a 30-year gap in convex optimization"]]></title><description><![CDATA[
<p>Economic growth doesn't mean using up resources faster, it means trading things faster.</p>
]]></description><pubDate>Sun, 19 Jul 2026 04:28:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=48964978</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48964978</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48964978</guid></item><item><title><![CDATA[New comment by astrange in "The LLM Critics Are Right. I Use LLMs Anyway"]]></title><description><![CDATA[
<p>Managers often still have code and team-lead responsibilities IME. First-line managers, that is.<p>And then sometimes you report a memory leak and it gets fixed by a VP and you wonder if he doesn't have something better to do.</p>
]]></description><pubDate>Thu, 16 Jul 2026 22:00:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48940838</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48940838</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48940838</guid></item><item><title><![CDATA[New comment by astrange in "Microsoft Comic Chat is now open source"]]></title><description><![CDATA[
<p>On occasion I meet one of the creators of that professionally. And then I always think of asking him about it. And then I don't do it.</p>
]]></description><pubDate>Thu, 16 Jul 2026 21:40:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48940643</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48940643</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48940643</guid></item><item><title><![CDATA[New comment by astrange in "Sleep regularity is a stronger predictor of mortality risk than sleep duration (2023)"]]></title><description><![CDATA[
<p>Trazodone is also not addictive and doesn't have bad side effects afaik.</p>
]]></description><pubDate>Wed, 15 Jul 2026 23:13:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928433</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928433</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928433</guid></item><item><title><![CDATA[New comment by astrange in "Sleep regularity is a stronger predictor of mortality risk than sleep duration (2023)"]]></title><description><![CDATA[
<p>Bulletproof has 0.3mg capsules, but it's a pricier brand. On the other hand, I'm not sure which other brands actually have the dose they say they do.</p>
]]></description><pubDate>Wed, 15 Jul 2026 23:12:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928418</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928418</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928418</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>Therapists have specific techniques and programs that work. Well, some of them do anyway. If you have a real serious issue like PTSD or BPD it can be mostly fixed with the right sort of therapy.<p>It's like saying you only work with a personal trainer at the gym because you don't have a friend to go with. Sort of true sort of not.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:51:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928222</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928222</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928222</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>I'm trying ADHD therapy now, but the thing about ADHD is that you can still do complex tasks like programming yet can't do simple things.<p>So the therapy is partly focused on emotional management, and partly about skills to do seemingly simple things like cook and put away laundry.<p>I haven't seen coaching for ADHD software engineers, but I'd be interested in it. (I'd rather take more cooking classes though.)</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:43:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928139</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928139</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928139</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>Their bio does say they are, but they certainly forgot some things.<p>(Some people presenting with depression should not be on antidepressants because they actually have bipolar disorder.)</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:41:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928122</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928122</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928122</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>> Atomoxetine's effect size is surprisingly similar to methylphenidate, though in my experience it treats different aspects of ADHD than stimulants. Some doctors (mine) are open to combining it with a long-acting stimulant, which actually can be a really nice setup, especially if you're sensitive to stimulants.<p>I tried this for several years and only afterwards realized it was bad for me - one because of personality changes, two because of high blood pressure.<p>It will give you a lot of stamina and ability to continue on the life path you're on, but I got metaphorical tunnel vision and basically wasn't able to do anything after the stimulant crash around dinnertime.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:37:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928079</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928079</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928079</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>If you feel you're getting tolerance to amphetamines, the first thing to try is magnesium glycinate/threonate supplements, and then hydration and diet and sleep.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:33:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928032</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928032</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928032</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>> Intuniv gets a bad reputation because the patient has to be titrated up to the final dose and it takes a long time to see the full effects.<p>I went up, but then backed down because even 2mg was seriously affecting my sleep quality. I'm feeling much better at 1mg.<p>nb I think if I wasn't employed than I'd be best off with just this, but employment is best with stimulants. Unfortunately stimulants have side effects.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:32:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928024</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928024</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928024</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>Well, you see, all things are empty of independent origination.<p>(You "have ADHD" if a psychiatrist was willing to say you have it, gave you medication, and it improved your life quality both at work and at home.)</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:30:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=48928005</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48928005</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48928005</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>> Me as well, which is a really "fun" time when my specific blend of neurodivergence also causes me to immediately resent said authority and external structure and view it as removing my agency.<p>I was never very bad at that, but it can happen in ADHD because you lose interest in everything you're "supposed" to do and get stuck on random other things like commenting here. Especially if the "supposed" tasks are hard or give you anxiety.<p>So I was quite surprised when going on Intuniv made that basically disappear.<p>My advice is that there are interventions for things like this, but they're never the obvious ones and you'll be surprised what might work. And it's worth trying meds.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:09:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=48927754</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48927754</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48927754</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>> I'm still trying to understand this new reality as I'm not used to it at all.<p>I'm having a similar issue with ADHD meds, which is that we randomly settled on one that made me feel incredibly "normal" (ie not nerdy) but now my lifestyle totally doesn't match that so I need to redo everything.<p>Still in progress, I've always had winter depression and likely need to be on something for that as well.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:07:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48927720</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48927720</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48927720</guid></item><item><title><![CDATA[New comment by astrange in "Prioritize mental health, and why communication is so important"]]></title><description><![CDATA[
<p>> Also very important, try to sleep the best you can and do exercise... I remember reading here about exercise in some cases exceeding the benefits of ADHD medications...<p>Exercise is very true. I used to take walks but it didn't help; pushing myself at the gym (inc using a trainer) is a lot more effective.<p>Also, ADHD meds interact with sleep, both making it better and worse. I was on Intuniv 2mg and it absolutely ruined my sleep, but 1mg plus a sleep medication (25mg trazodone) are working very well.</p>
]]></description><pubDate>Wed, 15 Jul 2026 22:05:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=48927701</link><dc:creator>astrange</dc:creator><comments>https://news.ycombinator.com/item?id=48927701</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48927701</guid></item></channel></rss>