I may never know what an rss actually is. Don't bother trying to explain, it will not make sense to me
That Twain never misses
90% sure it's some noncustodial complicated thing on your end 😅
Anyway, hello
Damus. Built in coinos wallet. Was only 21 sats, just hadn't seen you around much so shot ya a hello zap
Haha, assumed you weren't a gamer, which made the rec extra enticing. Will let you know how/if it goes
Now to hold off starting until I have a day to burn. Shouldn't be long, but must resist a couple more days 🙏
*mleku*
Sorry, just clearing my throat
I have not! I've heard of it though. Is it only 3 hours to play through?! Can my on-gaming laptop handle it?
I've been wanting to waste some hours on a video game, but can't risk another Breath of the Wild time suck (years ago, had way more important things I should have been doing lol).
I may be missing a reference here. Have sinking suspicion something is going over my head 🤔
Dark Daniel 😳 #darknostr
You weren't tagged in the original. I didn't wanna spam thread by pointing it out though, but now here we are
At least we're all laughing
I can't offer much more insight (if I have at all this far). The above def is how ordinal numbers are built, and I think THERE it will prove more valuable (probably worth a quick Wikipedia read when you see the term used, as I don't think he went into them as much as you'll want).
It's an attempt to put the standard math systems we know and love into a unified set theory model, and then you can worry about what exactly set theory is I guess.
Wish I had better answers
{0, {0}, {0, {0,1}}}*
Typo was bugging me. Believe this is right def
If not for my ai slop "memes" I would hardly use my gpt subscription.
Well, I believe it took mankind centuries to come to terms with things like irrational numbers (think I read some guy almost got killed by Greek clique for putting forth idea of diagonal of a square), and infinities, and even zero ha!
You won't get a better meaning of 3, I guess it's not possible beyond the schools of thought he lists out, but the formal def as {0, {0,1}, {0,1,2}} is pretty pure and we can at least all understand and communicate about such things much more precisely
Maybe the construction is a bit underwhelming at first lol. There's something solid in making an actual concrete construction of them from earlier building blocks, and then showing the model is "categorical" (unique) model of a set of rules you'd like to think _define_ the real numbers. You don't often get this result when trying to nail things down precisely, as you see in later sections on set theory for example; attempts to write the rules of a system you think you understand fully often allow unexpected/non-standard models, or leave important questions unanswerable, provably. 🤷♂️
So glad you gave the book a shot! Now to get the author on nostr (he's quite active on forums for a professor)...
Oh, and one more thing, he's leading up to actually constructing set theoretic canonical structures of the number systems (up to isomorphism), which if you haven't seen before is kinda deep imo. Sure you might think you know what 3 is, but what's the set of real numbers exactly (dedekind and Cauchy gave equivalent definitions, the former being the more popular).
I promise it picks up somewhat, and I'm sure you'll enjoy the later sections on proofs, comparability, infinity, and set theory (cardinals; large ones touched on too).
I warned the beginning was a bit slow, especially if you've read such things before, but it does a great job of describing the various schools of thought at the time.
The arc of math focused on is interesting historically, as it's arguably these foundational questions which pushed more formalism and rigor in late 19th century-present (my opinion based on others' opinions, I'm no expert). Calculus/diff equations were being used all over the place, but the exact understanding of limits and infinitely were shaky until all this stuff came around.
nostr:npub1t49ker2fyy2xc5y7qrsfxrp6g8evsxluqmaq09xt7uuhhzsurm3srw4jj5 a fun "comic" on the characters involved, told through Russel as the main character called "logicomix" may interest you for a light read.
Sorry nostr:npub1dtf79g6grzc48jqlfrzc7389rx08kn7gm03hsy9qqrww8jgtwaqq64hgu0 if the book doesn't live up to my hype for it 😬
You having issues today?
Believe it or not, this latter one is my own creation from earlier today. What have you accomplished today?!
Why did the young couple of melons with strict parents not get married?
Cuz they cantaloupe 🥁
Guy walks into a pizza joint
Can I get a pizza with prunes please
For here or to go?
To go, what else? ;)
Bad news, I can see this comment when I view this thread, but no notification to me even though I'm still seemingly tagged. Oh! Just now came in fwiw
Damus is usually the answer and the light
Just seeing this lol. That's an excellent idea. Came to me for similar reasons this morning
For example if excellent whooshes
Had to manually come find this. Sorry for future missed replies. Good luck 🤭
Nostr vpn sounds smart, but I'm too ignorant of how things work to know for sure.
Thanks for splainin
YouTube is up to all sort of fucktardery, I was watching this the other day about them automatically adding AI touchups to shorts:
https://www.youtube.com/watch?v=86nhP8tvbLY
I don't use Audible nor do I have an account with them, so that was particularly noticeable. I simply followed a .com link somebody posted here and it redirected me to the .co.uk site despite me being VPN'd to Belgium at the time.
I suspect they are using cookies or Mac addresses or injection testing to identify your real location. These are relatively complex things to do, but if you are incentivised to do it, very possible.
Bastards!
Is at least the promise (I think it's the case anyway) that using a vpn encrypts your traffic? 🥲
I googled each just as a test and showed someone just now. They guessed food both times and were wrong. Too nasty to post
I trust you know what you're talking about, but for YouTube specifically I've noticed changed functionality with in US vs out, using vpn. It's hard to recreate exactly each time, as there's also some interplay with being signed in possibly that I'm foggy on, but pretty sure PiP on free accounts doesn't work for me outside US but does inside (vpn used each way).
Is audible, in ur opinion, using knowledge of your account, or somehow defeating the vpn?
I definitely don't trust the one I use, and have been meaning to up my game
New game/website idea! Indian food or diarrhea? Close ups of either, user has to guess which 😬
Worse? Beat you by a turn
I love this one lol
Whoa, last one is too scary for me haha. First and esp second one I like! First reminds me of Jack Nicholson (sp?)
#Wordle 1,518 4/6
⬛⬛⬛🟨⬛
🟩⬛⬛⬛⬛
🟩⬛🟩🟩⬛
🟩🟩🟩🟩🟩
So you do? Was an educated guess. I have this minor theory that new dad minivan drivers are the most surprisingly aggressive drivers. You're not a new dad, so guessing you've exited this phase long ago.
Had to start using windows again after a break recently, and boy is it annoying sometimes (and I'm not a power user)


