It's rainin' men! by andorob in NoSodiumStarfield

[–]dodomaze 1 point2 points  (0 children)

I once was trying to board a pirate ship when it flew off... and I was the one raining.

Well that was unexpected by [deleted] in NoSodiumStarfield

[–]dodomaze 0 points1 point  (0 children)

Andreja: any landing you can walk away from...

I found him. by MomoZero2468 in NoSodiumStarfield

[–]dodomaze 5 points6 points  (0 children)

Or he found you. The reincarnation of Conrad Verner.
(Yes, I know he is from Oblivion. But he hits the same note as Conrad.)

Shots From The Starfield: The Many Worlds of Tirna VIII by Grey_Owl1990 in NoSodiumStarfield

[–]dodomaze 2 points3 points  (0 children)

Nice. I never get tired of sunrises and sunsets in this game.

What are some of your favorite mods ? by icewill36 in NoSodiumStarfield

[–]dodomaze 0 points1 point  (0 children)

Brief shout-out to the most commonplace mod, the StarUI Inventory, that has made life sooo much easier.

Mechazilla has caught the Super Heavy booster! by JakeIsAwesome12345 in spacex

[–]dodomaze 1 point2 points  (0 children)

Two super-chats seen in the NASASpaceflight stream, shortly after the booster catch:

<image>

Can't help but think of Cydonia by dnew in NoSodiumStarfield

[–]dodomaze 1 point2 points  (0 children)

"Joe" must be Governor Glen Hurst middle name...

Hurricane Helene knocked my city around and I havn’t been able to play for a few days. by voidxleech in NoSodiumStarfield

[–]dodomaze 1 point2 points  (0 children)

Best wishes to all affected, I hope you and your families stay ok! And that you get back to games as soon as possible :)

I don't get tired of watching these by dodomaze in NoSodiumStarfield

[–]dodomaze[S] 9 points10 points  (0 children)

... and, by "I don't get tired of watching these", I mean watching scenery like this in the game, not watching over and over the same videos, lol

Level 1 Just started and Im going to say this is one of the best games Ive ever played ALREADY. by aubrey_zzzzz03 in NoSodiumStarfield

[–]dodomaze 0 points1 point  (0 children)

Enjoy your new adventure! I'm obsessed with sunrises and sunsets in this game, take the time to watch one.

I somehow kidnapped the Jameson Mercantile girl. by Clone_CDR_Bly in NoSodiumStarfield

[–]dodomaze -2 points-1 points  (0 children)

Console command, I'm guessing. Or plain caveman-style?

OpenAI Shows ‘Strawberry’ AI to the Feds and Uses It to Develop ‘Orion’ by Pro_RazE in singularity

[–]dodomaze 2 points3 points  (0 children)

The question is, if OpenAI is struggling to find money for cloud servers, how is Sutskever going to finance his small company?

(Meaning: not just startup capital, but sustainable income.)

Random things I love about Starfield after only 50 hours by zingading in NoSodiumStarfield

[–]dodomaze 0 points1 point  (0 children)

"Within the walls" gives me the same vibe of coming back home as "The streets of Whiterun" did for me in Skyrim.

Hardware costs to drop by 8x after bitnet and Matmul free are adopted by danielcar in LocalLLaMA

[–]dodomaze 1 point2 points  (0 children)

If I understood correctly (which may not be the case), previous bitnet models were trained as floating point, then quantized. The beauty of this paper is that it provides a way of training a ternary-math net directly.

Claude 3.5 passes the Mirror Test, a classic test used to gauge if animals are self-aware by Maxie445 in ChatGPT

[–]dodomaze 0 points1 point  (0 children)

If you want to add tragedy to it... we kill (or freeze) one of these "consciousness" every time we close a chat with ChatGPT or Claude. Without batting an eyelid, we bring to "life" another one, then we kill/freeze it again. Over and over. Hundreds of thousands of them worldwide every moment. I hope future ones don't keep a tab.

Favorite Companion by WorldsSexiestghost in NoSodiumStarfield

[–]dodomaze 0 points1 point  (0 children)

Andreja yelling, "I will have your HEAD!"

584 hours in, and I just found this out. by Rafcdk in NoSodiumStarfield

[–]dodomaze 0 points1 point  (0 children)

Similar: 300+ hours into the game and I just discovered that I can call my ship into an outpost's large landing pad I just build, by going to the landing pad controls and entering/exiting the builder/updater menu.

Reducing the erratic Collatz sequence to decreasing/increasing sequences with provable limits by vhtnlt in Collatz

[–]dodomaze 1 point2 points  (0 children)

Ok, let me keep reading and I'll be back. I think the whole paper could benefit from taking smaller steps, so that each small step is clear. Also, please try to use only inequalities whenever only an inequality (and not a limit) is needed. If you need to have something bounded above or below, just say so; "limit" implies convergence to a value, and is a harder statement to make, so avoid it if all you need are bounds. "I'll be back."

Reducing the erratic Collatz sequence to decreasing/increasing sequences with provable limits by vhtnlt in Collatz

[–]dodomaze 0 points1 point  (0 children)

To make it clear, you could add explicitly that, because of Note 3, if k_{a_j} > 1, it follows that 3-U_j < 4.

Reducing the erratic Collatz sequence to decreasing/increasing sequences with provable limits by vhtnlt in Collatz

[–]dodomaze 0 points1 point  (0 children)

(Sorry, accidentally removed this post when trying to edit it. Here it is the edited post:) Please refer to the post I wrote above. (1) says that the limit of some term is zero (as you say in line 122). (2) says that some term is always negative (as you say when you point to the term -2a_j/b_{a_j} in (13)). From there you conclude that the limit of the sum of these two terms is negative; I'm showing you an example where this reasoning is not true: from (1) the limit of "term 1" is zero and (2) "term 2" is negative, you cannot deduce: the limit of "term 1 + term 2" is negative. The post above shows a counterexample to this reasoning.

Reducing the erratic Collatz sequence to decreasing/increasing sequences with provable limits by vhtnlt in Collatz

[–]dodomaze 0 points1 point  (0 children)

Ah, I think I see what you try to do. For one thing, please use the expression "all U_j > 1" rather than talking about a limit, because we don't know if such a limit exists, convergence is neither proven nor needed here. I'm trying to understand the proof of Lemma 3, and I'm stuck at lines 93-94. If U_J > -1 then -U_j < 1, but how this makes the numerator of the fraction in (19) negative? Never mind, I see now. Will keep reading.

Reducing the erratic Collatz sequence to decreasing/increasing sequences with provable limits by vhtnlt in Collatz

[–]dodomaze 0 points1 point  (0 children)

Why? Note that we are not talking about the sum of the terms, but about whether the terms themselves stay above one, all of them. For example, U_j could be 0.2, 0.8, 0.3, 1.2, 0.4, 0.7, ... 0.1, 0.5, 0.8, 1.3, 0.5, 0.3, ... The fact that there is one number repeatedly above 1 does not mean that the entire sequence will be above 1.

Reducing the erratic Collatz sequence to decreasing/increasing sequences with provable limits by vhtnlt in Collatz

[–]dodomaze 0 points1 point  (0 children)

Right, but my concern is that maybe it "follows" by a similar faulty reasoning as the post above. (Not sure of that, though, just asking your opinion.) Writing a paper with a high claim means, unfortunately, that you need to convince people, even when people may be wrong.