meroes

Are you sure you’re talking about fat and not total calories? The whole premise about Zone 2 running vs Zones 3/4 is you really do burn more grams of fat at the lower Zone per minute.

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

Longer slower running burns more fat because your body isn’t forced to use as much glycogen as faster paced running.

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.

My house and street and surrounding streets still aren’t on Google Maps after a month post closing (new development). It’s on Apple Maps and Uber; Amazon and FedEx deliver.

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.

Ya and this leads to the point that if the simulation is so complex, which I take to mean is so like the real thing, then the near-perfect simulation and the actual thing must be highly similar physically.

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

That’s like saying simulating a supernova and a supernova are both extremely hot.

Well if you go that route, a computer simulating digestion has almost no physical features in common with actual digestion of a stomach. The same holds for consciousness and brains and computers. Them saying it’s just instructions is shorthand for pointing out the physical differences of brains and computers.

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

Anyone tried to buy paint recently?

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

“The law of non contradiction exists”. Even Aristotle couldn’t “prove it” exists yet logic uses it all the time. I hardly think logic is about what exists but rather a tool, born out of interlocution.

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

Yes state schools are. That’s why it’s so competitive as well. $4-$6k at the state school vs $50K+ at private.

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.

Rad tech is like $130k+ per year in the Bay Area. And if you specialize even more. I know one in a hospital in Marin making $150k+.

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

One reason is rad tech and similar are all over Tik Tok.

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

Egalitarian?

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.

Interesting that boring is the salient factor.

Which generations? Even the most low tech older Millenials are using AI more and more.

There’s 3 main facets behind AGI pushers

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.

I don't know if you can have it all, bacteria wise.

This is how I feel with AI math proofs. I’m not sure where they’re at now, but a year ago it took so much more time to check if an LLM proof was technically correct even if hard to understand, compared to a well structured human proof.

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.

No projects, no labs, no teamwork, no papers?

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

Dogs?

I guess I just don’t have the experience or optimism that a harness around an LLM, which can’t make the first, bare deduction on its own, is a good use of compute.

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.

Grammar seems like you’re talking about LLMs specifically. Well, isn’t Sudoku just math? LLMs suck at Sudoku last I checked. When told not to code a solver, its very first deduction was wrong.

It’s worse than that. My mom wants to see ads. I thought I was doing her a favor adding her to my pihole but she really likes ads, especially Facebook ads.

Ya that was a very serious situation for you. I knew when my dad was barely able to stand but insisted we hike the 1000ft back up to then get back down it was also serious. But when we got home I read how deadly altitude sickness is.

Ya I mean gfx card was pretty bad during Covid.

Discord groups that had real-time line counts and pictures of the line at most best buys across the country (US).

The only way I got one was overpaying and a lottery system that bundled it with other hardware because they knew everyone would still buy it. It was impossible to buy online normally as you needed some kind of automated way to buy it before stock zeroed the minute it was posted.

You could pay a scalper for a gfx card, but stores had none. Now, stores have RAM at least.

Because if rigor is all we cared about I’d think we’d spend more time on non-classical math.

If rigor is the whole point why are we so focused on classical math (eg classical logic) not the wider plurality?

Maybe. AI has always been felt like a game too, so do many things to me. Does classical logical represent some ideal form of reasoning, or is it a game. Game helped me get through all the nagging questions and be good at it. AI RLHF also feels like a game where I do better at work when not anthropomorphizing AI and treating it like a context predictor.

Ya maybe this. I’ve found some work at the “tool level”. I’m not a programmer, just did RLHF for a few years and AI has helped me make some tools such as a way to scrape and export to excel 35,000 contacts at a company for marketing purposes. Things like that. Yes I know libraries exist and someone who is already a programmer could do this, but also there’s some interesting logic in how to avoid duplicates and interact with modern websites that was impractical for me. And maybe this job is too small for a real programmer.

There are many small, different, and one-time tasks that don’t fit full blown apps. Which I would characterize an AI building a novel app as building a house out of random bits of lumber. It will work but will have no cohesive process and sounds like a nightmare.

Idk I earnestly tried using LLMs to find me the smallest by volume regular ATX PC case 3 months ago and it was a nightmare. That info is out there, but it could not avoid mentioning ITX, mini atx (sometimes because Reddit posters messed up) and just missed a bunch of cases. And letting in any mistakes meant I had to double check every volume calculation it did.

I found the Jonsbo D41 without the help of LLM despite trying. (There might be a few smaller but they are 3x the price)

LLMs don’t weigh and surveil the options well. They find some texts like from Reddit in this case that mention a bunch subset of cases and that text will heavily shape the answer. Which is not what you want a commerce agent to do, you don’t want text prediction. I doubt that gives the obscure but optimal option in most cases.

Because it’s annoying to remove and clean for eating each time, it will get to a point where coffee or the odd snack is not worth the hassle. Maybe once in the year process did I find it worth it to remove it to eat fourth time in a day. It’s a weird reorienting. Like jumping into a new energy level that is more taxing, but is in a minima such that you want to stay to 3 meals a day.