
Spent 4 years at @Google shipping things
California
Joined December 2024
- Tweets7.4K
- Following35
- Followers408
- Likes235
I built DraftKey: AI autocomplete and rewriting that runs entirely on your Mac. Your text never goes to a cloud AI. It also has clipboard history and mechanical keyboard sounds, because writing should feel good. Apple Silicon, macOS 14+. getdraftkey.com
Built an on-device AI writing assistant. Pretty sure the feature people will talk about is the keyboard sounds.
He is a dork
Over the past week, a global reckoning about the risks of AI spread from the frontier labs of Silicon Valley to living rooms across America and the corridors of power in Washington and Beijing. And it all started with a guy nobody had ever heard of. on.wsj.com/3ST17Gp
you sing shit songs, stfu
Swedish singer Zara Larsson condemned the White House for using her song “Midnight Sun” in a video showing authorities detaining immigrants, calling it “so dehumanizing.”
go.forbes.com/xmSy_7
she is not a billionaire
Taylor Swift joined the billionaire ranks in 2023, on the back of her record-breaking global Eras Tour, which generated more than $2 billion in revenue.
Despite her success, she didn't make the cut for the #Forbes400 list of richest Americans. See who else accumulated wealth but fell short: forbes.com/sites/kirkogunrin…
📸: Kate Green via Getty Images
The biggest waste of your life will be obtaining a degree. Only attend college if you absolutely need to make good friends.
Once you have that, leave.
I built TokenBar because I mass-prompted Claude for a week straight and had zero idea I burned through $40 until the bill showed up. Now I just glance at my menu bar. $5 lifetime.
tokenbar.site
If your screen time is out of control, deleting apps is not a system.
You need enforcement for the moment your willpower disappears.
Monk Mode blocks distracting apps/sites, open limits, schedules, strict focus, all of it.
Use FREE4EVER and get the whole app free forever:
monk-mode.lifestyle/
Brian Johnson retweeted
Elon Musk is set to become the world’s first trillionaire tomorrow after SpaceX goes public, as per Forbes.
🤖 Made with AI
Brian Johnson retweeted
AI agents are advancing research-level math. 🚀
I’m thrilled to share @GoogleDeepMind’s AlphaProof Nexus - an agentic framework for formal proof search powered by Gemini.
When applied to a set of open formal math problems, our agent autonomously solved:
✅ 9 open Erdős problems (including two open for 56 years!)
✅ 44 Online Encyclopedia of Integer Sequences (OEIS) problems
✅ A 15-year-old open problem in algebraic geometry ✅ A 7-year-old open question in min-max optimization
We are collaborating with mathematicians across disciplines - from combinatorics and graph theory to quantum optics. Ultimately, these results show the massive potential of even simple agentic loops powered by Gemini.
Read the paper here: arxiv.org/abs/2605.22763v1
Try Composer 2.5
New CursorBench results just dropped.
Two big takeaways.
Composer 2.5 is way better than most people think.
63.2% score at $0.55 per task.
Nearly matching Opus 4.7 Max and GPT 5.5 Extra High at 20x less cost.
This is insane value.
Gemini 3.5 Flash is #10 at 49.8%.
Below GPT 5.5 Low.
Below Opus 4.7 Low.
Google's newest model can't even beat budget tier competition.
Composer 2.5 is the sleeper.
Gemini 3.5 Flash is the disappointment.





















