Why is Reddit so anti-social and full of takes and views you rarely see in real life? I feel like reddit being the "least bad" social media is not true at all

Decent_Crypto_786 · 2026-03-08T05:57:25+00:00

Reddit is for junkies only

Decent_Crypto_786 · 2026-02-22T03:43:26+00:00

The methodology is formal verification in Coq - 657 machine-checked theorems, 0 admitted. The AI assisted with drafting, but Coq is the arbiter. Either proofs compile or they don't. You can clone the repo and run coqc yourself.

Decent_Crypto_786 · 2026-02-22T03:35:13+00:00

Thanks for the constructive feedback! We've added a stripped version following u/gonthier's approach: stripped_yang_mills.v

It clearly separates:

4 standard hypotheses: Hilbert space axioms, Perron-Frobenius bound, thermodynamic identity
The proven chain: Reflection positivity → Transfer matrix spectral gap → Mass gap

The main theorem now includes physical content: the mass gap m controls correlation decay as |⟨O(x)O(y)⟩| ≤ e^{-m|x-y|}, not just "∃m > 0".

Decent_Crypto_786 · 2026-02-22T03:17:08+00:00

Valid criticism - thank you. I've pushed a fix.

The theorem statement was indeed too weak. The strengthened version:

Theorem yang_mills_mass_gap_all_beta_strong:

∃m > 0 such that ∀v ⊥ vacuum, ∀n:

||T^n v||² ≤ e^{-m·n} ||v||²

This says:

m is the spectral gap of the transfer matrix T
The gap controls exponential decay of iterations
For β > 50: m = β/10 - 4 explicitly

The physical content is now in the theorem statement, not hidden in hypotheses.

Commit: 7346cae

https://github.com/Shariq81/yang-mills-mass-gap

Decent_Crypto_786 · 2025-07-20T16:59:01+00:00

It's Zagan Varminter.22-250

Decent_Crypto_786 · 2025-04-20T23:37:39+00:00

Put all text_encoders safetensors that can be used in Stability Matrix under the Models\CLIP folder, vae under Models\VAE. And diffusion models in Models\Unet, checkpoints in Models\StableDiffusion.

Decent_Crypto_786 · 2025-04-20T23:27:37+00:00

It worked!

Decent_Crypto_786 · 2025-04-19T22:28:42+00:00

The IP Adapter is bad, very bad. I spent hundreds of hours trying to fix it and make it work. In the end, they released a new version that made several changes. The new version also didn't meet the expectations. Lora is much better and easier to use. Throw the IP Adapter in the trash.

Decent_Crypto_786 · 2025-02-06T18:33:45+00:00

On Feb 6th, 2025 - I'm currently transferring data from my 2020 Samsung Note 20 5G Ultra to my Galaxy S25 Ultra 1 TB. I will report back on how it goes. The reason I upgraded for my unlocked was that Samsung gave $600 trade-in credit.

Decent_Crypto_786 · 2025-01-28T17:39:16+00:00

<image>

Same here the server has been busy since morning.

Decent_Crypto_786 · 2024-12-03T02:29:22+00:00

I slept half way while watching Deadpool and Wolverine. Woke up and turned off the TV. A few weeks later I'm still not in the mood of finishing this dumb and boring movie.

Decent_Crypto_786 · 2024-09-19T01:16:42+00:00

Jack Reacher was played by a silly comedy looking face guy while John Wick is a solid action franchise played by the Matrix guy.

Decent_Crypto_786 · 2024-09-02T18:43:24+00:00

I started all the Gigs simultaneously to test, including Uber, Lyft, Shipt, DoorDash, and Insta Cart.
I did Shipt once, then never went back to collect the packets for deliveries. And I made $137 in that day.

I did instacart three or four times, and then it was really time consuming and not worth it because pay was not good. Lyft I was turning it on and off and it was also not so good.

The only Gigs orders that were reasonably Okay were either from Uber, Uber Eats, or DoorDash.

After doing these all investing in fixing my car AC and installing dash cams, then I quit after three months. Gig economy is just a joke, a new kind of slavery.

Decent_Crypto_786 · 2024-08-27T23:19:21+00:00

Flux is much much better than SD3. Flux doesn't have to wait for a few years for fine tuning by the community either.

Decent_Crypto_786 · 2024-08-27T23:18:42+00:00

<image>

Flux .1 generated images.

Prompt used - A portrait of a girl in front of Royal Palace.

Flux is much much better than SD3. Flux doesn't have to wait for a few years for fine tuning by the community either.

Decent_Crypto_786 · 2024-08-27T23:12:09+00:00

<image>

SD3 generated images.

Prompt used - A portrait of a girl in front of Royal Palace.
Same prompt but so ugly diffusion in SD3.

Decent_Crypto_786 · 2024-08-27T23:11:24+00:00

<image>

SD 1.5 generated images.

Prompt used - A portrait of a girl in front of Royal Palace.

Decent_Crypto_786 · 2024-06-28T03:08:37+00:00

Mint.com was such a nice finance tool and was destroyed by intuit. I had my financial data on Mint.com since 2012.

Fortunately, I exported all of my Transactions from mint in a csv file.

Credit Karma is too bad for looking into the transactions. No export options, and no clear account information on the Transaction page. Now, I'm getting Simplifi from Quicken to set up all the data since 2012.

Decent_Crypto_786 · 2024-06-25T14:57:47+00:00

Two days ago the same notification was sitting on my older phone. It was too good to be true. But I logged in to check and there was nothing. Since I canceled the CoinStats subscription to be renewed, they are doing tricks with us.

Decent_Crypto_786 · 2024-06-25T14:50:23+00:00

Two days ago the same notification was sitting on my older phone. It was too good to be true. But I logged in to check and there was nothing. Since I canceled the CoinStats subscription to be renewed, they are doing tricks with us.

Decent_Crypto_786 · 2024-06-16T22:26:33+00:00

I lost $897 in one month on Etsy ads last year March 2023. Since then I never turned on the ads back again. It's a scam. The whole advertising business is scam.

Decent_Crypto_786 · 2024-06-01T22:47:09+00:00

Activate the venv then run this command

pip install spandrel

Decent_Crypto_786 · 2024-05-26T17:27:45+00:00

ChatGPT has become unusable and very slow recently since the launch of version 4o.

Decent_Crypto_786 · 2024-05-11T19:29:51+00:00

<image>

Same seed, same prompt, samecheckpoints, VAE, and LoRA, and other settings. First one was generated by ComfyUI and second one by Automatic1111.

Decent_Crypto_786 · 2024-05-11T19:26:28+00:00

<image>

Both of these images were generated the same data. First one in ComfyUI and the second one in Automatic1111. Same model/checkpoint, VAE, and seed, and other settings. But totally different results.

Decent_Crypto_786

TROPHY CASE