Dmitry Petrashko

Currently @AnthropicAI. Ex @Stripe, compiler architect, PhD on developing fast & maintainable compilers.

[Dmitry Petrashko @darkdimius]

I don't tweet often, but this felt worth it. The dependability and safety of the systems I help build matter. So does the integrity of the company building them. Proud of @AnthropicAI for standing firm.

[Anthropic @AnthropicAI]

A statement on the comments from Secretary of War Pete Hegseth.

https://t.co/Gg7Zb09IMR

[Dmitry Petrashko @darkdimius]

Being able to use Fast Opus early at Anthropic has been one of the best perks of the job. Come build with us and help drive a race to the top for safe, powerful AI.

[Claude @claudeai]

Our teams have been building with a 2.5x-faster version of Claude Opus 4.6.

We’re now making it available as an early experiment via Claude Code and our API.

[Dmitry Petrashko @darkdimius]

🔍 Ever wondered how Stripe maintains 99.999+% availability? 🤔

🗄️ Our internal Database as a Service system handles version upgrades, resharding, and more while ensuring consistency without any downtime. 💪

🌟 Check out our latest blog post to lean!

[Stripe @stripe]

How Stripe’s document databases supported 99.999% uptime with zero-downtime data migrations: https://t.co/DJ5cfXBAFV.

[Patrick Collison @patrickc]

I was an undergrad in 2006. Friends who've been in academia since then, and remain on campus today, tell very similar stories.

[Martin Odersky @odersky]

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.

[Patrick Collison @patrickc]

John's and my 2022 annual letter for Stripe: https://t.co/fSCGS2tsvr.

Topics covered include:
• The increase in startup creation rates.
• Trends in startup hubs.
• The perils of "low-revenue mode".

[Dmitry Petrashko @darkdimius]

Many challenging opportunities in product and infrastructure (Databases, Observability, Compute, Developer productivity, Networking, BigData, etc). Solving each one of them directly or indirectly impacts businesses across the world. We're hiring. https://t.co/SMbGW0NqZN

[John Collison @collision]

This year, we decided to publish our annual letter to all of Stripe's users https://t.co/2dKX04w9Na

[Vera Bergengruen @VeraMBergen]

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 @darkdimius]

#Ukraine needs medical supplies for civilians. Currently there isn't enough supply and money can't buy something that isn't there.

Trucks from Italy, Germany and Switzerland will be bringing supplies soon. Find how you can help in https://t.co/7BwTp86L2T.
#UkraineRussiaWar

[🇺🇦 Alex Polozov @Skiminok]

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:
https://t.co/I6sSxg3Yjd

Military tech support:
https://t.co/t8Z5M0dxEh

Medics:
https://t.co/5FBrbgq4Dc
(English in each post)

[Dmitry Petrashko @darkdimius]

Since Thursday last week @Stripe Infrastructure and Security teams have been investigating the Log4j vulnerability. We’re happy that our defence in depth has protected our systems. We're sharing tools that help find vulnerable hosts and see if your mitigations are effective.

[David Singleton @dps]

I’m proud of Stripe’s security and infra teams who have investigated and patched all our systems against the Log4j vulnerability since the moment the news dropped. Our pre-existing controls protected Stripe from any form of remote code execution.🧵

[Dmitry Petrashko @darkdimius]

@jeanqasaur @hongyihu What are the topics you'd like to cover? first 90% or last 10%?

I was on @sorbet_ruby team starting from design-prototyping stage till 90% of production code was typed.

Someone from the current team is likely going to be able to cover last 10% & typing test code much better.

[Dmitry Petrashko @darkdimius]

@alevermeulen @stripe We have a Dublin engineering hub that coordinates remotes from across Europe. Both product and infrastructure teams have presence there.

[Dmitry Petrashko @darkdimius]

There's a lot of exciting engineering at @Stripe.

We have high security, compliance, correctness, reliability, latency and efficiency requirements. All while empowering engineers be more productive than ever in their career. This creates impactful challenges.

We are hiring.

[Sorbet @sorbet_ruby]

For the past year, the Sorbet team has been working on an experimental, ahead-of-time compiler for Ruby, powered by Sorbet and LLVM. Check it out!

https://t.co/IxZQka3iTp

[Dmitry Petrashko @darkdimius]

@grashalm_ @eregontp @Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius Again, we're not a JIT. If these invariants fail, you don't get to have a green CI build and your change cannot get merged.

[Dmitry Petrashko @darkdimius]

@grashalm_ @eregontp @Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius If these invariants fail, you get a failed CI build and your change cannot get merged.

Stripe uses an opinionated dialect of Ruby and most requirements predate compiler. E.g. we don't allow to define behaviour for a class/module in multiple files since 5 years ago.

[Dmitry Petrashko @darkdimius]

@eregontp @Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius We don't alter semantics, but we require and check a set of invariants that are enforced at Stripe. That includes checking that nothing redefines Integer#+ and other things that we have found useful for reliability, security and developer velocity in our huge codebase.

[Dmitry Petrashko @darkdimius]

@eregontp @Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius It's AOT. Rollout of JIT or anything that generates executable code on production machines at Stripe will be a much more complex due to security constraints we chose to operate under for our customers.

[Dmitry Petrashko @darkdimius]

@Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius But neither JRuby nor TruffleRuby can be adopted gradually and invisibly for engineers.
Our compiler allows to run inside rubyVM with a subset of files compiled and another one interpreted. All cRuby tools continue working as they did before - it's completely transparent.

[Dmitry Petrashko @darkdimius]

@Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius Both of JRuby, and, in particular, TruffleRuby indeed are faster on synthetic benchmarks then our internal compiler.
(continued in reply)