Pete Koomen (@koomen) / X

Pete Koomen
@koomen
19h
I hope the next big lab math drop is just a PR on this repo.
Dan Roberts
@danintheory
Oct 8
We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice. github.com/openai/math/bl…
1
Pete Koomen
@koomen
Oct 7
The correct answer to “are the models conscious?” is “I don’t care because I am on Team Human, not Team Consciousness”
21
Pete Koomen
@koomen
Oct 4
I was shocked at how easy this was to do. Along the way I had the happy realization that "abandonware" doesn't exist anymore. Any program can with very little effort be made to run on any hardware.
Pete Koomen
@koomen
Oct 4
Fun weekend project: I had Opus 5.5 port Myth, an old Bungie game I loved in high school, to web assembly. In theory it supports the full single player campaign and PvP multiplayer. myth.game
5
Pete Koomen
@koomen
Oct 4
Fun weekend project: I had Opus 5.5 port Myth, an old Bungie game I loved in high school, to web assembly. In theory it supports the full single player campaign and PvP multiplayer. myth.game
17
Pete Koomen
@koomen
Oct 4
Wonderful essay. Leave it to a mathematician to express this feeling so beautifully.
Christian Szegedy
@ChrSzegedy
Oct 3
Reading all those recent beautiful essays by Terry Tao, Kevin Buzzard and @wtgowers, I could not resist, but write up my deeply personal perspective on how I perceive and see things: docs.google.com/document/d/e/2…