currently @HarmonicMath. Avid splitboarder. prev founder @ @moment_dev @lyft @Dreamworks. @recursecenter W14! She/Her

Seattle, WA
Joined April 2009
Lita 조원경 retweeted
LET'S GO!!!! I've learned more in the last two months than in the last six years. So grateful I got to help turn Aristotle's math expertise toward code and chips. 🚀🚀🚀🚀🚀
We’re bringing Aristotle to code. AI is writing more code than anyone can review. We're building the AI that verifies it. Starting today with C and Verilog.
6
4
1
51
2,536
some life news! I decided to join @HarmonicMath to help verify mission critical code! We just launched with being able to verify C++ and Verilog! Excited to be working with @tachim and @vladtenev to work towards this mission.
We’re bringing Aristotle to code. AI is writing more code than anyone can review. We're building the AI that verifies it. Starting today with C and Verilog.
3
28
800
Lita 조원경 retweeted
We taught an AI to prove math. Next, something harder to get right. Soon.
57
40
27
484
140,181
Lita 조원경 retweeted
Ok can finally talk about what I’ve been working on at Reflection. Introducing Mirror, our own open source coding agent optimized for Beam. I started the mirror project when I first joined Reflection, and it has gone through many iterations since then. Install it today with: uv tool install reflection-mirror github.com/reflection-oss/mi…
44
41
10
496
57,487
I am shocked how good Muse is. This thing planned my whole Japow vacation and found me deals I would not been able to find myself. The only thing that sucks is the manual mode in the browser. Trying to enter any data manually (like your credit card number) is terrible.
3
2
938
I finally read the GitHub incident report and have two thoughts. Found it interesting that they use HAProxy and Istio together. Have not seen that combo before. Feel like those technologies are generationally far apart. Setting retry polices and timeouts are hard. Having clients that are well behaved and back pressure helps a lot. Wish them luck fixing all this stuff. githubstatus.com/incidents/z…
1
6
578
Congratulations, Pierre, on the launch! Love your product and impeccable branding.
Signups are now open on Code[dot]Storage. Today, more new repos are created per second on Code Storage than any other platform. Lovable, Bolt, Amp, Poke, and many more of the largest agentic workloads store their code and agent memory at scale using Code.Storage.
1
4
487
Lita 조원경 retweeted
Signups are now open on Code[dot]Storage. Today, more new repos are created per second on Code Storage than any other platform. Lovable, Bolt, Amp, Poke, and many more of the largest agentic workloads store their code and agent memory at scale using Code.Storage.
128
83
77
1,145
378,227
Lita 조원경 retweeted
I'll be saying this a few times for the next month or so, but @gitbutler is hiring. Pref in SF or Berlin if possible. TS, Rust, git infra. Come build cool shit with us. jobs.gitbutler.com/
4
10
1
66
14,786
Lita 조원경 retweeted
Should have shut down the CFP on Git Merge by now, but due to extreme laziness I haven't flipped the switch. We have 40+ great P's, but if you want to join us in Lisbon and talk about Git, throw your hat in the ring now, because I'm about to shut it down. git-merge.com/
2
5
711
Lita 조원경 retweeted
Finally got @amadeus to write about what goes into making our diffs so special. A love letter to FE development: web workers, WASM, novel virtualization and memory management techniques, and more. Fun read if you're a perf geek and hate blanking. pierre.computer/writing/on-r…
6
24
7
348
30,147
Congrats @_Evan_Boyle and everyone on the GitHub copilot team!
The GitHub Copilot App is now GA! - multi-repo and multi session with /orchestrate - build personalized agent-driven UI and tools with canvases - isolated worktrees, cloud sessions in GitHub sandboxes (stateful microVMs) - local and cloud automations
1
174
Lita 조원경 retweeted
The GitHub Copilot App is now GA! - multi-repo and multi session with /orchestrate - build personalized agent-driven UI and tools with canvases - isolated worktrees, cloud sessions in GitHub sandboxes (stateful microVMs) - local and cloud automations
18
35
13
217
30,557
Washington does have “surprise, more mountains” and you can’t visit them in all in one day! If you are visiting, use this map to determine where you want to go!
WELCOME TO WASHINGTON, SOCCER FANS. Get acquainted with our state via this highly accurate and mostly-to-scale map.
67
Lita 조원경 retweeted
WELCOME TO WASHINGTON, SOCCER FANS. Get acquainted with our state via this highly accurate and mostly-to-scale map.
190
1,290
232
11,437
768,881
Lita 조원경 retweeted
Patent systems are first-to-file. It's produced a quiet two-tier system: well-funded companies file in 48 hours. Everyone else waits weeks. Today we're announcing @fearn_ai's $5.5M seed to end that gap. 🧵
51
32
22
247
1,904,083
Lita 조원경 retweeted
If you've been wondering what I've been up to, the team and I have been cooking up something new. A new agent-native development environment deeply integrated with the GitHub graph. Not just for writing code, but all of the meta-work as well.
51
65
23
439
156,314
Achieving six 9s is an impressive feat. No wonder temporal has the reputation of being reliable.
SVP of engineering at @temporalio @psomal talking about how a blameless engineering culture leads to great results No SLA violations even under cloud provider outages 🔥
1
2
202
Also, when a customer states your product gave you another 9, no better endorsement. This was Cursor btw, and how they use temporal for their cloud agents product.
1
65
Lita 조원경 retweeted
If you have a project that needs fast, reliable, git based code storage that is built with modern, agentic workflows in mind then we should have a chat about code[dot]storage DM here or email kris[at]pierre[dot]co
7
5
178
13,922