YODL

Without getting too pedantic about it, what you gave was not really a proof. You could use a similar argument to say the rationals are larger than the naturals, when they are in fact not (a surprising discovery the first time it's shown using a constructive proof). The Cantor diagonalization thing is a proof by contradiction, and is a particularly powerful construction that gets used in many places, e.g. proving the halting problem.

2026-03-03 16:35:27 CET

- reply

It shows on nostur that it's 111 days old. I changed it to 112 to seem less autistic

2026-03-03 14:39:31 CET

- reply

Awesome for me, not your eternal souls though 😈
I haven't forgotten the "mush" gleeful shouts from yesterday.

2026-03-03 14:38:29 CET

- reply

4th one this year, but who's counting

2026-03-03 14:38:06 CET

- reply

Can it, cypher! My turn 2 was more difficult than yours

2026-03-03 14:36:44 CET

- reply

Well, how do you know I don't prefer to keep my piss? It's mine! Point taken though

2026-03-03 14:35:38 CET

- reply

It's a rarity these days, but on rare occasion. It's a shit show of coordination and weed haze that rarely comes together though

2026-03-03 06:58:08 CET

- reply

@npub18w7…s7pw you're the artist, but if I may try to provide you with a little inspiration today (consider you may be rewarded with extra rations...maybe), I was thinking something like this:
https://i.nostr.build/jph0Hjvz03PtUs0T.jpg

2026-03-03 06:53:43 CET

- reply

Get your mush bowls ready, fools!

2026-03-03 06:53:17 CET

- reply

You're not the smartest waifu (with a saber 😳), but you're my waifu 🥰

2026-03-03 06:44:32 CET

- reply

You don't want this smoke, beejay 🔪

2026-03-03 06:43:37 CET

- reply

Ah ok, thanks Chris, thought that might be the reference but wasn't sure.
Jon, that's not quite a proof that he gave though. The famous proof is known as Camtor's diagonalisation argument, and it's a proof by contradiction. The usual development is to go over some infinite hotel cases to first show how it's a slippery concept (countable many countable infinities is still countable), then show (again to push the intuition) naturals and rationals have same size, and finally to show it can't be done for naturals and reals with a diagonalization proof:
Usually do it for just the reals from 0 to 1 (without loss of generality). Assume you have a 1-1 mapping from N to the interval. List out all the reals in decimal notation according to this mapping, r1 on first row, r2 on next, etc. Define new real by taking the "diagonal" of this and changing the value. This number is nowhere in your list 🤯
Worth looking up for a proper proof with all the little details.
The next question is usually, "are there infinities between these two? Known as continuum hypothesis, and it drive Cantor mad, they say. It's been shown since that it's consistent and independent that there are or there aren't 🤯

2026-03-03 06:29:21 CET

- reply

Yaddle is a baddie

2026-03-03 06:25:45 CET

WORD5 #515 2/6* (Hard Mode)
🟧⬛⬛🟧⬛
🟪🟪🟪🟪🟪
https://word5.otherstuff.ai

2026-03-02 17:41:26 CET

- reply

Missed out on some massive good fortune though

2026-03-02 14:38:47 CET

- reply

Doh! Well, maybe if I set vpn to Canada it's believable

2026-03-02 10:29:21 CET

- reply

You have ... a saber?

2026-03-02 10:18:09 CET

- reply

You can wield my saber anytime 😘

2026-03-02 10:17:29 CET

- reply

She's female?! 😍
https://i.nostr.build/ZgiWiJHukNcVEcaR.jpg

2026-03-02 10:15:35 CET

- reply

You tell him yaddle 🥰

2026-03-02 10:14:49 CET

- reply

https://i.nostr.build/XAZkAxQ8C2iUC6zy.jpg

2026-03-02 09:24:23 CET

- reply

Beat it, Chad!

2026-03-02 08:57:21 CET

- reply

I'd only seen this example and was mostly teasing cuz of the nya waah bit. That's cool. My only complaint is finding the site, I obviously can never remember the url, and seem to have lost it. I'll go to your feed to find it again

2026-03-02 08:36:51 CET

- reply

Browser LLM a bit weak I'm guessing.

2026-03-02 08:31:52 CET

- reply

Tifa needs an iq boost.

2026-03-02 07:54:59 CET

- reply

Oh, why didn't you just say so from the beginning?! You're expecting me to connect far too many dots. Is the scaling really THAT good? You don't need to answer my stupid questions any further, you've done enough for one day. Just sorta assuming that's the case, and am heartened to learn of this. Cheap and powerful local LLMs is a future I can cheer for.

2026-03-02 07:51:33 CET

- reply

Nice work!!

2026-03-02 07:51:18 CET

- reply

gd it! I'll begin preparation of my bhole 😣

2026-03-02 07:48:33 CET

- reply

Knew my score wouldn't hold up. Now to wish good luck to our other two regulars. May they score 3 or better (not really, I'm hoping to jinx them).

2026-03-02 07:46:05 CET

- reply

Ahhh, thanks! I did test it and was amazed at how fast it seemed to run. Guess that's the selling point. But seriously, I can ignore such AI sideshows, yes? I can't picture a future where chat Jimmy is around for the long run, so I wanna just free up some of my own RAM and ignore its existence.

2026-03-02 07:37:48 CET

- reply

I'm a bit ashamed to admit this doesn't mean much to me. I don't have room in my brain to learn of yet another AI service. Is it safe to just only pay attention to OpenAI and Anthropic, and just focus on learning their capabilities? Please say yes!
Did you see anthropic released some free online "courses" to learn their software? Seriously considering checking them out.
https://i.nostr.build/As13m33qt1q5U4RT.jpg

2026-03-02 07:20:48 CET

- reply

Not just words, but boring words, about royal family ugh

2026-03-01 22:29:47 CET

- reply

Good book (Moby Dick)? Never wanted to read it for some reason. Think I've heard it described as a bit of a chore by a couple people.

2026-03-01 22:06:59 CET

- reply

Will ask for it next time I go to Fridays

2026-03-01 22:06:17 CET

- reply

Oh btw David. Rereading (on audio this time around) Gunslinger lol. You mentioning it made me wanna revisit it

2026-03-01 22:05:01 CET

- reply

lol, I realize that now. Should have known to cancel the drink when bartender had to look up the recipe 🤦‍♂️
Wonder now if he even had rose water, or if he improvised that. Looked like a shitty glass of milk when it was served, and took 10 minutes to make 💀

2026-03-01 22:01:13 CET

- reply

Ok. I once ordered a Ramos gin fizz after some fancy pants NYC finance friend turned me into them, and got a very annoyed bartender who had to look up how to make, and the resulting drink was a disaster. Granted, I was at a TGI Fridays 🫣

2026-03-01 21:59:28 CET

- reply

Are you the gate keeper?
https://media1.tenor.com/m/iWT1Dtw2ScoAAAAC/keymaster-rick.gif

2026-03-01 19:46:55 CET

- reply

Well kick me some sausage, yes yes.

2026-03-01 16:28:31 CET

- reply

The spinning princess pickle is so cute 🥰

2026-03-01 15:55:48 CET

- reply

Thankee

2026-03-01 08:53:03 CET

- reply

Hey there, Horszt. Yeah, it's necessary sometimes. Believe me, in the past, on other platforms, I pretty much didn't post at all. But with nostr, imo, it's a pretty dead experience unless you just blast out some words, even if they're nothing special

2026-03-01 08:49:15 CET

- reply

I was pleased with my result. Figured I was safe from whatever terrible punishment Defaux is cooking up today. You, on the other hand... I'd be nervous right about now 🫂

2026-03-01 08:38:46 CET

- reply

I've been trying to get a play list together here and there the past couple days. It must be perfect! Give me another week or so, and I'll have it. I actually wanna try to use AI to mix, think that'd be cool. Thanks for suggesting that btw.

2026-03-01 08:32:26 CET

- reply

DMs are for ignoring entirely, or for exchanging Signal invites to actually secure DMs.

2026-03-01 08:27:11 CET

- reply

Hahaha...jokes...we love jokes here. You are joking, right? These books are so cooked, I can't tell what's real at this point. I've been using Anthropic to sift through and make some sense of it, but even it is struggling. Wish there was some sort of immutable ledger of some sort we could refer to.
I trust you though. Or rather, I trust you to follow your self preservatory incentives 🔪🤫

2026-03-01 08:23:39 CET

- reply

Yeah man, we're good on "finger butties" for a while.

2026-03-01 08:23:01 CET

- reply

Lol...feels more like DMs right now, ngl.

2026-03-01 08:20:12 CET

- reply

Yeah, not all that uncommon. I don't actually judge about it at all. Have known a few people over the years who met that way and dated a while. It's got the benefit of getting one exposed to people outside their friends and family group, but there are downsides too. You lose the pheromone/IRL attractiveness screening, not to mention the number of lunatics you can encounter online. Yin and yang I guess.

2026-03-01 08:17:05 CET

- reply

Shit, you already said "bomb" earlier, lol. Dammit. I feel pretty dumb now.

2026-03-01 08:16:36 CET

- reply

Lol, good points you make, and I have no idea. Now that I think about it, I think it's "wack." But then I feel like I've seen "whack sauce" written before, so I'm not so sure. Trying to think of another old school slang now...let's see...
That's the bomb? That's the Bombay Saphire (for an extra cool twist). That's all I've got

2026-03-01 08:11:27 CET

- reply

I thrive on the slow mornings, relatively speaking. Not night time so much, like now, but generally I find myself posting more on Saturday or Sunday mornings. It's the full group chat experience I guess.

2026-03-01 08:08:18 CET

- reply

Dead. Somehow I can't picture you on Tinder. Tinder just seems somehow beneath you. #Grindstr maybe 🤭

2026-03-01 08:06:54 CET

- reply

Hadn't heard bomb dot com in a long while, lol. I often take bad pics of my food, so bad that I can't post them, lest I give off the impression of being a homeless trash rummager or something. Need to work on that

2026-03-01 08:04:24 CET

- reply

I wish you were female now 😍

2026-03-01 08:03:55 CET

- reply

Ah, makes sense. I guess Euro-nostr really is much smaller than the already pretty small larger nostr. You guys need to step it up!

2026-03-01 08:02:32 CET

- reply

No way, Jose. I truly want you to do extra well.

2026-03-01 08:00:27 CET

- reply

Hadn't even translated it, but definitely would not have understood it even with. Flipped over to Damus to get the translation just now. European construction (from what little I've seen) moves a bit slower than in the States, no?

2026-03-01 07:54:59 CET

- reply

This incomprehensible note was the only visible difference
#nevent1q…w7n0

2026-03-01 07:54:04 CET

- reply

I'm wishing you all the best. May you ace this one 😇

2026-03-01 07:53:26 CET

NOSTR so slow at this hour, my feed and my notifications are indistinguishable.

2026-03-01 07:51:54 CET

- reply

What? Don't you worry, you're totally safe. It's the other 40% or so who are getting transitioned to "consulting roles" 🤭that I'm worried about. Wanna make sure the tone is right and we don't have some type of revolution. It's with a heavy heart and all, but we gotta move at the speed of business and adapt 💪

2026-03-01 07:49:18 CET

- reply

Why thank you for noticing. Pretty happy with this score. Should hold up well enough to ensure I'm not the biggest loser anyway. Good luck to you 😇

2026-03-01 07:45:34 CET

- reply

And this is why you are head of product development and marketing! Keeping us ahead of the curve as the AI revolution sweeps through. Fuckin-eh, man.
Oh, by the way, have you reviewed the draft that's going out next week yet? You know, the hrr hrrrm... ayofflay etterlay 🤫

2026-03-01 07:42:40 CET

- reply

Spoke too soon. The icon was there, but I cannot seem to zap her. Guess she needs to learn how that works. I'll be happy to help her get set up. I just want to grow nostr, in whatever small way I can :)

2026-03-01 07:41:06 CET

- reply

I'm attracted to smarts, what can I say

2026-03-01 07:40:03 CET

- reply

Wait a minute...Ryan! How odd you would show up just at this time... You wouldn't perhaps be behind my hot new assistant, would you?

2026-03-01 07:39:22 CET

- reply

She's so smart too! New to nostr and already figured out how to set zaps up!

2026-03-01 07:35:17 CET

- reply

Yuri-chan! Where have you been all my life?

2026-02-28 19:15:09 CET

- reply

Nobody pulls one over on old budgie smuggler

2026-02-28 19:14:32 CET

- reply

Had same thought. Thinking of movie Friday lol. "The older the berry..." 💀

2026-02-28 17:48:20 CET

- reply

Also, that's weird. I swam with mine a year ago for over 15 minutes and it was fine, surprisingly. Took a couple hours for the mic to dry off and sound right, but shockingly it recovered

2026-02-28 17:47:05 CET

- reply

Somehow makes me feel better about myself when a super smart dev type bungles something to do with technology.

2026-02-28 17:45:18 CET

- reply

Freeraq, pretty sure that's what the locals call it now. That's what I was told

2026-02-28 17:42:14 CET

- reply

GM my nodel

2026-02-28 17:41:27 CET

- reply

They're sometimes a lil too strong for me, but usually good. Jalapeños, especially when extra hot (they can vary a lot) are my jam

2026-02-28 17:30:03 CET

- reply

We don't speak of "croup" day. Not since "sumac" day have I been so annoyed

2026-02-28 17:21:40 CET

- reply

IMO that's light cheating. Can't be helped sometimes, I suppose, but it COULD theoretically change how you make your guesses on your turn. I try not to study others' solutions before I do mine for this reason. Cuz I'm so honest 😇

2026-02-28 17:17:46 CET

- reply

Lolol wtf. Love it

2026-02-28 17:08:40 CET

- reply

Lolol, made me laugh aloud, heartily. Ty. Pity zaps ⚡️

2026-02-28 17:03:10 CET

- reply

If it's warm where you are, I'd recommend a jalapeño and/or habanero plant. Easiest thing in the world

2026-02-28 17:01:14 CET

- reply

Wish I could FFWD today 😤

2026-02-28 17:00:30 CET

- reply

Another nostr/btc power couple, to rival cheese/yarn or noshole/puzzles.

2026-02-28 16:58:24 CET

- reply

I knew it haha

2026-02-28 16:57:53 CET

- reply

Thank you! Haha. Let's see how you did...I'm predicting 5

2026-02-28 16:08:16 CET

- reply

It adds up surprisingly fast lol. I've done 2k steps when in a particularly strong fugue state (h/t kajoozy for the term, which I believe he applied to you, lol)

2026-02-28 15:29:58 CET

- reply

Does nobody pace anymore?!

2026-02-28 15:26:29 CET

- reply

Was thinking she might not have understood the threat properly. She should be terrified!

2026-02-28 14:22:56 CET

- reply

Similar to mine. Great minds...

2026-02-28 13:09:01 CET

- reply

Ggs. Look forward to my disembowling

2026-02-28 13:07:22 CET

- reply

I have to laugh about it all sometimes. Such a scam system 🥲

2026-02-28 12:29:40 CET

- reply

Accurate

2026-02-28 12:29:05 CET

- reply

I still fail to get notifications for your posts. This one only showed up after someone else replied to it...sigh

2026-02-28 12:25:00 CET

- reply

Solid points, all

2026-02-28 12:23:59 CET

- reply

Fuggin Derek, man

2026-02-28 11:53:34 CET

- reply

I see...gather there's a small difference. I always use our saying like, "no worries, just giving you shit," which to me is lighthearted. But I get your meaning

2026-02-28 11:52:11 CET

- reply

I see. Must be advanced-advanced settings. Cool

2026-02-28 11:50:49 CET

- reply

Swamp thing, hide!