Adam Cohen

Engineer in the Space Force. Founder of Orbital Engineering Lab. Building agentic orbital analysis in my spare time. Views do not represent the DOW.

[Adam Cohen @AdamCohen8]

Orbital Engineering Lab v0.32 is out!

The core simulation engine and the RPO Trainer are now implemented in Rust. OEL is now much faster and the game will play smoother.

This update also enables custom force plugins for numerical propagation.

Installing this version will automatically create a one click launcher for the RPO Trainer on your computer.

Try it here:
https://t.co/hItlUVjgQe

[Adam Cohen @AdamCohen8]

@thsottiaux @openai please do something about this, it's hideous

[Adam Cohen @AdamCohen8]

I’m starting to think the SaaSpocalypse is still coming. It’s just a matter of needing the right autists to start vibe coding the subjects they are experts in.

[Adam Cohen @AdamCohen8]

This looks like something out of a @summoningsalt video

[fastfouriertransfem | yuridkowskiancatgirlmbinator @daedalovecat]

A history of the best matrix multiplication exponents: https://t.co/O3Opo26EPy

[Adam Cohen @AdamCohen8]

Hard disagree, stay tuned folks

[Pedro Domingos @pmddomingos]

Tl;DR: Harnesses are useless.

[Adam Cohen @AdamCohen8]

Nvidia’s Nemotron models are all free on Open Router right now. Really good opportunity to test AI infrastructure for free.

[Adam Cohen @AdamCohen8]

All I want for Christmas is the Faster Fourier Transform

[Swapnil @SJ_Swapnil_Jain]

Sixth update to OpenAI problem #109 (integer multiplication): we are now past 2^-15.

κ > 2⁻¹⁵ (tightened from κ = 2⁻¹⁸²)

The exact witness is 3.667 × 10⁻⁵, about 2.4 fold over our previous 1.548 × 10⁻⁵, and a 2¹⁶⁷ fold improvement over the original OAI result.

Both interchange certificates and the full assembly are checked in Lean's kernel.

[Adam Cohen @AdamCohen8]

If OpenAI had discovered this two years ago, I could have finished my master's degree seconds earlier.

[Adam Cohen @AdamCohen8]

I’m no math guy, but does the OpenAI proof about multiplication faster than nlog(n) mean there might exist a “Faster Fourier Transform?”

[Adam Cohen @AdamCohen8]

@Melt_Dem You were! Thank you for doing the honors

[Adam Cohen @AdamCohen8]

Sorry guys, no longer accepting new followers at this time.

[Adam Cohen @AdamCohen8]

@actualjib O(1)

[Adam Cohen @AdamCohen8]

I’m no math guy, but does the OpenAI proof about multiplication faster than nlog(n) mean there might exist a “Faster Fourier Transform?”

[Adam Cohen @AdamCohen8]

@kellyjgreer @Melt_Dem @CrucibleCap This was so much fun!

[Adam Cohen @AdamCohen8]

So I did some research and it turns out that this is exactly what the proof means. The O(nlog^(1-10^-13)n) finding is really small but the proof leaves it open for faster solutions. Give me an O(n) FFT!

[Adam Cohen @AdamCohen8]

I’m no math guy, but does the OpenAI proof about multiplication faster than nlog(n) mean there might exist a “Faster Fourier Transform?”

[Adam Cohen @AdamCohen8]

Funny story that I probably shouldn’t post yet, but fuck it.

I went to the doctor today because I’ve had a small bump on my neck for the past week.

The doctor looked at it and ordered blood work and originally an ultrasound.

A few hours later the doctor calls me and says that he’s pretty sure it’s Mono but he wants me to get a CT scan to rule out Lymphoma.

At that point I thought Mono was only transmitted through kissing. (I now know otherwise)

So I reply to the doctor: “Are you telling me that either my Fiancé is cheating or I have Cancer?”

Anyway, hopefully it’s just Mono.

[Adam Cohen @AdamCohen8]

@pronounced_kyle It would only cost $30 per kid!

[Adam Cohen @AdamCohen8]

How smart can a good harness make a dumb model?

[Adam Cohen @AdamCohen8]

It’s insane that I go from this app where I’m constantly learning new ways to use AI and feel like a novice, to work where everyone thinks AI is still a chat bot and I’m the expert.

[Adam Cohen @AdamCohen8]

It’s amazing how quickly my day evolved from saying “Qwen 3.8 27B is free on open router right now” to being tasked with setting up an offline local AI model for the unit.

[Adam Cohen @AdamCohen8]

The wing command chief (E9) of USAFA just saluted me. He’s probably been serving longer than I’ve been alive. I feel like I just committed a war crime.

[Adam Cohen @AdamCohen8]

@mouthofmorrison @Shey_Sabripour I’m gonna go ask my family for $500 so I can at least have a ratio >1