Look out
I was gonna jokingly asked if they're hiring. Another, maybe more realistic goal, is to be a bread maker in Europe. That seems like a satisfying life
Sorry, I'll get them fixed
#Wordle 1,525 4/6
⬛🟨🟨⬛⬛
⬛⬛🟨🟨🟨
⬛🟩🟨🟩⬛
🟩🟩🟩🟩🟩
You don't sound sincere enough 🤨🤔
nostr:npub162zpxufpw8pnuytaf0gfxzkqtvk9rvcwkvppa7x57y3n7qkfpg4shatdhy you think there’s a message in there? 🤭
Yeah we can see them too, just don't burst Ryan's bubble today
In just a year of development?!
Oof the dreaded web bandaid
Get f*cked hahaha
In what sense? Under delivers and valuations come down? I honestly can't tell. The coding help and search is definitely a huge thing, but not so sure how much further it'll go
Wdyt? GM
When you're NOSTRing
There's NOSTRings attached
#marketingnostr
We see the future. The only race amethyst is in, is the race to the bottom 🤔🔮
Forgot I was listening to one of yours and was enjoying the spacey vibe
https://wavlake.com/track/a7845038-71c9-4124-8f62-fcea42073611
nostr:nevent1qvzqqqpxquqzqke9t7k0v0meg6lguwgpmtjfcdgvw24nnm7vy6nssltzh3ldtclmqwrqgy
GM yeah I figured it wasn't an exclusionary criterion
Yeah, same. Think I only checked him out cuz of collab being good
Ah, so I'm aparat...lame. He sucks
It's a trio? Fml
I guess npub can be guy on left 🤭
Speaking of ear bleeds, I just learned that the old guy who got pushed down in some riots a couple or more years ago, who had blood coming out of his ear etc., was grifting the whole thing and set it up to get famous/paid.
Why am I just now hearing this?!
4 seconds in and my ears are bleeding! Great content
Oh right! I've still been guessing plurals now and then. Don't think I'd picked up on that informal rule. And yeah, it's never those longshot guess-words that go through
Me too! I almost never scroll the Notes only tab. Think we're in the minority
Not bad. I've played with AI for math stuff before and it does ok. Been a few months since I have, so maybe it's gotten better, but early experience was that it quickly gets lost if you go too deep; mine started spewing incoherent sounds a few times lol
Not bad, though a bit verbose. I think the question may be a bit off for getting the best response. One of the more important properties, and what distinguishes them from the rationals the most, is the properties of them as a linear order (every bounded subset contains a least upper bound inside the real set itself). And I think something like containing a dense countable subset (the rationals) yields their unique/categorical property. This is mentioned in the book, as you know.
So you have these desirable properties your intuition wants them to have, and are able to prove that the description given uniquely captures it. So if two people were to discuss them, you can be sure that their conceptions are identical. There's a little nuance im hesitant to even mention, but I will, and that's that these canonical model proofs rely on second order logic. Which is fine, but when you get to completeness theorem it might confuse a bit since there you are restricting to first order logic.
