Viewing profile — astrange

ADHD medications do not lose effectiveness over time. That's magnesium deficiency.

Google search is bad because there aren't any websites anymore. It's not really possible for it to be good.

Some people just don't like buying shirts.

Apple doesn't use KPIs for performance reviews. (Also, eg Ali Ozer is still there.)

> But I don't think you can cover all requirements with a set of fixed layouts, they do need to be somewhat flexible. Even if all screens were the same size, you'd want to be able …

I am familiar with C++.

> ClickHouse had features that at the time were only found in a handful of closed-source, commercial analytical DBMSs. For example, ClickHouse was written in C++ and supported vect…

Given the tricolon in that text, I think the content of the book may have come out of an LLM.

Note: when people say this about Haskell they mean "it has ADTs".

> 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. Conversely: - if your company has …

Agents can generate formal proofs that are checked with an oracle like Lean and can run in a loop.

The entire point of rationalism is to take your own beliefs seriously and follow them as if you were a robot. (Except that they don't claim them to be "their own beliefs" but inste…

Probably that you'd be doing it in a group, which is a lot less lonely than doing it from home. I think there's a lot of opportunity for computer vision in exercise coaching.

Productivity improvements tend to increase employment. AI will not reduce employment. (Also, the US budget deficit is way too high to afford a UBI.)

Economic growth doesn't mean using up resources faster, it means trading things faster.

Managers often still have code and team-lead responsibilities IME. First-line managers, that is. And then sometimes you report a memory leak and it gets fixed by a VP and you wonde…

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.

Trazodone is also not addictive and doesn't have bad side effects afaik.

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.

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 so…

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. So the therapy is partly focused on emotio…

Their bio does say they are, but they certainly forgot some things. (Some people presenting with depression should not be on antidepressants because they actually have bipolar diso…

> 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…

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.

> 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. I went up, but then backed down becaus…