Emerson Hsieh

At @primateriacom, we are building chemical simulators that reflects reality, so we can run experiments for new discoveries entirely on a computer.

Are coding agents good enough to help us get there? To find out, we used experimental results to test their work on reengineering existing simulators.

Introducing Wavefunction bench: primateria.com/blog/wavefunct…

123 looks more predictable than 12 because three digits updates the bayesian posterior confidence that I'm typing sequential numbers instead of just twelve

Luofei is a brilliant and mission-driven engineer. Building a personal intelligence machine has been his dream since I met him more than ten years ago, and I’m glad we’re at the right time for his vision to come true. Congrats on the launch! 😊

Installed a new jump box for our 68 RTX Pro 6000s!

I built a Lean prover farm with Leanstral on two RTX Pro 6000s. On a small benchmark, it generated and compiler-checked ~2,500 proof attempts per hour.

Then Fable 5 formalized the disproof of Erdős #608 overnight without needing it.