Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
A personal website containing information about the author, creative writing, technical satire, technical articles on compilers and logic.
News
Bootstrapping mechanical correctness
There was a recent announcement from Anthropic about using a team of agents to formalize Fermat's Last Theorem , and the generated artifact is over ten million lines of Lean code. At this point, one would question the utility of such an artifact: the issu
Read more
Report
Our Great Mutator
We argue that the sum total of everything LLMs do is a form of mutation or fuzzing, and that exactly one hard benchmark will suffice: number of tokens expended to converge to the mathematically correct output. We certainly don't have heated arguments abou
Read more
Report
Conflating ego with intelligence
Humans have divisive tendencies, whether it's one human against another, one tribe against another, one race against another, one religion against another, or one country against another. When we're not fighting one another, we theorize about the world ar
Read more
Report
The miserable misfit
Starting from early childhood, I've constantly been made to feel inadequate. Other children in my school would neglect me, and I would often try to seek attention through eccentric acts, as any child would - my personality today is a product of being trea
Read more
Report
The Trump supporter
I arrived in London fifteen years ago from a very poor farming village in Eritrea on a refugee status. Growing up, we didn't have access to a regular supply of clean drinking water, and went hungry on many occasions. I didn't even get the chance to go to
Read more
Report
Pro access
Upgrade to see all 38 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.