using Modal to run some inference workloads today. it's excellent.

the ninajirachi ilmc album mix is officially an all time coding set, joining the porter robinson and Madeon secret sky sets and the ＡＥＳＴＨＥＴＩＣ ＤＥＩＴＹ trappin series in my personal hall of fame. mayv 's chinatown set (youtube.com/watch?v=lU0-MJ…) is also sharply on the rise.

Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.

Christian Szegedy Morph Math, Inc. Congrats, but I'm a bit confused: is this a reincarnation of morph labs, or a spin off, or unrelated but licensing some of the tech you built there, or...?

Welcome Math, Inc. - a new company dedicated to autoformalization and the creation of verified superintelligence incubated at Morph over the past few months. Uniquely enabled by Morph's Infinibranch-native environment compute infra, Math, Inc.'s first product is Gauss, an

the well ordered set will revolutionize language modeling in the same way that the lattice revolutionized image modeling

a fun fact about wikipedia is that they are fully cloud sovereign! they own and operate the servers that run the website, which is a huge technical challenge! that takes a lot of staff, particularly when you are one of the most visited sites on the internet (and when ai companies

wikipedia founder spoke with me after this and convinced me much of the budget is reasonable i remain skeptical of several subgrants but broadly view wikipedia as a massive success compared to any other decades-old nonprofit

Guy at a bar last night gave me The Device. I asked what it does. He said “Don’t worry about it. It’s good to have The Device on you at all times. It may come in handy.”

the san francisco offtake company cannot be stopped. San Francisco Compute evan conrad

its become very clear to me that no one at apple ever blew their nose while wearing airpods pro 3

btw luma.com/8tyya5lg?tk=87…

who is building command+k but for every single text box you can ever click?

What SF Compute does. When you finance a GPU cluster, you need to get an "offtake" agreement. Basically, someone has to agree to rent the cluster from you, typically for a 3+ year period. If that agreement falls through (the person fails to pay), then the person who owns the

aws y u do dis to me