Профиль

Tau Ceti model is wild. people write proposals and criteria for how to review stuff, everything else is handled by AI workers taucetiproject.github.io/TauCeti/

i want some cool prompts for remixing knowledge or looking at it from a different angle

man i can finally read papers now. what a time to be alive

ran out of max credits on both Sol and Fable trying to grind a mathematical theorem and get some novel results conclusions so far (thread):

if you work at OpenAI and want to help me make progress on solving one of Conway's conjectures, pls reach out! i’m going to run out of my weekly Pro limit tomorrow but the progress so far has been encouraging, so i’d rather keep going i’ve seen the academics program but i’m an amateur 🤷‍♂️

cool to see parallels to engineering process

how the internal team is doing

metaprogramming is the new programming. half of what i do is like "mutation test this", "confirm full coverage", "build a simpler model of this change and fuzz the hell out of it" etc

it's so cute they're roadmapping

we’re trying to crack Conway’s conjecture that Oz is pre-Schreier

Видео

it's up!!!

turning my codex into slack

i'm excited

man Sol is so good. i’m doing some mathslop explorations, and pasting replies between Sol and Opus 5 has been the best workflow so far, they can really cook together