Cyclist, Developer. From Berkeley. Stanford ‘28. AI @expo

→
Joined October 2020
The unique games conjecture is a variation on the “no games conjecture,” first formalized in November 2020 with the release of the PS5
This includes a claimed proof and Lean formalization of the Unique Games Conjecture, which I have been personally working on for the last year and a half.
1
201
sudo mtr adam​.eliot​.sh
3
88
Windmill fans look and sound good but their app sucks. Luckily, it took about 5 minutes to add my fan to Apple Home. Hot take: all smart home accessories should be Matter-compatible out of the box.
1
7
178
built with @expo, btw
just built the mobile app for my digital wardrobe with some fun animations!
1
1
19
2,534
log in at light speed
6
4
229
9,690
I'm bringing back my dorm delivery service this year first step: animations
1
1
12
1,518
bookmarklets are awesome. in my course planning software, users can click a bookmarklet and easily import their data from a competitor!
1
3
960
for the past two years, I've been working on course planning software for stanford students today, it shipped!
137
for the past two years, I've been working on course planning software for stanford students today, it shipped!
3
1
14
3,018
but course planning is also a social endeavor! we allow you to share your plan with your friends, and watch them update their schedule in realtime
1
50
if you're a stanford student, you can try plan.stanf.org today. just sign in with your student email! I promise it's better than carta.
35
oh, like this app?
Replying to @ccheever
If only there was an app that gave you access to both...
6
1
31
74,272
Most EV charging apps suck... especially Palo Alto's. So I built my own! - It supports all my accounts - It shows availability across all networks - It notifies me when a charger frees up so I can snag it first - I can scan a QR code and start charging without leaving the app!
2
1
1
9
1,731
I made this app entirely via imessage w/ @expo and @tuftdev, btw. you can just build things.
91
I made this app entirely via imessage w/ @expo and @tuftdev, btw. you can just build things.
Most EV charging apps suck... especially Palo Alto's. So I built my own! - It supports all my accounts - It shows availability across all networks - It notifies me when a charger frees up so I can snag it first - I can scan a QR code and start charging without leaving the app!
1
1
7
1,276
I added Claude Code to the Codex/ChatGPT mobile app
5
1
3
25
17,810