Dmitry Petrashko

324 posts

Dmitry Petrashko

Dmitry Petrashko

@darkdimius

Currently @AnthropicAI. Ex @Stripe, https://t.co/mgpYgtgojo compiler architect, PhD on developing fast & maintainable compilers.

San Francisco, CA Bergabung Kasım 2010
244 Mengikuti2.3K Pengikut
Dmitry Petrashko me-retweet
Patrick Collison
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.
John Arnold@johnarnold

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.

English
58
70
1.4K
669.3K
Dmitry Petrashko me-retweet
Martin Odersky
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.
Bertrand Meyer@Bertrand_Meyer

We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.

English
6
75
669
84.1K
Dmitry Petrashko me-retweet
Patrick Collison
Patrick Collison@patrickc·
John's and my 2022 annual letter for Stripe: stripe.com/annual-updates…. Topics covered include: • The increase in startup creation rates. • Trends in startup hubs. • The perils of "low-revenue mode".
English
15
75
495
611.8K
Dmitry Petrashko me-retweet
Vera Bergengruen
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
Vera Bergengruen tweet mediaVera Bergengruen tweet media
English
758
13.7K
37.7K
0
Dmitry Petrashko
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.🧵

English
0
0
18
0
Dmitry Petrashko
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.
English
1
0
5
0
✨ Jean Yang ✨
✨ Jean Yang ✨@jeanqasaur·
For the next season of #PLTalk, @hongyihu and I are putting together a panel about adopting type systems in dynamically typed languages. If you or anyone you know led a large-scale migration to Hack, Sorbet, MyPy, or TypeScript, please get in touch!! And pls share for reach. 🙏
English
6
20
37
0
Dmitry Petrashko
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.
English
0
0
0
0
Dmitry Petrashko
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! sorbet.org/blog/2021/07/3…

English
3
4
40
0
Patrick Collison
Patrick Collison@patrickc·
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!
English
45
115
2.1K
0
Dmitry Petrashko
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.
English
2
0
3
0
Benoit Daloze
Benoit Daloze@eregontp·
@darkdimius @Albozdroid @patrickc @thomaswue @ChrisGSeaton @headius Right, that makes more sense since it's related to Sorbet: twitter.com/jamesiry/statu…. Nice speedups for AOT, looking forward to the blog post with more details. Is it fully compatible semantically with CRuby, or do you alter some semantics (e.g., no check if Integer#+ is changed)?
James Iry@jamesiry

@dbreunig @patrickc Keep your eye on sorbet.org . We plan to open source the compiler as an extension to our Ruby type checker.

English
1
0
0
0
Dmitry Petrashko
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.
English
2
0
8
0