John Holder

John Holder. Independent math researcher working on Kalman filters and estimation error. 11+ yrs I.T. exp. Building Retroment Gaming in Florida.

[John Holder @RedWingedDuck]

Hi, I am John. Software dev and indie game studio founder, researching how to perfect the operating envelope by nailing down the exact math. I post about math, classic games, and developing my own.

[John Holder @RedWingedDuck]

@jstock37 Okay, so just imagine .. it is proofable, we use it every day already like quantum entanglement we just expect the answer without know why it's happening... That is the difference

Knowing the answer, not really caring how we got there as long as it works lol

[John Holder @RedWingedDuck]

@ClintonDesveaux It does seem our camel is carrying a lot right now.. wheres the last straw?

[John Holder @RedWingedDuck]

My current happenings..

Testing txt processor, prompt Grok @bot for QOL changes

Read @claudeai 's simulation reports on Galaxy rotation, make suggestions on what to look for next

Test procedurally generated rpg, talk through next steps with @ChatGPT and Astra gives me a milestone prompt for Codex

Talk through claude's simulation report findings with @GeminiApp for ideas

Check my @Muse for personal life updates

Scroll on X until one of them pings me...

[John Holder @RedWingedDuck]

@ay_ushr The solution is this!... Get off of AI and try and do it yourself... A couple of months later you will realize the few minutes between prompts was saving your life

[John Holder @RedWingedDuck]

@burkov I don't have this problem? I give codex my prompt and it works for hours and hours... 2.5hrs while I napped this morning

[John Holder @RedWingedDuck]

Every time math comes to a chat app it's the same thing. Render it in a file, or open a separate box, build the equation, and paste LaTeX code back in. Once it's in your message you can't touch it without starting over.

That's not math integration. I want to type an equation right in the message box, click into it, fix a term, and send it without anything breaking.

That's what I'm building with EQtxt.

https://t.co/ormI5ZgjtP

[Wumpus Central @WumpusCentral]

Discord is adding support for rendering LaTeX math formulas in Markdown files

[John Holder @RedWingedDuck]

@GeminiApp Your model upgrade is actually fantastic, I'm getting the same quality outputs as I did with Argon before ... My one gripe is this... Why do you let this happen

[John Holder @RedWingedDuck]

@Ionkosm "Particularly"

[John Holder @RedWingedDuck]

@nvandewetering Free muse has gone through all of my personal data and studies and then some and only used like 20%..

I asked grokbot to take over a project from codex and I hit the limit immediately..

[John Holder @RedWingedDuck]

@bruno_munhoz @Muse This is my experience.. free muse beats everything else for me, as an agent.

I still prefer Claude+Chatgpt for formalization but Grokbot is just too expensive.. I don't want to have to think about switching to regular Grok for talking, I don't like how Grok4.7 speaks.

[John Holder @RedWingedDuck]

@ducksays I agree with other posters, down significantly but still use it sparingly..

At least I get a few PRs now..

The day grokbot was having usage issues I told it to start a project and it ate my weeks worth up in 10 minutes..

[John Holder @RedWingedDuck]

@sylviapuffs Lol, you're not wrong, it's still like that.. my question is almost a month old with 1 like... I don't think I'm getting an answer

[John Holder @RedWingedDuck]

@ClintonDesveaux The yang-mills paper isn't out fully yet but the whole Lean database and equasion is available.. I am interested in their words though!

The hodge conjecture hasn't been solved yet as far as I could find?.. just the same Nov6 information posted today

[John Holder @RedWingedDuck]

I dunno. Giving the same question to chatgpt/Gemini gives me the sicophant response, Grok and Claude push back on me hard.

Gemini-you are genius, here is related information
Chatgpt-you are genius, here is how I would take it a step further
Claude-are you dumb? The variable doesn't go there
Grok-youre wrong, I'm also wrong

[John Holder @RedWingedDuck]

@bcdsignature We learn from history... The printing press, automated cargo bays, the stock market... You cannot stop progress, we need to mediate the transition the best way possible .. if AGI can bring prosperity to all, then let's starts with the displaced workers

[John Holder @RedWingedDuck]

Nice!.. I got pretty far with testing galaxy rotation but there is a missing piece!.. maybe getting close to not needing my witness function..

When I calculated gravity rotation based on your helix theory, only on the outter half (inner half has a MOND-like gravity switch) but the helix theory, when applied to the rotation, spits out the tully-fisher equasion without asking... I do feel there is a connection between torsional gravity and reality.

[John Holder @RedWingedDuck]

I looked into Lean. The building blocks are in Mathlib, but Kalman filtering Gaussian noise through an OU filter would take real work to set up. After I finish my math word processor, would anyone besides me benefit from a Mathlib library for testing filter equations? #Mathlib

[John Holder @RedWingedDuck]

@valigo @longiy The map is not the landscape.. the map is a representation.. the medium does not matter what it is, only that it was used by art... Art is taste, good code is art the same way anything is art... Don't grandize coding

[John Holder @RedWingedDuck]

@QoliKhan Sorry to burst your bubble, but, the desert was there before the panels.. it started because of their energy dam taking water..

Do you know where the best source of light for a solar panel is? The desert

[John Holder @RedWingedDuck]

@zulali "1994" and "Archaic" lol..

I am glad you're learning things at least.