
Currently @AnthropicAI. Ex @Stripe, https://xitter.cf/t.co/mgpYgtgojo compiler architect, PhD on developing fast & maintainable compilers.
San Francisco, CA
Joined November 2010
- Tweets323
- Following244
- Followers2.3K
- Likes293
Dmitry Petrashko retweeted
I was an undergrad in 2006. Friends who've been in academia since then, and remain on campus today, tell very similar stories.
Two Harvard Crimson articles, one from 2006 and the other from 2023, describing the legendary Math 55 class showcase how much college has changed in less than a generation.
'06: “This is probably the most difficult undergraduate math class in the country,” reads a page on the Mathematics Department Web site.
'23: “Our slogan is, if you’re reasonably good at math, you love it, and you have lots of time to devote to it, then Math 55 is completely fine for you.” -- article published by the math dept titled, “Demystifying Math 55.”
'06: Regardless of the course’s name brand value, Math 55 students face a single fact: It’s hard. Really hard.
'23: Zoe Shleifer ’26, another current Math 55 student, also doesn’t get the hype. “It’s fun,” she says. “It’s just like any other class. You know, we go to lecture, and then we leave lecture, and then we do the problem set.”
'06: Midway through October, the “Survivor”-like competition intensifies with the add/drop deadline looming frighteningly near, only five days away.
'23: “We wanted to avoid a situation where some students felt excluded because of the way the course was taught a particular year,” (Professor) Harris says.
'06: The class can’t stay this hard for this long, right? “I figure he’s just trying to get people to drop the class,” Litt says. He figured wrong. As class attendance steadily thins, the workload does not.
'23: “To be as inclusive as possible is one of the things I was told before I walked in the classroom the first day,” says Harris.
'06: Before the fifth Monday of the term, students who can’t seem to stay in the game start dropping like flies. “I thought it was completely unbelievable,” Harbater says. “Seventy started it, 20 finished it, and only 10 understood it.”
'23: “The math department has been working hard to foster a more inclusive culture around Math 55. The overall feedback we have received from students about the last few iterations of the course suggests that this is beginning to bear fruit,” she continued, referencing reviews for Math 55’s Q guide reviews, which are overwhelmingly positive.
Dmitry Petrashko retweeted
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
Dmitry Petrashko retweeted
John's and my 2022 annual letter for Stripe: stripe.com/annual-updates/20….
Topics covered include:
• The increase in startup creation rates.
• Trends in startup hubs.
• The perils of "low-revenue mode".
Dmitry Petrashko retweeted
Here's a transcript of a Russian soldier's last text messages to his mother that Ukraine's Ambassador to the UN just read out from screenshots at the emergency session of the UN General Assembly
Dmitry Petrashko retweeted
Folks, public protests & posts are all very nice. And we appreciate them, truly ♥️
But the best way you can help #Ukraine _right now_ is this:
Army:
savelife.in.ua/en/donate/
Military tech support:
armysos.com.ua/en/help-the-a…
Medics:
facebook.com/hospitallers/
(English in each post)
Dmitry Petrashko retweeted
We're big believers in multi-year infrastructure bets. After a few years of Ruby infra work, our in-house Ruby compiler is now 22–170% faster than Ruby's default implementation for Stripe's production API traffic. If interested in working on such problems, we're hiring!
Dmitry Petrashko retweeted
Despite crazy transaction volumes over the holiday period and record growth rates, @Stripe API availability was 99.996% over the past 90 days. Proud of what our infrastructure teams accomplished last year and lots more global infra + latency improvement planned for 2021.
Dmitry Petrashko retweeted
Stripe is looking for a compiler and language tools engineer. Come solve hard problems with a great team stripe.com/jobs/listing/type…
Dmitry Petrashko retweeted
Excited to share @hazelcough's path to the Payments Products Tech Lead role at @stripe. Michelle shares a bunch of tools she uses like her "top 3" doc of current priorities and using a decision log when she and her team designed Stripe Payment Intents.
staffeng.com/stories/michell…
Dmitry Petrashko retweeted
Providing programming language platforms to a large org & lots of users forced me to change how I think about and discuss PLs.
Programmers will say "X is hard", "I don't like Y", "A is good", or "I love it when B" about a PL.
* They cannot be wrong.
* You cannot argue.
🤯
1/
Dmitry Petrashko retweeted
The recording of the talk @darkdimius and I gave about @sorbet_ruby and the future of types in Ruby 3 from @rubyconf just went live! Happy to answer questions if you have any 😄
youtu.be/jielBIZ40mw
Dmitry Petrashko retweeted
Rails 6.0 was released today, and `sorbet-rails` already supports it. If you're interested in type-checking your Rails application, check out @sorbet_ruby and sorbet-rails!
github.com/chanzuckerberg/so…
github.com/sorbet/sorbet
#rails #sorbet
Dmitry Petrashko retweeted
We've spent two hours implementing sorbet.org at factorialhr.com and it already discovering many bugs. Productivity and safety don't have to be a tradeoff. Gradual typing allows you to prototype fast and cover with types when you want to ensure contracts.
Dmitry Petrashko retweeted
And also, sorbet pushed me to think about dependencies in libs more. Also, it helped me to find one bug in my code. Can't wait when all popular gems will have own rbi files
Dmitry Petrashko retweeted
Stripe has open sourced Sorbet, our Ruby type checker: sorbet.org/blog/2019/06/20/o…
I will probably adopt this in all future Ruby projects. Here’s why:
Dmitry Petrashko retweeted
a fast ruby type checker that scales to millions of lines of code. Now open source!
- used internally on the vast majority of Ruby code @stripe
- Teams at Shopify, Coinbase, Kickstarter,... already use Sorbet
- built in collab with the Ruby team, Ruby 3 will introduce types! – at Islington, London
We’re excited to announce that Sorbet—a fast, powerful type checker for Ruby, built by @Stripe—is now open source! See sorbet.org/blog/2019/06/20/o… for more.
Dmitry Petrashko retweeted
I embloggenated about the current state of Sorbet, Stripe's gradual static type system for Ruby, at sorbet.org/blog/2019/05/16/S…
Dmitry Petrashko retweeted
After writing some more Ruby at work, I'm super impressed by Sorbet—Stripe's gradual type checker for rb). I've spent so much of my free time now with Rust and I'm finally seeing the merits of types in large code bases (heck even small side projects). Well done @darkdimius et al!
Dmitry Petrashko retweeted
Shopify has been on the Sorbet train making contributions for a while now. That’s right. Sorbet works with Rails. Thrilled to see this announcement.
Announcements made at the conference:
- types are worked on in a collaboration with the Ruby core team;
- types will be part of Ruby 3 stdlib source!
- sorbet.org - website is out!
- try IDE-like experience at sorbet.run/























