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, just for different scales of data.

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 pipeline, given there are work like Gancraft (https://nvlabs.github.io/GANcraft/) and GTA photorealistic GAN (https://isl-org.github.io/PhotorealismEnhancement/) have produced stunning results.

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 to thinking-talking humans. The sensible solution, just like the way evolution solved many other problems, is to replicate what's working in a massive scale, similar to how we build artificial neural networks. This argument was popularized by jeff hawkins in his thousand brains theory, I believe.

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 was surprisingly good.

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.com/c/cmyuksel Inigo Quilez (ShaderToy): https://www.youtube.com/c/InigoQuilez The Art of Code: https://www.youtube.com/c/TheArtofCodeIsCool

Physics (Besides what others have listed):

ScienceClic: https://www.youtube.com/c/ScienceClicEN Simons Foundation: https://www.youtube.com/user/SimonsFoundation Quanta Magazine: https://www.youtube.com/c/QuantaScienceChannel

Robotics:

Cyrill Stachniss: https://www.youtube.com/c/CyrillStachniss Russ Tedrake's Underactuated Robots: https://www.youtube.com/channel/UChfUOAhz7ynELF-s_1LPpWg

Art:

Entagma: https://www.youtube.com/c/Entagma Creators: https://www.youtube.com/c/TheCreatorsProject

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.