codehappy lives!

codehappy lives!

codehappy.bsky.social

SWE/MLE, rodent whisperer, writer. ex-MSFT, Xoogler. Timeline features gestalt reasoning, verifiable rewards, and unlabeled infohazard. Adults only, but not for any fun reasons. We could all be Green Lantern, but instead we're fighting to be Lex Luthor.

👤 Joined on 21 Haziran 2023

2688

Followers

1562

Following

5090

Total Posts

📜 Kullanıcı Geçmişi

  • 21 Haz 2023, 21:36
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @codehappy.bsky.social
  • 13 Kas 2023, 02:56
    🔄 Profil bilgileri güncellendi

❤️ Beğendiği Gönderiler

but what might interest me is a system to take a compiled program, lock in all it's user-relevant characteristics, and intentionally produce equivalent programs to tune for taste and reduce the sense of 'neuralese' in a codebase

Show Post

probably it's "easier" to do this with a brain, but if you did it this way you could then find the right mkultra triggers for your model to produce equivalent programs that you like, a taste classifier for you personally

Show Post

this thread brought to you by the 7 category errors i just found but will not be patching because they occur in the 'no one fuckin cares' region of execution-space

Show Post

as such i am actually not all in on "the requirements are the program" unless you state the requirement in a formal language with deterministic semantics that can be verified with a local system down to how they translate to processor instructions" and they call that a compiler i hear

Show Post

Dil Seç

Uygulamayı Kur

Uygulamayı Kur