Viewing profile — AntonioCao

tbh for tools like Shazam there's no fundamental difference between a database + hashing algorithm and a self-supervised model; both are great indexing & compression solutions, jus…

Wow. Can't wait for the lean theorem prover integration.

My first thought exactly. This essay by Hans Moravec is also a great exposition for similar idea: https://frc.ri.cmu.edu/~hpm/project.archive/general.articles...

This post https://twitter.com/madebyollin/status/1566838643771457536 is a step in such direction. I quite like the author's vision about neural nets eating through the graphics pip…

Make sense. A fun argument for why brain's underlying "algorithm" should be simple is that evolution didn't take that long to go from creatures with primitive cognitive functions t…

Honestly you should checkout open source + self-host alternatives like porter ( https://github.com/porter-dev/porter ). I tried it in a project before and the developer experience …

Computer Graphics: Justin Solomon (MIT): https://www.youtube.com/c/justinmsolomon Keenan Krane (CMU): https://www.youtube.com/c/keenancrane Cem Yuksel (Utah): https://www.youtube.c…

Eric Weinstein also wrote an excellent analysis of Kung Fu Panda on Quora. https://www.quora.com/In-Kung-Fu-Panda-how-does-Po-end-up-de...

This is super impressive, would definitely pay for it if more polished. Maybe integrate with tldraw? Anyways, amazing job.