Ah, hadn't thought of that aspect. I was assuming dry ones.
Even if they did, if they all did, it'd be chill
Damn, am jealous.
If everybody's farts sounded identical, there'd be far less shame in tootin' in public 🤔
Have a few things I'll need to learn up on. Thanks
Google search says GSeq is computable, which makes sense since there's a recipe to follow for computing it. However, the calc of how long process takes to terminate is not
From Google AI search result:
Yes, the Goodstein sequence is computable, but the function that maps a starting number to the number of steps it takes for the sequence to reach zero is not provably total in Peano Arithmetic (PA). While a Turing machine can enumerate the sequence and determine when it reaches zero, the proof of termination relies on principles beyond PA
Oh, the linked thing, which appears to be Goodstein Sequence. Will have a look soon
Ah ok, must have misremembered and wanted to correct.
Not sure about what? That it's recursive? I believe recursive functions = Turing computable (one of many instances of Church's Thesis type of thing), but correct me if I'm wrong. What was mostly new to me is idea of primitive recursive vs (fully) recursive, which has to do with allowing unbounded search instead of bounded only (I'm phrasing this sloppily but should convey meaning), and the overall connection to halting (still not totally crystal clear to me, but seems like a deep thing)
nostr:npub1dtf79g6grzc48jqlfrzc7389rx08kn7gm03hsy9qqrww8jgtwaqq64hgu0 I can't find the post, but I recall you mentioned Tetration function a little while back, and I THINK you claimed it's not computable.
Turns out it is not PRIMITIVE recursive, but it is recursive (equivalently, computable). Interesting distinction connected to non-halting Turing machines, if you wanna read on that.
Just thought I'd share in case you didn't know
Impressive! If I get 2 years I'm happy. I use them A LOT. Unhealthy amounts
May have to try that. Was listening while biking other day and right ear was so bad I had to turn them off to preserve hearing
You've had yours over 3 years?! That's gotta be a record haha
I’ve been using half broken AirPods that produce static for months only to find out Apple offers repairs free of charge. 🙈
https://support.apple.com/airpods-pro-service-program-sound-issues
Holy crap! I'm in the same boat. Right headphone pops and crackles but been waiting until September to replace as I gather there's a new version coming.
Might have to do this, even if only for a couple months of relief
Yeah that's the idea. Friend of mine who's pretty psycho with this stuff told me this. Held true for my personal study more or less
3500 under your basal metabolic. I guess it should hold over any span, but realistically something like a week. So if you had 3000 basal rate, ate only 2k a day, that'd be about 2lbs loss a week. Just a rule of thumb that seemed to hold for me
Wow, actually a good pod. Been listening myself. Weekly recap of macro landscape made easy
Dammit! I knew 3 was gonna beat me. I shoulda had it in 3 but I'm an idgit!!
Haha guess not. I just know I'd be huffing and puffing trying to clarify. I am impatient though
They also generally ignore the whole final settlement comparison
I hear it in the vocodered remix way. Oh myyyy gaaaaaawdd
Was confused for a minute with the use of word "trap." Isn't that slang for tranny?
The movie Little Man Tate highlights what it is about chess that’s never sat well with me. It’s supposed to be some test of smarts, yet the player who’s studied more usually has the advantage. No matter how gifted a chess mind you might have, if you go up against someone who’s memorized the first 8 moves of all the popular openers, you’re going to lose.
At the end of the movie, Tate only wins because he finally solves the chess puzzle he was too dumb to figure out much earlier on. He just happens to find himself in exactly the same setup in the final game against the villain, and then is celebrated as the best/smartest when he wins, even though he’d had months or so to solve the puzzle. I say he got lucky!
#Wordle 1,493 5/6
⬛⬛⬛⬛⬛
⬛⬛⬛⬛🟨
⬛⬛🟨🟨⬛
🟩🟩⬛⬛🟩
🟩🟩🟩🟩🟩
A very fair assessment. I agree he's smart, smarter perhaps even than myself, but yeah, maybe it's his substituting his own BS is where he loses me.
He's good at tossing out some deep stuff, but when pressed by someone expert he acts like a lil bitch (seen it at least twice). I don't throw the clown emoji around lightly.
I'll still listen to him now and then, but he's mostly a grifty podcast clout chaser imo
Love the new pfp! Guessing someone won your competition recently, but I missed it. That won't stop me from making more though, nothing will!