Found a nifty way of generating the 7th dedekind number because of how it uses the difference of powers, and the sum of the fifth and sixth dedekind numbers:

((5**d(10))-(5^(9)))-((((5+168)*2)+7581)*2)

Pretty sure its a one-off though. Couldn't find any generalizations. Just a happy accident.

@retoor the math beats meth, hands down.

Something cool actually, if you look at the dedekinds, they're all divisible by three. But actually you can generalize this. They're all divisible by three, so 1. they belong to the set of all combinations of numbers composing those integer whose digits sum to 3, 2. the subset of which are the dedekinds (excluding the number 2)

I don't think anyones actually pursued it, but you could probably compute integers with combinations of digits that sum to 3, check if they're divisible by three, and by doing that generate the set of *potential* dedekind numbers, which is naturally bigger than the dedekinds.

Might be a good research angle for sussing out signs that distinguish the dedekinds from their siblings in the set.

Anyway, what do you do on saturdays?

edit: I'm half asleep. The dedekinds aren't themselves always divisible by three, but

(((n+1)*n)/2) is for all known dedekinds.

@retoor "My language can handle and mutate 7.000.000.000 items of data easily."

Oh, fucking cool. I take it you're running on beefy hardware?

Is your language primarily working on the heap or no? Whats it comparable to?

What got you wanting to build a new language?

((5^d(10))-(5^(9)))-((((5+168)*2)+7581)*2)

got dammit, I need to start learning to edit before posting.

@retoor look I might be kinda gullible, because the world is funner that way, but now you're just fucking with me.

Good morning to you too.

Lets play two lies and the truth.

I can run a ten second 100 meter dash.

I once made sixty thousand dollars in one night, and lost it all the next day just because I could.

To settle a wager, I once ate a pound of P.B. Fouke's strongest badger poison and then ran a mile in the nude.

@retoor "I go for the sixty thousand dollar thingy as a lie because how would both opportunity to gain as well lose it come in such short notice?

"

Well she said she'd crush my soul for 60k.

How was I supposed to know she was gonna run off with the money after tying me up?

As to the source of the money, I won a small gold fiddle after beating an oddly dressed vaudevillian stranger in a fiddling contest down in georgia.

Post a repo if you got it.

@retoor I'll spin up the hamsters right now. They have to run a while to charge the capacitors.

I could also try running it on my babbage machine...

Jokes aside, I get why a lot of people are guarded.

I haven't looked at btrees in so long I don't know what I'm looking at.

Wrote an interpreter for an AP class way back. I look at this sort of thing now, and I'm like, how the fuck did I do that?

Have always been blown away by small optimizations that have a big impact, like say john carmacks fast inverse square root.

@retoor careful, that'll turn you inside out! Only maniacs do that on tuesday.

So do you really live in a chateau? And if so, why?

Did you like stumble through a narnia-esque wardrobe or something? Are there talking animals?

@retoor a snake charmer, a killer, and a chalet.

how often you lock people in your basement?

sounds like almost as much fun as where I'm at. Going for a long raft up river this fall, white water.

Maybe hike the appalachians finally.

Found me an alcoholic homeless marine to take camping last time. We cooked steak over the fire and he told me wild ass stories about getting into street brawls on the west coast during the 2020 riots. He knew way too much about explosives and wouldn't stop talking about all the bombs he'd taken apart, or how they were made. I wasn't particularly keen on being on that sort of list, but he loved every minute of his job apparently. He showed me how to tie a snare and some other survival shit which I've since forgot. Cool dude. 8/10 would camp with PTSD-Rambo again.

You do hiking/camping or you prefer to party at home?

@retoor Ah, the rare glamper. I thought we got you all in the purges.

In any case, only went skiing once, was fantastic. Prefer climbing up rather than going down a mountain though.

You seem cool and kinda freaky like me. Only thing I haven't had a chance to do is flying, or paramotoring. If I ever get around to trying it, your welcome to come. In fact, I guarantee it, lol.

@Wisecrack dedekind numbers seem pretty fascinating as I am looking into this, although I don’t think they are all divisible by three.

@chonky-quiche no, they're not all divisible by 3, I'm just a lunatic that forgot to post the actual equation.

((n+1)*n)/2

Always appears to be divisible for the known dedekinds. Come to think of it, I *only* tried it on the dedekinds.

But thanks for pointing it out.

Tried some things including estimating the rate of change between the numbers, in log form.

The original equation was an attempt to approximate the series using differences of powers as you can see.

Not much success but the outcome is cool for what it is.

I got it fucking wrong twice.

The minus shoulda been a plus.

Just posting it hear to remind myself to fucking triple check in the future

((5^10)-(5^9))+((((5+168)*2)+7581)*2) =

7828354 = D(6)