TFA mentions power usage from a dollar cost perspective, but there is also the thermal aspect. You do not want to trigger thermal throttling (or lose boost) while doing almost nothing.

Very good point, should add this

I'm curious about your mental model. Would it be accurate to say that the async tree is the "IO program" and the sync functions operate on pure data, or is it more complicated than that?

Yeah, more or less. I think Haskell programmers are right on this.

Here's the force pushed pyproject.toml with the new author if anyone cares:

https://github.com/google/artemis/compare/14e02c4c27bc5b3c0d...

    + authors = [
    +     { name = "somew1nd", email = "[REDACTED]@outlook.com" },
    + ]

Seems legit

> One cannot expect a compiler to come up with such encoding.

One could, however, imagine a sufficiently expressive language that allows the developer to specify the encoding schema without resorting to raw 64-bit words.

This breaks the language. Do you want safety or do you want expression?

+1. I've used this with Lattice UP5K for some experimental development. I wanted to be able to quickly skip between working on Windows and Linux. Worked well at the time.

Seems legit. My only question is whether a developer has sufficient copyright to grant such a license.

> disk heads to optimized queued reads of data in a “traveling salesman” sort of way

Luckily the read heads only have one degree of freedom, so the "elevator algorithm" is sufficient: https://en.wikipedia.org/wiki/Elevator_algorithm

The essential concepts of mathematical reasoning, if there are such things, are the concern of mathematical logicians, or maybe even psychologists, not, in general, of working mathematicians. One of my professors once told me something to the effect of "if you think you are going to learn any of that here, you are in the wrong place."

If you are interested in Terence Tao's personal mathematical inner world, he touches on that during his interview with Lex Friedman, which I think you might find interesting. Interviews with Kevin Buzzard sometimes touch on these themes too.

"maybe even psychologists" -- unironically true, but maybe I am talking about something different from you. The basis of (higher-level) math seem to mostly be "am I psychologically (emotionally...?) comfortable with accepting annoying ideas?" At least from my experience.

Thank you, I will watch these interviews!

If you want to follow Terence Tao's new interviews, podcasts, blog posts, etc. and get an email delivered promptly to your inbox, you can do it here: https://recordal.app/people/terence-tao

Disclaimer: I built this tool a couple of weeks back.

CBT is not a first line treatment for ADHD in Australia. Indeed standard CBT is contra-indicated because it requires the kind of "homework" that ADHDers struggle with. There are CBT variants tailored for ADHD however.