@yoavgo Mm true and I’m far from expert so take with a grain of salt, but maybe it was just guarded so well in post training and RL such that actual tokens wouldn’t autocomplete. Using this reversing technique, however…
It’s 100% @yahave and you two. But only did bachelors so it doesn’t mean much 😬
P.S. was thinking of you @existsShachar with formal verification becoming so huge, funny how with LLMs every area of research becomes so much more interesting. Who knew Lean + swarm of agents would prove Millennium problems…
Last month, we demonstrated high-rate alchemy: turning mercury into real, stable gold, beating CERN’s record by a factor of 10.
Last week, we enriched isotopes in the world’s most powerful plasma centrifuge, beating the Soviet record that stood for 40 years.
Now, we’re building a fusion reactor in San Francisco to achieve record power density.
@yoavgo You’re probably well aware but this is the fine work of @Jonathan_Blow who built every possible part of this by hand (from the engine to the programming language!) on stream. Personal hero :)
@zaxskylab Keep promoting it, don’t be discouraged! One case where it goes viral and you’ve hit the jackpot.
Good recent example of this - Normal Golf Game
@offlinemark Your live coding streams is a fresh of breath air @offlinemark. You, @sphaerophoria and @tsoding especially. Keep it up, you have folks following (whenever I can find the time) and enjoying 🙌
I'm sure you thought of this, but best to profile first and make sure that you're bottlenecked on CPU-bound things first. SIMD, parellizing w/ rayon, reducing allocs, bump allocators, etc. are super appealing to try, but best to measure and decide from there (as someone who's been there, with Rust).