https://cannonbol.com/blog/articles/Achten_%282004%29.pdf?ut...

I guess the answer for optimizing time is to get a home treadmill if removing the commute to a trail/track will make the timing work.

Google Maps feels like I’m constantly in an A B test for how bad it can be and I’m always getting the bad side. It repeatedly doesn’t update in CarPlay, showing the same miles to destination as I progress.

It doesn’t label streets well either. I try to manually find routes in SF and I have to switch to Apple Maps because not enough streets are labeled no matter how much or little I zoom.

And digital circuits are not physically similar to biological brains yet. So we shouldn’t conclude they have the similar consciousness property.

It’s all just particles, but the higher level differences are vast, and only brains are implicated for first person perspectives via science.

$611 for 2x 5 gallon buckets just to do my garage.

https://plato.stanford.edu/entries/aristotle-noncontradictio...

There’s one state school for my program within 100 miles of me (physical therapy assistant)

And a four year program is still 2 extra years of tuition even at the subsidized amount, and most would work fewer hours if at all because they need high GPAs.

That much pay for a 2 year program is very hard to beat.

Another reason is these people know how to grind, but can’t afford a 4 year program.

Let me explain healthcare right now.

To get into a radiation tech program, there are 260 applicants, almost all with all As, for 20 slots at my local community college.

Maybe in the very first instant you’d think it’s merit based. But, EVERYONE is playing the game. Getting homework and tests from friends who already took the class, taking classes at several different schools to get the easier teachers, paying multiple times the tuition cost on tutors and other study aides (eg $2k+ for all the anatomy models), every demographic is using paid ChatGPT. We all know which teachers to take. We spend much of class strategizing like this.

Every single student. It’s just another game to play or you lose.

1) True believers 2) Hype 3) A way to wash blatant copyright infringement

True believers are scary and can be taken advantage of. I played DOTA from 2005 on and beating pros is not enough for AGI belief. I get that the learning is more indirect than a deterministic decision tree, but the scaling limitations and gaps in types of knowledge that are ingestible makes AGI a pipe dream for my lifetime.

Maybe it was Timothy Gowers who commented on this.

Lots of human proofs have the unfortunate “creative leap” that isn’t fully explained but with some detectable subtlety. LLMs end up making large leaps too, but too often the subtle ways mathematicians think and communicate is lost, and so the proof becomes so much more laborious to check.

Like you don’t always see how a mathematician came up with some move or object to “try”, and to an LLM it appears random large creative leaps are the way to write proofs.

What a narrow set of skills to send into your economy.

I got out of RLHF, including games and puzzles, before agents took off and maybe I have outdated info. But we estimated RLHF’ing a single hard full sized sudoku was ~25 hours worth of work.