Trending topics
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-3.19%
USELESS
USELESS-1.87%
IKUN
IKUN+4.18%
gib
gib-1.19%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3.72%
ALON
ALON-12.25%
LAUNCHCOIN
LAUNCHCOIN-13.22%
GOONC
GOONC-0.12%
KLED
KLED-10.72%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0.19%
Boopa
Boopa+0.04%
PORK
PORK-0.96%
header
Neel Somani
Formal methods & mechanistic interpretability. Prev: Founder of Eclipse, QR at Citadel. Proud Cal Bear.
Neel Somani
Neel SomaniJan 11, 13:00
Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao. The proof was generated by GPT 5.2 Pro and formalized with Harmonic. Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:
219
Neel Somani
Neel SomaniJan 9, 09:58
I built a website that auctions itself every evening. Win the auction, and you get a Codex agent to rewrite the site for 24 hours. May the odds be in your favor:
159
Neel Somani
Neel SomaniJan 8, 03:47
Mechanistic interpretability memes for mean-ablating teams
164