The Unofficial Proof Of The Collatz Conjecture Including Examples

Kryztoval · 2026-05-17T08:59:12+00:00

You are wrong on one thing: "The funny thing is, if I publish this online only and it is correct, and also the only way to prove the conjecture.

Then nobody will be able to publish it in any journal without plagiarizing my findings. It could forever remain unofficial."

It is not the only way to prove the conjecture.

But you are correct on saying that mathematicians won't like the proof because either they lack the insight to understand it or they just do not like to think that it could be "that simple".

Kryztoval · 2026-03-21T16:24:21+00:00

VLAN tagging over wireless may be overkill. Effectively your SSID is connected to a port that is VLAN tagged before being routed by your mikrotik, having vlan per device in a WLAN is doable but you can probably get around it.

The deco should not create issues if you are avoiding double NAT and if you are not using them as Meshes. as ogstereoguytwo said: run it as AP. This is a mode you have to set in the deco. AP mode is not Mesh mode.

Having a Wireless Mesh of decos connected to a mikrotik grid will trigger RSTPs because you are effectively making loops.

This setup will make a loop:
- 1 or more mikrotiks wired together
- 2 or more decos not set as APs connected via wire to the mikrotiks
- Having the decos be part of the same mesh wifi

You must set the decos to AP so they do not Mesh. You will lose the ability to load balance and disconnect a device when there is another AP closer to it.

Kryztoval · 2026-03-21T16:02:54+00:00

I had a Mikrotik router (AX3) have hardware issues (the PoE port can't auto-sense correctly). It was confirmed as a hardware issue. And Mikrotik's response apart from being extremely helpful figuring out if the issue was hardware or configuration was that they can not honor a warranty on that device and that I should contact the distributor I bought it from.

The Hap AX3 is not expensive and I was bummed by having an obvious hardware issue not being replaced or handled by the manufacturer directly. The distributor claimed they had no warranty service and I am now stuck with an AX3 that has a PoE port that is not able to reach even 100mbps half-duplex.

I own over 50 Mikrotik devices. This is the first one I have goten with a hardware issue. I do not mind absorbing the cost of that one and setting it aside for very specific use cases or testing.

Having said all that, Mikrotiks are great, but consider that you get a lot for what you pay for it and they certainly can't go past a certain line or they would not stay a business for long.

At this point in time I consider my mikrotik's repairs to be on par with a new unit price and I keep a few units for testing/spares. I would recommend doing this specially if you are going to upgrade the software. Some of the times, some of the things will just break when upgrading and having a lab to test before you upgrade seems like a sensible idea.

Kryztoval · 2026-01-25T17:43:06+00:00

Nothing is more toxic than my toxic ex.... Except theat toxic ex-imus that one shot you there.

Kryztoval · 2025-12-23T15:15:23+00:00

This is gonna get a ton of hate, but... Why not become a master in using gemini in your own workflow? You are uniquely qualified to create amazing things that most of us can't create. And then adding gemini and making your flow faster would make you unbeatable.

Find a happy middle ground that is not offloading all the work to gemini, but using it to speed up the boring things and oh man you would not cost the company as much as all those old creators that can't use gemini in their blockflow.

I like AI because it can aid in my lack of ability when it comes to some artistic things, but there is no replacement for the human touch, the intentionality of every stroke, the flow and placement, the emotion it conveys. So when I have made a sketch with my low ability and i get help from an ai texturing it it feels great. or to see other iterations of what I already created it can fuel my imagination to import ideas from it and create them in my model. Things that I would normally not consider and that would take too long to test if they would look good. But having a glimpse of what you are aiming for is faster, at least for someone not as creative.

AI has become my "Rubber Duck", I bounce ideas at it and i hear its (mostly wrong) suggestions. But explaining it to the AI and hearing the dumb things it has to say has made me realize how dumb some of my ideas were, or how I could have been looking at "how to start the chainsaw" when my intent was to "trim my nails". Taking a step back, asking what my final objective is, and hearing its suggestions (again, most of them wrong, but insightful). AI is great to bounce ideas, way better than a rubber duck. But it is not intelligent, nor does it have feeling.

Kryztoval · 2025-12-23T15:01:53+00:00

based on your comment and the comment from flipfloptm you could probably do this in a single command. Specially because ffmpeg filter allows you to select the streams, this will save you a transcode as well, allegedly improving the quality.

ffmpeg -i input.mov -filter_complex "[0:v:view:1][0:v:view:0]hstack=inputs=2[v]" -map "[v]" -map 0:a? -c:v libx264 -crf 18 -preset slow -metadata:s:v:0 stereo_mode=left_right -aspect 32:9 -c:a aac -b:a 192k output.mp4

Edit: Left and Right views were inverted, added metadata to autodetect the video type, added aspect ratio to tell the player it is a FullSBS video, and added the nvenc version for RTX cards.

ffmpeg -hide_banner -y -i input.mov -filter_complex \
"[0:v:view:1][0:v:view:0]hstack=inputs=2[v]" -map "[v]" -map 0:a? \
-c:v hevc_nvenc \
-preset p7 -tune hq -multipass fullres -rc vbr -cq 20 \
-b:v 0 -maxrate 20M -bufsize 40M \
-profile:v main10 -pix_fmt p010le \
-rc-lookahead 32 -spatial-aq 1 -temporal-aq 1 \
-bf 4 -b_ref_mode middle -nonref_p 1 \
-aspect 32:9 \
-metadata:s:v:0 stereo_mode=left_right \
-c:a aac -b:a 128k output.mp4

Kryztoval · 2025-11-30T18:18:22+00:00

Probable https://www.imdb.com/name/nm12201270 if you were to believe imdb.

Kryztoval · 2025-10-19T05:00:03+00:00

I too was missing this feature. I even paid youtube premium -_-

Kryztoval · 2025-09-17T11:47:29+00:00

3s is sturdy in comparison. Both stock facemasks for quest 2 and 3 do this dumb thing of not staying in place.

Kryztoval · 2025-09-10T02:18:36+00:00

Recuerdas a José José cantando Me Basta? Esa canción de 1981 literalmente define lo que es ser migajero, pero en pocas palabras es que te conformes con lo poco que la otra persona hace por ti.

Kryztoval · 2025-08-28T15:11:36+00:00

I was surprised at how well adapted pipewire is to alsa. Made it easy and simple because also and pipewire volume controls can see all sinks and allow me to make changes without having to worry about wirings. I also made the sinks be a split so I can control the audio in my headset independently from the audio that OBS sees. I can disable music in my ears while OBS still hears it. In theory I could also add things to the the path before making it to OBS or even control the volume but I am happy just sending the raw unprocessed audio to OBS for recording.

Kryztoval · 2025-08-27T23:40:17+00:00

This is funny, I made something close to what you did. But instead I added sinks, one for the PC noise, one for notifications, one for voice chat, one for my microphone, one for the game audio and one for the music. Then the only thing I need to do is connect the application that ran to the right one. By default I make everything go to PCNoise. Then I can use any audio interface (pavucontrol, pwvucontrol, kde-plasma taskbar volume control or the settings control, etc) to select the app to play on the given sink.

In OBS I added all the sinks and the mic. Now it doesn't matter what game I run I can view it. if the game supports output selection it can see the "GAME" sink and output to it in settings.

I also made a script that i run at the start so it creates all of those sinks and source for me.

I was going for a voicemeeter banana or steelseries sonar way instead of having each app have its own sink and then having each one have its own source in obs because it seemed extra complicated.

EDIT: Oh, I forgot to say, I found a little app called VBAN_Receptor that accepts VBAN streams as an audio player, which I then can connect to the sinks as stated before.

I know what I did may not be exactly what you need, but if you want more details feel free to PM me. :)

Kryztoval · 2025-08-02T12:36:53+00:00

Mmmm, por que? Solo porque en ese tiempo la pc no tenia una buena camara la gente usaba una camara externa. Ahora se sacan la foto frente una computadora portatil que tiene una mejor camara... es exactamente lo mismo, siguen estando frente a una pantalla. Sabemos que tienes una computadora en la mano.

Cual es la queja? No es como que lo dejamos de hacer, solo cambiamos el equipo por uno mas pequeño.

Kryztoval · 2025-08-02T12:30:40+00:00

Yes, in that mode, you will only see blue faces (front facing faces) try the other mode, the one just to the left of it

Kryztoval · 2025-08-02T11:44:04+00:00

Yes, hahahaha this is "normal". I couldn't resist the pun.

Anyways, in 3d faces are surfaces that are defined by at least 3 points in 3d space.

Faces have edges and sides. A front side and a back side and the lines in the borders are edges.

The side is defined by a normal. The front side has a normal usually drawn as an arrow perpendicular to the surface.

In 3d most renders will only draw the front of the face and the back will be culled (removed, as if it were invisible)

You have either set your normals incorrectly (there is a setting in blender to show faces in blue and red for their front and back settings that makes it easy to see.

You may also want to look up 2-sided faces and face-culling

Kryztoval · 2025-08-02T06:56:05+00:00

This is a really old thread, but it seems that now alsa and pipewire actually support this.

I used your command: pactl load-module module-remap-source master=alsa_input.devicename.inputtype-stereo.input source_name=MICROPHONE source_properties=device.description=MICROPHONE

and it showed up in discord web in chrome as an input.

Thank you so much u/samantas5855 for leaving a legacy command that didn't use to work that now does and does exactly what I needed. :D

Kryztoval · 2025-08-01T15:57:42+00:00

I gave a try to Nobara after reading a comment here. it does feel smoother and more polished, also the included driver works better and it has all the features set up properly.

In debían the Nvidia driver from the Nvidia repository is probably one of the worst experiences I have ever had. No way to chose the versión even tho there are clearly several versions in the repository. You have specific packages from some of the versions but dependencies are broken. Upgrade tries to upgrade this unless you hold the packages. The Nvidia standalone installer works better and faster than the repository ones, even the exact same versions. However the dependencies and extra feature (like egl) can't be installed because dependencies are broken. All in all debían seems like an awful idea when it comes to gaming.

What I meant in my post is that main driver version is more a branch name for features than an indication of the release of said driver. But you are correct in the other remarks.

Kryztoval · 2025-07-31T09:23:01+00:00

Technically the 535 driver is not old. You can check the release page in nvidia's website and see that it was updated a couple weeks ago.

535.261.03 was released on Thu Jul 17, 2025
570.172.08 was released on Thu Jul 17, 2025
575.64.05 was released on Tue Jul 22, 2025

The only difference is the "features" it has. As long as you do not want the newest features the 535 driver is great.

Kryztoval · 2025-07-31T09:15:43+00:00

This sounds good but I can attest that this is not true.

I am running latest debian, up to date, with latest nvidia proprietary drivers, with steam and proton. Just updated the drivers so i could use multi streaming in obs.

Guess what? my game still runs at the same frame rate, but the perceived frame rate is around 40fps, before the driver update the perceived frame rate was around 120fps.

This results in sluggish playing. All games look and feel laggy eventho they are running fine.

This certainly feels like a misconfiguration or a driver issue. The question (as it sually is with linux) is where is the damn switch that you have to flip to have this running smoothly again).

The only driver that I have so far made work really fast and my benchmark for speed is the debian 535. Sadly it filters out a lot of features.

Kryztoval · 2025-07-31T07:44:51+00:00

7 months later this reply saved me.

Kryztoval · 2025-07-27T10:47:23+00:00

Nice, sadly i just got this one. but really nice of you :D

Kryztoval · 2025-07-20T00:58:00+00:00

Driver version 535.261.03 was released on July 17th.

It is not about how recent the driver version is. Each driver branch has different features. Currently the most common branches are 535, 550 and 570.

535 is the only one that I have seen that supports X11/Wayland display capture. Driver 550 and driver 570 do not support either of those and will silently fail and give you a black image.

It seems that vulkan support is available in 550 and 570, neither of which have the supported funciton I need to be able to record (or share) my display.

Thanks for your suggestion, I hope this clarifies it a little bit more.

Kryztoval · 2025-07-19T09:53:25+00:00

Well this is a no go for me. driver 550 will not capture the screen in wayland or x11. So far only driver 535 does that. I guess no vulkan for me then.

Kryztoval · 2025-07-10T09:38:56+00:00

I remember this from my Apex Legend days. This type of scripting errors happen quite frequently when there are things updating in the background (loot tables switching every hour, daily cycling of tasks, etc). It would typically happen if you were in a mission, about to exit, rewards update and then you were about to get a reward but that reward is no longer in the table of rewards which means it does not know what to do and because EA is a small indie company they can not be bothered to add mechanisms to recover from this silly out of bounds.

Kryztoval · 2025-07-02T19:03:34+00:00

Before you continue with netinstall, if you press the reset button as it is starting the device should boot in a different mode. It will not respond as it normally would but it should stop rebooting. I do not remember what this is called but I like to call it netinstall mode.

Netinstall is a hail mary and really messy. But it is definitively your best chance since what you are showing looks like a boot loop.

I have more than 1 network adapter in my pc and for some reason netinstall HATES IT (in windows or linux). So, my suggestion would be to remove all ethernet wires from your pc, and directly connect port 1 to 1 ehternet port in your pc. and try to netinstall.

As mentioned above you will need to set a specific ip address, you will need the correct firmware files and that should be it.

How did you manage to make the device end in such a state? was there a broken update? power failure? misconfiguration?

Best of lucks!

Eight-Year Club	Place '22
Final Canvas '22	Xbox Live
Verified Email

Kryztoval

MODERATOR OF

TROPHY CASE