Mathematics as a new Age of Discovery (and what they might find) đź”—
OpenAI just dropped 372 math proofs on the world. They dropped a Navier-Stokes proof about a month back and there was a bunch of controversy so I gues [...]
a collection of dev rss feeds - blogroll
Posts
OpenAI just dropped 372 math proofs on the world. They dropped a Navier-Stokes proof about a month back and there was a bunch of controversy so I gues [...]
It has been a busy summer over at Inanimate. Yes that is still a holding page. Bringing up a new consumer electronics company is, uh, kinda intense. S [...]
I have moral queasiness about the fruit fly work going on in the AI world – I’m not 100% sure why. We need to invent new prayers, that’s where my thou [...]
Hey I ran my second marathon this last weekend. I wrote about my first one. It was hard (btw people liked that post). I made my race plan, kept to it [...]
How many Hollywood actors are there? I means ones with the combination of talent can carry a movie for the public can be accepted by producers. Certai [...]
I watched the trailer for the new Harry Potter TV series on HBO. My overwhelming feeling is that it is so absurdly redundant to make this. Not even re [...]
I published my perfect iPhone weather app, and my guess is that you won’t want it. Premise: Why doesn’t my weather app tell me the weather yesterday? [...]
I updated my Galactic Compass app for iPhone with augmented reality mode. Background: Galactic Compass is a floating green arrow that always points th [...]