Dmitry Petrashko
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- Scala World2 editions2015–2017
all 7 in the filters
on a stage with
- Adriaan Moorsonce
- Amira Lakhalonce
- Bill Vennersonce
all 19 in the filters
who talks about the same things
- Jake Zimmerman3 talks
- Alexandre Terrasa5 talks
- Guillaume Martres10 talks
- Ufuk Kayserilioglu10 talks
- Joe Leo3 talks
- Martin Odersky47 talks
| title | conference | date |
|---|---|---|
| Sorbet: A type checker for Ruby 3 you can use today! | RubyConf 2019 | 2019-11-18 |
Sorbet is a fast incremental type checker for Ruby that Stripe builds, open sources and uses across a multi‑million‑line repo; a three‑engineer effort becomes… | ||
| Gradual typing for Ruby at Scale with Sorbet | JVM Language Summit 2019 | 2019-07-29 |
Sorbet is a gradual typechecker built for Stripe’s multi‑million‑line Ruby monorepo and it measurably improves developer workflow by providing fast batch and… | ||
| Gradual typing of Ruby at Scale | Strange Loop 2018 | 2018-09-26 |
Stripe builds a Sorbet typechecker for its million‑line Ruby mono repo, choosing a gradual nominal manifest type system with control‑flow dependent smart casts… | ||
| Adventures in Efficiency and Performance | Scala World 2017 | 2017-09-16 |
Claims concrete enough to act on: libraries like parallel collections and a dot linker/optimizer exist; insertion sort beats quicksort on tiny arrays… | ||
| Closing Panel | Scala Days Copenhagen 2017 | 2017-05-30 |
Panel summarizes concrete work: the community build now compiles 104 projects (roughly millions of LOC) and catches regressions every release; collections are… | ||
| Dotty Linker: Precise Types Bring Performance | Scala Days Berlin 2016 | 2016-06-15 |
Whole-program optimization uses TASTy-based whole-program analysis to auto-generate only the primitive-specialized versions a particular application and its… | ||
| Dotty Linker: Precise Types Bring Performance | Scala Days Berlin 2016 | 2016-06-15 |
Dotty Linker is a whole‑program optimizer that analyzes application and library call graphs, generates only the specializations actually used and eliminates… | ||
| ScalarConf 2016 Summary | Scalar 2016 | 2016-04-16 |
Largest Scala conference in Central Europe returns as the third edition organized by SoftwareMill, drawing over 450 Scala developers from around Europe. The… | ||
| Making sense of initialization order in Scala | Scalar 2016 | 2016-04-16 |
Demonstrates that Scala’s trait linearization and compiler-generated trait setters cause fields to be observed with default values or discarded values in… | ||
| Hands-on Dotty | Scala World 2015 | 2015-09-20 |
Dotty is a complete rewrite of the Scala compiler that ships a new pipeline built from more than 40 mini-phases and lazy InfoTransformers that version… | ||
| nothing matches | ||